L. Cardelli
发表
Luca Cardelli,
Luís Caires,
Luís Caires,
2003,
Inf. Comput..
Luca Cardelli,
L. Cardelli,
1994
.
Luca Cardelli,
L. Cardelli,
1984,
Information and Computation.
Luca Cardelli,
L. Cardelli,
1988,
POPL '88.
L. Cardelli,
1986
.
Luca Cardelli,
L. Cardelli,
1984,
Inf. Comput..
Luca Cardelli,
Kim B. Bruce,
Benjamin C. Pierce,
1997,
TACS.
Luca Cardelli,
L. Cardelli,
1987,
Sci. Comput. Program..
Luca Cardelli,
Andrew Phillips,
L. Cardelli,
2009,
Journal of The Royal Society Interface.
L. Cardelli,
G. Ghelli,
P. Gardner,
2003
.
Martín Abadi,
Luca Cardelli,
M. Abadi,
1996,
Monographs in Computer Science.
R. Guerraoui,
J. Coplien,
L. Cardelli,
1996
.
Luca Cardelli,
Giuseppe Longo,
G. Longo,
1991,
J. Funct. Program..
Luca Cardelli,
Andrea Vandin,
Mirco Tribastone,
2016,
POPL.
Luca Cardelli,
Andrea Vandin,
Mirco Tribastone,
2017,
Proceedings of the National Academy of Sciences.
Luca Cardelli,
Lars Juhl Jensen,
Alessandro Romanel,
2012,
PloS one.
Luca Cardelli,
Orkun S. Soyer,
Attila Csikász-Nagy,
2010,
Journal of The Royal Society Interface.
L. Cardelli,
M. Tribastone,
Max Tschaikowski,
2015
.
Luca Cardelli,
Marta Z. Kwiatkowska,
Max Whitby,
2016,
DNA.
L. Cardelli,
M. Kwiatkowska,
L. Laurenti,
2016,
Bio Systems.
Martín Abadi,
Luca Cardelli,
Gordon D. Plotkin,
1994,
Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science.
Luca Cardelli,
L. Cardelli,
1997
.
L. Cardelli,
A. Csikász-Nagy,
O. Soyer,
2011
.
Kim B. Bruce,
B. Pierce,
L. Cardelli,
1995
.
L. Cardelli,
Brane Calculi,
2005
.
L. Cardelli,
2009
.
Martín Abadi,
Luca Cardelli,
M. Abadi,
1996
.
Gal Shahaf,
Luca Cardelli,
Nimrod Talmon,
2020,
IFDaD.
L. Cardelli,
1995
.
L. Cardelli,
A. Csikász-Nagy,
L. Laurenti,
2020,
Physical review. E.
L. Cardelli,
M. Vigliotti,
S. V. Bakel,
2008
.
Luca Cardelli,
Matthew R. Lakin,
Andrew Phillips,
2011,
Journal of The Royal Society Interface.
L. Cardelli,
M. Tribastone,
Andrea Vandin,
2016
.
L. Cardelli,
A. Phillips,
2006
.
Luca Cardelli,
James E. Donahue,
Lucille Glassman,
1992
.
L. Cardelli,
R. Amadio,
1991,
TOPL.
Luca Cardelli,
L. Cardelli,
1986,
Foundations of Logic and Functional Programming.
L. Cardelli,
2019
.
Martín Abadi,
Luca Cardelli,
Florian Matthes,
1994
.
L. Cardelli,
1999
.
Martín Abadi,
Luca Cardelli,
M. Abadi,
1995,
Theory Pract. Object Syst..
Martín Abadi,
Jean-Jacques Lévy,
Luca Cardelli,
1989,
POPL '90.
Luca Cardelli,
Andrew D. Gordon,
L. Cardelli,
1998,
Foundations of Software Science and Computation Structure.
L. Cardelli,
A. Gordon,
2007
.
L. Cardelli,
A. Gordon,
2022
.
Luca Cardelli,
L. Cardelli,
2005,
ICSE.
Luca Cardelli,
John C. Mitchell,
L. Cardelli,
1989,
Mathematical Structures in Computer Science.
Luca Cardelli,
Andrew D. Gordon,
Giorgio Ghelli,
2000
.
Luca Cardelli,
L. Cardelli,
2007,
Bull. EATCS.
Luca Cardelli,
Andrew D. Gordon,
L. Cardelli,
1998,
FoSSaCS.
Luca Cardelli,
L. Cardelli,
2008,
Theor. Comput. Sci..
Denis Caromel,
Luca Cardelli,
Ludovic Henrio,
2005
.
Luca Cardelli,
L. Cardelli,
1997
.
Luca Cardelli,
L. Cardelli,
1999,
FMOODS.
Luca Cardelli,
L. Cardelli,
1980,
MFCS.
Luca Cardelli,
L. Cardelli,
2021,
ArXiv.
Rosa D. Hernansaiz-Ballesteros,
Luca Cardelli,
Attila Csikász-Nagy,
2018,
BMC Systems Biology.
Luca Cardelli,
Roberto M. Amadio,
Martin Abadi,
2019,
WWW.
Luca Cardelli,
L. Cardelli,
2020,
CMSB.
Luca Cardelli,
William M. Shih,
L. Cardelli,
2011
.
Luca Cardelli,
David B. MacQueen,
L. Cardelli,
1998,
POPL 1998.
Luca Cardelli,
Andrew Phillips,
Ralf Blossey,
2007,
HFSP journal.
Jens Palsberg,
Luca Cardelli,
Achim Jung,
2021
.
Luca Cardelli,
L. Cardelli,
1982,
International Colloquium on Automata, Languages and Programming.
Luca Cardelli,
Michael A Boemo,
Conrad A. Nieduszynski,
2019,
bioRxiv.
Luca Cardelli,
L. Cardelli,
2005
.
Luca Cardelli,
L. Cardelli,
1996,
CSUR.
Luca Cardelli,
Elisenda Feliu,
Orkun S Soyer,
2015,
Journal of The Royal Society Interface.
Luca Cardelli,
L. Cardelli,
1988
.
Luca Cardelli,
L. Cardelli,
2009
.
Luca Cardelli,
Harold Fellermann,
L. Cardelli,
2014,
Journal of The Royal Society Interface.
Luca Cardelli,
Boumediene Belkhouche,
Henri E. Bal,
1998
.
Luca Cardelli,
John C. Mitchell,
L. Cardelli,
1989
.
Luca Cardelli,
Matthew Wicker,
Luca Laurenti,
2019
.
L. Cardelli,
B. Becker,
H. Hermanns,
2010
.
Rosa D. Hernansaiz-Ballesteros,
L. Cardelli,
A. Csikász-Nagy,
2018,
Natural Computing.
M. Abadi,
L. Cardelli,
1994,
ESOP.
Renzo Orsini,
Luca Cardelli,
Antonio Albano,
1985,
TODS.
Luca Cardelli,
Steffen van Bakel,
Maria Grazia Vigliotti,
2014
.
L. Cardelli,
M. Vigliotti,
S. V. Bakel,
2011,
ArXiv.
L. Cardelli,
M. Vigliotti,
2010
.
Luca Cardelli,
Philippa Gardner,
Giorgio Ghelli,
2002,
ICALP.
Luca Cardelli,
Andrew D. Gordon,
L. Cardelli,
2000,
POPL '00.
Luca Cardelli,
Alessandro Abate,
Morteza Lahijanian,
2020,
IEEE Transactions on Automatic Control.
Luca Cardelli,
Morteza Lahijanian,
Alessandro Abate,
2019,
HSCC.
Luca Cardelli,
Luca Laurenti,
Marta Kwiatkowska,
2018,
Biophysical journal.
Luca Cardelli,
Georg Seelig,
Andrew Phillips,
2013,
Nature nanotechnology.
Luca Cardelli,
James E. Donahue,
Mick J. Jordan,
1989,
POPL '89.
Luca Cardelli,
Marta Z. Kwiatkowska,
Max Whitby,
2016,
Natural Computing.
Luca Cardelli,
Rowan Davies,
L. Cardelli,
1999,
DSL.
Luca Cardelli,
Rob Pike,
L. Cardelli,
1985,
SIGGRAPH.
Kim G. Larsen,
Luca Cardelli,
Radu Mardare,
2012,
Log. Methods Comput. Sci..
Kim G. Larsen,
Luca Cardelli,
Radu Grosu,
2021,
QEST.
Luca Cardelli,
Michael A. Boemo,
Conrad A. Nieduszynski,
2019,
bioRxiv.
Luca Cardelli,
Elisenda Feliu,
Carsten Wiuf,
2013,
PLoS Comput. Biol..
A. Papachristodoulou,
L. Cardelli,
C. Schulte,
2021,
bioRxiv.
Luca Cardelli,
Luca Laurenti,
Mirco Tribastone,
2019,
2019 IEEE 58th Conference on Decision and Control (CDC).
Luca Cardelli,
Mirco Tribastone,
Neil Dalchau,
2016,
Scientific Reports.
Luca Cardelli,
Luca Laurenti,
Luca Bortolussi,
2016,
QEST.
Luca Cardelli,
Ozan Kahramanogullari,
Emmanuelle Caron,
2009,
DCM.
Rosa D. Hernansaiz-Ballesteros,
L. Cardelli,
A. Csikász-Nagy,
2021,
Scientific Reports.
Luca Cardelli,
Ozan Kahramanogullari,
Philippa Gardner,
2009,
FBTC@CONCUR.
Rosa D. Hernansaiz-Ballesteros,
Luca Cardelli,
Neil Dalchau,
2017,
PLoS Comput. Biol..
Stephen J. Roberts,
L. Cardelli,
M. Kwiatkowska,
2019,
ArXiv.
Luca Cardelli,
L. Cardelli,
2014,
BMC Systems Biology.
Cosimo Laneve,
Luca Cardelli,
L. Cardelli,
2011,
CMSB.
Luca Cardelli,
Andrea Vandin,
Mirco Tribastone,
2018,
QEST.
Luca Cardelli,
Andrea Vandin,
Mirco Tribastone,
2017,
Models, Algorithms, Logics and Tools.
Luca Cardelli,
Andrea Vandin,
Mirco Tribastone,
2017,
TACAS.
Luca Cardelli,
Andrea Vandin,
Mirco Tribastone,
2016,
TACAS.
Luca Cardelli,
Andrea Vandin,
Mirco Tribastone,
2015,
CONCUR.
Luca Cardelli,
Radu Mardare,
L. Cardelli,
2013,
ICTAC.
Kim G. Larsen,
Luca Cardelli,
Radu Mardare,
2011,
CSL.
Kim G. Larsen,
Luca Cardelli,
Radu Mardare,
2011,
ICALP.
Luca Cardelli,
Radu Mardare,
L. Cardelli,
2010,
2010 Seventh International Conference on the Quantitative Evaluation of Systems.
Luca Cardelli,
Peter Wegner,
P. Wegner,
1985,
CSUR.
Luca Cardelli,
L. Cardelli,
2009,
Natural Computing.
Luca Cardelli,
Aviv Regev,
Ehud Shapiro,
2004,
Theor. Comput. Sci..
Luca Cardelli,
Mirco Tribastone,
Max Tschaikowski,
2018,
Natural Computing.
Luca Cardelli,
L. Cardelli,
2004,
CMSB.
Luca Cardelli,
Luís Caires,
L. Cardelli,
2004,
Theor. Comput. Sci..
Luca Cardelli,
Luís Caires,
Luís Caires,
2002,
CONCUR.
Luca Cardelli,
Matthew Wicker,
Nicola Paoletti,
2019,
IJCAI.
Luca Cardelli,
L. Cardelli,
2010,
Mathematical Structures in Computer Science.
Luca Cardelli,
Michael A Boemo,
Alexandra E Lucas,
2016,
ACS synthetic biology.
Luca Cardelli,
Attila Csikász-Nagy,
L. Cardelli,
2012,
Scientific Reports.
Martín Abadi,
Jean-Jacques Lévy,
Luca Cardelli,
1989,
POPL '90.
Luca Cardelli,
L. Cardelli,
2005,
Trans. Comp. Sys. Biology.
Luca Cardelli,
Andrew Phillips,
L. Cardelli,
2004
.
Luca Cardelli,
Luca Laurenti,
Luca Bortolussi,
2018,
ACM Trans. Comput. Log..
Luca Cardelli,
Matthew Wicker,
Luca Laurenti,
2019,
2020 IEEE International Conference on Robotics and Automation (ICRA).
Luca Cardelli,
Kim B. Bruce,
Benjamin C. Pierce,
1997,
Inf. Comput..
Martín Abadi,
Luca Cardelli,
M. Abadi,
1995,
TOPL.
Martín Abadi,
Luca Cardelli,
Ramesh Viswanathan,
1996,
POPL '96.
Luca Cardelli,
Gary T. Leavens,
Giuseppe Castagna,
1995,
Theory Pract. Object Syst..
Martín Abadi,
Luca Cardelli,
M. Abadi,
1994,
TACS.
Luca Cardelli,
L. Cardelli,
1994
.
Luca Cardelli,
John C. Mitchell,
Andre Scedrov,
1991,
TACS.
Luca Cardelli,
Giuseppe Longo,
G. Longo,
1990,
Journal of Functional Programming.
Luca Cardelli,
John C. Mitchell,
L. Cardelli,
1989,
Mathematical Structures in Computer Science.
Luca Cardelli,
L. Cardelli,
1988,
EDBT.
Luca Cardelli,
L. Cardelli,
1988,
UIST '88.
Luca Cardelli,
L. Cardelli,
1989,
Formal Description of Programming Concepts.
Luca Cardelli,
Nick Benton,
Cédric Fournet,
2002,
TOPL.
Luca Cardelli,
L. Cardelli,
2003,
Lecture Notes in Computer Science.
Luca Cardelli,
Martin Fränzle,
Nicola Paoletti,
2017,
CAV.
Luca Cardelli,
Giorgio Ghelli,
L. Cardelli,
2004,
Mathematical Structures in Computer Science.
Luca Cardelli,
Philippa Gardner,
Giorgio Ghelli,
2003,
FoSSaCS.
Luca Cardelli,
Andrew D. Gordon,
Cristiano Calcagno,
2003,
TLDI '03.
Luca Cardelli,
L. Cardelli,
2001,
SGMD.
Luca Cardelli,
Andrew D. Gordon,
L. Cardelli,
2001,
TLCA.
Luca Cardelli,
Giorgio Ghelli,
L. Cardelli,
2001,
SEBD.
Luca Cardelli,
Andrew D. Gordon,
L. Cardelli,
1998,
FoSSaCS.
Luca Cardelli,
L. Cardelli,
2008,
IFIP TCS.
Luca Cardelli,
Andrew Phillips,
L. Cardelli,
2018
.
Martín Abadi,
Luca Cardelli,
Benjamin C. Pierce,
1995,
Journal of Functional Programming.
Luca Cardelli,
L. Cardelli,
1994
.
Luca Cardelli,
Alain Frisch,
L. Cardelli,
2004,
ICALP.
Luca Cardelli,
L. Cardelli,
2008,
Theor. Comput. Sci..
Luca Cardelli,
Stephen Emmott,
Neil Dalchau,
2011,
PLoS Comput. Biol..
Luca Cardelli,
L. Cardelli,
1995,
POPL '95.
Luca Cardelli,
L. Cardelli,
1996
.
Luca Cardelli,
Luca Laurenti,
Marta Z. Kwiatkowska,
2016,
Bio Systems.
Luca Cardelli,
Luca Laurenti,
Marta Z. Kwiatkowska,
2015,
Biosyst..
Martín Abadi,
Luca Cardelli,
Benjamin C. Pierce,
1989,
POPL '89.
L. Cardelli,
1986
.
Luca Cardelli,
L. Cardelli,
1984,
LFP '84.
Luca Cardelli,
Ehud Shapiro,
Adam Spiro,
2014,
BMC Bioinformatics.
Luca Cardelli,
Andrew J. Turberfield,
Michael A. Boemo,
2015,
DNA.
Luca Cardelli,
Matthew R. Lakin,
Andrew Phillips,
2012,
Journal of The Royal Society Interface.
Luca Cardelli,
Matthew R. Lakin,
Andrew Phillips,
2022
.
Luca Cardelli,
L. Cardelli,
1997,
POPL '97.
L. Cardelli,
M. Tribastone,
Andrea Vandin,
2023,
J. Log. Algebraic Methods Program..
Luca Cardelli,
Andrea Vandin,
Mirco Tribastone,
2021,
Bioinform..
Luca Cardelli,
Andrea Vandin,
Mirco Tribastone,
2016,
2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
A. Papachristodoulou,
L. Cardelli,
C. Schulte,
2022,
bioRxiv.
A. Papachristodoulou,
L. Cardelli,
Emmanouil Alexis,
2022,
bioRxiv.
Luca Cardelli,
L. Cardelli,
2000
.
Luca Cardelli,
Luca Laurenti,
Marta Z. Kwiatkowska,
2016,
Natural Computing.
Luca Cardelli,
L. Cardelli,
2001,
Secure Internet Programming.
Martín Abadi,
Luca Cardelli,
Florian Matthes,
1993,
DBPL.
Stephen J. Roberts,
L. Cardelli,
M. Kwiatkowska,
2019,
AISTATS.
Luca Cardelli,
Stephen J. Roberts,
Arno Blaas,
2019,
ArXiv.
Rosa D. Hernansaiz-Ballesteros,
Luca Cardelli,
Andrew Phillips,
2018,
Natural Computing.
Luca Cardelli,
Andrew Phillips,
L. Cardelli,
2005
.
Luca Cardelli,
Giuseppe Castagna,
Andrew Phillips,
2006,
Trans. Comp. Sys. Biology.
Luca Cardelli,
L. Cardelli,
2004
.
L. Cardelli,
A. Gordon,
2000,
POPL '00.
Luca Cardelli,
Andrew D. Gordon,
L. Cardelli,
1999,
POPL '99.
L. Cardelli,
J. J. Thomson,
2005
.
M. Abadi,
G. Plotkin,
B. Pierce,
1991,
TOPL.
L O ] 22 S ep 2 01 1 From X to π Representing the Classical Sequent Calculus in the π-calculus Extended
pdf
Luca Cardelli,
Steffen van Bakel,
Maria Grazia Vigliotti,
2011
.
Luca Cardelli,
Andrew D. Gordon,
Giorgio Ghelli,
1999,
ICALP.
Luca Cardelli,
Alessandro Abate,
Luca Laurenti,
2017,
HSCC.
Luca Cardelli,
Andrew D. Gordon,
Giorgio Ghelli,
2002,
Inf. Comput..
L. Cardelli,
M. Kwiatkowska,
M. Tribastone,
2021,
IEEE Transactions on Automatic Control.
L. Cardelli,
M. Kwiatkowska,
M. Tribastone,
2019,
2019 IEEE 58th Conference on Decision and Control (CDC).
Luca Cardelli,
Ozan Kahramanogullari,
L. Cardelli,
2015,
Bioinform..
Luca Cardelli,
Andrew Phillips,
Simon Youssef,
2010
.
Cosimo Laneve,
Luca Cardelli,
L. Cardelli,
2011,
Sci. Ann. Comput. Sci..
Luca Cardelli,
Gianluigi Zavattaro,
L. Cardelli,
2010,
Mathematical Structures in Computer Science.
Luca Cardelli,
L. Cardelli,
1982
.
Luca Cardelli,
Gianluigi Zavattaro,
L. Cardelli,
2008,
AB.
Martín Abadi,
Luca Cardelli,
Pierre-Louis Curien,
1993,
POPL '93.
Luca Cardelli,
Roberto M. Amadio,
L. Cardelli,
1991,
POPL '91.
Martín Abadi,
Luca Cardelli,
M. Abadi,
1994,
Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science.
L. Cardelli,
G. Ghelli,
A. Gordon,
2002,
Inf. Comput..
Luca Cardelli,
Andrew D. Gordon,
L. Cardelli,
1999,
Mathematical Structures in Computer Science.
Luca Cardelli,
Andrew D. Gordon,
L. Cardelli,
2000
.
L. Cardelli,
K. Larsen,
R. Grosu,
2023,
IEEE Transactions on Automatic Control.
Luca Cardelli,
Alessandro Abate,
Luca Laurenti,
2017,
CMSB.
Orkun S. Soyer,
L. Cardelli,
A. Csikász-Nagy,
2010
.
L. Cardelli,
1995,
POPL '95.
Luca Cardelli,
Krishna Bharat,
L. Cardelli,
1995,
UIST '95.
Benjamin C. Pierce,
B. Pierce,
L. Cardelli,
1996,
CSUR.
Luca Cardelli,
L. Cardelli,
1988
.