The Tree Identify Protocol of IEEE 1394 in µCRL. - Carron Shankland; Mark van der Zwaag (Formal Aspects Comput., 1998)

The cones and foci proof technique for timed transition systems. - Mark van der Zwaag (Inf. Process. Lett., 2001)

Completeness of Timed mCRL. - Michel A. Reniers; Jan Friso Groote; Mark van der Zwaag; Jos van Wamel (Fundam. Informaticae, 2002)

Branching time and orthogonal bisimulation equivalence. - Jan A. Bergstra; Alban Ponse; Mark van der Zwaag (Theor. Comput. Sci., 2003)

Deductive Verification of UML Models in TLPVS. - Tamarah Arons; Jozef Hooman; Hillel Kugler; Amir Pnueli; Mark van der Zwaag (UML, 2004)

Formalizing UML Models and OCL Constraints in PVS. - Marcel Kyas; Harald Fecher; Frank S. de Boer; Joost Jacob; Jozef Hooman; Mark van der Zwaag; Tamarah Arons; Hillel Kugler (SFEDL@ETAPS, 2004)

A Generalization of ACP Using Belnap's Logic. - Alban Ponse; Mark van der Zwaag (APC 25, 2005)

An Introduction to Program and Thread Algebra. - Alban Ponse; Mark van der Zwaag (CiE, 2006)

A semantics of communicating reactive objects with timing. - Jozef Hooman; Mark van der Zwaag (Int. J. Softw. Tools Technol. Transf., 2006)

Belnap's logic and conditional composition. - Alban Ponse; Mark van der Zwaag (Theor. Comput. Sci., 2007)

Towards a formalization of budgets - Jan A. Bergstra; Sanne Nolst Trenité; Mark van der Zwaag (CoRR, 2008)

Tuplix Calculus Specifications of Financial Transfer Networks - Jan A. Bergstra; Sanne Nolst Trenité; Mark van der Zwaag (CoRR, 2008)

Mechanistic Behavior of Single-Pass Instruction Sequences - Jan A. Bergstra; Mark van der Zwaag (CoRR, 2008)

Tuplix Calculus. - Jan A. Bergstra; Alban Ponse; Mark van der Zwaag (Sci. Ann. Comput. Sci., 2008)

Risk Assessment for One-Counter Threads. - Alban Ponse; Mark van der Zwaag (Theory Comput. Syst., 2008)