The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Cornelis Pronk: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Peter G. Kluit, Cornelis Pronk, Rob Verver
    Static Type Checking and Method Lookup in Plop!. [Citation Graph (0, 0)][DBLP]
    JMLC, 1997, pp:155-169 [Conf]
  2. Cornelis Pronk, Richard J. Sutcliffe
    Scalable Modules in Generic Modula-2. [Citation Graph (0, 0)][DBLP]
    JMLC, 1997, pp:310-320 [Conf]
  3. Frans Ververs, Cornelis Pronk
    On the Interaction between Metrics and Patterns. [Citation Graph (0, 0)][DBLP]
    OOIS, 1995, pp:303-314 [Conf]
  4. B. Noorduin, Jan van Katwijk, Cornelis Pronk
    Gnass: a Gnat-based allocation and scheduling system. [Citation Graph (0, 0)][DBLP]
    RTCSA, 1996, pp:278-285 [Conf]
  5. Ella E. Roubtsova, Jan van Katwijk, W. J. Toetenel, Cornelis Pronk, Ruud C. M. de Rooij
    Specification of Real-Time Systems in UML. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2000, v:39, n:3, pp:- [Journal]
  6. Cornelis Pronk, Martin Schönhacker
    Formal definition of programming language standards. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 2003, v:38, n:8, pp:20-21 [Journal]
  7. Cornelis Pronk, Martin Schönhacker
    ISO/IEC 10514-1, the Standard for Molula-2: Process Aspects. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 1996, v:31, n:8, pp:74-83 [Journal]
  8. Cornelis Pronk, Martin Schönhacker, Richard J. Sutcliffe, A. Wiedemann
    Standardized Extensions to Modula-2. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 1997, v:32, n:11, pp:34-48 [Journal]
  9. Martin Schönhacker, Cornelis Pronk
    ISO/IEC 10514-1, the Standard for Molula-2: Changes, Clarifications and Additions. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 1996, v:31, n:8, pp:84-95 [Journal]
  10. Peter van der Spek, Nico Plat, Cornelis Pronk
    Syntax error repair for a Java-based parser generator. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 2005, v:40, n:4, pp:47-50 [Journal]
  11. Cornelis Pronk
    Stress Testing of Compilers for Modula-2. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 1992, v:22, n:10, pp:885-897 [Journal]

  12. RAFFS: Model Checking a Robust Abstract Flash File Store. [Citation Graph (, )][DBLP]


Search in 0.017secs, Finished in 0.018secs
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