The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Paul Spruit: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Roel Wieringa, Wiebren de Jonge, Paul Spruit
    Roles and Dynamic Subclasses: A Modal Logic Approach. [Citation Graph (3, 0)][DBLP]
    ECOOP, 1994, pp:32-59 [Conf]
  2. Roel Wieringa, Wiebren de Jonge, Paul Spruit
    Using Dynamic Classes and Role Classes to Model Object Migration. [Citation Graph (2, 0)][DBLP]
    TAPOS, 1995, v:1, n:1, pp:61-83 [Journal]
  3. Paul Spruit, Roel Wieringa, John-Jules Ch. Meyer
    Dynamic Database Logic: the First-order Case. [Citation Graph (1, 0)][DBLP]
    FMLDO, 1992, pp:103-120 [Conf]
  4. Paul Spruit, Roel Wieringa
    Some Finite-Graph Models for Process Algebra. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1991, pp:495-509 [Conf]
  5. Paul Spruit, John-Jules Ch. Meyer
    Declarative Semantics of Passive and Active Updates in Logic Databases. [Citation Graph (0, 0)][DBLP]
    FMLDO, 1991, pp:37-46 [Conf]
  6. Paul Spruit, John-Jules Ch. Meyer, Roel Wieringa
    Discussion Issues for a Working Group on Update Semantics of Logic Databases. [Citation Graph (0, 0)][DBLP]
    FMLDO, 1991, pp:209-210 [Conf]
  7. Paul Spruit, Roel Wieringa, John-Jules Ch. Meyer
    Aziomatization, Declarative Semantics and Operational Semantics of Passive and Active Updates in Logic Databases. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1995, v:5, n:1, pp:27-70 [Journal]
  8. Paul Spruit, Roel Wieringa, John-Jules Ch. Meyer
    Regular database update logics. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2001, v:254, n:1-2, pp:591-661 [Journal]

Search in 0.001secs, Finished in 0.002secs
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