default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLuca Cardelli
Person information
- affiliation: Microsoft Research, Cambridge, UK
- award (2015): Programming Languages Achievement Award
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j80]Emmanouil Alexis
, José L. Avalos, Luca Cardelli, Antonis Papachristodoulou:
AC-BioSD: A Biomolecular Signal Differentiator Module With Enhanced Performance. IEEE Control. Syst. Lett. 8: 514-519 (2024)- 2023
- [j79]Luca Cardelli, Giuseppe Squillace, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Formal lumping of polynomial differential equations through approximate equivalences. J. Log. Algebraic Methods Program. 134: 100876 (2023) - [j78]Luca Cardelli, Radu Grosu, Kim Guldstrand Larsen, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Algorithmic Minimization of Uncertain Continuous-Time Markov Chains. IEEE Trans. Autom. Control. 68(11): 6557-6572 (2023) - 2022
- [j77]Emmanouil Alexis, Luca Cardelli, Antonis Papachristodoulou:
On the Design of a PID Bio-Controller With Set Point Weighting and Filtered Derivative Action. IEEE Control. Syst. Lett. 6: 3134-3139 (2022) - [j76]Andrea Patane, Arno Blaas, Luca Laurenti, Luca Cardelli, Stephen Roberts, Marta Kwiatkowska:
Adversarial Robustness Guarantees for Gaussian Processes. J. Mach. Learn. Res. 23: 146:1-146:55 (2022) - [j75]Max Whitby, Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Mirco Tribastone, Max Tschaikowski:
PID Control of Biochemical Reaction Networks. IEEE Trans. Autom. Control. 67(2): 1023-1030 (2022) - 2021
- [j74]Luca Cardelli, Isabel Cristina Pérez-Verona, Mirco Tribastone, Max Tschaikowski, Andrea Vandin, Tabea Waizmann:
Exact maximal reduction of stochastic reaction networks by species lumping. Bioinform. 37(15): 2175-2182 (2021) - [j73]Luca Cardelli, Marta Kwiatkowska, Luca Laurenti:
A Language for Modeling and Optimizing Experimental Biological Protocols. Comput. 9(10): 107 (2021) - [j72]Luca Laurenti, Morteza Lahijanian, Alessandro Abate, Luca Cardelli, Marta Kwiatkowska:
Formal and Efficient Synthesis for Continuous-Time Linear Stochastic Hybrid Processes. IEEE Trans. Autom. Control. 66(1): 17-32 (2021) - [c121]Luca Cardelli, Radu Grosu, Kim G. Larsen, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Lumpability for Uncertain Continuous-Time Markov Chains. QEST 2021: 391-409 - [c120]Luca Cardelli:
Integrated scientific modeling and lab automation (keynote). SPLASH (Companion) 2021: 1 - [i24]Luca Cardelli, Isabel Cristina Pérez-Verona, Mirco Tribastone, Max Tschaikowski, Andrea Vandin, Tabea Waizmann:
Exact maximal reduction of stochastic reaction networks by species lumping. CoRR abs/2101.03342 (2021) - [i23]Andrea Patane, Arno Blaas, Luca Laurenti, Luca Cardelli, Stephen J. Roberts, Marta Kwiatkowska:
Adversarial Robustness Guarantees for Gaussian Processes. CoRR abs/2104.03180 (2021) - [i22]Luca Cardelli:
Sequenceable Event Recorders. CoRR abs/2105.15039 (2021) - 2020
- [j71]Luca Cardelli, Mirco Tribastone, Max Tschaikowski:
From electric circuits to chemical networks. Nat. Comput. 19(1): 237-248 (2020) - [j70]Michael A. Boemo, Luca Cardelli, Conrad A. Nieduszynski:
The Beacon Calculus: A formal method for the flexible and concise modelling of biological systems. PLoS Comput. Biol. 16(3) (2020) - [c119]Arno Blaas, Andrea Patane, Luca Laurenti, Luca Cardelli, Marta Kwiatkowska, Stephen J. Roberts:
Adversarial Robustness Guarantees for Classification with Gaussian Processes. AISTATS 2020: 3372-3382 - [c118]Kyriakos Polymenakos, Luca Laurenti, Andrea Patane, Jan-Peter Calliess, Luca Cardelli, Marta Kwiatkowska, Alessandro Abate, Stephen J. Roberts:
Safety Guarantees for Iterative Predictions with Gaussian Processes. CDC 2020: 3187-3193 - [c117]Luca Cardelli:
Kaemika App: Integrating Protocols and Chemical Simulation - Integrating Protocols and Chemical Simulation. CMSB 2020: 373-379 - [c116]Rhiannon Michelmore, Matthew Wicker, Luca Laurenti, Luca Cardelli, Yarin Gal, Marta Kwiatkowska:
Uncertainty Quantification with Statistical Guarantees in End-to-End Autonomous Driving Control. ICRA 2020: 7344-7350 - [c115]Nimrod Talmon, Ehud Shapiro, Gal Shahaf, Luca Cardelli, Liav Orgad:
Digital Social Contracts: A Foundation for an Egalitarian and Just Digital Society. IFDaD 2020: 51-60 - [i21]Luca Cardelli, Gal Shahaf, Ehud Shapiro, Nimrod Talmon:
Digital Social Contracts: A Foundation for an Egalitarian and Just Digital Society. CoRR abs/2005.06261 (2020) - [i20]Luca Cardelli:
Kaemika app, Integrating protocols and chemical simulation. CoRR abs/2005.08097 (2020)
2010 – 2019
- 2019
- [j69]Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Comparing chemical reaction networks: A categorical and algorithmic perspective. Theor. Comput. Sci. 765: 47-66 (2019) - [j68]Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Symbolic computation of differential equivalences. Theor. Comput. Sci. 777: 132-154 (2019) - [j67]Luca Bortolussi, Luca Cardelli, Marta Kwiatkowska, Luca Laurenti:
Central Limit Model Checking. ACM Trans. Comput. Log. 20(4): 19:1-19:35 (2019) - [c114]Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Andrea Patane:
Robustness Guarantees for Bayesian Inference with Gaussian Processes. AAAI 2019: 7759-7768 - [c113]Max Whitby, Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Mirco Tribastone, Max Tschaikowski:
PID Control of Biochemical Reaction Networks. CDC 2019: 8372-8379 - [c112]Nathalie Cauchi, Luca Laurenti, Morteza Lahijanian, Alessandro Abate, Marta Kwiatkowska, Luca Cardelli:
Efficiency through uncertainty: scalable formal synthesis for stochastic hybrid systems. HSCC 2019: 240-251 - [c111]Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Nicola Paoletti, Andrea Patane, Matthew Wicker:
Statistical Guarantees for the Robustness of Bayesian Neural Networks. IJCAI 2019: 5693-5700 - [i19]Nathalie Cauchi, Luca Laurenti, Morteza Lahijanian, Alessandro Abate, Marta Kwiatkowska, Luca Cardelli:
Efficiency through Uncertainty: Scalable Formal Synthesis for Stochastic Hybrid Systems. CoRR abs/1901.01576 (2019) - [i18]Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Nicola Paoletti, Andrea Patane, Matthew Wicker:
Statistical Guarantees for the Robustness of Bayesian Neural Networks. CoRR abs/1903.01980 (2019) - [i17]Max Whitby, Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Mirco Tribastone, Max Tschaikowski:
PID Control of Biochemical Reaction Networks. CoRR abs/1903.10390 (2019) - [i16]Arno Blaas, Luca Laurenti, Andrea Patane, Luca Cardelli, Marta Kwiatkowska, Stephen J. Roberts:
Robustness Quantification for Classification with Gaussian Processes. CoRR abs/1905.11876 (2019) - [i15]Rhiannon Michelmore, Matthew Wicker, Luca Laurenti, Luca Cardelli, Yarin Gal, Marta Kwiatkowska:
Uncertainty Quantification with Statistical Guarantees in End-to-End Autonomous Driving Control. CoRR abs/1909.09884 (2019) - [i14]Kyriakos Polymenakos, Luca Laurenti, Andrea Patane, Jan-Peter Calliess, Luca Cardelli, Marta Kwiatkowska, Alessandro Abate, Stephen J. Roberts:
Safety Guarantees for Planning Based on Iterative Gaussian Processes. CoRR abs/1912.00071 (2019) - 2018
- [j66]Rosa D. Hernansaiz-Ballesteros, Luca Cardelli, Attila Csikász-Nagy:
Single molecules can operate as primitive biological sensors, switches and oscillators. BMC Syst. Biol. 12(1): 70:1-70:14 (2018) - [j65]Luca Cardelli, Marta Kwiatkowska, Max Whitby:
Chemical reaction network designs for asynchronous logic circuits. Nat. Comput. 17(1): 109-130 (2018) - [j64]Luca Cardelli, Marta Kwiatkowska, Luca Laurenti:
Programming discrete distributions with chemical reaction networks. Nat. Comput. 17(1): 131-145 (2018) - [j63]Neil Dalchau, Gregory Szép, Rosa D. Hernansaiz-Ballesteros, Chris P. Barnes, Luca Cardelli, Andrew Phillips, Attila Csikász-Nagy:
Computing with biological switches and clocks. Nat. Comput. 17(4): 761-779 (2018) - [c110]Alessandro Abate, Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Boyan Yordanov:
Experimental Biological Protocols with Formal Semantics. CMSB 2018: 165-182 - [c109]Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Guaranteed Error Bounds on Approximate Model Abstractions Through Reachability Analysis. QEST 2018: 104-121 - [i13]Luca Bortolussi, Luca Cardelli, Marta Kwiatkowska, Luca Laurenti:
Central Limit Model Checking. CoRR abs/1804.08744 (2018) - [i12]Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Guaranteed Error Bounds on Approximate Model Abstractions through Reachability Analysis. CoRR abs/1807.06888 (2018) - [i11]Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Andrea Patane:
Robustness Guarantees for Bayesian Inference with Gaussian Processes. CoRR abs/1809.06452 (2018) - [i10]Luca Cardelli, Mirco Tribastone, Max Tschaikowski:
From Electric Circuits to Chemical Networks. CoRR abs/1812.03308 (2018) - 2017
- [j62]Luca Cardelli, Rosa D. Hernansaiz-Ballesteros, Neil Dalchau, Attila Csikász-Nagy:
Efficient Switches in Biology and Computer Science. PLoS Comput. Biol. 13(1) (2017) - [j61]Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Maximal aggregation of polynomial dynamical systems. Proc. Natl. Acad. Sci. USA 114(38): 10029-10034 (2017) - [c108]Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Syntactic Markovian Bisimulation for Chemical Reaction Networks. Models, Algorithms, Logics and Tools 2017: 466-483 - [c107]Luca Cardelli, Milan Ceska, Martin Fränzle, Marta Z. Kwiatkowska, Luca Laurenti, Nicola Paoletti, Max Whitby:
Syntax-Guided Optimal Synthesis for Chemical Reaction Networks. CAV (2) 2017: 375-395 - [c106]Luca Laurenti, Alessandro Abate, Luca Bortolussi, Luca Cardelli, Milan Ceska, Marta Z. Kwiatkowska:
Reachability Computation for Switching Diffusions: Finite Abstractions with Certifiable and Tuneable Precision. HSCC 2017: 55-64 - [c105]Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
ERODE: A Tool for the Evaluation and Reduction of Ordinary Differential Equations. TACAS (2) 2017: 310-328 - [i9]Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Syntactic Markovian Bisimulation for Chemical Reaction Networks. CoRR abs/1707.02132 (2017) - [i8]Alessandro Abate, Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Boyan Yordanov:
Experimental Biological Protocols with Formal Semantics. CoRR abs/1710.08016 (2017) - 2016
- [j60]Luca Cardelli, Marta Kwiatkowska, Luca Laurenti:
Stochastic analysis of Chemical Reaction Networks using Linear Noise Approximation. Biosyst. 149: 26-33 (2016) - [c104]Luca Cardelli, Marta Kwiatkowska, Luca Laurenti:
A Stochastic Hybrid Approximation for Chemical Kinetics Based on the Linear Noise Approximation. CMSB 2016: 147-167 - [c103]Luca Cardelli, Marta Kwiatkowska, Luca Laurenti:
Programming Discrete Distributions with Chemical Reaction Networks. DNA 2016: 35-51 - [c102]Luca Cardelli, Marta Kwiatkowska, Max Whitby:
Chemical Reaction Network Designs for Asynchronous Logic Circuits. DNA 2016: 67-81 - [c101]Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Comparing Chemical Reaction Networks: A Categorical and Algorithmic Perspective. LICS 2016: 485-494 - [c100]Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Symbolic computation of differential equivalences. POPL 2016: 137-150 - [c99]Luca Bortolussi, Luca Cardelli, Marta Kwiatkowska, Luca Laurenti:
Approximation of Probabilistic Reachability for Chemical Reaction Networks Using the Linear Noise Approximation. QEST 2016: 72-88 - [c98]Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Efficient Syntax-Driven Lumping of Differential Equations. TACAS 2016: 93-111 - [i7]Luca Cardelli, Marta Z. Kwiatkowska, Luca Laurenti:
Programming Discrete Distributions with Chemical Reaction Networks. CoRR abs/1601.02578 (2016) - 2015
- [j59]Ozan Kahramanogullari, Luca Cardelli:
Gener: a minimal programming module for chemical controllers based on DNA strand displacement. Bioinform. 31(17): 2906-2908 (2015) - [c97]Luca Cardelli, Marta Z. Kwiatkowska, Luca Laurenti:
Stochastic Analysis of Chemical Reaction Networks Using Linear Noise Approximation. CMSB 2015: 64-76 - [c96]Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Forward and Backward Bisimulations for Chemical Reaction Networks. CONCUR 2015: 226-239 - [c95]Michael A. Boemo, Andrew J. Turberfield, Luca Cardelli:
Automated Design and Verification of Localized DNA Computation Circuits. DNA 2015: 168-180 - [i6]Luca Laurenti, Luca Cardelli, Marta Z. Kwiatkowska:
Stochastic Analysis of Chemical Reaction Networks Using Linear Noise Approximation. CoRR abs/1506.07861 (2015) - [i5]Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Forward and Backward Bisimulations for Chemical Reaction Networks. CoRR abs/1507.00163 (2015) - 2014
- [j58]Adam Spiro, Luca Cardelli, Ehud Shapiro:
Lineage grammars: describing, simulating and analyzing population dynamics. BMC Bioinform. 15: 249 (2014) - [j57]Luca Cardelli:
Morphisms of reaction networks that couple structure to function. BMC Syst. Biol. 8: 84 (2014) - [j56]Luca Cardelli, Radu Mardare:
The Measurable Space of Stochastic Processes. Fundam. Informaticae 131(3-4): 351-371 (2014) - 2013
- [j55]Ozan Kahramanogullari, Luca Cardelli:
An Intuitive Modelling Interface for Systems Biology. Int. J. Softw. Informatics 7(4): 655-674 (2013) - [j54]Luca Cardelli:
Two-domain DNA strand displacement. Math. Struct. Comput. Sci. 23(2): 247-271 (2013) - [j53]Luca Cardelli, William M. Shih:
Preface. Nat. Comput. 12(2): 209 (2013) - [j52]Varun B. Kothamachu, Elisenda Feliu, Carsten Wiuf, Luca Cardelli, Orkun S. Soyer:
Phosphorelays Provide Tunable Signal Processing Capabilities for the Cell. PLoS Comput. Biol. 9(11) (2013) - [c94]Luca Cardelli, Radu Mardare:
Stochastic Pi-calculus Revisited. ICTAC 2013: 1-21 - 2012
- [j51]Radu Mardare, Luca Cardelli, Kim G. Larsen:
Continuous Markovian Logics - Axiomatization and Quantified Metatheory. Log. Methods Comput. Sci. 8(4) (2012) - [j50]Luca Cardelli, Philippa Gardner:
Processes in space. Theor. Comput. Sci. 431: 40-55 (2012) - 2011
- [j49]Luca Cardelli, Cosimo Laneve:
Reversibility in Massive Concurrent Systems. Sci. Ann. Comput. Sci. 21(2): 175-198 (2011) - [j48]Luca Cardelli:
Strand algebras for DNA computing. Nat. Comput. 10(1): 407-428 (2011) - [j47]Neil Dalchau, James Andrew Phillips, Leonard D. Goldstein, Mark Howarth, Luca Cardelli, Stephen Emmott, Tim Elliott, Joern M. Werner:
A Peptide Filtering Relation Quantifies MHC Class I Peptide Optimization. PLoS Comput. Biol. 7(10) (2011) - [c93]Luca Cardelli, Cosimo Laneve:
Reversible structures. CMSB 2011: 131-140 - [c92]Luca Cardelli, Kim G. Larsen, Radu Mardare:
Continuous Markovian Logic - From Complete Axiomatization to the Metric Space of Formulas. CSL 2011: 144-158 - [c91]Luca Cardelli, Kim G. Larsen, Radu Mardare:
Modular Markovian Logic. ICALP (2) 2011: 380-391 - [e7]Luca Cardelli, William M. Shih:
DNA Computing and Molecular Programming - 17th International Conference, DNA 17, Pasadena, CA, USA, September 19-23, 2011. Proceedings. Lecture Notes in Computer Science 6937, Springer 2011, ISBN 978-3-642-23637-2 [contents] - [i4]Luca Cardelli, Cosimo Laneve:
Reversibility in Massive Concurrent Systems. CoRR abs/1108.3419 (2011) - [i3]Steffen van Bakel, Luca Cardelli, Maria Grazia Vigliotti:
From X to Pi; Representing the Classical Sequent Calculus in the Pi-calculus. CoRR abs/1109.4817 (2011) - 2010
- [j46]Luca Cardelli, Gianluigi Zavattaro:
Turing universality of the Biochemical Ground Form. Math. Struct. Comput. Sci. 20(1): 45-73 (2010) - [c90]Luca Cardelli, Philippa Gardner:
Processes in Space. CiE 2010: 78-87 - [c89]Luca Cardelli, Radu Mardare:
The Measurable Space of Stochastic Processes. QEST 2010: 171-180 - [c88]Luca Cardelli:
Algebras and Languages for Molecular Programming. UC 2010: 2 - [c87]Luca Cardelli:
Two-Domain DNA Strand Displacement. DCM 2010: 47-61 - [e6]Bernd Becker, Luca Cardelli, Holger Hermanns, Sofiène Tahar:
Verification over discrete-continuous boundaries, 04.07. - 09.07.2010. Dagstuhl Seminar Proceedings 10271, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2010 [contents] - [i2]Bernd Becker, Luca Cardelli, Holger Hermanns, Sofiène Tahar:
10271 Abstracts Collection - Verification over discrete-continuous boundaries. Verification over discrete-continuous boundaries 2010
2000 – 2009
- 2009
- [j45]Dennis Y. Q. Wang, Luca Cardelli, Andrew Phillips, Nir Piterman, Jasmin Fisher:
Computational modeling of the EGFR network elucidates control mechanisms regulating signal dynamics. BMC Syst. Biol. 3: 118 (2009) - [j44]Luca Cardelli, Emmanuelle Caron, Philippa Gardner, Ozan Kahramanogullari, Andrew Phillips:
A process model of Rho GTP-binding proteins. Theor. Comput. Sci. 410(33-34): 3166-3185 (2009) - [c86]Luca Cardelli:
Artificial Biochemistry. Algorithmic Bioprocesses 2009: 429-462 - [c85]Luca Cardelli:
Strand Algebras for DNA Computing. DNA 2009: 12-24 - [c84]Ozan Kahramanogullari, Luca Cardelli, Emmanuelle Caron:
An Intuitive Automated Modelling Interface for Systems Biology. DCM 2009: 73-86 - [p1]Luca Cardelli, Corrado Priami:
Visualization in process algebra models of biological systems. The Fourth Paradigm 2009: 99-105 - 2008
- [j43]Luca Cardelli:
On process rate semantics. Theor. Comput. Sci. 391(3): 190-215 (2008) - [j42]Luca Cardelli:
Bitonal membrane systems: Interactions of biological membranes. Theor. Comput. Sci. 404(1-2): 5-18 (2008) - [c83]Luca Cardelli, Gianluigi Zavattaro:
On the Computational Power of Biochemistry. AB 2008: 65-80 - [c82]Gianluigi Zavattaro, Luca Cardelli:
Termination Problems in Chemical Kinetics. CONCUR 2008: 477-491 - [c81]Luca Cardelli:
Molecules as Automata. CSL 2008: 32 - [c80]Luca Cardelli:
From Processes to ODEs by Chemistry. IFIP TCS 2008: 261-281 - [c79]Luca Cardelli:
Molecules as Automata. WADT 2008: 18-20 - [c78]Luca Cardelli, Emmanuelle Caron, Philippa Gardner, Ozan Kahramanogullari, Andrew Phillips:
A Process Model of Actin Polymerisation. FBTC@ICALP 2008: 127-144 - 2007
- [j41]Luca Cardelli:
Machines of Systems Biology. Bull. EATCS 93: 176-204 (2007) - [c77]Andrew Phillips, Luca Cardelli:
Efficient, Correct Simulation of Biological Processes in the Stochastic Pi-calculus. CMSB 2007: 184-199 - [c76]Luca Cardelli:
An Accidental Simula User. ECOOP 2007: 201 - [c75]Luca Cardelli:
Invited Talk: A Process Algebra Master Equation. QEST 2007: 219-226 - [c74]Luca Cardelli, Marcelo P. Fiore, Glynn Winskel:
Preface. Computation, Meaning, and Logic 2007: 1-4 - [c73]Luca Cardelli, Philippa Gardner, Ozan Kahramanogullari:
A Process Model of Rho GTP-binding Proteins in the Context of Phagocytosis. FBTC@CONCUR 2007: 87-102 - [c72]Luca Cardelli, Philippa Gardner, Giorgio Ghelli:
Manipulating Trees with Hidden Labels. Computation, Meaning, and Logic 2007: 177-201 - [e5]