×

zbMATH — the first resource for mathematics

Sagiv, Mooly

Compute Distance To:
Author ID: sagiv.mooly
Published as: Sagiv, M.; Sagiv, Mooly
Documents Indexed: 76 Publications since 1996, including 2 Books
all top 5

Co-Authors

1 single-authored
22 Reps, Thomas W.
10 Immerman, Neil
9 Lev-Ami, Tal
9 Yahav, Eran
9 Yorsh, Greta
8 Manevich, Roman
8 Ramalingam, Ganesan
8 Rinetzky, Noam
7 Wilhelm, Reinhard
6 Rabinovich, Alexander
5 Loginov, Alexey
5 Padon, Oded
5 Shoham, Sharon
4 Berdine, Josh
4 Cook, Byron
4 Gulwani, Sumit
4 Reps, Tom
4 Rodeh, Michael
3 Bauer, Jörg
3 Dor, Nurit
3 Field, John
3 Itzhaky, Shachar
3 Shaham, Ran
2 Abadi, Aharon
2 Arnold, Gilad
2 Bouajjani, Ahmed
2 Feldman, Yotam M. Y.
2 Gopan, Denis
2 Karbyshev, Aleksandr
2 Kolodner, Elliot K.
2 Lahav, Ori
2 McMillan, Kenneth L.
2 Meyer, Antoine
2 Nielson, Flemming
2 Srivastava, Siddharth
1 Aiken, Alex
1 Alpernas, Kalev
1 Amit, Daphna
1 Ball, Thomas
1 Banerjee, Anindya
1 Bjørner, Nikolaj S.
1 Bodik, Rastislav
1 Burckhardt, Sebastian
1 Chawdhary, Aziem
1 Dillig, Isil
1 Dillig, Thomas
1 DiMaio, Frank
1 Dolev, Shlomi
1 Fähndrich, Manuel
1 Fisher, Kathleen
1 Francez, Nissim
1 Frumkin, Asya
1 Golan-Gueta, Guy
1 Gotsman, Alexey
1 Goyal, Deepak
1 Haviv, Yinnon
1 Hawkins, Peter
1 Henzinger, Thomas A.
1 Hölzl, Johannes
1 Horwitz, Susan
1 Jeannet, Bertrand
1 Köksal, Ali Sinan
1 Korneev, Svyatoslav
1 Kotek, Tomer
1 Kreiker, Jörg
1 Kuehlmann, Andreas
1 Kupferman, Orna
1 Leijen, Daan
1 Lhoták, Ondřej
1 Li, Boyang
1 Matias, Yossi
1 McCloskey, Bill
1 Nanevski, Aleksandar
1 Narodytska, Nina
1 Nielson, H. Riis
1 Oren, David
1 Ozeri, Or
1 Panda, Aurojit
1 Pulina, Luca
1 Rabinovich, Alex
1 Riis Nielson, Hanne
1 Rinard, Martin C.
1 Ross, John L.
1 Rybalchenko, Andrey
1 Schuster, Assaf
1 Shacham, Ohad
1 Shenker, Scott J.
1 Tacchella, Armando
1 Tamir, Orr
1 Veith, Helmut
1 Velner, Yaron
1 Weidenbach, Christoph
1 Yang, Hongseok
1 Zomer, Oren
1 Zuleger, Florian

Publications by Year

Citations contained in zbMATH

Access to citation profile requires subscription