Luca Cardelli

发表

Rosa D. Hernansaiz-Ballesteros, Luca Cardelli, Attila Csikász-Nagy, 2018, BMC Systems Biology.
Luca Cardelli, L. Cardelli, 2008, Theor. Comput. Sci..
Luca Cardelli, Kim B. Bruce, Benjamin C. Pierce, 1997, TACS.
Luca Cardelli, Stephen J. Roberts, Arno Blaas, 2019, ArXiv.
Luca Cardelli, L. Cardelli, 1996 .
Luca Cardelli, Luís Caires, Luís Caires, 2002, CONCUR.
Luca Cardelli, Alain Frisch, L. Cardelli, 2004, ICALP.
Luca Cardelli, L. Cardelli, 2014, BMC Systems Biology.
Luca Cardelli, L. Cardelli, 1995, POPL '95.
Luca Cardelli, L. Cardelli, 2003, Lecture Notes in Computer Science.
Luca Cardelli, L. Cardelli, 1987, Sci. Comput. Program..
Luca Cardelli, 2008, CSL.
Luca Cardelli, L. Cardelli, 2004, CMSB.
Luca Cardelli, Kim B. Bruce, Benjamin C. Pierce, 1997, Inf. Comput..
Martín Abadi, Luca Cardelli, M. Abadi, 1996 .
Luca Cardelli, L. Cardelli, 1997 .
Luca Cardelli, James E. Donahue, Lucille Glassman, 1992, SIGP.
Luca Cardelli, Andrea Vandin, Mirco Tribastone, 2016, TACAS.
Martín Abadi, Luca Cardelli, M. Abadi, 1994, TACS.
Luca Cardelli, Gianluigi Zavattaro, L. Cardelli, 2010, Mathematical Structures in Computer Science.
Luca Cardelli, Marta Z. Kwiatkowska, Max Whitby, 2016, DNA.
Luca Cardelli, Krishna Bharat, 1995 .
Luca Cardelli, Giuseppe Longo, G. Longo, 1991, J. Funct. Program..
Luca Cardelli, L. Cardelli, 1988, EDBT.
Martín Abadi, Luca Cardelli, Pierre-Louis Curien, 1993, Theor. Comput. Sci..
Luca Cardelli, Andrea Vandin, Mirco Tribastone, 2017, Models, Algorithms, Logics and Tools.
Martín Abadi, Luca Cardelli, 1996 .
Luca Cardelli, Andrea Vandin, Mirco Tribastone, 2019, Theor. Comput. Sci..
Luca Cardelli, Corrado Priami, 2009, The Fourth Paradigm.
Luca Cardelli, Luca Laurenti, Andrea Patane, 2019, AAAI.
Luca Cardelli, Luís Caires, L. Cardelli, 2004, Theor. Comput. Sci..
Luca Cardelli, L. Cardelli, 2008, Theor. Comput. Sci..
Luca Cardelli, Andrew D. Gordon, Giorgio Ghelli, 1999, ICALP.
Martín Abadi, Luca Cardelli, Benjamin C. Pierce, 1989, POPL '89.
Luca Cardelli, Roberto M. Amadio, 1993 .
Luca Cardelli, Mirco Tribastone, Neil Dalchau, 2016, Scientific Reports.
Luca Cardelli, Andrea Vandin, Mirco Tribastone, 2017, TACAS.
Luca Cardelli, 1985, Combinators and Functional Programming Languages.
Luca Cardelli, Ozan Kahramanogullari, L. Cardelli, 2015, Bioinform..
Rosa D. Hernansaiz-Ballesteros, Luca Cardelli, Neil Dalchau, 2017, PLoS Comput. Biol..
Kim G. Larsen, Luca Cardelli, Radu Mardare, 2012, Log. Methods Comput. Sci..
Luca Cardelli, Alessandro Abate, Luca Laurenti, 2017, CMSB.
Martín Abadi, Luca Cardelli, 1994, ESOP.
Luca Cardelli, Radu Mardare, L. Cardelli, 2013, ICTAC.
Luca Cardelli, Sylvain Pradalier, 2005 .
Luca Cardelli, Alessandro Abate, Stephen Roberts, 2019, ArXiv.
Luca Cardelli, Andrew D. Gordon, L. Cardelli, 2000, POPL '00.
Luca Cardelli, Andrew J. Turberfield, Michael A. Boemo, 2015, DNA.
Luca Cardelli, L. Cardelli, 1988 .
Luca Cardelli, L. Cardelli, 2009, Natural Computing.
Luca Cardelli, Martín Abadi, 1996 .
Luca Cardelli, 1996, Mobile Object Systems.
Martín Abadi, Luca Cardelli, 1995, TAPSOFT.
Luca Cardelli, Michael A Boemo, Alexandra E Lucas, 2016, ACS synthetic biology.
Luca Cardelli, L. Cardelli, 1994 .
Luca Cardelli, Elisenda Feliu, Carsten Wiuf, 2013, PLoS Comput. Biol..
Luca Cardelli, Andrew D. Gordon, L. Cardelli, 1999, POPL '99.
Luca Cardelli, Andrea Vandin, Mirco Tribastone, 2021, Bioinform..
Luca Cardelli, L. Cardelli, 2008, IFIP TCS.
Luca Cardelli, Luca Laurenti, Luca Bortolussi, 2018, ACM Trans. Comput. Log..
Luca Cardelli, Philippa Gardner, 2012, Theor. Comput. Sci..
Luca Cardelli, Morteza Lahijanian, Alessandro Abate, 2019, HSCC.
Martín Abadi, Luca Cardelli, 1996 .
Martín Abadi, Luca Cardelli, 1995, Sci. Comput. Program..
Martín Abadi, Luca Cardelli, Gordon D. Plotkin, 1994, Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science.
Luca Cardelli, L. Cardelli, 1988, UIST '88.
Luca Cardelli, Luca Laurenti, Marta Z. Kwiatkowska, 2015, Biosyst..
Luca Cardelli, David B. MacQueen, L. Cardelli, 1998, POPL 1998.
Luca Cardelli, Andrew D. Gordon, L. Cardelli, 1998, Foundations of Software Science and Computation Structure.
Luca Cardelli, Peter Wegner, P. Wegner, 1985, CSUR.
Luca Cardelli, John C. Mitchell, L. Cardelli, 1989, Mathematical Structures in Computer Science.
Luca Cardelli, L. Cardelli, 2010, Mathematical Structures in Computer Science.
Luca Cardelli, Ozan Kahramanogullari, Philippa Gardner, 2009, Electron. Notes Theor. Comput. Sci..
Cosimo Laneve, Luca Cardelli, L. Cardelli, 2011, CMSB.
Luca Cardelli, 1999, DBPL.
Luca Cardelli, L. Cardelli, 1997, POPL '97.
Luca Cardelli, L. Cardelli, 2000 .
Luca Cardelli, Andrea Vandin, Mirco Tribastone, 2017, Proceedings of the National Academy of Sciences.
Luca Cardelli, L. Cardelli, 1994 .
Luca Cardelli, Luís Caires, Luís Caires, 2003, Inf. Comput..
Luca Cardelli, Giorgio Ghelli, L. Cardelli, 2003 .
Luca Cardelli, Matthew Wicker, Luca Laurenti, 2019 .
Luca Cardelli, Matthew Wicker, Nicola Paoletti, 2019, IJCAI.
Glynn Winskel, Luca Cardelli, Marcelo P. Fiore, 2007, Electron. Notes Theor. Comput. Sci..
Luca Cardelli, Gianluigi Zavattaro, 2008, CONCUR.
Luca Cardelli, Luca Laurenti, Marta Kwiatkowska, 2018, Biophysical journal.
Martín Abadi, Luca Cardelli, 1996 .
Luca Cardelli, L. Cardelli, 1988 .
Luca Cardelli, Luís Caires, 2001, TACS.
Luca Cardelli, Andrew D. Gordon, L. Cardelli, 2001, TLCA.
Luca Cardelli, David B. MacQueen, 1985, Data Types and Persistence , Informal Proceedings.
Luca Cardelli, Luca Laurenti, Marta Z. Kwiatkowska, 2016, DNA.
Luca Cardelli, Rob Pike, L. Cardelli, 1985, SIGGRAPH.
Luca Cardelli, Philippa Gardner, Giorgio Ghelli, 2002, ICALP.
Luca Cardelli, Nick Benton, Cédric Fournet, 2002, ECOOP.
Luca Cardelli, Radu Mardare, L. Cardelli, 2010, 2010 Seventh International Conference on the Quantitative Evaluation of Systems.
Luca Cardelli, Philippa Gardner, Giorgio Ghelli, 2003, FoSSaCS.
Luca Cardelli, Luca Cardelli, 1988 .
Luca Cardelli, Andrew D. Gordon, Cristiano Calcagno, 2005, J. Funct. Program..
Martín Abadi, Luca Cardelli, 1996 .
Luca Cardelli, Ehud Shapiro, Adam Spiro, 2014, BMC Bioinformatics.
Luca Cardelli, Corrado Priami, Stephen Emmott, 2006, Lecture Notes in Computer Science.
Luca Cardelli, Andrea Vandin, Mirco Tribastone, 2018, QEST.
Luca Cardelli, Andrew Phillips, L. Cardelli, 2004 .
Luca Cardelli, Martin Fränzle, Nicola Paoletti, 2017, CAV.
Luca Cardelli, 2005, ICTCS.
Luca Cardelli, Andrew Phillips, Nir Piterman, 2009, BMC Systems Biology.
Sofiène Tahar, Luca Cardelli, Bernd Becker, 2010, Verification over discrete-continuous boundaries.
Luca Cardelli, L. Cardelli, 1999, FMOODS.
Luca Cardelli, James E. Donahue, Mick J. Jordan, 1989, POPL '89.
Martín Abadi, Luca Cardelli, Ramesh Viswanathan, 1996, POPL '96.
Luca Cardelli, Gary T. Leavens, Giuseppe Castagna, 1995, Theory Pract. Object Syst..
Luca Cardelli, Luca Laurenti, Marta Z. Kwiatkowska, 2016, Bio Systems.
Luca Cardelli, Andrea Vandin, Mirco Tribastone, 2019, Theor. Comput. Sci..
Luca Cardelli, 1997, SIGP.
Luca Cardelli, L. Cardelli, 1984, LFP '84.
Luca Cardelli, Michael A. Boemo, Conrad A. Nieduszynski, 2019, bioRxiv.
Luca Cardelli, Andrew D. Gordon, Giorgio Ghelli, 2005, Inf. Comput..
Denis Caromel, Luca Cardelli, Ludovic Henrio, 2005 .
Luca Cardelli, L. Cardelli, 2009, Algorithmic Bioprocesses.
Luca Cardelli, Gheorghe Paun, 2006, Int. J. Found. Comput. Sci..
Luca Cardelli, Boumediene Belkhouche, Henri E. Bal, 2001, Lecture Notes in Computer Science.
Martín Abadi, Luca Cardelli, M. Abadi, 1995 .
Luca Cardelli, L. Cardelli, 1980, MFCS.
Martín Abadi, Luca Cardelli, 1996 .
Martín Abadi, Luca Cardelli, Pierre-Louis Curien, 1993, POPL '93.
Martín Abadi, Luca Cardelli, Benjamin C. Pierce, 1995, Journal of Functional Programming.
Luca Cardelli, Andrew D. Gordon, Giorgio Ghelli, 2002, Inf. Comput..
Luca Cardelli, L. Cardelli, 1986, Foundations of Logic and Functional Programming.
Luca Cardelli, Martín Abadi, 1996 .
Martín Abadi, Luca Cardelli, 1996 .
Luca Cardelli, Andrea Vandin, Mirco Tribastone, 2016, 2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Luca Cardelli, L. Cardelli, 1982, International Colloquium on Automata, Languages and Programming.
Luca Cardelli, Georg Seelig, Andrew Phillips, 2013, Nature nanotechnology.
Luca Cardelli, Luca Laurenti, Marta Z. Kwiatkowska, 2016, Natural Computing.
Luca Cardelli, Stephen Emmott, Neil Dalchau, 2011, PLoS Comput. Biol..
Luca Cardelli, Nick Benton, Cédric Fournet, 2002, TOPL.
Luca Cardelli, Krishna Bharat, 1996, Mobile Object Systems.
Martín Abadi, Luca Cardelli, 1996 .
Rosa D. Hernansaiz-Ballesteros, Luca Cardelli, Neil Dalchau, 2016 .
Luca Cardelli, 1983 .
Luca Cardelli, John C. Mitchell, L. Cardelli, 1989 .
Luca Cardelli, Andrew Phillips, Ralf Blossey, 2007, HFSP journal.
Luca Cardelli, Ozan Kahramanogullari, 2013, Int. J. Softw. Informatics.
Luca Cardelli, Andrew D. Gordon, 2003, Math. Struct. Comput. Sci..
Luca Cardelli, Marta Z. Kwiatkowska, Max Whitby, 2016, Natural Computing.
Martín Abadi, Luca Cardelli, 1996 .
Renzo Orsini, Luca Cardelli, Antonio Albano, 1985, TODS.
Luca Cardelli, 1996, CSUR.
Luca Cardelli, 1984, Seminar on Concurrency.
Luca Cardelli, Andrea Vandin, Mirco Tribastone, 2016, POPL.
Luca Cardelli, Ozan Kahramanogullari, Philippa Gardner, 2009, FBTC@CONCUR.
Luca Cardelli, 2001, WebDyn@ICDT.
Luca Cardelli, Roberto M. Amadio, Martin Abadi, 2019, WWW.
Luca Cardelli, Andrew D. Gordon, Giorgio Ghelli, 2000, CONCUR.
Luca Cardelli, Arno Blaas, Luca Laurenti, 2020, AISTATS.
Luca Cardelli, Krishna Bharat, L. Cardelli, 1995, UIST '95.
Luca Cardelli, 1998, Mobile Agents.
Luca Cardelli, John C. Mitchell, Andre Scedrov, 1994, Inf. Comput..
Luca Cardelli, L. Cardelli, 2005, Trans. Comp. Sys. Biology.
Martín Abadi, Luca Cardelli, M. Abadi, 1994, Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science.
Luca Cardelli, L. Cardelli, 1996, CSUR.
Luca Cardelli, Aviv Regev, Ehud Shapiro, 2004, Theor. Comput. Sci..
Luca Cardelli, Andrea Vandin, Mirco Tribastone, 2015, CONCUR.
Luca Cardelli, Gianluigi Zavattaro, L. Cardelli, 2008, AB.
Luca Cardelli, 2005, ICSE '05.
Luca Cardelli, Andrew D. Gordon, L. Cardelli, 1998, FoSSaCS.
Luca Cardelli, Giuseppe Castagna, Andrew Phillips, 2006, Trans. Comp. Sys. Biology.
Luca Cardelli, L. Cardelli, 1997 .
Martín Abadi, Luca Cardelli, M. Abadi, 1995, TOPL.
Luca Cardelli, Andrew D. Gordon, L. Cardelli, 1998, FoSSaCS.
Stephen Roberts, Luca Cardelli, Luca Laurenti, 2020, 2020 59th IEEE Conference on Decision and Control (CDC).
Martín Abadi, Luca Cardelli, Florian Matthes, 1993, DBPL.
Martín Abadi, Luca Cardelli, M. Abadi, 1996, Monographs in Computer Science.
Luca Cardelli, Harold Fellermann, L. Cardelli, 2014, Journal of The Royal Society Interface.
Luca Cardelli, Andrew Phillips, L. Cardelli, 2005 .
Luca Cardelli, Martín Abadi, 1996 .
Luca Cardelli, Steffen van Bakel, Maria Grazia Vigliotti, 2014 .
Luca Cardelli, Roberto M. Amadio, L. Cardelli, 1991, POPL '91.
Luca Cardelli, Andrew D. Gordon, Giorgio Ghelli, 2000, Electron. Notes Theor. Comput. Sci..
Martín Abadi, Jean-Jacques Lévy, Luca Cardelli, 1989, POPL '90.
Luca Cardelli, Andrew D. Gordon, Cristiano Calcagno, 2003, TLDI '03.
Luca Cardelli, Ozan Kahramanogullari, Emmanuelle Caron, 2009, DCM.
Luca Cardelli, Alessandro Abate, Morteza Lahijanian, 2020, IEEE Transactions on Automatic Control.
Luca Cardelli, Andrew D. Gordon, L. Cardelli, 1999, Mathematical Structures in Computer Science.
Luca Cardelli, Matthew R. Lakin, Andrew Phillips, 2011, Journal of The Royal Society Interface.
Luca Cardelli, 2008, WADT.
Luca Cardelli, Rowan Davies, L. Cardelli, 1999, DSL.
Luca Cardelli, L. Cardelli, 2001, SGMD.
Luca Cardelli, Philippa Gardner, Giorgio Ghelli, 2007, Electron. Notes Theor. Comput. Sci..
Luca Cardelli, Boumediene Belkhouche, Henri E. Bal, 1998 .
Luca Cardelli, Radu Mardare, 2014, Fundam. Informaticae.
Luca Cardelli, Michael A Boemo, Conrad A. Nieduszynski, 2019, bioRxiv.
Luca Cardelli, Philippa Gardner, 2010, CiE.
Luca Cardelli, Attila Csikász-Nagy, L. Cardelli, 2012, Scientific Reports.
Luca Cardelli, L. Cardelli, 1984, Inf. Comput..
Luca Cardelli, Ozan Kahramanogullari, Philippa Gardner, 2008, Electron. Notes Theor. Comput. Sci..
Martín Abadi, Luca Cardelli, 1996 .
Luca Cardelli, William M. Shih, 2013, Natural Computing.
Luca Cardelli, Mirco Tribastone, Max Tschaikowski, 2018, Natural Computing.
Luca Cardelli, 2007, ECOOP.
Luca Cardelli, L. Cardelli, 1988, POPL '88.
Luca Cardelli, L. Cardelli, 2005, ICSE.
Luca Cardelli, Andrew D. Gordon, Giorgio Ghelli, 2000, IFIP TCS.
Cosimo Laneve, Luca Cardelli, L. Cardelli, 2011, Sci. Ann. Comput. Sci..
Luca Cardelli, L. Cardelli, 2007, Bull. EATCS.
Luca Cardelli, L. Cardelli, 1984, Information and Computation.
Martín Abadi, Luca Cardelli, Florian Matthes, 1994 .
Luca Cardelli, Giuseppe Longo, G. Longo, 1990, Journal of Functional Programming.
Luca Cardelli, Luca Laurenti, Mirco Tribastone, 2019, 2019 IEEE 58th Conference on Decision and Control (CDC).
Luca Cardelli, 2009, DNA.
Rosa D. Hernansaiz-Ballesteros, Luca Cardelli, Andrew Phillips, 2018, Natural Computing.
Martín Abadi, Jean-Jacques Lévy, Luca Cardelli, 1989, POPL '90.
Luca Cardelli, Andrew Phillips, L. Cardelli, 2009, Journal of The Royal Society Interface.
Martín Abadi, Luca Cardelli, 1996 .
Luca Cardelli, Andrew Phillips, Ralf Blossey, 2006, Trans. Comp. Sys. Biology.
Luca Cardelli, Giorgio Ghelli, L. Cardelli, 2001, SEBD.
Luca Cardelli, Andrew Phillips, L. Cardelli, 2018 .
Luca Cardelli, James E. Donahue, Lucille Glassman, 1992 .
Luca Cardelli, 2013, Math. Struct. Comput. Sci..
Luca Cardelli, Andrew D. Gordon, 1998 .
Luca Cardelli, John C. Mitchell, Andre Scedrov, 1991, TACS.
Martín Abadi, Luca Cardelli, 1995, ECOOP.
Kim G. Larsen, Luca Cardelli, Radu Mardare, 2011, ICALP.
Luca Cardelli, John C. Mitchell, 1989, Mathematical Foundations of Programming Semantics.
Luca Cardelli, 2000, JISBD.
Luca Cardelli, 2007, Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007).
Luca Cardelli, Andrew D. Gordon, Giorgio Ghelli, 2000 .
Luca Cardelli, L. Cardelli, 2004 .
Luca Cardelli, Xavier Leroy, 1990, Programming Concepts and Methods.
Luca Cardelli, L. Cardelli, 2001, Secure Internet Programming.
Luca Cardelli, John C. Mitchell, L. Cardelli, 1989, Mathematical Structures in Computer Science.
Luca Cardelli, Matthew R. Lakin, Andrew Phillips, 2012, Journal of The Royal Society Interface.
Luca Cardelli, 1993 .
Luca Cardelli, Matthew Wicker, Luca Laurenti, 2019, 2020 IEEE International Conference on Robotics and Automation (ICRA).
Luca Cardelli, L. Cardelli, 1989, Formal Description of Programming Concepts.
Martín Abadi, Luca Cardelli, M. Abadi, 1995, Theory Pract. Object Syst..
Luca Cardelli, Martín Abadi, 1996 .
Luca Cardelli, Stephen Roberts, Arno Blaas, 2021, ArXiv.
Luca Cardelli, L. Cardelli, 2021, ArXiv.
Kim G. Larsen, Luca Cardelli, Radu Grosu, 2021, QEST.
Luca Cardelli, Luca Laurenti, Marta Kwiatkowska, 2021, Comput..
Luca Cardelli, Luca Laurenti, Mirco Tribastone, 2021 .
Luca Cardelli, L. Cardelli, 1994 .
Luca Cardelli, Elisenda Feliu, Orkun S Soyer, 2015, Journal of The Royal Society Interface.
Luca Cardelli, Andrew Phillips, Simon Youssef, 2010 .
Martín Abadi, Luca Cardelli, Gordon Plotkin, 1993 .
Luca Cardelli, Matthew R. Lakin, Andrew Phillips, 2022 .
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.
Luca Cardelli, 1999 .
Luca Cardelli, Andrew D. Gordon, L. Cardelli, 2000 .
Luca Cardelli, Andrew D. Gordon, Giorgio Ghelli, 2002 .