The SCEAS System
Navigation Menu

Search the dblp DataBase


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

Publications of Author

  1. Cornelis Huizing, Rob Gerth, Willem P. de Roever
    Modeling Statecharts Behaviour in a Fully Abstract Way. [Citation Graph (1, 0)][DBLP]
    CAAP, 1988, pp:271-294 [Conf]
  2. Cornelis Huizing, Ruurd Kuiper, Teade Punter, Alexander Serebrenik
    Looking for Stability. [Citation Graph (0, 0)][DBLP]
    DDoPS, 2005, pp:31-44 [Conf]
  3. Carsta Petersohn, Willem P. de Roever, Cornelis Huizing, Jan Peleska
    Formal Semantics for Ward & Mellor's Transformation Schemas and the Specification of Faul Tolerant Systems. [Citation Graph (0, 0)][DBLP]
    EDCC, 1994, pp:59-76 [Conf]
  4. Cornelis Huizing, Rob Gerth, Willem P. de Roever
    Full Abstraction of a Real-Time Denotational Semantics for an Occam-like Language. [Citation Graph (0, 0)][DBLP]
    POPL, 1987, pp:223-237 [Conf]
  5. Cornelis Huizing, Rob Gerth
    Semantics of Reactive Systems in Abstract Time. [Citation Graph (0, 0)][DBLP]
    REX Workshop, 1991, pp:291-314 [Conf]
  6. Ronald Middelkoop, Cornelis Huizing, Ruurd Kuiper, Erik Luit
    Cooperation-based Invariants for OO Languages. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:160, n:, pp:225-237 [Journal]
  7. Cornelis Huizing, Willem P. de Roever
    Introduction to Design Choices in the Semantics of Statecharts. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1991, v:37, n:4, pp:205-213 [Journal]

  8. A Small Step for Mankind. [Citation Graph (, )][DBLP]

  9. Invariants for Non-Hierarchical Object Structures. [Citation Graph (, )][DBLP]

Search in 0.004secs, Finished in 0.004secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
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 [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002