The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Jaap van Oosten: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Jaap van Oosten
    Topological Aspects of Traces. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1996, pp:480-496 [Conf]
  2. Martin Hofmann, Jaap van Oosten, Thomas Streicher
    Well-foundedness in Realizability. [Citation Graph (0, 0)][DBLP]
    Arch. Math. Log., 2006, v:45, n:7, pp:795-805 [Journal]
  3. Lars Birkedal, Jaap van Oosten
    Relative and modified relative realizability. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2002, v:118, n:1-2, pp:115-132 [Journal]
  4. Jaap van Oosten
    Axiomatizing Higher-Order Kleene Realizability. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 1994, v:70, n:1, pp:87-111 [Journal]
  5. Jaap van Oosten
    Extensional Realizability. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 1997, v:84, n:3, pp:317-349 [Journal]
  6. Jaap van Oosten, Alex K. Simpson
    Axioms and (counter) examples in synthetic domain theory. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2000, v:104, n:1-3, pp:233-278 [Journal]
  7. Jaap van Oosten, Harold Schellinx
    Preface. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2002, v:114, n:1-3, pp:1-2 [Journal]
  8. Lars Birkedal, Jaap van Oosten, Giuseppe Rosolini, Dana S. Scott
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:23, n:1, pp:- [Journal]
  9. Jaap van Oosten
    History and Developments. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:23, n:1, pp:- [Journal]
  10. Jaap van Oosten, Alex K. Simpson
    Some axiomatic results in synthetic domain theory. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2000, v:35, n:, pp:- [Journal]
  11. Jaap van Oosten
    Lifschitz' Realizability. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1990, v:55, n:2, pp:805-821 [Journal]
  12. Jaap van Oosten
    Extension of Lifschitz' Realizability to Higher Order Arithmetic, and a Solution to a Problem of F. Richman. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1991, v:56, n:3, pp:964-973 [Journal]
  13. Jaap van Oosten
    Two Remarks on the Lifschitz Realizability Topos. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1996, v:61, n:1, pp:70-79 [Journal]
  14. Jaap van Oosten
    Realizability: A Historical Essay. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 2002, v:12, n:3, pp:239-263 [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
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002