Aad Mathijssen

According to our database, Aad Mathijssen authored at least 9 papers between 2005 and 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2010

A Nominal Axiomatization of the Lambda Calculus.

Murdoch James Gabbay, Aad Mathijssen

J. Log. Comput., 2010

2009

Nominal (Universal) Algebra: Equational Logic with Names and Binding.

Murdoch James Gabbay, Aad Mathijssen

J. Log. Comput., 2009

Behavioural Analysis of an I²C Linux Driver.

Dragan Bosnacki, Aad Mathijssen, Yaroslav S. Usenko

Proceedings of the Formal Methods for Industrial Critical Systems, 2009

2008

One-and-a-halfth-order Logic.

Murdoch James Gabbay, Aad Mathijssen

J. Log. Comput., 2008

Capture-avoiding substitution as a nominal algebra.

Murdoch James Gabbay, Aad Mathijssen

Formal Aspects Comput., 2008

2007

A Formal Calculus for Informal Equality with Binding.

Murdoch Gabbay, Aad Mathijssen

Proceedings of the Logic, 2007

2006

Verified Design of an Automated Parking Garage.

Aad Mathijssen, A. Johannes Pretorius

Proceedings of the Formal Methods: Applications and Technology, 2006

The Formal Specification Language mCRL2.

Jan Friso Groote, Aad Mathijssen, Michel A. Reniers, Yaroslav S. Usenko, Muck van Weerdenburg

Proceedings of the Methods for Modelling Software Systems (MMOSS), 27.08. - 01.09.2006, 2006

2005

From µCRL to mCRL2: Motivation and Outline.

Jan Friso Groote, Aad Mathijssen, Muck van Weerdenburg, Yaroslav S. Usenko

Proceedings of the Workshop "Essays on Algebraic Process Calculi", 2005