Ahj Aad Mathijssen - Concepedia

Author

Ahj Aad Mathijssen

Also Known As

A. Mathijssen, Ahj Aad Mathijssen, Mathijssen, AHJ (Aad), Mathijssen, AHJ Aad, Mathijssen, Aad

Publications

329

Citations

H-Index

Concepts

All Affiliations

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

#	Concept	H-Index	Publications	Citations
1	Engineering	3	3	227
2	Computer Science	2	2	191
3	Language Studies	1	1	36
4	Distributed Systems	1	1	128
5	Reasoning	1	1	63

Ahj Aad Mathijssen

Publications

324

Citations

H-Index

Page 1

Page 1