Statistics
Publications
64
Citations
3.3K
H-Index
29
Active since
1991
Andreas Podelski is an author at University of Freiburg specializing in computing, computer science, and formal methods.
Publications per year
1991–2023
64
64
Termination proofs for systems code
Byron Cook, Andreas Podelski, Andrey Rybalchenko · ACM SIGPLAN Notices · 2006 · 322 citations
Andreas Podelski, Andrey Rybalchenko · 2004 · 252 citations
Termination proofs for systems code
Byron Cook, Andreas Podelski, Andrey Rybalchenko · 2006 · 238 citations
Andreas Podelski, Andrey Rybalchenko · 2004 · 157 citations
Hassan Aı̈t-Kaci, Andreas Podelski · The Journal of Logic Programming · 1993 · 141 citations
1–5 of 64