Luca Cardelli - RankMe

236 papers A* 28A 8B 19C 3Journal 102Unranked 69

Year	Rank	Type	Title / Venue / Authors
2025	B	`conf`	Evaluation, Reduction, and Approximation of Dynamical Systems and Networks with ERODE. ATVA Luca Cardelli, Giuseppe Squillace, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2024	J	`jnl`	AC-BioSD: A Biomolecular Signal Differentiator Module With Enhanced Performance. IEEE Control. Syst. Lett. Emmanouil Alexis, José L. Avalos, Luca Cardelli, Antonis Papachristodoulou
2023	J	`jnl`	Algorithmic Minimization of Uncertain Continuous-Time Markov Chains. IEEE Trans. Autom. Control. Luca Cardelli, Radu Grosu, Kim Guldstrand Larsen, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2023	J	`jnl`	Formal lumping of polynomial differential equations through approximate equivalences. J. Log. Algebraic Methods Program. Luca Cardelli, Giuseppe Squillace, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2022	J	`jnl`	Adversarial Robustness Guarantees for Gaussian Processes. J. Mach. Learn. Res. Andrea Patane, Arno Blaas, Luca Laurenti, Luca Cardelli, Stephen Roberts, Marta Kwiatkowska
2022	J	`jnl`	On the Design of a PID Bio-Controller With Set Point Weighting and Filtered Derivative Action. IEEE Control. Syst. Lett. Emmanouil Alexis, Luca Cardelli, Antonis Papachristodoulou
2022	J	`jnl`	PID Control of Biochemical Reaction Networks. IEEE Trans. Autom. Control. Max Whitby, Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Mirco Tribastone, Max Tschaikowski
2021	J	`jnl`	A Language for Modeling and Optimizing Experimental Biological Protocols. Comput. Luca Cardelli, Marta Kwiatkowska, Luca Laurenti
2021	J	`jnl`	Adversarial Robustness Guarantees for Gaussian Processes. CoRR Andrea Patane, Arno Blaas, Luca Laurenti, Luca Cardelli, Stephen J. Roberts, Marta Kwiatkowska
2021	J	`jnl`	Exact maximal reduction of stochastic reaction networks by species lumping. Bioinform. Luca Cardelli, Isabel Cristina Pérez-Verona, Mirco Tribastone, Max Tschaikowski, Andrea Vandin, Tabea Waizmann
2021	J	`jnl`	Exact maximal reduction of stochastic reaction networks by species lumping. CoRR Luca Cardelli, Isabel Cristina Pérez-Verona, Mirco Tribastone, Max Tschaikowski, Andrea Vandin, Tabea Waizmann
2021	J	`jnl`	Formal and Efficient Synthesis for Continuous-Time Linear Stochastic Hybrid Processes. IEEE Trans. Autom. Control. Luca Laurenti, Morteza Lahijanian, Alessandro Abate, Luca Cardelli, Marta Kwiatkowska
2021	—	`conf`	Integrated scientific modeling and lab automation (keynote). SPLASH (Companion) Luca Cardelli
2021	—	`conf`	Lumpability for Uncertain Continuous-Time Markov Chains. QEST Luca Cardelli, Radu Grosu, Kim G. Larsen, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2021	J	`jnl`	Sequenceable Event Recorders. CoRR Luca Cardelli
2020	A	`conf`	Adversarial Robustness Guarantees for Classification with Gaussian Processes. AISTATS Arno Blaas, Andrea Patane, Luca Laurenti, Luca Cardelli, Marta Kwiatkowska, Stephen J. Roberts
2020	—	`conf`	Digital Social Contracts: A Foundation for an Egalitarian and Just Digital Society. IFDaD Nimrod Talmon, Ehud Shapiro, Gal Shahaf, Luca Cardelli, Liav Orgad
2020	J	`jnl`	Digital Social Contracts: A Foundation for an Egalitarian and Just Digital Society. CoRR Luca Cardelli, Gal Shahaf, Ehud Shapiro, Nimrod Talmon
2020	J	`jnl`	From electric circuits to chemical networks. Nat. Comput. Luca Cardelli, Mirco Tribastone, Max Tschaikowski
2020	—	`conf`	Kaemika App: Integrating Protocols and Chemical Simulation - Integrating Protocols and Chemical Simulation. CMSB Luca Cardelli
2020	J	`jnl`	Kaemika app, Integrating protocols and chemical simulation. CoRR Luca Cardelli
2020	—	`conf`	Safety Guarantees for Iterative Predictions with Gaussian Processes. CDC Kyriakos Polymenakos, Luca Laurenti, Andrea Patane, Jan-Peter Calliess, Luca Cardelli, Marta Kwiatkowska, Alessandro Abate, Stephen J. Roberts
2020	J	`jnl`	The Beacon Calculus: A formal method for the flexible and concise modelling of biological systems. PLoS Comput. Biol. Michael A. Boemo, Luca Cardelli, Conrad A. Nieduszynski
2020	A*	`conf`	Uncertainty Quantification with Statistical Guarantees in End-to-End Autonomous Driving Control. ICRA Rhiannon Michelmore, Matthew Wicker, Luca Laurenti, Luca Cardelli, Yarin Gal, Marta Kwiatkowska
2019	J	`jnl`	Central Limit Model Checking. ACM Trans. Comput. Log. Luca Bortolussi, Luca Cardelli, Marta Kwiatkowska, Luca Laurenti
2019	J	`jnl`	Comparing chemical reaction networks: A categorical and algorithmic perspective. Theor. Comput. Sci. Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2019	J	`jnl`	Efficiency through Uncertainty: Scalable Formal Synthesis for Stochastic Hybrid Systems. CoRR Nathalie Cauchi, Luca Laurenti, Morteza Lahijanian, Alessandro Abate, Marta Kwiatkowska, Luca Cardelli
2019	—	`conf`	Efficiency through uncertainty: scalable formal synthesis for stochastic hybrid systems. HSCC Nathalie Cauchi, Luca Laurenti, Morteza Lahijanian, Alessandro Abate, Marta Kwiatkowska, Luca Cardelli
2019	—	`conf`	PID Control of Biochemical Reaction Networks. CDC Max Whitby, Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Mirco Tribastone, Max Tschaikowski
2019	J	`jnl`	PID Control of Biochemical Reaction Networks. CoRR Max Whitby, Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Mirco Tribastone, Max Tschaikowski
2019	A*	`conf`	Robustness Guarantees for Bayesian Inference with Gaussian Processes. AAAI Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Andrea Patane
2019	J	`jnl`	Robustness Quantification for Classification with Gaussian Processes. CoRR Arno Blaas, Luca Laurenti, Andrea Patane, Luca Cardelli, Marta Kwiatkowska, Stephen J. Roberts
2019	J	`jnl`	Safety Guarantees for Planning Based on Iterative Gaussian Processes. CoRR Kyriakos Polymenakos, Luca Laurenti, Andrea Patane, Jan-Peter Calliess, Luca Cardelli, Marta Kwiatkowska, Alessandro Abate, Stephen J. Roberts
2019	A*	`conf`	Statistical Guarantees for the Robustness of Bayesian Neural Networks. IJCAI Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Nicola Paoletti, Andrea Patane, Matthew Wicker
2019	J	`jnl`	Statistical Guarantees for the Robustness of Bayesian Neural Networks. CoRR Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Nicola Paoletti, Andrea Patane, Matthew Wicker
2019	J	`jnl`	Symbolic computation of differential equivalences. Theor. Comput. Sci. Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2019	J	`jnl`	Uncertainty Quantification with Statistical Guarantees in End-to-End Autonomous Driving Control. CoRR Rhiannon Michelmore, Matthew Wicker, Luca Laurenti, Luca Cardelli, Yarin Gal, Marta Kwiatkowska
2018	J	`jnl`	Central Limit Model Checking. CoRR Luca Bortolussi, Luca Cardelli, Marta Kwiatkowska, Luca Laurenti
2018	J	`jnl`	Chemical reaction network designs for asynchronous logic circuits. Nat. Comput. Luca Cardelli, Marta Kwiatkowska, Max Whitby
2018	J	`jnl`	Computing with biological switches and clocks. Nat. Comput. Neil Dalchau, Gregory Szép, Rosa D. Hernansaiz-Ballesteros, Chris P. Barnes, Luca Cardelli, Andrew Phillips, Attila Csikász-Nagy
2018	—	`conf`	Experimental Biological Protocols with Formal Semantics. CMSB Alessandro Abate, Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Boyan Yordanov
2018	J	`jnl`	From Electric Circuits to Chemical Networks. CoRR Luca Cardelli, Mirco Tribastone, Max Tschaikowski
2018	—	`conf`	Guaranteed Error Bounds on Approximate Model Abstractions Through Reachability Analysis. QEST Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2018	J	`jnl`	Guaranteed Error Bounds on Approximate Model Abstractions through Reachability Analysis. CoRR Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2018	J	`jnl`	Programming discrete distributions with chemical reaction networks. Nat. Comput. Luca Cardelli, Marta Kwiatkowska, Luca Laurenti
2018	J	`jnl`	Robustness Guarantees for Bayesian Inference with Gaussian Processes. CoRR Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Andrea Patane
2018	J	`jnl`	Single molecules can operate as primitive biological sensors, switches and oscillators. BMC Syst. Biol. Rosa D. Hernansaiz-Ballesteros, Luca Cardelli, Attila Csikász-Nagy
2017	—	`conf`	ERODE: A Tool for the Evaluation and Reduction of Ordinary Differential Equations. TACAS (2) Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2017	J	`jnl`	Efficient Switches in Biology and Computer Science. PLoS Comput. Biol. Luca Cardelli, Rosa D. Hernansaiz-Ballesteros, Neil Dalchau, Attila Csikász-Nagy
2017	J	`jnl`	Experimental Biological Protocols with Formal Semantics. CoRR Alessandro Abate, Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Boyan Yordanov
2017	J	`jnl`	Maximal aggregation of polynomial dynamical systems. Proc. Natl. Acad. Sci. USA Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2017	—	`conf`	Reachability Computation for Switching Diffusions: Finite Abstractions with Certifiable and Tuneable Precision. HSCC Luca Laurenti, Alessandro Abate, Luca Bortolussi, Luca Cardelli, Milan Ceska, Marta Z. Kwiatkowska
2017	—	`conf`	Syntactic Markovian Bisimulation for Chemical Reaction Networks. Models, Algorithms, Logics and Tools Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2017	J	`jnl`	Syntactic Markovian Bisimulation for Chemical Reaction Networks. CoRR Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2017	—	`conf`	Syntax-Guided Optimal Synthesis for Chemical Reaction Networks. CAV (2) Luca Cardelli, Milan Ceska, Martin Fränzle, Marta Z. Kwiatkowska, Luca Laurenti, Nicola Paoletti, Max Whitby
2016	—	`conf`	A Stochastic Hybrid Approximation for Chemical Kinetics Based on the Linear Noise Approximation. CMSB Luca Cardelli, Marta Kwiatkowska, Luca Laurenti
2016	—	`conf`	Approximation of Probabilistic Reachability for Chemical Reaction Networks Using the Linear Noise Approximation. QEST Luca Bortolussi, Luca Cardelli, Marta Kwiatkowska, Luca Laurenti
2016	B	`conf`	Chemical Reaction Network Designs for Asynchronous Logic Circuits. DNA Luca Cardelli, Marta Kwiatkowska, Max Whitby
2016	A*	`conf`	Comparing Chemical Reaction Networks: A Categorical and Algorithmic Perspective. LICS Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2016	A	`conf`	Efficient Syntax-Driven Lumping of Differential Equations. TACAS Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2016	B	`conf`	Programming Discrete Distributions with Chemical Reaction Networks. DNA Luca Cardelli, Marta Kwiatkowska, Luca Laurenti
2016	J	`jnl`	Programming Discrete Distributions with Chemical Reaction Networks. CoRR Luca Cardelli, Marta Z. Kwiatkowska, Luca Laurenti
2016	J	`jnl`	Stochastic analysis of Chemical Reaction Networks using Linear Noise Approximation. Biosyst. Luca Cardelli, Marta Kwiatkowska, Luca Laurenti
2016	A*	`conf`	Symbolic computation of differential equivalences. POPL Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2015	B	`conf`	Automated Design and Verification of Localized DNA Computation Circuits. DNA Michael A. Boemo, Andrew J. Turberfield, Luca Cardelli
2015	B	`conf`	Forward and Backward Bisimulations for Chemical Reaction Networks. CONCUR Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2015	J	`jnl`	Forward and Backward Bisimulations for Chemical Reaction Networks. CoRR Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2015	J	`jnl`	Gener: a minimal programming module for chemical controllers based on DNA strand displacement. Bioinform. Ozan Kahramanogullari, Luca Cardelli
2015	—	`conf`	Stochastic Analysis of Chemical Reaction Networks Using Linear Noise Approximation. CMSB Luca Cardelli, Marta Z. Kwiatkowska, Luca Laurenti
2015	J	`jnl`	Stochastic Analysis of Chemical Reaction Networks Using Linear Noise Approximation. CoRR Luca Laurenti, Luca Cardelli, Marta Z. Kwiatkowska
2014	J	`jnl`	Lineage grammars: describing, simulating and analyzing population dynamics. BMC Bioinform. Adam Spiro, Luca Cardelli, Ehud Shapiro
2014	J	`jnl`	Morphisms of reaction networks that couple structure to function. BMC Syst. Biol. Luca Cardelli
2014	J	`jnl`	The Measurable Space of Stochastic Processes. Fundam. Informaticae Luca Cardelli, Radu Mardare
2013	J	`jnl`	An Intuitive Modelling Interface for Systems Biology. Int. J. Softw. Informatics Ozan Kahramanogullari, Luca Cardelli
2013	J	`jnl`	Phosphorelays Provide Tunable Signal Processing Capabilities for the Cell. PLoS Comput. Biol. Varun B. Kothamachu, Elisenda Feliu, Carsten Wiuf, Luca Cardelli, Orkun S. Soyer
2013	J	`jnl`	Preface. Nat. Comput. Luca Cardelli, William M. Shih
2013	C	`conf`	Stochastic Pi-calculus Revisited. ICTAC Luca Cardelli, Radu Mardare
2013	J	`jnl`	Two-domain DNA strand displacement. Math. Struct. Comput. Sci. Luca Cardelli
2012	J	`jnl`	Continuous Markovian Logics - Axiomatization and Quantified Metatheory Log. Methods Comput. Sci. Radu Mardare, Luca Cardelli, Kim G. Larsen
2012	J	`jnl`	Processes in space. Theor. Comput. Sci. Luca Cardelli, Philippa Gardner
2011	J	`jnl`	A Peptide Filtering Relation Quantifies MHC Class I Peptide Optimization. PLoS Comput. Biol. Neil Dalchau, James Andrew Phillips, Leonard D. Goldstein, Mark Howarth, Luca Cardelli, Stephen Emmott, Tim Elliott, Joern M. Werner
2011	B	`conf`	Continuous Markovian Logic - From Complete Axiomatization to the Metric Space of Formulas. CSL Luca Cardelli, Kim G. Larsen, Radu Mardare
2011	B	`ed.`	DNA Computing and Molecular Programming - 17th International Conference, DNA 2011, Pasadena, CA, USA, September 19-23, 2011. Proceedings DNA Luca Cardelli, William M. Shih
2011	J	`jnl`	From X to Pi; Representing the Classical Sequent Calculus in the Pi-calculus CoRR Steffen van Bakel, Luca Cardelli, Maria Grazia Vigliotti
2011	—	`conf`	Modular Markovian Logic. ICALP (2) Luca Cardelli, Kim G. Larsen, Radu Mardare
2011	J	`jnl`	Reversibility in Massive Concurrent Systems CoRR Luca Cardelli, Cosimo Laneve
2011	J	`jnl`	Reversibility in Massive Concurrent Systems. Sci. Ann. Comput. Sci. Luca Cardelli, Cosimo Laneve
2011	—	`conf`	Reversible structures. CMSB Luca Cardelli, Cosimo Laneve
2011	J	`jnl`	Strand algebras for DNA computing. Nat. Comput. Luca Cardelli
2010	—	`conf`	10271 Abstracts Collection - Verification over discrete-continuous boundaries. Verification over discrete-continuous boundaries Bernd Becker, Luca Cardelli, Holger Hermanns, Sofiène Tahar
2010	C	`conf`	Algebras and Languages for Molecular Programming. UC Luca Cardelli
2010	C	`conf`	Processes in Space. CiE Luca Cardelli, Philippa Gardner
2010	—	`conf`	The Measurable Space of Stochastic Processes. QEST Luca Cardelli, Radu Mardare
2010	J	`jnl`	Turing universality of the Biochemical Ground Form. Math. Struct. Comput. Sci. Luca Cardelli, Gianluigi Zavattaro
2010	—	`conf`	Two-Domain DNA Strand Displacement DCM Luca Cardelli
2010	—	`ed.`	Verification over discrete-continuous boundaries, 04.07. - 09.07.2010 Verification over discrete-continuous boundaries Bernd Becker, Luca Cardelli, Holger Hermanns, Sofiène Tahar
2009	J	`jnl`	A process model of Rho GTP-binding proteins. Theor. Comput. Sci. Luca Cardelli, Emmanuelle Caron, Philippa Gardner, Ozan Kahramanogullari, Andrew Phillips
2009	—	`conf`	An Intuitive Automated Modelling Interface for Systems Biology DCM Ozan Kahramanogullari, Luca Cardelli, Emmanuelle Caron
2009	—	`conf`	Artificial Biochemistry. Algorithmic Bioprocesses Luca Cardelli
2009	J	`jnl`	Computational modeling of the EGFR network elucidates control mechanisms regulating signal dynamics. BMC Syst. Biol. Dennis Y. Q. Wang, Luca Cardelli, Andrew Phillips, Nir Piterman, Jasmin Fisher
2009	B	`conf`	Strand Algebras for DNA Computing. DNA Luca Cardelli
2009	—	`ch.`	Visualization in process algebra models of biological systems. The Fourth Paradigm Luca Cardelli, Corrado Priami
2008	—	`conf`	A Process Model of Actin Polymerisation. FBTC@ICALP Luca Cardelli, Emmanuelle Caron, Philippa Gardner, Ozan Kahramanogullari, Andrew Phillips
2008	J	`jnl`	Bitonal membrane systems: Interactions of biological membranes. Theor. Comput. Sci. Luca Cardelli
2008	—	`conf`	From Processes to ODEs by Chemistry. IFIP TCS Luca Cardelli
2008	B	`conf`	Molecules as Automata. CSL Luca Cardelli
2008	—	`conf`	Molecules as Automata. WADT Luca Cardelli
2008	J	`jnl`	On process rate semantics. Theor. Comput. Sci. Luca Cardelli
2008	—	`conf`	On the Computational Power of Biochemistry. AB Luca Cardelli, Gianluigi Zavattaro
2008	B	`conf`	Termination Problems in Chemical Kinetics. CONCUR Gianluigi Zavattaro, Luca Cardelli
2007	—	`conf`	A Process Model of Rho GTP-binding Proteins in the Context of Phagocytosis. FBTC@CONCUR Luca Cardelli, Philippa Gardner, Ozan Kahramanogullari
2007	A	`conf`	An Accidental Simula User. ECOOP Luca Cardelli
2007	—	`ed.`	Computation, Meaning, and Logic: Articles dedicated to Gordon Plotkin Computation, Meaning, and Logic Luca Cardelli, Marcelo Fiore, Glynn Winskel
2007	—	`conf`	Efficient, Correct Simulation of Biological Processes in the Stochastic Pi-calculus. CMSB Andrew Phillips, Luca Cardelli
2007	—	`conf`	Invited Talk: A Process Algebra Master Equation. QEST Luca Cardelli
2007	J	`jnl`	Machines of Systems Biology. Bull. EATCS Luca Cardelli
2007	—	`conf`	Manipulating Trees with Hidden Labels. Computation, Meaning, and Logic Luca Cardelli, Philippa Gardner, Giorgio Ghelli
2007	—	`conf`	Preface. Computation, Meaning, and Logic Luca Cardelli, Marcelo P. Fiore, Glynn Winskel
2006	J	`jnl`	A Compositional Approach to the Stochastic Dynamics of Gene Networks. Trans. Comp. Sys. Biology Ralf Blossey, Luca Cardelli, Andrew Phillips
2006	J	`jnl`	A Graphical Representation for Biological Processes in the Stochastic pi-Calculus. Trans. Comp. Sys. Biology Andrew Phillips, Luca Cardelli, Giuseppe Castagna
2006	J	`jnl`	An universality result for a (mem)brane calculus based on mate/drip operations. Int. J. Found. Comput. Sci. Luca Cardelli, Gheorghe Paun
2006	—	`ed.`	Transactions on Computational Systems Biology IV Trans. Computational Systems Biology Corrado Priami, Luca Cardelli, Stephen Emmott
2005	B	`conf`	A Compositional Approach to the Stochastic Dynamics of Gene Networks. CONCUR Luca Cardelli
2005	J	`jnl`	Abstract Machines of Systems Biology. Trans. Comp. Sys. Biology Luca Cardelli
2005	—	`conf`	Biological Systems as Reactive Systems. ICTCS Luca Cardelli
2005	J	`jnl`	Deciding validity in a spatial logic for trees. J. Funct. Program. Cristiano Calcagno, Luca Cardelli, Andrew D. Gordon
2005	J	`jnl`	Secrecy and group creation. Inf. Comput. Luca Cardelli, Giorgio Ghelli, Andrew D. Gordon
2005	A*	`conf`	Transitions in programming models: 2. ICSE Luca Cardelli
2004	J	`jnl`	A spatial logic for concurrency - II. Theor. Comput. Sci. Luís Caires, Luca Cardelli
2004	J	`jnl`	BioAmbients: an abstraction for biological compartments. Theor. Comput. Sci. Aviv Regev, Ekaterina M. Panina, William Silverman, Luca Cardelli, Ehud Shapiro
2004	—	`conf`	Brane Calculi. CMSB Luca Cardelli
2004	A*	`conf`	Greedy Regular Expression Matching. ICALP Alain Frisch, Luca Cardelli
2004	J	`jnl`	Modern concurrency abstractions for C#. ACM Trans. Program. Lang. Syst. Nick Benton, Luca Cardelli, Cédric Fournet
2004	J	`jnl`	TQL: a query language for semistructured data based on the ambient logic. Math. Struct. Comput. Sci. Luca Cardelli, Giorgio Ghelli
2003	J	`jnl`	A spatial logic for concurrency (part I). Inf. Comput. Luís Caires, Luca Cardelli
2003	—	`conf`	Deciding validity in a spatial logic for trees. TLDI Cristiano Calcagno, Luca Cardelli, Andrew D. Gordon
2003	A	`ed.`	ECOOP 2003 - Object-Oriented Programming, 17th European Conference, Darmstadt, Germany, July 21-25, 2003, Proceedings ECOOP Luca Cardelli
2003	J	`jnl`	Equational Properties Of Mobile Ambients. Math. Struct. Comput. Sci. Andrew D. Gordon, Luca Cardelli
2003	B	`conf`	Manipulating Trees with Hidden Labels. FoSSaCS Luca Cardelli, Philippa Gardner, Giorgio Ghelli
2002	B	`conf`	A Spatial Logic for Concurrency (Part II). CONCUR Luís Caires, Luca Cardelli
2002	A*	`conf`	A Spatial Logic for Querying Graphs. ICALP Luca Cardelli, Philippa Gardner, Giorgio Ghelli
2002	A	`conf`	Modern Concurrency Abstractions for C ECOOP Nick Benton, Luca Cardelli, Cédric Fournet
2002	J	`jnl`	Types for the Ambient Calculus. Inf. Comput. Luca Cardelli, Giorgio Ghelli, Andrew D. Gordon
2001	A	`conf`	A Query Language Based on the Ambient Logic. ESOP Luca Cardelli, Giorgio Ghelli
2001	—	`conf`	A Query Language Based on the Ambient Logic. SEBD Luca Cardelli, Giorgio Ghelli
2001	—	`conf`	A Spatial Logic for Concurrency. TACS Luís Caires, Luca Cardelli
2001	J	`jnl`	Describing Semistructured Data. SIGMOD Rec. Luca Cardelli
2001	—	`conf`	Logical Properties of Name Restriction. TLCA Luca Cardelli, Andrew D. Gordon
2001	—	`conf`	Logics for Mobility. WebDyn@ICDT Luca Cardelli
2000	—	`conf`	Ambient Groups and Mobility Types. IFIP TCS Luca Cardelli, Giorgio Ghelli, Andrew D. Gordon
2000	A*	`conf`	Anytime, Anywhere: Modal Logics for Mobile Ambients. POPL Luca Cardelli, Andrew D. Gordon
2000	J	`jnl`	Mobile ambients. Theor. Comput. Sci. Luca Cardelli, Andrew D. Gordon
2000	B	`conf`	Secrecy and Group Creation. CONCUR Luca Cardelli, Giorgio Ghelli, Andrew D. Gordon
2000	—	`conf`	Secrecy, Group Creation. MFCSIT Luca Cardelli, Andy Gordon, Giorgio Ghelli
2000	—	`conf`	Wide Area Computation. JISBD Luca Cardelli
1999	—	`conf`	Abstractions for Mobile Computation. Secure Internet Programming Luca Cardelli
1999	J	`jnl`	Comparing Object Encodings. Inf. Comput. Kim B. Bruce, Luca Cardelli, Benjamin C. Pierce
1999	B	`conf`	Equational Properties of Mobile Ambients. FoSSaCS Andrew D. Gordon, Luca Cardelli
1999	—	`conf`	Foundations for Wide-Area Systems (Tutorial). FMOODS Luca Cardelli
1999	—	`ed.`	Internet Programming Languages, ICCL'98 Workshop, Chicago, IL, USA, May 13, 1998, Proceedings ICCL Workshop: Internet Programming Languages Henri E. Bal, Boumediene Belkhouche, Luca Cardelli
1999	A*	`conf`	Mobility Types for Mobile Ambients. ICALP Luca Cardelli, Andrew D. Gordon, Giorgio Ghelli
1999	—	`conf`	Semistructured Computation. DBPL Luca Cardelli
1999	J	`jnl`	Service Combinators for Web Computing. IEEE Trans. Software Eng. Luca Cardelli, Rowan Davies
1999	A*	`conf`	Types for Mobile Ambients. POPL Luca Cardelli, Andrew D. Gordon
1999	A*	`conf`	Wide Area Computation. ICALP Luca Cardelli
1998	B	`conf`	Mobile Ambients. FoSSaCS Luca Cardelli, Andrew D. Gordon
1998	A*	`ed.`	POPL '98, Proceedings of the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Diego, CA, USA, January 19-21, 1998 POPL David B. MacQueen, Luca Cardelli
1998	—	`conf`	Wide-Area Languages. Mobile Agents Luca Cardelli
1997	—	`conf`	Comparing Object Encodings. TACS Kim B. Bruce, Luca Cardelli, Benjamin C. Pierce
1997	J	`jnl`	Global Computation. ACM SIGPLAN Notices Luca Cardelli
1997	—	`conf`	Mobile Ambients. HOOTS Luca Cardelli, Andrew D. Gordon
1997	A*	`conf`	Program Fragments, Linking, and Modularization. POPL Luca Cardelli
1997	—	`conf`	Service Combinators for Web Computing. DSL Luca Cardelli, Rowan Davies
1997	—	`ch.`	Type Systems. The Computer Science and Engineering Handbook Luca Cardelli
1996	—	`book`	A Theory of Objects. Martín Abadi, Luca Cardelli
1996	J	`jnl`	A Theory of Primitive Objects: Untyped and First-Order Systems. Inf. Comput. Martín Abadi, Luca Cardelli
1996	A*	`conf`	An Interpretation of Objects and Object Types. POPL Martín Abadi, Luca Cardelli, Ramesh Viswanathan
1996	J	`jnl`	Bad Engineering Properties of Object-Oriented Languages. ACM Comput. Surv. Luca Cardelli
1996	J	`jnl`	Global Computation. ACM Comput. Surv. Luca Cardelli
1996	—	`conf`	Migratory Applications. Mobile Object Systems Krishna Bharat, Luca Cardelli
1996	—	`conf`	Mobile Computation. Mobile Object Systems Luca Cardelli
1996	J	`jnl`	On Subtyping and Matching. ACM Trans. Program. Lang. Syst. Martín Abadi, Luca Cardelli
1996	J	`jnl`	Type Systems. ACM Comput. Surv. Luca Cardelli
1995	A*	`conf`	A Language with Distributed Scope. POPL Luca Cardelli
1995	J	`jnl`	A Language with Distributed Scope. Comput. Syst. Luca Cardelli
1995	J	`jnl`	A Theory of Primitive Objects: Second-Order Systems. Sci. Comput. Program. Martín Abadi, Luca Cardelli
1995	J	`jnl`	An Imperative Object Calculus (Invited Paper). Theory Pract. Object Syst. Martín Abadi, Luca Cardelli
1995	—	`conf`	An Imperative Object Calculus. TAPSOFT Martín Abadi, Luca Cardelli
1995	J	`jnl`	Dynamic Typing in Polymorphic Languages. J. Funct. Program. Martín Abadi, Luca Cardelli, Benjamin C. Pierce, Didier Rémy
1995	A*	`conf`	Migratory Applications. ACM Symposium on User Interface Software and Technology Krishna Bharat, Luca Cardelli
1995	J	`jnl`	On Binary Methods. Theory Pract. Object Syst. Kim B. Bruce, Luca Cardelli, Giuseppe Castagna, Jonathan Eifrig, Scott F. Smith, Valery Trifonov, Gary T. Leavens, Benjamin C. Pierce
1995	A	`conf`	On Subtyping and Matching. ECOOP Martín Abadi, Luca Cardelli
1994	A*	`conf`	A Semantics of Object Types LICS Martín Abadi, Luca Cardelli
1994	A	`conf`	A Theory of Primitive Objects - Scond-Order Systems. ESOP Martín Abadi, Luca Cardelli
1994	—	`conf`	A Theory of Primitive Objects - Untyped and First-Order Systems. TACS Martín Abadi, Luca Cardelli
1994	J	`jnl`	An Extension of System F with Subtyping Inf. Comput. Luca Cardelli, Simone Martini, John C. Mitchell, Andre Scedrov
1994	A*	`conf`	Subtyping and Parametricity LICS Gordon D. Plotkin, Martín Abadi, Luca Cardelli
1993	—	`conf`	Extensible Grammars for Language Specialization. DBPL Luca Cardelli, Florian Matthes, Martín Abadi
1993	A*	`conf`	Formal Parametric Polymorphism. POPL Martín Abadi, Luca Cardelli, Pierre-Louis Curien
1993	J	`jnl`	Formal Parametric Polymorphism. Theor. Comput. Sci. Martín Abadi, Luca Cardelli, Pierre-Louis Curien
1993	J	`jnl`	Subtyping Recursive Types. ACM Trans. Program. Lang. Syst. Roberto M. Amadio, Luca Cardelli
1992	J	`jnl`	Modula-3 language definition. ACM SIGPLAN Notices Luca Cardelli, James E. Donahue, Lucille Glassman, Mick J. Jordan, Bill Kalsow, Greg Nelson
1991	—	`conf`	A Pure Calculus of Subtyping, and Applications (Outline). DBPL Luca Cardelli
1991	J	`jnl`	A Semantic Basis for Quest. J. Funct. Program. Luca Cardelli, Giuseppe Longo
1991	—	`conf`	An Extension of System F with Subtyping. TACS Luca Cardelli, Simone Martini, John C. Mitchell, Andre Scedrov
1991	J	`jnl`	Dynamic Typing in a Statically Typed Language. ACM Trans. Program. Lang. Syst. Martín Abadi, Luca Cardelli, Benjamin C. Pierce, Gordon D. Plotkin
1991	J	`jnl`	Explicit Substitutions. J. Funct. Program. Martín Abadi, Luca Cardelli, Pierre-Louis Curien, Jean-Jacques Lévy
1991	J	`jnl`	Operations on Records. Math. Struct. Comput. Sci. Luca Cardelli, John C. Mitchell
1991	A*	`conf`	Subtyping Recursive Types. POPL Roberto M. Amadio, Luca Cardelli
1990	—	`conf`	A Semantic Basis for Quest. LISP and Functional Programming Luca Cardelli, Giuseppe Longo
1990	—	`conf`	Abstract Types and the Dot Notation. Programming Concepts and Methods Luca Cardelli, Xavier Leroy
1990	A*	`conf`	Explicit Substitutions. POPL Martín Abadi, Luca Cardelli, Pierre-Louis Curien, Jean-Jacques Lévy
1989	A*	`conf`	Dynamic Typing in a Statically-Typed Language. POPL Martín Abadi, Luca Cardelli, Benjamin C. Pierce, Gordon D. Plotkin
1989	—	`conf`	Operations in Records. Category Theory and Computer Science Luca Cardelli, John C. Mitchell
1989	B	`conf`	Operations on Records. Mathematical Foundations of Programming Semantics Luca Cardelli, John C. Mitchell
1989	A*	`conf`	The Modula-3 Type System. POPL Luca Cardelli, James E. Donahue, Mick J. Jordan, Bill Kalsow, Greg Nelson
1989	—	`conf`	Typeful Programming. Formal Description of Programming Concepts Luca Cardelli
1988	J	`jnl`	A Semantics of Multiple Inheritance Inf. Comput. Luca Cardelli
1988	A*	`conf`	Building User Interfaces by Direct Manipulation. ACM Symposium on User Interface Software and Technology Luca Cardelli
1988	A*	`conf`	Structural Subtyping and the Notion of Power Type. POPL Luca Cardelli
1988	B	`conf`	Types for Data-Oriented Languages. EDBT Luca Cardelli
1987	J	`jnl`	Basic Polymorphic Typechecking. Sci. Comput. Program. Luca Cardelli
1986	—	`conf`	Typechecking Dependent Types and Subtypes. Foundations of Logic and Functional Programming Luca Cardelli
1985	—	`conf`	Amber. Combinators and Functional Programming Languages Luca Cardelli
1985	J	`jnl`	Galileo: A Strongly-Typed, Interactive Conceptual Language. ACM Trans. Database Syst. Antonio Albano, Luca Cardelli, Renzo Orsini
1985	J	`jnl`	On Understanding Types, Data Abstraction, and Polymorphism. ACM Comput. Surv. Luca Cardelli, Peter Wegner
1985	—	`conf`	Persistence and Type Abstraction. Data Types and Persistence (Appin) Luca Cardelli, David B. MacQueen
1985	—	`conf`	Persistence and Type Abstraction. Data Types and Persistence (Appin), Informal Proceedings Luca Cardelli, David B. MacQueen
1985	A*	`conf`	Squeak: a language for communicating with mice. SIGGRAPH Luca Cardelli, Rob Pike
1985	—	`conf`	The Amber Machine. Combinators and Functional Programming Languages Luca Cardelli
1984	—	`conf`	A Semantics of Multiple Inheritance. Semantics of Data Types Luca Cardelli
1984	—	`conf`	An Implementation Model of Rendezvous Communication. Seminar on Concurrency Luca Cardelli
1984	—	`conf`	Compiling a Functional Language. LISP and Functional Programming Luca Cardelli
1982	A*	`conf`	Real Time Agents. ICALP Luca Cardelli
1982	—	`conf`	Two-Dimensional Syntax for Functional Languages. ECICS Luca Cardelli
1980	B	`conf`	Analog Processes. MFCS Luca Cardelli