default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDNordic Journal of Computing, Volume 14
Volume 14, Numbers 1-2, Summer 2007
- Parosh Aziz Abdulla, Johann Deneux, Pritha Mahata, Aletta Nylén:
Using Forward Reachability Analysis for Verification of Timed Petri Nets. Nord. J. Comput. 14(1-2): 1-42 (2007) - Vitus S. W. Lam:
A Formalism for Reasoning about UML Activity Diagrams. Nord. J. Comput. 14(1-2): 43-64 (2007) - Ka Lok Man:
Formal Specification and Analysis of Hardware Systems in Timed Chi. Nord. J. Comput. 14(1-2): 65-86 (2007) - Pinar Heggernes, Dieter Kratsch:
Linear-time certifying recognition algorithms and forbidden induced subgraphs. Nord. J. Comput. 14(1-2): 87-108 (2007) - Anat Bremler-Barr, Leah Epstein:
Path layout on tree networks: Bounds in different label switching models. Nord. J. Comput. 14(1-2): 109-125 (2007) - Meena Mahajan, Raghavan Rama, Vijayakumar Sundarrajan:
Block Sorting: A Characterization and some Heuristics. Nord. J. Comput. 14(1-2): 126-150 (2007)
Volume 14, Number 3, Fall 2008
- Mark Cieliebak, Stephan J. Eidenbenz, Aris Pagourtzis, Konrad Schlude:
On the Complexity of Variations of Equal Sum Subsets. Nord. J. Comput. 14(3): 151-172 (2008) - Qiwen Xu, Naijun Zhan:
Formalising Scheduling Theories in Duration Calculus. Nord. J. Comput. 14(3): 173-201 (2008) - Evangelos Kranakis, Danny Krizanc, Sunil M. Shende:
Tracking Mobile Users in Cellular Networks using Timing Information. Nord. J. Comput. 14(3): 202-215 (2008) - Yohan Boichut, Pierre-Cyrille Héam, Olga Kouchnarenko:
Approximation-based Tree Regular Model-Checking. Nord. J. Comput. 14(3): 216-241 (2008)
Volume 14, Number 4, Winter 2008
- Ebba Þóra Hvannberg:
Guest Editor's Foreword. Nord. J. Comput. 14(4): 243-244 (2008) - Cyril Carrez, Lotte Johansen, Pawel Cieslak, Stefan Hänsgen:
Service Engineering with the SIMS Design and Validation Tools. Nord. J. Comput. 14(4): 245-263 (2008) - Samuel Lahtinen, Kai Koskimies:
A Model-Based Approach to Reflective Command Interfaces. Nord. J. Comput. 14(4): 264-281 (2008) - Kenneth Lind, Rogardt Heldal:
Estimation of Real-Time Software Component Size. Nord. J. Comput. 14(4): 282-300 (2008) - Parastoo Mohagheghi, Vegard Dehlen, Tor Neple:
A Metamodel and Supporting Process and Tool for Specifying Quality Models in Model-Based Software Development. Nord. J. Comput. 14(4): 301-320 (2008) - Mikko Raatikainen, Varvana Myllärniemi, Tomi Männistö:
Featback: Method for Enhancing Management of Agile Development. Nord. J. Comput. 14(4): 321-337 (2008) - Outi Räihä, Kai Koskimies, Erkki Mäkinen, Tarja Systä:
Pattern-Based Genetic Model Refinements in MDA. Nord. J. Comput. 14(4): 338-355 (2008)
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-05-08 21:19 CEST 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:
