Journal: Nord. J. Comput.

Volume 8, Issue 4

409 -- 423Béla Bollobás, Gautam Das, Dimitrios Gunopulos, Heikki Mannila. Time-Series Similarity Problems and Well-Separated Geometric Sets
424 -- 436Patric R. J. Östergård. A New Algorithm for the Maximum-Weight Clique Problem
437 -- 462Bernd Grobauer, Julia L. Lawall. Partial Evaluation of Pattern Matching in Strings, revisited
463 -- 472Joan Boyar, Lene M. Favrholdt, Kim S. Larsen, Morten N. Nielsen. The Competitive Ratio for On-Line Dual Bin Packing with Restricted Input Sequences
473 -- 474Jochen Burghardt. Maintaining Partial Sums in Logarithmic Time

Volume 8, Issue 3

277 -- 278Magne Haveraaen, Olaf Owe. Guest Editors Foreword
279 -- 297Walter Dosch, Sönke Magnussen. Computer Aided Fusion for Algebraic Program Derivation
298 -- 323Yngve Lamo, Michal Walicki. Specification of Parametrized Programs - Persistency Revisited
324 -- 345Viktor Petersson, Sergei G. Vorobyov. A Randomized Subexponential Algorithm for Parity Games
346 -- 365Harald Fecher. A Real-Time Process Algebra with Open Intervals and Maximal Progress
366 -- 390Tarmo Uustalu, Varmo Vene, Alberto Pardo. Recursion Schemes from Comonads
391 -- 407José Emilio Labra Gayo, Juan Manuel Cueva Lovelle, María Cándida Luengo Díez, Agustín Cernuda del Río. Modular Development of Interpreters from Semantic Building Blocks

Volume 8, Issue 2

179 -- 192Thomas Ottmann, Sven Schuierer, Subbiah Soundaralakshmi. Enumerating Extreme Points in Higher Dimensions
193 -- 218Kaisa Sere, Marina A. Waldén. Structuring and Verifying Distributed Algorithms
219 -- 232Joachim Gudmundsson, Christos Levcopoulos, Giri Narasimhan. Approximating a Minimum Manhattan Network
233 -- 275Hanne Riis Nielson, Flemming Nielson. Shape Analysis for Mobile Ambients

Volume 8, Issue 1

1 -- 0Kaisa Sere, Wang Li. Guest Editors Foreword
2 -- 21Ralph-Johan Back, Luigia Petre, Ivan Porres. Continuous Action Systems as a Model for Hybrid Systems
22 -- 42Ana Bove. Simple General Recursion in Type Theory
43 -- 64Thomas Hune, Kim Guldstrand Larsen, Paul Pettersson. Guided Synthesis of Control Programs Using UPPAAL
65 -- 87Bengt Jonsson, Tiziana Margaria, Gustaf Naeser, Jan Nyström, Bernhard Steffen. Incremental Requirement Specification for Evolving Systems
88 -- 120R. F. Lutje Spelberg, W. J. Toetenel. Parametric Real-Time Model Checking Using Splitting Trees
121 -- 158Simon Mørk. Distributed Implementation of a Process-Algebra Based Programming Language for Embedded Systems
159 -- 0Mauno Rönkkö, Xuandong Li. Linear Hybrid Action Systems