Concepedia

Author

Aad Mathijssen

Eindhoven University of Technology

Also Known As

A. H. J. Mathijssen, Aad Mathijssen

17

Publications

265

Citations

8

H-Index

25

Concepts

All Affiliations

Eindhoven University of TechnologyHeriot-Watt University
AM

About

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

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

3

3

76

2

Computer Science

2

2

61

3

Computer Engineering

1

1

30

4

Compilers

1

1

31

5

Mathematical Foundations

1

1

31

Aad Mathijssen

×

4

Publications

126

Citations

4

H-Index

YearCitations

Page 1