R. Amadio
发表
R. Amadio,
1995
.
Silvano Dal-Zilio,
Roberto M. Amadio,
R. Amadio,
2005,
Theor. Comput. Sci..
R. Amadio,
Sanjiva Prasad,
1995
.
R. Amadio,
O. Ait-Mohamed,
1995
.
Giuseppe Longo,
Roberto M. Amadio,
G. Longo,
1987,
Formal Description of Programming Concepts.
I. Castellani,
G. Boudol,
R. Amadio,
2005
.
L. Cardelli,
R. Amadio,
1991,
TOPL.
R. Amadio,
2008
.
R. Amadio,
S. Zilio,
Solange Coupet-Grimal,
2003
.
Davide Sangiorgi,
Ilaria Castellani,
Roberto M. Amadio,
1996,
Theor. Comput. Sci..
R. Amadio,
M. Dogguy,
2022
.
Ilaria Castellani,
Roberto M. Amadio,
Tamara Rezk,
2008
.
Luca Cardelli,
Roberto M. Amadio,
Martin Abadi,
2019,
WWW.
Roberto M. Amadio,
Pascal Zimmer,
Gérard Boudol,
2002
.
Roberto M. Amadio,
Frédéric Dabrowski,
Gérard Boudol,
2006
.
Roberto Amadio,
R. Amadio,
2016
.
Roberto M. Amadio,
R. Amadio,
2009,
APLAS.
Roberto M. Amadio,
R. Amadio,
2008,
EXPRESS.
Roberto M. Amadio,
Mehdi Dogguy,
R. Amadio,
2008,
APLAS.
Roberto M. Amadio,
Mehdi Dogguy,
R. Amadio,
2007,
ArXiv.
Roberto M. Amadio,
Frédéric Dabrowski,
R. Amadio,
2007,
PPDP '07.
Roberto M. Amadio,
R. Amadio,
2015
.
Roberto M. Amadio,
R. Amadio,
2005,
J. Log. Algebraic Methods Program..
Ilaria Castellani,
Roberto M. Amadio,
Gérard Boudol,
2005,
APC 25.
Roberto M. Amadio,
R. Amadio,
1991,
Inf. Comput..
Roberto M. Amadio,
Pierre-Louis Curien,
R. Amadio,
1998,
Cambridge tracts in theoretical computer science.
Roberto M. Amadio,
Mads Dam,
R. Amadio,
1995,
TAPSOFT.
P. D. Groote,
S. Vorobyov,
R. Amadio,
2006
.
Roberto M. Amadio,
R. Amadio,
1990,
CTRS.
Roberto M. Amadio,
Charles Meyssonnier,
R. Amadio,
2002,
Nord. J. Comput..
Roberto M. Amadio,
Gérard Boudol,
Cédric Lhoussaine,
2002,
Fundam. Informaticae.
Roberto M. Amadio,
Charles Meyssonnier,
R. Amadio,
2002,
EXPRESS.
J. P. Boender,
R. M. Amadio,
N. Ayache,
2013,
FOPARA.
Roberto M. Amadio,
Yann Régis-Gianas,
Nicholas Ayache,
2012,
FMICS.
Witold Charatonik,
Roberto M. Amadio,
Witold Charatonik,
2002,
CONCUR.
Roberto M. Amadio,
R. Amadio,
2001,
LACPV@CAV.
Lone Leth Thomsen,
Bent Thomsen,
Roberto M. Amadio,
1995,
FCT.
Roberto M. Amadio,
Sanjiva Prasad,
R. Amadio,
1994,
FSTTCS.
Roberto M. Amadio,
Frédéric Dabrowski,
R. Amadio,
2006,
EXPRESS.
Silvano Dal-Zilio,
Roberto M. Amadio,
Line Jakubiec,
2004,
CSL.
Roberto M. Amadio,
R. Amadio,
2003,
TLCA.
Davide Sangiorgi,
Ilaria Castellani,
Roberto M. Amadio,
1996,
Theor. Comput. Sci..
Roberto M. Amadio,
Solange Coupet-Grimal,
R. Amadio,
1998,
FoSSaCS.
Roberto M. Amadio,
Yann Régis-Gianas,
R. Amadio,
2011,
FOPARA.
Roberto M. Amadio,
Gérard Boudol,
Cédric Lhoussaine,
1999,
TOPL.
Luca Cardelli,
Roberto M. Amadio,
L. Cardelli,
1991,
POPL '91.
Roberto M. Amadio,
R. Amadio,
1991,
Category Theory and Computer Science.
Roberto M. Amadio,
R. Amadio,
1991,
TAPSOFT, Vol.1.
Roberto M. Amadio,
Mads Dam,
R. Amadio,
1996,
FTRTFT.
Roberto M. Amadio,
Pierre-Louis Curien,
R. Amadio,
2008
.
Roberto M. Amadio,
Sanjiva Prasad,
R. Amadio,
1998,
Formal Methods Syst. Des..
Roberto M. Amadio,
R. Amadio,
1997,
COORDINATION.