Ahj Aad Mathijssen
Eindhoven University of Technology(NL)
Publications by Year
Research Areas
Logic, programming, and type systems, Formal Methods in Verification, Logic, Reasoning, and Knowledge, Semantic Web and Ontologies, Advanced Software Engineering Methodologies
Most-Cited Works
- → The Formal Specification Language mCRL2(2007)128 cited
- → Nominal (Universal) Algebra: Equational Logic with Names and Binding(2009)76 cited
- → Logical calculi for reasoning with binding(2007)63 cited
- → One-and-a-halfth-order Logic(2007)36 cited
- → A Nominal Axiomatization of the Lambda Calculus(2009)21 cited
- The lambda-calculus is nominal algebraic(2008)
- Modelgebaseerde verificatie als wapen in de strijd voor productkwaliteit(2009)