Mark van der Zwaag

2008
15	EE	Jan A. Bergstra, Sanne Nolst Trenité, Mark van der Zwaag: Towards a formalization of budgets CoRR abs/0802.3617: (2008)
14	EE	Jan A. Bergstra, Sanne Nolst Trenité, Mark van der Zwaag: Tuplix Calculus Specifications of Financial Transfer Networks CoRR abs/0805.1806: (2008)
13	EE	Jan A. Bergstra, Mark van der Zwaag: Mechanistic Behavior of Single-Pass Instruction Sequences CoRR abs/0809.4635: (2008)
2007
12	EE	Jan A. Bergstra, Alban Ponse, Mark van der Zwaag: Tuplix Calculus CoRR abs/0712.3423: (2007)
11	EE	Alban Ponse, Mark van der Zwaag: A generalization of ACP using Belnap's logic. J. Log. Algebr. Program. 70(2): 222-235 (2007)
10	EE	Alban Ponse, Mark van der Zwaag: Belnap's logic and conditional composition. Theor. Comput. Sci. 388(1-3): 319-336 (2007)
2006
9	EE	Alban Ponse, Mark van der Zwaag: An Introduction to Program and Thread Algebra. CiE 2006: 445-458
8	EE	Alban Ponse, Mark van der Zwaag: A Generalization of ACP Using Belnap's Logic. Electr. Notes Theor. Comput. Sci. 162: 287-293 (2006)
7	EE	Jozef Hooman, Mark van der Zwaag: A semantics of communicating reactive objects with timing. STTT 8(2): 97-112 (2006)
2005
6	EE	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. Electr. Notes Theor. Comput. Sci. 115: 39-47 (2005)
2004
5	EE	Tamarah Arons, Jozef Hooman, Hillel Kugler, Amir Pnueli, Mark van der Zwaag: Deductive Verification of UML Models in TLPVS. UML 2004: 335-349
2003
4	EE	Jan A. Bergstra, Alban Ponse, Mark van der Zwaag: Branching time and orthogonal bisimulation equivalence. Theor. Comput. Sci. 309(1-3): 313-355 (2003)
2002
3		Michel A. Reniers, Jan Friso Groote, Mark van der Zwaag, Jos van Wamel: Completeness of Timed mCRL. Fundam. Inform. 50(3-4): 361-402 (2002)
2001
2	EE	Mark van der Zwaag: The cones and foci proof technique for timed transition systems. Inf. Process. Lett. 80(1): 33-40 (2001)
1998
1	EE	Carron Shankland, Mark van der Zwaag: The Tree Identify Protocol of IEEE 1394 in µCRL. Formal Asp. Comput. 10(5-6): 509-531 (1998)

Coauthor Index

1	Tamarah Arons	[5] [6]
2	Jan A. Bergstra	[4] [12] [13] [14] [15]
3	Frank S. de Boer	[6]
4	Harald Fecher	[6]
5	Jan Friso Groote	[3]
6	Jozef Hooman	[5] [6] [7]
7	Joost Jacob	[6]
8	Hillel Kugler	[5] [6]
9	Marcel Kyas	[6]
10	Amir Pnueli	[5]
11	Alban Ponse	[4] [8] [9] [10] [11] [12]
12	Michel A. Reniers	[3]
13	Carron Shankland	[1]
14	Sanne Nolst Trenité	[14] [15]
15	Jos van Wamel	[3]

Colors in the list of coauthors