The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Roland Meyer: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Johannes Faber, Roland Meyer
    Model Checking Data-Dependent Real-Time Properties of the European Train Control System. [Citation Graph (0, 0)][DBLP]
    FMCAD, 2006, pp:76-77 [Conf]
  2. Roland Meyer, Johannes Faber, Andrey Rybalchenko
    Model Checking Duration Calculus: A Practical Approach. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2006, pp:332-346 [Conf]
  3. Christoph Eichner, Hans Fleischhack, Roland Meyer, Ulrik Schrimpf, Christian Stehno
    Compositional Semantics for UML 2.0 Sequence Diagrams Using Petri Nets. [Citation Graph (0, 0)][DBLP]
    SDL Forum, 2005, pp:133-148 [Conf]

  4. Checking pi-Calculus Structural Congruence is Graph Isomorphism Complete. [Citation Graph (, )][DBLP]


  5. A Practical Approach to Verification of Mobile Systems Using Net Unfoldings. [Citation Graph (, )][DBLP]


  6. Petruchio: From Dynamic Networks to Nets. [Citation Graph (, )][DBLP]


  7. On the Relationship between π-Calculus and Finite Place/Transition Petri Nets. [Citation Graph (, )][DBLP]


  8. Kleene, Rabin, and Scott Are Available. [Citation Graph (, )][DBLP]


  9. The Downward-Closure of Petri Net Languages. [Citation Graph (, )][DBLP]


  10. On Boundedness in Depth in the pi-Calculus. [Citation Graph (, )][DBLP]


  11. A theory of structural stationarity in the pi -Calculus. [Citation Graph (, )][DBLP]


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