Luca Cardelli
Orcid: 0000-0002-8705-8488Affiliations:
- Microsoft Research, Cambridge, UK
According to our database1,
Luca Cardelli
authored at least 176 papers
between 1980 and 2024.
Collaborative distances:
Collaborative distances:
Awards
ACM Fellow
ACM Fellow 2004, "For contributions to object-oriented programming languages.".
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on scopus.com
-
on viaf.org
-
on orcid.org
-
on id.loc.gov
-
on d-nb.info
-
on isni.org
-
on andrej.com
-
on dl.acm.org
On csauthors.net:
Bibliography
2024
IEEE Control. Syst. Lett., 2024
2023
IEEE Trans. Autom. Control., November, 2023
Formal lumping of polynomial differential equations through approximate equivalences.
J. Log. Algebraic Methods Program., August, 2023
2022
On the Design of a PID Bio-Controller With Set Point Weighting and Filtered Derivative Action.
IEEE Control. Syst. Lett., 2022
2021
Formal and Efficient Synthesis for Continuous-Time Linear Stochastic Hybrid Processes.
IEEE Trans. Autom. Control., 2021
Comput., 2021
Bioinform., 2021
Proceedings of the SPLASH '21: Software for Humanity, Chicago, IL, USA, October 17, 2021
Proceedings of the Quantitative Evaluation of Systems - 18th International Conference, 2021
2020
The Beacon Calculus: A formal method for the flexible and concise modelling of biological systems.
PLoS Comput. Biol., 2020
CoRR, 2020
Proceedings of the First International Forum on Digital and Democracy. Towards A Sustainable Evolution 2020, 2020
Uncertainty Quantification with Statistical Guarantees in End-to-End Autonomous Driving Control.
Proceedings of the 2020 IEEE International Conference on Robotics and Automation, 2020
Kaemika App: Integrating Protocols and Chemical Simulation - Integrating Protocols and Chemical Simulation.
Proceedings of the Computational Methods in Systems Biology, 2020
Proceedings of the 59th IEEE Conference on Decision and Control, 2020
Proceedings of the 23rd International Conference on Artificial Intelligence and Statistics, 2020
2019
Theor. Comput. Sci., 2019
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019
Efficiency through uncertainty: scalable formal synthesis for stochastic hybrid systems.
Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019
Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019
2018
Nat. Comput., 2018
Nat. Comput., 2018
Single molecules can operate as primitive biological sensors, switches and oscillators.
BMC Syst. Biol., 2018
Guaranteed Error Bounds on Approximate Model Abstractions Through Reachability Analysis.
Proceedings of the Quantitative Evaluation of Systems - 15th International Conference, 2018
Proceedings of the Computational Methods in Systems Biology, 2018
2017
Proc. Natl. Acad. Sci. USA, 2017
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017
Reachability Computation for Switching Diffusions: Finite Abstractions with Certifiable and Tuneable Precision.
Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, 2017
Proceedings of the Computer Aided Verification - 29th International Conference, 2017
Proceedings of the Models, Algorithms, Logics and Tools, 2017
2016
Biosyst., 2016
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016
Approximation of Probabilistic Reachability for Chemical Reaction Networks Using the Linear Noise Approximation.
Proceedings of the Quantitative Evaluation of Systems - 13th International Conference, 2016
A Stochastic Hybrid Approximation for Chemical Kinetics Based on the Linear Noise Approximation.
Proceedings of the Computational Methods in Systems Biology, 2016
2015
Gener: a minimal programming module for chemical controllers based on DNA strand displacement.
Bioinform., 2015
Proceedings of the DNA Computing and Molecular Programming - 21st International Conference, 2015
Proceedings of the 26th International Conference on Concurrency Theory, 2015
2014
BMC Syst. Biol., 2014
BMC Bioinform., 2014
2013
PLoS Comput. Biol., 2013
Int. J. Softw. Informatics, 2013
Proceedings of the Theoretical Aspects of Computing - ICTAC 2013, 2013
2012
Log. Methods Comput. Sci., 2012
2011
PLoS Comput. Biol., 2011
CoRR, 2011
Proceedings of the Automata, Languages and Programming - 38th International Colloquium, 2011
Continuous Markovian Logic - From Complete Axiomatization to the Metric Space of Formulas.
Proceedings of the Computer Science Logic, 2011
Proceedings of the Computational Methods in Systems Biology, 9th International Conference, 2011
2010
Proceedings of the Proceedings Sixth Workshop on Developments in Computational Models: Causality, 2010
Proceedings of the Unconventional Computation - 9th International Conference, 2010
Proceedings of the Verification over discrete-continuous boundaries, 04.07. - 09.07.2010, 2010
2009
Proceedings of the Proceedings Fifth Workshop on Developments in Computational Models--Computational Models From Nature, 2009
Computational modeling of the EGFR network elucidates control mechanisms regulating signal dynamics.
BMC Syst. Biol., 2009
Proceedings of the Fourth Paradigm: Data-Intensive Scientific Discovery, 2009
2008
Theor. Comput. Sci., 2008
Proceedings of the Second Workshop From Biology to Concurrency and Back, 2008
Proceedings of the Recent Trends in Algebraic Development Techniques, 2008
Proceedings of the Fifth IFIP International Conference On Theoretical Computer Science, 2008
Proceedings of the CONCUR 2008 - Concurrency Theory, 19th International Conference, 2008
Proceedings of the Algebraic Biology, Third International Conference, 2008
2007
Proceedings of the First Workshop "From Biology To Concurrency and back", 2007
Proceedings of the Computation, Meaning, and Logic: Articles dedicated to Gordon Plotkin, 2007
Proceedings of the Computation, Meaning, and Logic: Articles dedicated to Gordon Plotkin, 2007
Machines of Systems Biology.
Bull. EATCS, 2007
Proceedings of the Fourth International Conference on the Quantitative Evaluaiton of Systems (QEST 2007), 2007
Proceedings of the ECOOP 2007 - Object-Oriented Programming, 21st European Conference, Berlin, Germany, July 30, 2007
Proceedings of the Computational Methods in Systems Biology, International Conference, 2007
2006
Trans. Comp. Sys. Biology, 2006
Trans. Comp. Sys. Biology, 2006
Int. J. Found. Comput. Sci., 2006
2005
Proceedings of the Theoretical Computer Science, 9th Italian Conference, 2005
Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005
Proceedings of the CONCUR 2005 - Concurrency Theory, 16th International Conference, 2005
2004
Math. Struct. Comput. Sci., 2004
Proceedings of the Automata, Languages and Programming: 31st International Colloquium, 2004
Proceedings of the Computational Methods in Systems Biology, International Conference, 2004
2003
2002
Proceedings of the Automata, Languages and Programming, 29th International Colloquium, 2002
Proceedings of the ECOOP 2002, 2002
2001
Proceedings of the Typed Lambda Calculi and Applications, 5th International Conference, 2001
Proceedings of the Theoretical Aspects of Computer Software, 4th International Symposium, 2001
A Query Language Based on the Ambient Logic.
Proceedings of the Nono Convegno Nazionale Sistemi Evoluti per Basi di Dati, 2001
Proceedings of the First International Workshop on Web Dynamics, 2001
2000
Proceedings of the First Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, 2000
Proceedings of the POPL 2000, 2000
Proceedings of the Theoretical Computer Science, 2000
1999
Foundations for Wide-Area Systems (Tutorial).
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 1999
Proceedings of the Secure Internet Programming, 1999
Proceedings of the Research Issues in Structured and Semistructured Database Programming, 1999
1998
Proceedings of the Mobile Agents, Second International Workshop, 1998
1997
Proceedings of the Conference Record of POPL'97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1997
Type Systems.
Proceedings of the Computer Science and Engineering Handbook, 1997
1996
Proceedings of the Conference Record of POPL'96: The 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1996
Monographs in Computer Science, Springer, ISBN: 978-1-4419-8598-9, 1996
1995
On Binary Methods.
Theory Pract. Object Syst., 1995
An Imperative Object Calculus (Invited Paper).
Theory Pract. Object Syst., 1995
Proceedings of the TAPSOFT'95: Theory and Practice of Software Development, 1995
1994
Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS '94), 1994
Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS '94), 1994
Proceedings of the Programming Languages and Systems, 1994
1993
Extensible Grammars for Language Specialization.
Proceedings of the Database Programming Languages (DBPL-4), Proceedings of the Fourth International Workshop on Database Programming Languages - Object Models and Languages, Manhattan, New York City, USA, 30 August, 1993
1992
1991
A Pure Calculus of Subtyping, and Applications (Outline).
Proceedings of the Database Programming Languages: Bulk Types and Persistent Data. 3rd International Workshop, 1991
1990
Abstract Types and the Dot Notation.
Proceedings of the Programming concepts and methods: Proceedings of the IFIP Working Group 2.2, 1990
1989
Proceedings of the Conference Record of the Sixteenth Annual ACM Symposium on Principles of Programming Languages, 1989
Proceedings of the Formal Description of Programming Concepts, 1989
1988
Proceedings of the 1st Annual ACM Symposium on User Interface Software and Technology, 1988
Proceedings of the Conference Record of the Fifteenth Annual ACM Symposium on Principles of Programming Languages, 1988
Proceedings of the Advances in Database Technology, 1988
1987
1986
Proceedings of the Foundations of Logic and Functional Programming, 1986
1985
ACM Trans. Database Syst., 1985
Proceedings of the 12th Annual Conference on Computer Graphics and Interactive Techniques, 1985
Persistence and Type Abstraction.
Proceedings of the Data Types and Persistence, 1985
Proceedings of the Combinators and Functional Programming Languages, 1985
1984
Proceedings of the 1984 ACM Conference on LISP and Functional Programming, 1984
Proceedings of the Seminar on Concurrency, 1984
1982
Two-Dimensional Syntax for Functional Languages.
Proceedings of the Integrated Interactive Computing Systems: Proceedings of the European Conference on Integrated Interactive Computing Systems, 1982
1980
Proceedings of the Mathematical Foundations of Computer Science 1980 (MFCS'80), 1980