×
Author ID: zufferey.damien Recent zbMATH articles by "Zufferey, Damien"
Published as: Zufferey, Damien

Publications by Year

Citations contained in zbMATH Open

8 Publications have been cited 54 times in 46 Documents Cited by Year
A logic-based framework for verifying consensus algorithms. Zbl 1428.68371
Drăgoi, Cezara; Henzinger, Thomas A.; Veith, Helmut; Widder, Josef; Zufferey, Damien
12
2014
Forward analysis of depth-bounded processes. Zbl 1284.68419
Wies, Thomas; Zufferey, Damien; Henzinger, Thomas A.
11
2010
PSync: a partially synchronous language for fault-tolerant distributed algorithms. Zbl 1347.68036
Drăgoi, Cezara; Henzinger, Thomas A.; Zufferey, Damien
10
2016
Ideal abstractions for well-structured transition systems. Zbl 1326.68205
Zufferey, Damien; Wies, Thomas; Henzinger, Thomas A.
7
2012
Evolutionary game dynamics in populations with different learners. Zbl 1397.91062
Chatterjee, Krishnendu; Zufferey, Damien; Nowak, Martin A.
6
2012
Generalising projection in asynchronous multiparty session types. Zbl 07730637
Majumdar, Rupak; Mukund, Madhavan; Stutz, Felix; Zufferey, Damien
3
2021
Interpolants in nonlinear theories over the reals. Zbl 1420.68187
Gao, Sicun; Zufferey, Damien
3
2016
Structural counter abstraction. Zbl 1381.68194
Bansal, Kshitij; Koskinen, Eric; Wies, Thomas; Zufferey, Damien
2
2013
Generalising projection in asynchronous multiparty session types. Zbl 07730637
Majumdar, Rupak; Mukund, Madhavan; Stutz, Felix; Zufferey, Damien
3
2021
PSync: a partially synchronous language for fault-tolerant distributed algorithms. Zbl 1347.68036
Drăgoi, Cezara; Henzinger, Thomas A.; Zufferey, Damien
10
2016
Interpolants in nonlinear theories over the reals. Zbl 1420.68187
Gao, Sicun; Zufferey, Damien
3
2016
A logic-based framework for verifying consensus algorithms. Zbl 1428.68371
Drăgoi, Cezara; Henzinger, Thomas A.; Veith, Helmut; Widder, Josef; Zufferey, Damien
12
2014
Structural counter abstraction. Zbl 1381.68194
Bansal, Kshitij; Koskinen, Eric; Wies, Thomas; Zufferey, Damien
2
2013
Ideal abstractions for well-structured transition systems. Zbl 1326.68205
Zufferey, Damien; Wies, Thomas; Henzinger, Thomas A.
7
2012
Evolutionary game dynamics in populations with different learners. Zbl 1397.91062
Chatterjee, Krishnendu; Zufferey, Damien; Nowak, Martin A.
6
2012
Forward analysis of depth-bounded processes. Zbl 1284.68419
Wies, Thomas; Zufferey, Damien; Henzinger, Thomas A.
11
2010
all top 5

Cited by 84 Authors

7 Konnov, Igor V.
7 Widder, Josef
4 Hurault, Aurélie
4 Quéinnec, Philippe
3 Blondin, Michael
3 Dragicevic, Arnaud Zlatko
3 Finkel, Alain
3 Ghilardi, Silvio
3 Lazić, Marijana
3 Pagani, Elena
3 Shimi, Adam
2 Alberti, Francesco
2 D’Osualdo, Emanuele
2 Goubault-Larrecq, Jean
2 Henzinger, Thomas A.
2 Meyer, Roland
2 Peters, Kirstin
2 Qadeer, Shaz
2 Saivasan, Prakash
2 Stoilkovska, Ilina
2 Stutz, Felix
2 Veith, Helmut
2 Yoshida, Nobuko
2 Zufferey, Damien
1 An, Jie
1 Andersen, Kristoffer Just Arndal
1 Badouel, Eric
1 Balasubramanian, A. R.
1 Bloem, Roderick
1 Chen, Mingshuai
1 Chevrou, Florent
1 Chini, Peter
1 Cristiá, Maximiliano
1 Czerwiński, Wojciech
1 D’silva, Vijay
1 Dutertre, Bruno
1 Gao, Meng
1 Gupta, Aarti
1 Haase, Christoph
1 Hasuo, Ichiro
1 Hélouët, Loïc
1 Hüttel, Hans
1 Jovanović, Dejan
1 Kahlon, Vineet
1 Kapur, Deepak
1 Kido, Kengo
1 Kojima, Kensuke
1 König, Barbara
1 Kragl, Bernhard
1 Kukovec, Jure
1 Kurnia, Ilham W.
1 Lasota, Sławomir
1 Liu, Zhiguang
1 Martos-Salgado, María
1 McKenzie, Pierre
1 Morvan, Christophe
1 Muskalla, Sebastian
1 Narayan, Kumar K.
1 Nishida, Yuki
1 Nowak, Martin Andreas
1 Offtermatt, Philip
1 Okudono, Takamasa
1 Ong, C.-H. Luke
1 P. Hauser, Oliver
1 Perepelitsa, Misha
1 Poetzsch-Heffter, Arnd
1 Rosa-Velardo, Fernando
1 Rossi, Gianfranco
1 Sergey, Ilya
1 Sousa, Marcelo S.
1 Spalazzi, Luca
1 Spegni, Francesco
1 Stückrath, Jan
1 Suenaga, Kohei
1 Touili, Tayssir
1 Traulsen, Arne
1 Walukiewicz, Igor
1 Wang, Jian
1 Wang, Wenting
1 Wies, Thomas
1 Zhan, Bohua
1 Zhan, Naijun
1 Zhang, Hui
1 Zuleger, Florian

Citations by Year