Concepedia

Author

Andreas Podelski

University of FreiburgORCID

Also Known As

A. Podelski, ANDREAS PODELSKI, Andreas Podelski, Frédéric Viry, Müller, Peter, Podelski, A., Podelski, Andreas, SAS 2018 Freiburg im Breisgau

288

Publications

6.8K

Citations

42

H-Index

79

Concepts

All Affiliations

University of FreiburgMax Planck Institute for InformaticsMax Planck SocietyMicrosoft (United States)Microsoft Research (United Kingdom)
AP

About

Andreas Podelski is an author at University of Freiburg specializing in computer science, engineering, and formal verification.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

26

49

2.7K

2

Computer Engineering

12

12

1.1K

3

Business

2

2

64

4

Humanities

1

1

141

5

Language Studies

1

1

24

Andreas Podelski

×

62

Publications

3.2K

Citations

29

H-Index

YearCitations

Page 1