Concepedia

Author

Tobias Nipkow

Technical University of MunichORCID

Also Known As

Dadeau, Frédéric, Fleury, Mathias, Leitsch, Alexander, Nipkow, Tobias, T. Nipkow, TOBIAS NIPKOW, Tobias Nipkow, Tobias Nipkow  , Tobias Nipkow ,  Markus Wenzel 

295

Publications

11.9K

Citations

45

H-Index

45

Concepts

All Affiliations

Technical University of MunichUniversity of Cambridge
TN

About

Tobias Nipkow is an author at Technical University of Munich specializing in formal methods, engineering, and automated reasoning.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

24

26

1.8K

2

Computer Science

22

23

1.7K

3

Computer Engineering

3

3

367

4

Social Sciences

1

1

44

5

Data Science

1

1

39

Tobias Nipkow

×

43

Publications

2.8K

Citations

29

H-Index

YearCitations

Page 1