Aad Mathijssen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2006–2009
Best venue rank
C
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2009 | FMICS | Behavioural Analysis of an I | Dragan Bosnacki, Aad Mathijssen, Yaroslav S. Usenko |
| 2007 | WoLLIC | A Formal Calculus for Informal Equality with Binding. | Murdoch Gabbay, Aad Mathijssen |
| 2006 | FMICS | Verified Design of an Automated Parking Garage. | Aad Mathijssen, A. Johannes Pretorius |
| 2006 | ICTAC | Capture-Avoiding Substitution as a Nominal Algebra. | Murdoch Gabbay, Aad Mathijssen |
| 2006 | PPDP | One-and-a-halfth-order logic. | Murdoch Gabbay, Aad Mathijssen |