Aad Mathijssen

11 papers C 4Journal 4Unranked 3
YearRankTypeTitle / Venue / Authors
2010 J jnl
A Nominal Axiomatization of the Lambda Calculus.
J. Log. Comput.
Murdoch James Gabbay, Aad Mathijssen
2009 C conf
Behavioural Analysis of an I
FMICS
Dragan Bosnacki, Aad Mathijssen, Yaroslav S. Usenko
2009 J jnl
Nominal (Universal) Algebra: Equational Logic with Names and Binding.
J. Log. Comput.
Murdoch James Gabbay, Aad Mathijssen
2008 J jnl
Capture-avoiding substitution as a nominal algebra.
Formal Aspects Comput.
Murdoch James Gabbay, Aad Mathijssen
2008 J jnl
One-and-a-halfth-order Logic.
J. Log. Comput.
Murdoch James Gabbay, Aad Mathijssen
2007 C conf
A Formal Calculus for Informal Equality with Binding.
WoLLIC
Murdoch Gabbay, Aad Mathijssen
2006 C conf
Capture-Avoiding Substitution as a Nominal Algebra.
ICTAC
Murdoch Gabbay, Aad Mathijssen
2006 C conf
One-and-a-halfth-order logic.
PPDP
Murdoch Gabbay, Aad Mathijssen
2006 — conf
The Formal Specification Language mCRL2.
MMOSS
Jan Friso Groote, Aad Mathijssen, Michel A. Reniers, Yaroslav S. Usenko, Muck van Weerdenburg
2006 — conf
Verified Design of an Automated Parking Garage.
FMICS/PDMC
Aad Mathijssen, A. Johannes Pretorius
2005 — conf
From µCRL to mCRL2: Motivation and Outline.
APC 25
Jan Friso Groote, Aad Mathijssen, Muck van Weerdenburg, Yaroslav S. Usenko
2023 — conf
Not What You've Signed Up For: Compromising Real-World LLM-Integrated Applications with Indirect Prompt Injection.
AISec
Kai Greshake, Sahar Abdelnabi, Shailesh Mishra, Christoph Endres, Thorsten Holz, Mario Fritz
2026 — preprint
CCX: Enabling Unmodified Intel SGX Applications on Arm CCA.
arXiv
Matti Schulze, Thorsten Holz, Felix C. Freiling