Nordic Journal of Computing, Volume 9

Volume 9, Number 1, Spring 2002

• Mayer Goldberg, Mads Torgersen: How to Circumvent Church Numerals. 1-12 BibTeX
• Giri Narasimhan, Michiel H. M. Smid: Approximation Algorithms for the Bottleneck Stretch Factor Problem. 13-31 BibTeX
• Mikael Hammar, Bengt J. Nilsson, Sven Schuierer: Improved Exploration of Rectilinear Polygons. 32-53 BibTeX
• Maxime Crochemore, Costas S. Iliopoulos, Christos Makris, Wojciech Rytter, Athanasios K. Tsakalidis, T. Tsichlas: Approximate String Matching with Gaps. 54-65 BibTeX
• Kasey N. Klipsch, David S. Wise: Blood from Dahm's Turnip. 66-68 BibTeX

Volume 9, Numer 2, Summer 2002

• Luca Aceto, Prakash Panangaden: Guest Editors' Foreword. 69 BibTeX
• Roberto M. Amadio, Charles Meyssonnier: On Decidability of the Control Reachability Problem in the Asynchronous pi-Calculus. 70-101 BibTeX
• Julian C. Bradfield, Sibylle B. Fröschle: Independence-Friendly Modal Logic and True Concurrency. 102-117 BibTeX
• Anne Labroue, Ph. Schnoebelen: An Automata-Theoretic Approach to the Reachability Analysis of RPPS Systems. 118-144 BibTeX
• Mogens Nielsen, Catuscia Palamidessi, Frank D. Valencia: Temporal Concurrent Constraint Programming: Denotation, Logic and Applications. 145-188 BibTeX

Volume 9, Numberr 3, Fall 2002

• Kasper Østerbye: Guest Editor's Foreword. 189-190 BibTeX
• Erik Ernst: Safe Dynamic Multiple Inheritance. 191-208 BibTeX
• Thomas Vestdam: Elucidative Program Tutorials. 209-230 BibTeX
• Erik Arisholm, Dag I. K. Sjøberg, Gunnar J. Carelius, Y. Lindsjørn: A Web-Based Support Environment for Software Engineering Experiments. 231-247 BibTeX
• Imed Hammouda, Kai Koskimies: A Pattern-Based J2EE Application Development Environment. 248-260 BibTeX
• Lars Bendix, Görel Hedin: Summary of the Subworkshop on Extreme Programming. 261-266 BibTeX

Volume 9, Number 4, 2002

• Magne Haveraaen, Michael R. Hansen: Guest Editors' Foreword. 267-268 BibTeX
• Tobias Amnell, Elena Fersman, Paul Pettersson, Hongyan Sun, Wang Yi: Code Synthesis for Timed Automata. 269-300 BibTeX
• Jochen Hoenicke, Ernst-Rüdiger Olderog: CSP-OZ-DC: A Combination of Specification Techniques for Processes, Data and Time. 301-334 BibTeX
• Flemming Nielson, Helmut Seidl, Hanne Riis Nielson: A Succinct Solver for ALFP. 335-372 BibTeX
• Eric G. Wagner: Algebraic Specifications: some old history and new thoughts. 373-404 BibTeX
• Heike Wehrheim: Relating State-based and Behaviour-oriented Subtyping. 405-435 BibTeX