The SCEAS System
Navigation Menu

Journals in DBLP

Nord. J. Comput.
1999, volume: 6, number: 3

  1. Kaisa Sere
    Guest Editor's Foreword. [Citation Graph (0, 0)][DBLP]
    Nord. J. Comput., 1999, v:6, n:3, pp:213-214 [Journal]
  2. Paolo Ciancarini, Andrea Omicini, Franco Zambonelli
    Coordination Technologies for Internet Agents. [Citation Graph (0, 0)][DBLP]
    Nord. J. Comput., 1999, v:6, n:3, pp:215-240 [Journal]
  3. Magne Haveraaen, Helmer André Friis, Tor Arne Johansen
    Formal Software Engineering for Computational Modelling. [Citation Graph (0, 0)][DBLP]
    Nord. J. Comput., 1999, v:6, n:3, pp:241-270 [Journal]
  4. Kim Guldstrand Larsen, Justin Pearson, Carsten Weise, Wang Yi
    Clock Difference Diagrams. [Citation Graph (0, 0)][DBLP]
    Nord. J. Comput., 1999, v:6, n:3, pp:271-298 [Journal]
  5. Carl Johan Lillieroth, Satnam Singh
    Formal Verification of FPGA Cores. [Citation Graph (0, 0)][DBLP]
    Nord. J. Comput., 1999, v:6, n:3, pp:299-319 [Journal]
  6. Elena Troubitsyna
    Reliability Assessment through Probabilistic Refinement. [Citation Graph (0, 0)][DBLP]
    Nord. J. Comput., 1999, v:6, n:3, pp:320-342 [Journal]
  7. Tarmo Uustalu, Varmo Vene
    Mendler-Style Inductive Types, Categorically. [Citation Graph (0, 0)][DBLP]
    Nord. J. Comput., 1999, v:6, n:3, pp:343-0 [Journal]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002