Journal: Nord. J. Comput.

Volume 9, Issue 4

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

Volume 9, Issue 1

1 -- 12Mayer Goldberg, Mads Torgersen. How to Circumvent Church Numerals
13 -- 31Giri Narasimhan, Michiel H. M. Smid. Approximation Algorithms for the Bottleneck Stretch Factor Problem
32 -- 53Mikael Hammar, Bengt J. Nilsson, Sven Schuierer. Improved Exploration of Rectilinear Polygons
54 -- 65Maxime Crochemore, Costas S. Iliopoulos, Christos Makris, Wojciech Rytter, Athanasios K. Tsakalidis, T. Tsichlas. Approximate String Matching with Gaps
66 -- 68Kasey N. Klipsch, David S. Wise. Blood from Dahm s Turnip
69 -- 0Luca Aceto, Prakash Panangaden. Guest Editors Foreword
70 -- 101Roberto M. Amadio, Charles Meyssonnier. On Decidability of the Control Reachability Problem in the Asynchronous pi-Calculus
102 -- 117Julian C. Bradfield, Sibylle B. Fröschle. Independence-Friendly Modal Logic and True Concurrency
118 -- 144Anne Labroue, Ph. Schnoebelen. An Automata-Theoretic Approach to the Reachability Analysis of RPPS Systems
145 -- 188Mogens Nielsen, Catuscia Palamidessi, Frank D. Valencia. Temporal Concurrent Constraint Programming: Denotation, Logic and Applications
189 -- 190Kasper Østerbye. Guest Editor s Foreword
191 -- 208Erik Ernst. Safe Dynamic Multiple Inheritance
209 -- 230Thomas Vestdam. Elucidative Program Tutorials
231 -- 247Erik Arisholm, Dag I. K. Sjøberg, Gunnar J. Carelius, Y. Lindsjørn. A Web-Based Support Environment for Software Engineering Experiments
248 -- 260Imed Hammouda, Kai Koskimies. A Pattern-Based J2EE Application Development Environment
261 -- 266Lars Bendix, Görel Hedin. Summary of the Subworkshop on Extreme Programming