Aad Mathijssen

	2010
11		Murdoch James Gabbay, Aad Mathijssen: A Nominal Axiomatization of the Lambda Calculus. J. Log. Comput. 20(2): 501-531 (2010)
	2009
10		Dragan Bosnacki, Aad Mathijssen, Yaroslav S. Usenko: Behavioural Analysis of an I2C Linux Driver. FMICS 2009: 205-206
9		Murdoch James Gabbay, Aad Mathijssen: Nominal (Universal) Algebra: Equational Logic with Names and Binding. J. Log. Comput. 19(6): 1455-1508 (2009)
	2008
8		Murdoch James Gabbay, Aad Mathijssen: Capture-avoiding substitution as a nominal algebra. Formal Asp. Comput. 20(4-5): 451-479 (2008)
7		Murdoch James Gabbay, Aad Mathijssen: One-and-a-halfth-order Logic. J. Log. Comput. 18(4): 521-562 (2008)
	2007
6		Murdoch Gabbay, Aad Mathijssen: A Formal Calculus for Informal Equality with Binding. WoLLIC 2007: 162-176
	2006
5		Aad Mathijssen, A. Johannes Pretorius: Verified Design of an Automated Parking Garage. FMICS/PDMC 2006: 165-180
4		Murdoch Gabbay, Aad Mathijssen: Capture-Avoiding Substitution as a Nominal Algebra. ICTAC 2006: 198-212
3		Jan Friso Groote, Aad Mathijssen, Michel A. Reniers, Yaroslav S. Usenko, Muck van Weerdenburg: The Formal Specification Language mCRL2. MMOSS 2006
2		Murdoch Gabbay, Aad Mathijssen: One-and-a-halfth-order logic. PPDP 2006: 189-200
1		Jan Friso Groote, Aad Mathijssen, Muck van Weerdenburg, Yaroslav S. Usenko: From µCRL to mCRL2: Motivation and Outline. Electr. Notes Theor. Comput. Sci. 162: 191-196 (2006)

Coauthor Index

1	Dragan Bosnacki	[10]
2	Murdoch James Gabbay (Murdoch Gabbay)	[2] [4] [6] [7] [8] [9] [11]
3	Jan Friso Groote	[1] [3]
4	A. Johannes Pretorius	[5]
5	Michel A. Reniers	[3]
6	Yaroslav S. Usenko	[1] [3] [10]
7	Muck van Weerdenburg	[1] [3]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page