Roberto Segala
发表
Marta Kwiatkowska,
Gethin Norman,
Jeremy Sproston,
2000
.
Roberto Segala,
2006,
CONCUR.
Nancy A. Lynch,
Roberto Segala,
Rainer Gawlick,
1994,
Inf. Comput..
Nancy A. Lynch,
Ran Canetti,
Ling Cheung,
2006
.
Nancy A. Lynch,
Dilsun Kirli Kaynar,
Frits W. Vaandrager,
2003
.
Roberto Segala,
R. Segala,
1997,
Inf. Comput..
Nancy A. Lynch,
Frits W. Vaandrager,
Roberto Segala,
2007,
SIAM J. Comput..
Roberto Segala,
Andrea Turrini,
2007,
20th IEEE Computer Security Foundations Symposium (CSF'07).
Michael W. Mislove,
Catherine Meadows,
Roberto Segala,
2008
.
Nancy A. Lynch,
Roberto Segala,
N. Lynch,
1995,
Formal Aspects of Computing.
Nancy A. Lynch,
Ran Canetti,
Ling Cheung,
2006
.
Nancy A. Lynch,
Dilsun Kirli Kaynar,
Frits W. Vaandrager,
2010,
Synthesis Lectures on Distributed Computing Theory.
Holger Hermanns,
Roberto Segala,
R. Segala,
2002
.
Gianfranco Ciardo,
Roberto Segala,
R. Segala,
2012,
Perform. Evaluation.
Nancy A. Lynch,
Frits W. Vaandrager,
Roberto Segala,
2003,
RTSS 2003.
Nancy A. Lynch,
Frits W. Vaandrager,
Roberto Segala,
2001,
HSCC.
Roberto Segala,
Andrea Turrini,
R. Segala,
2005,
Second International Conference on the Quantitative Evaluation of Systems (QEST'05).
Roberto Segala,
R. Segala,
1998,
PROBMIV.
Marta Capiluppi,
Roberto Segala,
R. Segala,
2012,
GandALF.
Nancy A. Lynch,
Roberto Segala,
Isaac Saias,
1994,
PODC '94.
Roberto Segala,
R. Segala,
1997,
COMPOS.
Alberto Montresor,
Özalp Babaoglu,
Roberto Segala,
1998,
Proceedings. 18th International Conference on Distributed Computing Systems (Cat. No.98CB36183).
Marta Z. Kwiatkowska,
Gethin Norman,
Jeremy Sproston,
1999,
Theor. Comput. Sci..
Nancy A. Lynch,
Ran Canetti,
Dilsun Kirli Kaynar,
2005,
IACR Cryptol. ePrint Arch..
Luca de Alfaro,
Marta Z. Kwiatkowska,
Gethin Norman,
2000,
TACAS.
Roberto Segala,
Augusto Parma,
2004
.
Michael W. Mislove,
Catherine A. Meadows,
Roberto Segala,
2010,
ARSPA-WITS.
Nancy A. Lynch,
Roberto Segala,
Anna Pogosyants,
1997,
Distributed Computing.
Nancy A. Lynch,
Frits W. Vaandrager,
Roberto Segala,
2003,
Inf. Comput..
Roberto Segala,
R. Segala,
1996
.
Nancy A. Lynch,
Frits W. Vaandrager,
Ling Cheung,
2006,
Theor. Comput. Sci..
Jean Goubault-Larrecq,
Roberto Segala,
R. Segala,
2014,
Horizons of the Mind.
Nancy A. Lynch,
Frits W. Vaandrager,
Roberto Segala,
2006
.
Roberto Segala,
R. Segala,
2002,
European Educational Forum: School on Formal Methods and Performance Analysis.
Roberto Segala,
Katia Folegati,
R. Segala,
2001,
PAPM-PROBMIV.
Nancy A. Lynch,
Frits W. Vaandrager,
Roberto Segala,
2003,
CONCUR.
Marta Z. Kwiatkowska,
Gethin Norman,
Jeremy Sproston,
2000,
CONCUR.
Roberto Segala,
Andrea Turrini,
2010,
CONCUR.
Roberto Segala,
Emanuele Bandini,
R. Segala,
2001,
ICALP.
Roberto Segala,
1993,
CONCUR.
Ran Canetti,
Ling Cheung,
Moses D. Liskov,
2006,
J. Comput. Syst. Sci..
Roberto Segala,
Stefano Cattani,
R. Segala,
2002,
CONCUR.
Davide Bresolin,
Luca Geretti,
Tiziano Villa,
2020,
HSCC.
Shlomi Dolev,
Alexander A. Shvartsman,
Roberto Segala,
2006,
Theor. Comput. Sci..
Roberto Gorrieri,
Riccardo Focardi,
Roberto Segala,
2000
.
Marta Kwiatkowska,
Gethin Norman,
Jeremy Sproston,
2000
.
Roberto Segala,
Augusto Parma,
R. Segala,
2007,
FoSSaCS.
Marta Capiluppi,
Jonathan Rogge,
Roberto Segala,
2012,
ADHS.
Roberto Segala,
Anna Pogosyants,
Nancy Lynch,
2000,
Distributed Computing.
Ling Cheung,
Roberto Segala,
Nancy Lynch,
2004,
ICTAC.
Marta Capiluppi,
Roberto Segala,
2013,
HAS.
Nancy A. Lynch,
Frits W. Vaandrager,
Roberto Segala,
1995,
Inf. Comput..
Roberto Segala,
Anna Pogosyants,
1995,
PODC '95.
Roberto Segala,
R. Segala,
1996,
CONCUR.
Marta Z. Kwiatkowska,
Gethin Norman,
Roberto Segala,
2001,
CAV.
Nancy A. Lynch,
Ran Canetti,
Dilsun Kirli Kaynar,
2008,
Discret. Event Dyn. Syst..
Nancy A. Lynch,
Ling Cheung,
Roberto Segala,
2005
.
Catuscia Palamidessi,
Roberto Segala,
Christelle Braun,
2009,
J. Appl. Non Class. Logics.
Nancy A. Lynch,
Ran Canetti,
Ling Cheung,
2005
.
Rocco De Nicola,
Roberto Segala,
R. Nicola,
1995,
Theor. Comput. Sci..
Holger Hermanns,
Roberto Segala,
R. Segala,
2002,
Lecture Notes in Computer Science.
Nancy A. Lynch,
Dilsun Kirli Kaynar,
Frits W. Vaandrager,
2003,
RTSS 2003. 24th IEEE Real-Time Systems Symposium, 2003.
Ran Canetti,
Ling Cheung,
Moses D. Liskov,
2006,
DISC.
Roberto Segala,
R. Segala,
2008,
PODC '08.
Ran Canetti,
Ling Cheung,
Roberto Segala,
2006
.
Lijun Zhang,
Holger Hermanns,
Roberto Segala,
2011,
Inf. Comput..
Nancy A. Lynch,
Roberto Segala,
N. Lynch,
1994,
Nord. J. Comput..
Roberto Segala,
Augusto Parma,
2004,
First International Conference on the Quantitative Evaluation of Systems, 2004. QEST 2004. Proceedings..
Marta Capiluppi,
Roberto Segala,
R. Segala,
2015
.
Nancy A. Lynch,
Roberto Segala,
Rainer Gawlick,
1998,
Inf. Comput..
Roberto Segala,
R. Segala,
1995,
CONCUR.
Marta Z. Kwiatkowska,
Gethin Norman,
Roberto Segala,
2005,
FoSSaCS.
Marta Kwiatkowska,
Gethin Norman,
Roberto Segala,
2001
.
Roberto Segala,
1992
.