Silvano Dal Zilio
发表
Didier Le Botlan,
Nouha Abid,
Silvano Dal Zilio,
2011
.
Eric Jenn,
Silvano Dal Zilio,
Pierre-Alain Bourdil,
2016
.
Didier Le Botlan,
Nouha Abid,
Silvano Dal Zilio,
2011
.
Silvano Dal Zilio,
S. Zilio,
2020,
2003.09134.
Denis Lugiez,
Silvano Dal Zilio,
Silvano Dal-Zilio,
2003,
Applicable Algebra in Engineering, Communication and Computing.
Nouha Abid,
Silvano Dal Zilio,
2012
.
Bernard Berthomieu,
Silvano Dal Zilio,
Rodrigo Saad,
2010
.
Eric Jenn,
Silvano Dal Zilio,
Pierre-Alain Bourdil,
2016,
SAFECOMP 2016.
Silvano Dal Zilio,
S. Zilio,
2000
.
Silvano Dal Zilio,
2000
.
François Vernadat,
Bernard Berthomieu,
Silvano Dal Zilio,
2009
.
Félix Ingrand,
Pierre-Emmanuel Hladik,
Silvano Dal Zilio,
2021,
J. Syst. Softw..
Nouha Abid,
Silvano Dal Zilio,
2010
.
Christel Seguin,
Marie de Roquemaurel,
Silvano Dal Zilio,
2018
.
Bernard Berthomieu,
Silvano Dal Zilio,
Rodrigo Saad,
2013
.
Anne-Marie Déplanche,
Pierre-Emmanuel Hladik,
Silvano Dal Zilio,
2015
.
Bernard Berthomieu,
Silvano Dal Zilio,
Rodrigo Saad,
2011
.
François Vernadat,
Bernard Berthomieu,
Silvano Dal Zilio,
2009
.
Bernard Berthomieu,
Silvano Dal Zilio,
Rodrigo Saad,
2010
.
Mamoun Filali,
Jean-Paul Bodeveix,
François Vernadat,
2010
.
Silvano Dal Zilio,
Inria Sophia-Antipolis,
1998
.
Bernard Berthomieu,
Silvano Dal Zilio,
Rodrigo T. Saad,
2010,
2010 Ninth International Workshop on Parallel and Distributed Methods in Verification, and Second International Workshop on High Performance Computational Systems Biology.
Nouha Abid,
Silvano Dal Zilio,
2012
.
Silvano Dal Zilio,
S. Zilio,
2001
.
Luca Cardelli,
Andrew D. Gordon,
Giorgio Ghelli,
2000
.
Silvano Dal Zilio,
A. D. Gordon,
Witold Charatonik,
2000
.
Silvano Dal Zilio,
S. Zilio,
2001
.
Denis Lugiez,
Silvano Dal Zilio,
D. Lugiez,
2022
.
Silvano Dal Zilio,
S. Zilio,
1997
.
Mohammed Foughali,
Félix Ingrand,
Silvano Dal Zilio,
2019
.
Silvano Dal Zilio,
1999
.
Silvano Dal Zilio,
1998
.
Silvano Dal Zilio,
2000
.
Didier Le Botlan,
Silvano Dal Zilio,
B. Berthomieu,
2018,
SPIN.