Nordic Journal of Computing, Volume 8

Spring 2001, Volume 8, Number 1

Selected Papers of the Eleventh Nordic Workshop on Programming Theory (NWPT'99), October 13-15, 1999

• Kaisa Sere and Wang Li. Guest Editors' Foreword. Nordic Journal of Computing, 8(1):1, Spring 2001.

• Ralph-Johan Back, Luigia Petre, and Ivan Porres. Continuous Action Systems as a Model for Hybrid Systems. Nordic Journal of Computing, 8(1):2-21, Spring 2001. Abstract, References, etc.

• Ana Bove. Simple General Recursion in Type Theory. Nordic Journal of Computing, 8(1):22-42, Spring 2001. Abstract, References, etc.

• Thomas Hune, Kim G. Larsen, and Paul Pettersson. Guided Synthesis of Control Programs Using UPPAAL. Nordic Journal of Computing, 8(1):43-64, Spring 2001. Abstract, References, etc.

• Bengt Jonsson, Tiziana Margaria, Gustaf Naeser, Jan Nyström, and Bernhard Steffen. Incremental Requirement Specification for Evolving Systems. Nordic Journal of Computing, 8(1):65-87, Spring 2001. Abstract, etc.

• R. F. Lutje Spelberg and W. J. Toetenel. Parametric Real-Time Model Checking Using Splitting Trees. Nordic Journal of Computing, 8(1):88-120, Spring 2001. Abstract, References, etc.

• Simon Mørk. Distributed Implementation of a Process-Algebra Based Programming Language for Embedded Systems. Nordic Journal of Computing, 8(1):121-158, Spring 2001. Abstract, References, etc.

• Mauno Rönkkö and Xuandong Li. Linear Hybrid Action Systems. Nordic Journal of Computing, 8(1):159-177, Spring 2001. Abstract, References, etc.

Summer 2001, Volume 8, Number 2

• Thomas Ottmann, Sven Schuierer, and Subbiah Soundaralakshmi. Enumerating Extreme Points in Higher Dimensions. Nordic Journal of Computing, 8(2):179-192, Summer 2001. Abstract, References, etc.

• Kaisa Sere and Marina Waldén. Structuring and Verifying Distributed Algorithms. Nordic Journal of Computing, 8(2):193-218, Summer 2001. Abstract, References, etc.

• Joachim Gudmundsson, Christos Levcopoulos, and Giri Narasimhan. Approximating a Minimum Manhattan Network. Nordic Journal of Computing, 8(2):219-232, Summer 2001. Abstract, References, etc.

• Hanne Riis Nielson and Flemming Nielson. Shape Analysis for Mobile Ambients. Nordic Journal of Computing, 8(2):233-275, Summer 2001. Abstract, References, etc.

Fall 2001, Volume 8, Number 3

Selected Papers of the Twelfth Nordic Workshop on Programming Theory (NWPT'00), October 11-13, 2000

• Magne Haveraaen and Olaf Owe. Guest Editors' Foreword. Nordic Journal of Computing, 8(3):277-278, Fall 2001.

• Walter Dosch and Sönke Magnussen. Computer Aided Fusion for Algebraic Program Derivation. Nordic Journal of Computing, 8(3):279-297, Fall 2001. Abstract, References, etc.

• Yngve Lamo and Michal Walicki. Specification of Parameterized Programs -- Persistency Revisited. Nordic Journal of Computing, 8(3):298-323, Fall 2001. Abstract, etc.

• Viktor Petersson and Sergei Vorobyov. A Randomized Subexponential Algorithm for Parity Games. Nordic Journal of Computing, 8(3):324-345, Fall 2001. Abstract, References, etc.

• Harald Fecher. A Real-Time Process Algebra with Open Intervals and Maximal Progress. Nordic Journal of Computing, 8(3):346-365, Fall 2001. Abstract, References, etc.

• Tarmo Uustalu, Varmo Vene, and Alberto Pardo. Recursion Schemes from Comonads. Nordic Journal of Computing, 8(3):366-390, Fall 2001. Abstract, References, etc.

• Jose Emilio Labra Gayo, Juan Manuel Cueva Lovelle, Maria Cándida Luengo Díez, and Agustín Cernuda del Río. Modular Development of Interpreters from Semantic Building Blocks. Nordic Journal of Computing, 8(3):391-407, Fall 2001. Abstract, References, etc.

Winter 2001, Volume 8, Number 4

• Béla Bollobás, Gautam Das, Dimitrios Gunopulos, and Heikki Mannila. Time-Series Similarity Problems and Well-Separated Geometric Sets. Nordic Journal of Computing, 8(4):409-423, Winter 2001. Abstract, References, etc.

• Patric R. J. Östergård. A New Algorithm for the Maximum-Weight Clique Problem. Nordic Journal of Computing, 8(4):424-436, Winter 2001. Abstract, References, etc.

• Bernd Grobauer and Julia L. Lawall. Partial Evaluation of Pattern Matching in Strings, revisited. Nordic Journal of Computing, 8(4):437-462, Winter 2001. Abstract, References, etc.

• Joan Boyar, Lene M. Favrholdt, Kim S. Larsen, and Morten N. Nielsen. The Competitive Ratio for On-Line Dual Bin Packing with Restricted Input Sequences. Nordic Journal of Computing, 8(4):463-472, Winter 2001. Abstract, References, etc.

Note:

• Jochen Burghardt. Maintaining Partial Sums in Logarithmic Time. Nordic Journal of Computing, 8(4):473-474, Winter 2001. Abstract, etc.

Shortcuts: