×

zbMATH — the first resource for mathematics

Sagiv, Mooly

Compute Distance To:
Author ID: sagiv.mooly Recent zbMATH articles by "Sagiv, Mooly"
Published as: Sagiv, M.; Sagiv, Mooly
Documents Indexed: 77 Publications since 1996, including 2 Books
all top 5

Co-Authors

1 single-authored
22 Reps, Thomas W.
11 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 Padon, Oded
6 Rabinovich, Alexander
6 Shoham, Sharon
5 Loginov, Alexey
4 Berdine, Josh
4 Cook, Byron
4 Gulwani, Sumit
4 Reps, Tom
4 Rodeh, Michael
3 Bauer, Jörg
3 Dor, Nurit
3 Feldman, Yotam M. Y.
3 Field, John Everett
3 Itzhaky, Shachar
3 Shaham, Ran
2 Abadi, Aharon
2 Arnold, Gilad
2 Bouajjani, Ahmed
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

54 Publications have been cited 250 times in 168 Documents Cited by Year
Precise interprocedural dataflow analysis with applications to constant propagation. Zbl 0874.68133
Sagiv, Mooly; Reps, Thomas; Horwitz, Susan
18
1996
A framework for numeric analysis of array operations. Zbl 1369.68138
Gopan, Denis; Reps, Thomas; Sagiv, Mooly
14
2005
TVLA: A system for implementing static analyses. Zbl 0966.68580
Lev-Ami, Tal; Sagiv, Mooly
12
2000
Local reasoning for storable locks and threads. Zbl 1137.68354
Gotsman, Alexey; Berdine, Josh; Cook, Byron; Rinetzky, Noam; Sagiv, Mooly
11
2007
Symbolic implementation of the best transformer. Zbl 1202.68255
Reps, Thomas; Sagiv, Mooly; Yorsh, Greta
11
2004
The boundary between decidability and undecidability for transitive-closure logics. Zbl 1095.03008
Immerman, Neil; Rabinovich, Alex; Reps, Tom; Sagiv, Mooly; Yorsh, Greta
11
2004
Proving conditional termination. Zbl 1155.68431
Cook, Byron; Gulwani, Sumit; Lev-Ami, Tal; Rybalchenko, Andrey; Sagiv, Mooly
10
2008
A combination framework for tracking partition sizes. Zbl 1315.68094
Gulwani, Sumit; Lev-Ami, Tal; Sagiv, Mooly
9
2009
Static program analysis via 3-valued logic. Zbl 1103.68635
Reps, Thomas W.; Sagiv, Mooly; Wilhelm, Reinhard
9
2004
A logic of reachable patterns in linked data-structures. Zbl 1180.68131
Yorsh, Greta; Rabinovich, Alexander; Sagiv, Mooly; Meyer, Antoine; Bouajjani, Ahmed
8
2006
Synthesis of circular compositional program proofs via abduction. Zbl 1381.68057
Li, Boyang; Dillig, Isil; Dillig, Thomas; McMillan, Ken; Sagiv, Mooly
7
2013
Generalizing DPLL to richer logics. Zbl 1242.68282
McMillan, Kenneth L.; Kuehlmann, Andreas; Sagiv, Mooly
6
2009
Ranking abstractions. Zbl 1133.68317
Chawdhary, Aziem; Cook, Byron; Gulwani, Sumit; Sagiv, Mooly; Yang, Hongseok
6
2008
Predicate abstraction and canonical abstraction for singly-linked lists. Zbl 1111.68398
Manevich, Roman; Yahav, E.; Ramalingam, G.; Sagiv, Mooly
6
2005
Cleanness checking of string manipulations in C programs via integer analysis. Zbl 0997.68570
Dor, Nurit; Rodeh, Michael; Sagiv, Mooly
6
2001
Comparison under abstraction for verifying linearizability. Zbl 1135.68462
Amit, Daphna; Rinetzky, Noam; Reps, Thomas; Sagiv, Mooly; Yahav, Eran
5
2007
A logic of reachable patterns in linked data-structures. Zbl 1121.03040
Yorsh, Greta; Rabinovich, Alexander; Sagiv, Mooly; Meyer, Antoine; Bouajjani, Ahmed
5
2007
Automated verification of the Deutsch-Schorr-Waite tree-traversal algorithm. Zbl 1225.68081
Loginov, Alexey; Reps, Thomas; Sagiv, Mooly
5
2006
A semantics for procedure local heaps and its abstractions. Zbl 1369.68154
Rinetzky, Noam; Bauer, Jörg; Reps, Thomas; Sagiv, Mooly; Wilhelm, Reinhard
5
2005
Simulating reachability using first-order logic with applications to verification of linked data structures. Zbl 1135.68556
Lev-Ami, T.; Immerman, N.; Reps, T.; Sagiv, M.; Srivastava, S.; Yorsh, G.
5
2005
Numeric domains with summarized dimensions. Zbl 1126.68348
Gopan, Denis; DiMaio, Frank; Dor, Nurit; Reps, Thomas; Sagiv, Mooly
5
2004
A Kleene analysis of mobile ambients. Zbl 0971.68579
Nielson, Flemming; Riis Nielson, Hanne; Sagiv, Mooly
5
2000
Leaping loops in the presence of abstraction. Zbl 1135.68465
Ball, Thomas; Kupferman, Orna; Sagiv, Mooly
4
2007
Verifying temporal heap properties specified via evolution logic. Zbl 1108.68077
Yahav, E.; Reps, T.; Sagiv, M.; Wilhelm, R.
4
2006
Interprocedural shape analysis for cutpoint-free programs. Zbl 1141.68375
Rinetzky, Noam; Sagiv, Mooly; Yahav, Eran
4
2005
Abstraction refinement via inductive learning. Zbl 1081.68626
Loginov, Alexey; Reps, Thomas; Sagiv, Mooly
4
2005
Verification via structure simulation. Zbl 1103.68623
Immerman, Niel; Rabinovich, Alexander; Reps, Thomas W.; Sagiv, Mooly; Yorsh, Great
4
2004
A relational approach to interprocedural shape analysis. Zbl 1104.68416
Jeannet, Bertrand; Loginov, Alexey; Reps, Thomas; Sagiv, Mooly
4
2004
Finite differencing of logical formulas for static analysis. Zbl 1032.68061
Reps, Thomas; Sagiv, Mooly; Loginov, Alexey
4
2003
Verifying temporal heap properties specified via evolution logic. Zbl 1032.68062
Yahav, Eran; Reps, Thomas; Sagiv, Mooly; Wilhelm, Reinhard
4
2003
Eventually consistent transactions. Zbl 1352.68050
Burckhardt, Sebastian; Leijen, Daan; Fähndrich, Manuel; Sagiv, Mooly
3
2012
Thread quantification for concurrent shape analysis. Zbl 1155.68360
Berdine, J.; Lev-Ami, T.; Manevich, R.; Ramalingam, G.; Sagiv, M.
3
2008
Logical characterizations of heap abstractions. Zbl 1367.68078
Yorsh, Greta; Reps, Thomas; Sagiv, Mooly; Wilhelm, Reinhard
3
2007
Symbolically computing most-precise abstract operations for shape analysis. Zbl 1126.68359
Yorsh, G.; Reps, Thomas; Sagiv, Mooly
3
2004
Decentralizing SDN policies. Zbl 1346.68027
Padon, Oded; Immerman, Neil; Karbyshev, Aleksandr; Lahav, Ori; Sagiv, Mooly; Shoham, Sharon
2
2015
Modular reasoning about heap paths via effectively propositional formulas. Zbl 1284.68403
Itzhaky, Shachar; Banerjee, Anindya; Immerman, Neil; Lahav, Ori; Nanevski, Aleksandar; Sagiv, Mooly
2
2014
Statically inferring complex heap, array, and numeric invariants. Zbl 1306.68032
McCloskey, Bill; Reps, Thomas; Sagiv, Mooly
2
2010
Decidable fragments of many-sorted logic. Zbl 1183.03007
Abadi, Aharon; Rabinovich, Alexander; Sagiv, Mooly
2
2010
Heap decomposition for concurrent shape analysis. Zbl 1149.68358
Manevich, Roman; Lev-Ami, Tal; Sagiv, Mooly; Ramalingam, Ganesan; Berdine, Josh
2
2008
Labelled clauses. Zbl 1213.68572
Lev-Ami, Tal; Weidenbach, Christoph; Reps, Thomas; Sagiv, Mooly
2
2007
Combining shape analyses by intersecting abstractions. Zbl 1176.68111
Arnold, Gilad; Manevich, Roman; Sagiv, Mooly; Shaham, Ran
2
2006
Some complexity results for stateful network verification. Zbl 1425.68248
Alpernas, Kalev; Panda, Aurojit; Rabinovich, Alexander; Sagiv, Mooly; Shenker, Scott; Shoham, Sharon; Velner, Yaron
1
2019
Interprocedural shape analysis for effectively cutpoint-free programs. Zbl 1383.68025
Kreiker, J.; Reps, T.; Rinetzky, N.; Sagiv, M.; Wilhelm, Reinhard; Yahav, E.
1
2013
Simulating reachability using first-order logic with applications to verification of linked data structures. Zbl 1163.68010
Lev-Ami, Tal; Immerman, Neil; Reps, Thomas W.; Sagiv, Mooly; Srivastava, Siddharth; Yorsh, Greta
1
2009
Decidable fragments of many-sorted logic. Zbl 1137.03302
Abadi, Aharon; Rabinovich, Alexander; Sagiv, Mooly
1
2007
Abstract counterexample-based refinement for powerset domains. Zbl 1149.68357
Manevich, Roman; Field, John; Henzinger, Thomas A.; Ramalingam, G.; Sagiv, Mooly
1
2007
Refinement-based verification for possibly-cyclic lists. Zbl 1149.68356
Loginov, Alexey; Reps, Thomas; Sagiv, Mooly
1
2007
Programming languages and systems. 14th European symposium on programming, ESOP 2005, held as part of the joint European conferences on theory and practice of software, ETAPS 2005, Edinburgh, UK, April 4–8, 2005. Proceedings. Zbl 1068.68008
Sagiv, Mooly (ed.)
1
2005
Partially disjunctive heap abstraction. Zbl 1104.68419
Manevich, Roman; Sagiv, Mooly; Ramalingam, Ganesan; Field, John
1
2004
Establishing local temporal heap safety properties with applications to compile-time memory management. Zbl 1067.68550
Shaham, Ran; Yahav, Eran; Kolodner, Elliot K.; Sagiv, Mooly
1
2003
Kleene’s Logic with equality. Zbl 1032.68100
Nielson, F.; Riis Nielson, H.; Sagiv, M.
1
2001
Interprocedural shape analysis for recursive programs. Zbl 0977.68688
Rinetzky, Noam; Sagiv, Mooly
1
2001
Checking cleanness in linked lists. Zbl 0966.68558
Dor, Nurit; Rodeh, Michael; Sagiv, Mooly
1
2000
Finding circular attributes in attribute grammars. Zbl 1065.68577
Rodeh, Michael; Sagiv, Mooly
1
1999
Some complexity results for stateful network verification. Zbl 1425.68248
Alpernas, Kalev; Panda, Aurojit; Rabinovich, Alexander; Sagiv, Mooly; Shenker, Scott; Shoham, Sharon; Velner, Yaron
1
2019
Decentralizing SDN policies. Zbl 1346.68027
Padon, Oded; Immerman, Neil; Karbyshev, Aleksandr; Lahav, Ori; Sagiv, Mooly; Shoham, Sharon
2
2015
Modular reasoning about heap paths via effectively propositional formulas. Zbl 1284.68403
Itzhaky, Shachar; Banerjee, Anindya; Immerman, Neil; Lahav, Ori; Nanevski, Aleksandar; Sagiv, Mooly
2
2014
Synthesis of circular compositional program proofs via abduction. Zbl 1381.68057
Li, Boyang; Dillig, Isil; Dillig, Thomas; McMillan, Ken; Sagiv, Mooly
7
2013
Interprocedural shape analysis for effectively cutpoint-free programs. Zbl 1383.68025
Kreiker, J.; Reps, T.; Rinetzky, N.; Sagiv, M.; Wilhelm, Reinhard; Yahav, E.
1
2013
Eventually consistent transactions. Zbl 1352.68050
Burckhardt, Sebastian; Leijen, Daan; Fähndrich, Manuel; Sagiv, Mooly
3
2012
Statically inferring complex heap, array, and numeric invariants. Zbl 1306.68032
McCloskey, Bill; Reps, Thomas; Sagiv, Mooly
2
2010
Decidable fragments of many-sorted logic. Zbl 1183.03007
Abadi, Aharon; Rabinovich, Alexander; Sagiv, Mooly
2
2010
A combination framework for tracking partition sizes. Zbl 1315.68094
Gulwani, Sumit; Lev-Ami, Tal; Sagiv, Mooly
9
2009
Generalizing DPLL to richer logics. Zbl 1242.68282
McMillan, Kenneth L.; Kuehlmann, Andreas; Sagiv, Mooly
6
2009
Simulating reachability using first-order logic with applications to verification of linked data structures. Zbl 1163.68010
Lev-Ami, Tal; Immerman, Neil; Reps, Thomas W.; Sagiv, Mooly; Srivastava, Siddharth; Yorsh, Greta
1
2009
Proving conditional termination. Zbl 1155.68431
Cook, Byron; Gulwani, Sumit; Lev-Ami, Tal; Rybalchenko, Andrey; Sagiv, Mooly
10
2008
Ranking abstractions. Zbl 1133.68317
Chawdhary, Aziem; Cook, Byron; Gulwani, Sumit; Sagiv, Mooly; Yang, Hongseok
6
2008
Thread quantification for concurrent shape analysis. Zbl 1155.68360
Berdine, J.; Lev-Ami, T.; Manevich, R.; Ramalingam, G.; Sagiv, M.
3
2008
Heap decomposition for concurrent shape analysis. Zbl 1149.68358
Manevich, Roman; Lev-Ami, Tal; Sagiv, Mooly; Ramalingam, Ganesan; Berdine, Josh
2
2008
Local reasoning for storable locks and threads. Zbl 1137.68354
Gotsman, Alexey; Berdine, Josh; Cook, Byron; Rinetzky, Noam; Sagiv, Mooly
11
2007
Comparison under abstraction for verifying linearizability. Zbl 1135.68462
Amit, Daphna; Rinetzky, Noam; Reps, Thomas; Sagiv, Mooly; Yahav, Eran
5
2007
A logic of reachable patterns in linked data-structures. Zbl 1121.03040
Yorsh, Greta; Rabinovich, Alexander; Sagiv, Mooly; Meyer, Antoine; Bouajjani, Ahmed
5
2007
Leaping loops in the presence of abstraction. Zbl 1135.68465
Ball, Thomas; Kupferman, Orna; Sagiv, Mooly
4
2007
Logical characterizations of heap abstractions. Zbl 1367.68078
Yorsh, Greta; Reps, Thomas; Sagiv, Mooly; Wilhelm, Reinhard
3
2007
Labelled clauses. Zbl 1213.68572
Lev-Ami, Tal; Weidenbach, Christoph; Reps, Thomas; Sagiv, Mooly
2
2007
Decidable fragments of many-sorted logic. Zbl 1137.03302
Abadi, Aharon; Rabinovich, Alexander; Sagiv, Mooly
1
2007
Abstract counterexample-based refinement for powerset domains. Zbl 1149.68357
Manevich, Roman; Field, John; Henzinger, Thomas A.; Ramalingam, G.; Sagiv, Mooly
1
2007
Refinement-based verification for possibly-cyclic lists. Zbl 1149.68356
Loginov, Alexey; Reps, Thomas; Sagiv, Mooly
1
2007
A logic of reachable patterns in linked data-structures. Zbl 1180.68131
Yorsh, Greta; Rabinovich, Alexander; Sagiv, Mooly; Meyer, Antoine; Bouajjani, Ahmed
8
2006
Automated verification of the Deutsch-Schorr-Waite tree-traversal algorithm. Zbl 1225.68081
Loginov, Alexey; Reps, Thomas; Sagiv, Mooly
5
2006
Verifying temporal heap properties specified via evolution logic. Zbl 1108.68077
Yahav, E.; Reps, T.; Sagiv, M.; Wilhelm, R.
4
2006
Combining shape analyses by intersecting abstractions. Zbl 1176.68111
Arnold, Gilad; Manevich, Roman; Sagiv, Mooly; Shaham, Ran
2
2006
A framework for numeric analysis of array operations. Zbl 1369.68138
Gopan, Denis; Reps, Thomas; Sagiv, Mooly
14
2005
Predicate abstraction and canonical abstraction for singly-linked lists. Zbl 1111.68398
Manevich, Roman; Yahav, E.; Ramalingam, G.; Sagiv, Mooly
6
2005
A semantics for procedure local heaps and its abstractions. Zbl 1369.68154
Rinetzky, Noam; Bauer, Jörg; Reps, Thomas; Sagiv, Mooly; Wilhelm, Reinhard
5
2005
Simulating reachability using first-order logic with applications to verification of linked data structures. Zbl 1135.68556
Lev-Ami, T.; Immerman, N.; Reps, T.; Sagiv, M.; Srivastava, S.; Yorsh, G.
5
2005
Interprocedural shape analysis for cutpoint-free programs. Zbl 1141.68375
Rinetzky, Noam; Sagiv, Mooly; Yahav, Eran
4
2005
Abstraction refinement via inductive learning. Zbl 1081.68626
Loginov, Alexey; Reps, Thomas; Sagiv, Mooly
4
2005
Programming languages and systems. 14th European symposium on programming, ESOP 2005, held as part of the joint European conferences on theory and practice of software, ETAPS 2005, Edinburgh, UK, April 4–8, 2005. Proceedings. Zbl 1068.68008
Sagiv, Mooly (ed.)
1
2005
Symbolic implementation of the best transformer. Zbl 1202.68255
Reps, Thomas; Sagiv, Mooly; Yorsh, Greta
11
2004
The boundary between decidability and undecidability for transitive-closure logics. Zbl 1095.03008
Immerman, Neil; Rabinovich, Alex; Reps, Tom; Sagiv, Mooly; Yorsh, Greta
11
2004
Static program analysis via 3-valued logic. Zbl 1103.68635
Reps, Thomas W.; Sagiv, Mooly; Wilhelm, Reinhard
9
2004
Numeric domains with summarized dimensions. Zbl 1126.68348
Gopan, Denis; DiMaio, Frank; Dor, Nurit; Reps, Thomas; Sagiv, Mooly
5
2004
Verification via structure simulation. Zbl 1103.68623
Immerman, Niel; Rabinovich, Alexander; Reps, Thomas W.; Sagiv, Mooly; Yorsh, Great
4
2004
A relational approach to interprocedural shape analysis. Zbl 1104.68416
Jeannet, Bertrand; Loginov, Alexey; Reps, Thomas; Sagiv, Mooly
4
2004
Symbolically computing most-precise abstract operations for shape analysis. Zbl 1126.68359
Yorsh, G.; Reps, Thomas; Sagiv, Mooly
3
2004
Partially disjunctive heap abstraction. Zbl 1104.68419
Manevich, Roman; Sagiv, Mooly; Ramalingam, Ganesan; Field, John
1
2004
Finite differencing of logical formulas for static analysis. Zbl 1032.68061
Reps, Thomas; Sagiv, Mooly; Loginov, Alexey
4
2003
Verifying temporal heap properties specified via evolution logic. Zbl 1032.68062
Yahav, Eran; Reps, Thomas; Sagiv, Mooly; Wilhelm, Reinhard
4
2003
Establishing local temporal heap safety properties with applications to compile-time memory management. Zbl 1067.68550
Shaham, Ran; Yahav, Eran; Kolodner, Elliot K.; Sagiv, Mooly
1
2003
Cleanness checking of string manipulations in C programs via integer analysis. Zbl 0997.68570
Dor, Nurit; Rodeh, Michael; Sagiv, Mooly
6
2001
Kleene’s Logic with equality. Zbl 1032.68100
Nielson, F.; Riis Nielson, H.; Sagiv, M.
1
2001
Interprocedural shape analysis for recursive programs. Zbl 0977.68688
Rinetzky, Noam; Sagiv, Mooly
1
2001
TVLA: A system for implementing static analyses. Zbl 0966.68580
Lev-Ami, Tal; Sagiv, Mooly
12
2000
A Kleene analysis of mobile ambients. Zbl 0971.68579
Nielson, Flemming; Riis Nielson, Hanne; Sagiv, Mooly
5
2000
Checking cleanness in linked lists. Zbl 0966.68558
Dor, Nurit; Rodeh, Michael; Sagiv, Mooly
1
2000
Finding circular attributes in attribute grammars. Zbl 1065.68577
Rodeh, Michael; Sagiv, Mooly
1
1999
Precise interprocedural dataflow analysis with applications to constant propagation. Zbl 0874.68133
Sagiv, Mooly; Reps, Thomas; Horwitz, Susan
18
1996
all top 5

Cited by 369 Authors

8 Kröning, Daniel
6 Sagiv, Mooly
5 Bouajjani, Ahmed
5 Sharygina, Natasha
4 Demri, Stéphane P.
4 Iosif, Radu
4 Kapur, Deepak
4 King, Andy
4 Reps, Thomas W.
4 Vojnar, Tomáš
4 Wintersteiger, Christoph M.
3 Brochenin, Rémi
3 Cook, Byron
3 Falke, Stephan
3 Kuncak, Viktor
3 Lozes, Etienne
3 Miné, Antoine
3 Nielson, Flemming
3 Podelski, Andreas
3 Simon, Axel
3 Tsitovich, Aliaksei
3 Wies, Thomas
3 Yang, Hongseok
2 Alur, Rajeev
2 Appel, Andrew W.
2 Bagnara, Roberto
2 Beyer, Dirk
2 Birkedal, Lars
2 Bozga, Marius
2 Brauer, Jörg
2 Brockschmidt, Marc
2 de Moura, Leonardo
2 Deters, Morgan
2 Dragoi, Cezara
2 Duan, Zhenhua
2 Echenim, Mnacho
2 Enea, Constantin
2 Feldman, Yotam M. Y.
2 Ferrara, Pietro
2 Fuhs, Carsten
2 Ghardallou, Wided
2 Giesl, Jürgen
2 Gotsman, Alexey
2 Hobor, Aquinas
2 Holík, Lukáš
2 Immerman, Neil
2 Jeannet, Bertrand
2 Jovanović, Dejan
2 Lengál, Ondřej
2 Lu, Xu
2 Mili, Ali
2 Oh, Hakjoo
2 Padon, Oded
2 Peltier, Nicolas
2 Pottier, François
2 Rabinovich, Alexander
2 Ranise, Silvio
2 Riis Nielson, Hanne
2 Rival, Xavier
2 Rogalewicz, Adam
2 Roşu, Grigore
2 Rümmer, Philipp
2 Sánchez, Alejandro D.
2 Sánchez, César
2 Schellhorn, Gerhard
2 Schneider-Kamp, Peter
2 Shoham, Sharon
2 Sighireanu, Mihaela
2 Sotin, Pascal
2 Strecker, Martin
2 Tian, Cong
2 Tonetta, Stefano
2 Vojdani, Vesal
2 Voronkov, Andrei
2 Wehrheim, Heike
2 Weidenbach, Christoph
2 Wilhelm, Reinhard
2 Zaffanella, Enea
2 Zhao, Hengjun
2 Zuck, Lenore D.
1 Abadi, Aharon
1 Abal, Iago
1 Abdulla, Parosh Aziz
1 Aiken, Alex
1 Akhoondian Amiri, Saeed
1 Alberti, Francesco
1 Amato, Gianluca
1 Amighi, Afshin
1 Amtoft, Torben
1 Apinis, Kalmer
1 Aschermann, Cornelius
1 Aspinall, David
1 Aßmann, Uwe
1 Balaban, Ittai
1 Baldan, Paolo
1 Bansal, Kshitij
1 Barrett, Clark W.
1 Barrett, Edd
1 Basler, Gérard
1 Bäumler, Simon
...and 269 more Authors

Citations by Year