×

zbMATH — the first resource for mathematics

Podelski, Andreas

Compute Distance To:
Author ID: podelski.andreas
Published as: Podelski, Andreas
External Links: MGP
Documents Indexed: 100 Publications since 1989, including 8 Books
all top 5

Co-Authors

5 single-authored
13 Rybalchenko, Andrey
11 Hoenicke, Jochen
7 Charatonik, Witold
7 Heizmann, Matthias
7 Mukhopadhyay, Supratik
6 Aït-Kaci, Hassan
6 Nivat, Maurice
6 Wies, Thomas
5 Delzanno, Giorgio
5 Farzan, Azadeh
5 Kincaid, Zachary
4 Bogomolov, Sergiy
4 Cook, Byron
4 Muñiz, Marco
4 Westphal, Bernd
3 Dietsch, Daniel
3 Malkis, Alexander
3 Smolka, Gert
3 Wagner, Silke
2 Ball, Thomas
2 Beauquier, Danièle
2 Blanchet, Bruno
2 Calbrix, Hugues
2 Esparza, Javier
2 Frehse, Goran
2 Greitschus, Marius
2 Herrera, Christian
2 Jensen, Kurt
2 Kupferschmid, Sebastian
2 Mitrohin, Corina
2 Niwiński, Damian
2 Nutz, Alexander
2 Olderog, Ernst-Rüdiger
2 Rajamani, Sriram K.
1 Abdulla, Parosh Aziz
1 Argón, Pablo
1 Atig, Mohamed Faouzi
1 Ayari, Abdelwaheb
1 Basin, David A.
1 Courcelle, Bruno
1 Dimitrova, Rayna
1 Dräger, Klaus
1 Ermis, Evren
1 Feo-Arenis, Sergio
1 Finkbeiner, Bernd
1 Forets, Marcelo
1 Goldstein, Seth Copen
1 Gotsman, Alexey
1 Hoffmann, Jörg
1 Jhala, Ranjit
1 Jones, Neil D.
1 Joshi, Rajeev
1 Kuncak, Viktor
1 Lam, Patrick P.
1 Langenfeld, Vincent
1 Leike, Jan
1 Leino, K. Rustan M.
1 Leuschel, Michael
1 Majumdar, Rupak
1 McAllester, David Allen
1 Müller, Martin Eric
1 Müller, Peter-H.
1 Niehren, Joachim
1 Péladeau, Pierre
1 Pnueli, Amir
1 Ramakrishnan, C. R.
1 Rinard, Martin C.
1 Schaefer, Ina
1 Schäf, Martin
1 Schilling, Christian
1 Seghir, Mohamed Nassim
1 Smaus, Jan-Georg
1 Strump, Thomas
1 Talbot, Jean-Marc
1 Ultes-Nitsche, Ulrich
1 Vardi, Moshe Y.
1 Viry, Frédéric
1 Walukiewicz, Igor
1 Wehrle, Martin

Publications by Year

Citations contained in zbMATH

Access to citation profile requires subscription