Concepedia

Author

Tobias Nipkow

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

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