R. Segala
发表
Nancy A. Lynch,
Roberto Segala,
Rainer Gawlick,
1994,
Inf. Comput..
Nancy A. Lynch,
Roberto Segala,
N. Lynch,
1994,
Nord. J. Comput..
R. Segala,
J. Sproston,
M. Kwiatkowska,
1999,
ARTS.
R. Segala,
M. Kwiatkowska,
G. Norman,
1999
.
Nancy A. Lynch,
Dilsun Kirli Kaynar,
Frits W. Vaandrager,
2003
.
Ran Canetti,
Ling Cheung,
Moses D. Liskov,
2006,
DISC.
Nancy A. Lynch,
Frits W. Vaandrager,
Roberto Segala,
2001,
HSCC.
N. Lynch,
F. Vaandrager,
R. Segala,
2004
.
Marta Z. Kwiatkowska,
Gethin Norman,
Roberto Segala,
2005,
FoSSaCS.
R. Segala,
S. Cattani,
2002
.
N. Lynch,
F. Vaandrager,
R. Segala,
2022
.
R. Segala,
2005
.
N. Lynch,
F. Vaandrager,
R. Segala,
2011
.
Roberto Gorrieri,
Riccardo Focardi,
Roberto Segala,
2000
.
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,
2006
.
R. Segala,
M. Molteni,
G. Capovilla,
2017,
International Journal of Mental Health Systems.
Luca de Alfaro,
Marta Z. Kwiatkowska,
Gethin Norman,
2000,
TACAS.
Lijun Zhang,
Holger Hermanns,
Roberto Segala,
2011,
Inf. Comput..
Michael W. Mislove,
Catherine A. Meadows,
Roberto Segala,
2010,
ARSPA-WITS.
Catuscia Palamidessi,
Roberto Segala,
Christelle Braun,
2009,
J. Appl. Non Class. Logics.
Nancy A. Lynch,
Frits W. Vaandrager,
Roberto Segala,
2007,
SIAM J. Comput..
Roberto Segala,
Augusto Parma,
R. Segala,
2007,
FoSSaCS.
Nancy A. Lynch,
Frits W. Vaandrager,
Ling Cheung,
2006,
Theor. Comput. Sci..
Roberto Segala,
Andrea Turrini,
R. Segala,
2005,
Second International Conference on the Quantitative Evaluation of Systems (QEST'05).
Nancy A. Lynch,
Roberto Segala,
N. Lynch,
1995,
Formal Aspects of Computing.
Roberto Segala,
Stefano Cattani,
R. Segala,
2002,
CONCUR.
Roberto Segala,
Katia Folegati,
R. Segala,
2001,
PAPM-PROBMIV.
Roberto Segala,
Emanuele Bandini,
R. Segala,
2001,
ICALP.
Roberto Segala,
R. Segala,
2002,
European Educational Forum: School on Formal Methods and Performance Analysis.
Marta Z. Kwiatkowska,
Gethin Norman,
Jeremy Sproston,
1999,
Theor. Comput. Sci..
Roberto Segala,
R. Segala,
1998,
PROBMIV.
Roberto Segala,
R. Segala,
1997,
COMPOS.
Roberto Segala,
R. Segala,
1996
.
Michael W. Mislove,
Catherine Meadows,
Roberto Segala,
2008
.
Ran Canetti,
Ling Cheung,
Moses D. Liskov,
2006,
J. Comput. Syst. Sci..
Nancy A. Lynch,
Frits W. Vaandrager,
Roberto Segala,
1995,
Inf. Comput..
Jean Goubault-Larrecq,
Roberto Segala,
R. Segala,
2014,
Horizons of the Mind.
R. Segala,
G. Norman,
D. Parker,
1999
.
Holger Hermanns,
Roberto Segala,
R. Segala,
2002,
Lecture Notes in Computer Science.
Davide Bresolin,
Luca Geretti,
Tiziano Villa,
2020,
HSCC.
Nancy A. Lynch,
Dilsun Kirli Kaynar,
Frits W. Vaandrager,
2010,
Synthesis Lectures on Distributed Computing Theory.
Shlomi Dolev,
Alexander A. Shvartsman,
Roberto Segala,
2006,
Theor. Comput. Sci..
Alberto Montresor,
Özalp Babaoglu,
Roberto Segala,
1998,
Proceedings. 18th International Conference on Distributed Computing Systems (Cat. No.98CB36183).
Nancy A. Lynch,
Dilsun Kirli Kaynar,
Frits W. Vaandrager,
2003,
RTSS 2003. 24th IEEE Real-Time Systems Symposium, 2003.
Marta Z. Kwiatkowska,
Gethin Norman,
Jeremy Sproston,
2000,
CONCUR.
Roberto Segala,
Anna Pogosyants,
Nancy Lynch,
2000,
Distributed Computing.
Roberto Segala,
R. Segala,
1996,
CONCUR.
Roberto Segala,
R. Segala,
1997,
Inf. Comput..
Roberto Segala,
R. Segala,
1995,
CONCUR.
Rocco De Nicola,
Roberto Segala,
R. Nicola,
1995,
Theor. Comput. Sci..
Nancy A. Lynch,
Roberto Segala,
Isaac Saias,
1994,
PODC '94.
N. Lynch,
F. Vaandrager,
R. Segala,
2023
.
Y. C. Tay,
N. Lynch,
R. Segala,
2010,
Analytical Performance Modeling for Computer Systems.
Nancy A. Lynch,
Ran Canetti,
Dilsun Kirli Kaynar,
2008,
Discret. Event Dyn. Syst..
Holger Hermanns,
Roberto Segala,
R. Segala,
2002
.
N. Lynch,
R. Segala,
A. Pogosyants,
1997
.
Roberto Segala,
R. Segala,
2008,
PODC '08.
Marta Capiluppi,
Roberto Segala,
R. Segala,
2015
.
Marta Capiluppi,
Roberto Segala,
R. Segala,
2012,
GandALF.
Moses D. Liskov,
N. Lynch,
R. Canetti,
2006,
2006 8th International Workshop on Discrete Event Systems.
Nancy A. Lynch,
Frits W. Vaandrager,
Roberto Segala,
2003,
CONCUR.
N. Lynch,
F. Vaandrager,
R. Segala,
2006,
Synthesis Lectures on Computer Science.
Marta Z. Kwiatkowska,
Gethin Norman,
Roberto Segala,
2001,
CAV.
Nancy A. Lynch,
Ran Canetti,
Ling Cheung,
2006
.
Shay Kutten,
Sudhanshu Aggarwal,
S. Kutten,
1993,
FSTTCS.
Nancy A. Lynch,
Roberto Segala,
Anna Pogosyants,
1997,
Distributed Computing.
R. Segala,
M. Kwiatkowska,
G. Norman,
1999,
Theor. Comput. Sci..