Author

Mark B. van der Zwaag

Observed names: M. B. Van Der Zwaag, M. van der Zwaag, M.B. van der Zwaag, Mark B. Van Der Zwaag, Mark Van Der Zwaag, Mark Zwaag, Mark van der Zwaag, Van Der Zwaag, Mark, Zwaag, M.B. van der, van der Zwaag, M. B., van der Zwaag, M.B., van der Zwaag, Mark B.

Observed institutions: Centrum Wiskunde & Informatica, Radboud University Nijmegen, Eindhoven University of Technology, University of Amsterdam

OpenAlex ID: A5017679889

Formalizing UML Models and OCL Constraints in PVS

2005 · Marcel Kyas, Harald Fecher, et al. · Electronic Notes in Theoretical Computer Science · 91

Models and logics for process algebra

2002 · Mark B. van der Zwaag · UvA-DARE (University of Amsterdam) · 53

Completeness of Timed μCRL

2002 · Michel Reniers, J.F Groote, et al. · Fundamenta Informaticae · 30

The Tree Identify Protocol of IEEE 1394 in μCRL

1998 · Carron Shankland, Mark van der Zwaag · Formal Aspects of Computing · 28

Risk Assessment for One-Counter Threads

2007 · Alban Ponse, Mark B. van der Zwaag · Theory of Computing Systems · 26

A semantics of communicating reactive objects with timing

2005 · Jozef Hooman, Mark B. van der Zwaag · International Journal on Software Tools for Technology Transfer · 26

An Introduction to Program and Thread Algebra

2006 · Alban Ponse, Mark B. van der Zwaag · Lecture notes in computer science · 23

Deductive Verification of UML Models in TLPVS

2004 · Tamarah Arons, Jozef Hooman, et al. · Lecture notes in computer science · 18

The cones and foci proof technique for timed transition systems

2001 · Mark B. van der Zwaag · Information Processing Letters · 13

A Generalization of ACP Using Belnap's Logic

2006 · Alban Ponse, Mark B. van der Zwaag · Electronic Notes in Theoretical Computer Science · 12

Branching time and orthogonal bisimulation equivalence

2003 · Jan A. Bergstra, Alban Ponse, et al. · Theoretical Computer Science · 12

Tuplix Calculus Specifications of Financial Transfer Networks

2008 · Bergstra, J. A., Trenite, S. Nolst, et al. · arXiv (Cornell University) · 10

UvA Budget Allocatie Model

2008 · J.A. Bergstra, S. Nolst Trenité, et al. · UvA-DARE (University of Amsterdam) · 9

Tuplix Calculus

2007 · Bergstra, J. A., Ponse, A., et al. · arXiv (Cornell University) · 7

Towards a formalization of budgets

2008 · Bergstra, Jan A., Trenité, Sanne Nolst, et al. · arXiv (Cornell University) · 4

Mechanistic Behavior of Single-Pass Instruction Sequences

2008 · Bergstra, Jan A., van der Zwaag, Mark B. · arXiv (Cornell University) · 3

Belnap’s logic and conditional composition

2007 · Alban Ponse, Mark B. van der Zwaag · Theoretical Computer Science · 3

A generalization of ACP using Belnap’s logic

2006 · Alban Ponse, Mark B. van der Zwaag · The Journal of Logic and Algebraic Programming · 2

Time-stamped actions in $p$CRL algebras

2000 · Mark B. van der Zwaag · Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands · 2

The logic of ACP

2002 · Alban Ponse, Mark B. van der Zwaag · Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands · 1

Completeness of timed µCRL

2000 · Jan Friso Groote, Michel Reniers, et al. · TU/e Research Portal · 1

Special S Ection O N S Pecification a Nd Va Lidation of M Odels O F R Eal T Ime a Nd E Mbedded S Ystems With U Ml

2006 · Jozef Hooman, Mark B. van der Zwaag

ACP and Belnap's logic

2005 · Alban Ponse, Mark B. van der Zwaag · UvA-DARE (University of Amsterdam)

Works count: 34

Citation count: 379

H-index: 11

I10-index: 12