Concepedia

Author

Peter Schroeder‐Heister

Also Known As

Homeister, Matthias, P. Schroeder-Heister, PETER SCHROEDER-HEISTER, Peter Schroeder-Heister, Peter Schroeder‐Heister, Schroeder-Heister, Peter, Schroeder-Heister, Peter (Hrsg.), Stärk, Robert

133

Publications

2K

Citations

24

H-Index

72

Concepts

All Affiliations

PS

About

Peter Schroeder‐Heister is an author at University of Tübingen specializing in automated reasoning, engineering, and formal methods.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

15

17

876

2

Language Studies

11

11

659

3

Health Sciences

1

1

33

4

Law

1

1

13

5

Medicine

1

1

97

Peter Schroeder‐Heister

×

35

Publications

1.4K

Citations

21

H-Index

YearCitations

Page 1