Concepedia

Ahj Aad Mathijssen

AA

5

Publications

324

Citations

5

H-Index

2007

Active since

Affiliations

Eindhoven University of Technology(Current)

Ahj Aad Mathijssen is an author at Eindhoven University of Technology specializing in formal methods, automated reasoning, and engineering.

Top concepts

EngineeringFormal MethodsAutomated ReasoningSemanticsVerificationComputer ScienceFormal VerificationSyntaxLanguageReasoning

Publications per year

2007–2009

5

Publications

5

The Formal Specification Language mCRL2

Jan Friso Groote, Ahj Aad Mathijssen, Michel Reniers et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2007 · 128 citations · Full text

Petri Net, Engineering, Verification +17

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

Murdoch J. Gabbay, Ahj Aad Mathijssen · Journal of Logic and Computation · 2009 · 76 citations

Logical calculi for reasoning with binding

Ahj Aad Mathijssen · Data Archiving and Networked Services (DANS) · 2007 · 63 citations · Full text

Applied Logic, Engineering, Verification +17

One-and-a-halfth-order Logic

Murdoch J. Gabbay, Ahj Aad Mathijssen · Journal of Logic and Computation · 2007 · 36 citations

Algebraic Logic, Syntax, Engineering +10

A Nominal Axiomatization of the Lambda Calculus

Murdoch J. Gabbay, Ahj Aad Mathijssen · Journal of Logic and Computation · 2009 · 21 citations

Rows per page

1–5 of 5