The SCEAS System
Navigation Menu

Journals in DBLP

Nord. J. Comput.
1998, volume: 5, number: 4

  1. Chris Hankin
    Guest Editor's Foreword. [Citation Graph (0, 0)][DBLP]
    Nord. J. Comput., 1998, v:5, n:4, pp:265-266 [Journal]
  2. Martín Abadi, Andrew D. Gordon
    A Bisimulation Method for Cryptographic Protocols. [Citation Graph (0, 0)][DBLP]
    Nord. J. Comput., 1998, v:5, n:4, pp:267-0 [Journal]
  3. Christian Fecht, Helmut Seidl
    Propagating Differences: An Efficient New Fixpoint Algorithm for Distributive Constraint Systems. [Citation Graph (0, 0)][DBLP]
    Nord. J. Comput., 1998, v:5, n:4, pp:304-329 [Journal]
  4. K. Rustan M. Leino
    Recursive Object Types in a Logic of Object-Oriented Programs. [Citation Graph (0, 0)][DBLP]
    Nord. J. Comput., 1998, v:5, n:4, pp:330-360 [Journal]
  5. John L. Ross, Shmuel Sagiv
    Building a Bridge between Pointer Aliases and Program Dependences. [Citation Graph (0, 0)][DBLP]
    Nord. J. Comput., 1998, v:5, n:4, pp:361-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