Concepedia

Author

Aart Middeldorp

University of TsukubaORCID

Also Known As

A A Middeldorp, A MIDDELDORP, A Middeldorp, A. A. MIDDELDORP, A. Middeldorp, A.A. Middeldorp, AART MIDDELDORP, Aart MIDDELDORP, Aart Middeldorp, MIDDELDORP, Aart

209

Publications

3.1K

Citations

31

H-Index

53

Concepts

All Affiliations

University of TsukubaUniversität InnsbruckUniversity of AmsterdamVrije Universiteit AmsterdamJapan Advanced Institute of Science and Technology
AM

About

Aart Middeldorp is an author at University of Tsukuba specializing in engineering, formal methods, and automated reasoning.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

19

26

1.2K

2

Computer Science

11

13

359

3

Language Studies

3

3

58

4

Social Sciences

2

2

138

5

Civil Engineering

1

1

109

Aart Middeldorp

×

38

Publications

1.5K

Citations

23

H-Index

YearCitations

Page 1