The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Mark van der Zwaag: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Alban Ponse, Mark van der Zwaag
    An Introduction to Program and Thread Algebra. [Citation Graph (0, 0)][DBLP]
    CiE, 2006, pp:445-458 [Conf]
  2. Tamarah Arons, Jozef Hooman, Hillel Kugler, Amir Pnueli, Mark van der Zwaag
    Deductive Verification of UML Models in TLPVS. [Citation Graph (0, 0)][DBLP]
    UML, 2004, pp:335-349 [Conf]
  3. Marcel Kyas, Harald Fecher, Frank S. de Boer, Joost Jacob, Jozef Hooman, Mark van der Zwaag, Tamarah Arons, Hillel Kugler
    Formalizing UML Models and OCL Constraints in PVS. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:115, n:, pp:39-47 [Journal]
  4. Alban Ponse, Mark van der Zwaag
    A Generalization of ACP Using Belnap's Logic. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:162, n:, pp:287-293 [Journal]
  5. Carron Shankland, Mark van der Zwaag
    The Tree Identify Protocol of IEEE 1394 in µCRL. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1998, v:10, n:5-6, pp:509-531 [Journal]
  6. Michel A. Reniers, Jan Friso Groote, Mark van der Zwaag, Jos van Wamel
    Completeness of Timed mCRL. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2002, v:50, n:3-4, pp:361-402 [Journal]
  7. Mark van der Zwaag
    The cones and foci proof technique for timed transition systems. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 2001, v:80, n:1, pp:33-40 [Journal]
  8. Jozef Hooman, Mark van der Zwaag
    A semantics of communicating reactive objects with timing. [Citation Graph (0, 0)][DBLP]
    STTT, 2006, v:8, n:2, pp:97-112 [Journal]
  9. Jan A. Bergstra, Alban Ponse, Mark van der Zwaag
    Branching time and orthogonal bisimulation equivalence. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2003, v:309, n:1-3, pp:313-355 [Journal]
  10. Alban Ponse, Mark van der Zwaag
    A generalization of ACP using Belnap's logic. [Citation Graph (0, 0)][DBLP]
    J. Log. Algebr. Program., 2007, v:70, n:2, pp:222-235 [Journal]

  11. Tuplix Calculus [Citation Graph (, )][DBLP]


  12. Towards a formalization of budgets [Citation Graph (, )][DBLP]


  13. Tuplix Calculus Specifications of Financial Transfer Networks [Citation Graph (, )][DBLP]


  14. Mechanistic Behavior of Single-Pass Instruction Sequences [Citation Graph (, )][DBLP]


Search in 0.038secs, Finished in 0.039secs
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