4
Publications
126
Citations
4
H-Index
2006
Active since
Affiliations
Aad Mathijssen is an author at Eindhoven University of Technology specializing in formal methods, engineering, and automated reasoning.
Top concepts
EngineeringFormal MethodsSoftware DesignComputer ScienceProgram AnalysisSoftware AnalysisAutomated ReasoningFormal VerificationFormal SpecificationCompilers
Publications per year
2006–2008
4
4
Capture-avoiding substitution as a nominal algebra
Murdoch J. Gabbay, Aad Mathijssen · Formal Aspects of Computing · 2008 · 50 citations · Full text
Jan Friso Groote, Aad Mathijssen, Muck van Weerdenburg et al. · Electronic Notes in Theoretical Computer Science · 2006 · 31 citations · Full text
Jan Friso Groote, Jeroen J. A. Keiren, Aad Mathijssen et al. · 2008 · 30 citations
Murdoch J. Gabbay, Aad Mathijssen · 2006 · 15 citations
Rows per page
1–4 of 4