×

zbMATH — the first resource for mathematics

Pnueli, Amir

Compute Distance To:
Author ID: pnueli.amir
Published as: Pnueli, A.; Pnueli, Amir
External Links: MGP · Wikidata · dblp · GND
Awards: Turing Award (1996)
Documents Indexed: 163 Publications since 1968, including 5 Books
Biographic References: 5 Publications
all top 5

Co-Authors

12 single-authored
26 Zuck, Lenore D.
22 Manna, Zohar
16 Kesten, Yonit
12 Maler, Oded
9 Balaban, Ittai
8 Harel, David
8 Piterman, Nir
6 Fang, Yi
5 Kugler, Hillel
5 Stavi, Jonathan
4 Arons, Tamarah
4 Ben-Ari, Mordechai
4 Damm, Werner
4 Even, Shimon
4 Francez, Nissim
4 Nickovic, Dejan
4 Peled, Doron A.
4 Rodeh, Yoav
4 Sa’ar, Yaniv
4 Shahar, Elad
3 Asarin, Eugene
3 Lehmann, Daniel J.
3 Lempel, Abraham
3 Ruah, Sitvanit
3 Shtrichman, Ofer
3 Siegel, Michael
3 Sifakis, Joseph
3 Strichman, Ofer
2 Apt, Krzysztof Rafal
2 Ashcroft, Edward A.
2 Barrett, Clark W.
2 Barringer, Howard
2 Cohen, Ariel
2 Goldberg, Benjamin
2 Halpern, Joseph Yehuda
2 Hart, Sergiu
2 Hu, Ying
2 Hubbard, E. Jane Albert
2 Josko, Bernhard
2 Klein, Uri
2 Lichtenstein, Orna
2 Marelly, Rami
2 Mysore, Venkatesh P.
2 Pekeris, Chaim Leib
2 Prywes, Noah S.
2 Rosner, Roni
2 Sharir, Micha
2 Slutzki, Giora
2 Stern, Michael J.
2 Vardi, Moshe Y.
2 Votintseva, Angelika
1 Banieqbal, Behnam
1 Bloem, Roderick
1 Bontemps, Yves
1 Bournez, Olivier
1 Cohen, Shimon
1 Commoner, F. G.
1 Dierks, Henning
1 Fisman, Dana
1 Gabbay, Dov M.
1 Gordin, I. V.
1 Grumberg, Orna
1 Harel, Eyal
1 Henzinger, Thomas A.
1 Holt, Anatol W.
1 Jobstmann, Barbara
1 Kam, Na’aman
1 Kaplan, Stéphane
1 Katz, Shmuel
1 Keste, Y.
1 Klebansky, Boris
1 Koren, Tmima
1 Kuiper, Ruurd
1 Kupferman, Orna
1 Langberg, Michael
1 Leung, Allen Yuk Lun
1 Leviathan, R.
1 Lu, Yuan
1 Marcus, Martin H.
1 McMillan, Kenneth L.
1 Niebert, Peter
1 Oehlerking, Jens
1 Olshansky, Tmima
1 Palem, Krishna V.
1 Podelski, Andreas
1 Raviv, Li-On
1 Ron, Dorit
1 Rosemberg, Flavia
1 Rybalchenko, Andrey
1 Schneider, Gerardo
1 Sedletsky, Ekaterina
1 Shastry, Subramanya K.
1 Sherman, Roger
1 Sinha, Nishant
1 Talupur, Muralidhar
1 Virbitskaite, Irina B.
1 Voronkov, Andrei
1 Xu, Jessie
1 Xu, Ying
1 Yovine, Sergio
...and 2 more Co-Authors

Publications by Year

Citations contained in zbMATH

Access to citation profile requires subscription

Wikidata Timeline