default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDNordic Journal of Computing, Volume 9
Volume 9, Number 1, Spring 2002
- Mayer Goldberg, Mads Torgersen:
How to Circumvent Church Numerals. Nord. J. Comput. 9(1): 1-12 (2002) - Giri Narasimhan, Michiel H. M. Smid:
Approximation Algorithms for the Bottleneck Stretch Factor Problem. Nord. J. Comput. 9(1): 13-31 (2002) - Mikael Hammar, Bengt J. Nilsson, Sven Schuierer:
Improved Exploration of Rectilinear Polygons. Nord. J. Comput. 9(1): 32-53 (2002) - Maxime Crochemore, Costas S. Iliopoulos, Christos Makris, Wojciech Rytter, Athanasios K. Tsakalidis, Kostas Tsichlas:
Approximate String Matching with Gaps. Nord. J. Comput. 9(1): 54-65 (2002) - Kasey N. Klipsch, David S. Wise:
Blood from Dahm's Turnip. Nord. J. Comput. 9(1): 66-68 (2002)
Volume 9, Numer 2, Summer 2002
- Luca Aceto, Prakash Panangaden:
Guest Editors' Foreword. Nord. J. Comput. 9(1): 69 (2002) - Roberto M. Amadio, Charles Meyssonnier:
On Decidability of the Control Reachability Problem in the Asynchronous pi-Calculus. Nord. J. Comput. 9(1): 70-101 (2002) - Julian C. Bradfield, Sibylle B. Fröschle:
Independence-Friendly Modal Logic and True Concurrency. Nord. J. Comput. 9(1): 102-117 (2002) - Anne Labroue, Philippe Schnoebelen:
An Automata-Theoretic Approach to the Reachability Analysis of RPPS Systems. Nord. J. Comput. 9(1): 118-144 (2002) - Mogens Nielsen, Catuscia Palamidessi, Frank D. Valencia:
Temporal Concurrent Constraint Programming: Denotation, Logic and Applications. Nord. J. Comput. 9(1): 145-188 (2002)
Volume 9, Numberr 3, Fall 2002
- Kasper Østerbye:
Guest Editor's Foreword. Nord. J. Comput. 9(1): 189-190 (2002) - Erik Ernst:
Safe Dynamic Multiple Inheritance. Nord. J. Comput. 9(1): 191-208 (2002) - Thomas Vestdam:
Elucidative Program Tutorials. Nord. J. Comput. 9(1): 209-230 (2002) - Erik Arisholm, Dag I. K. Sjøberg, Gunnar J. Carelius, Yngve Lindsjørn:
A Web-Based Support Environment for Software Engineering Experiments. Nord. J. Comput. 9(1): 231-247 (2002) - Imed Hammouda, Kai Koskimies:
A Pattern-Based J2EE Application Development Environment. Nord. J. Comput. 9(1): 248-260 (2002) - Lars Bendix, Görel Hedin:
Summary of the Subworkshop on Extreme Programming. Nord. J. Comput. 9(1): 261-266 (2002)
Volume 9, Number 4, 2002
- Magne Haveraaen, Michael R. Hansen:
Guest Editors' Foreword. Nord. J. Comput. 9(4): 267-268 (2002) - Tobias Amnell, Elena Fersman, Paul Pettersson, Hongyan Sun, Wang Yi:
Code Synthesis for Timed Automata. Nord. J. Comput. 9(4): 269-300 (2002) - Jochen Hoenicke, Ernst-Rüdiger Olderog:
CSP-OZ-DC: A Combination of Specification Techniques for Processes, Data and Time. Nord. J. Comput. 9(4): 301-334 (2002) - Flemming Nielson, Helmut Seidl, Hanne Riis Nielson:
A Succinct Solver for ALFP. Nord. J. Comput. 9(4): 335-372 (2002) - Eric G. Wagner:
Algebraic Specifications: some old history and new thoughts. Nord. J. Comput. 9(4): 373-404 (2002) - Heike Wehrheim:
Relating State-based and Behaviour-oriented Subtyping. Nord. J. Comput. 9(4): 405-435 (2002)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-12 22:53 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
