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]Luca Cardelli, Marcelo Fiore, Glynn Winskel:
Computation, Meaning, and Logic: Articles dedicated to Gordon Plotkin. Electronic Notes in Theoretical Computer Science 172, Elsevier 2007 [contents] - 2006
- [j40]Luca Cardelli, Gheorghe Paun:
An universality result for a (mem)brane calculus based on mate/drip operations. Int. J. Found. Comput. Sci. 17(1): 49-68 (2006) - [j39]Ralf Blossey, Luca Cardelli, Andrew Phillips:
A Compositional Approach to the Stochastic Dynamics of Gene Networks. Trans. Comp. Sys. Biology 4: 99-122 (2006) - [j38]Andrew Phillips, Luca Cardelli, Giuseppe Castagna:
A Graphical Representation for Biological Processes in the Stochastic pi-Calculus. Trans. Comp. Sys. Biology 7: 123-152 (2006) - [e4]Corrado Priami, Luca Cardelli, Stephen Emmott:
Transactions on Computational Systems Biology IV. Lecture Notes in Computer Science 3939, Springer 2006, ISBN 3-540-33245-6 [contents] - 2005
- [j37]Luca Cardelli, Giorgio Ghelli, Andrew D. Gordon:
Secrecy and group creation. Inf. Comput. 196(2): 127-155 (2005) - [j36]Cristiano Calcagno, Luca Cardelli, Andrew D. Gordon:
Deciding validity in a spatial logic for trees. J. Funct. Program. 15(4): 543-572 (2005) - [j35]Luca Cardelli:
Abstract Machines of Systems Biology. Trans. Comp. Sys. Biology 3: 145-168 (2005) - [c71]Luca Cardelli:
A Compositional Approach to the Stochastic Dynamics of Gene Networks. CONCUR 2005: 4 - [c70]Luca Cardelli:
Transitions in programming models: 2. ICSE 2005: 2 - [c69]Luca Cardelli:
Biological Systems as Reactive Systems. ICTCS 2005: 21 - 2004
- [j34]Luca Cardelli, Giorgio Ghelli:
TQL: a query language for semistructured data based on the ambient logic. Math. Struct. Comput. Sci. 14(3): 285-327 (2004) - [j33]Luís Caires, Luca Cardelli:
A spatial logic for concurrency - II. Theor. Comput. Sci. 322(3): 517-565 (2004) - [j32]Aviv Regev, Ekaterina M. Panina, William Silverman, Luca Cardelli, Ehud Shapiro:
BioAmbients: an abstraction for biological compartments. Theor. Comput. Sci. 325(1): 141-167 (2004) - [j31]Nick Benton, Luca Cardelli, Cédric Fournet:
Modern concurrency abstractions for C#. ACM Trans. Program. Lang. Syst. 26(5): 769-804 (2004) - [c68]Luca Cardelli:
Brane Calculi. CMSB 2004: 257-278 - [c67]Alain Frisch, Luca Cardelli:
Greedy Regular Expression Matching. ICALP 2004: 618-629 - 2003
- [j30]Luís Caires, Luca Cardelli:
A spatial logic for concurrency (part I). Inf. Comput. 186(2): 194-235 (2003) - [j29]Andrew D. Gordon, Luca Cardelli:
Equational Properties Of Mobile Ambients. Math. Struct. Comput. Sci. 13(3): 371-408 (2003) - [c66]Luca Cardelli, Philippa Gardner, Giorgio Ghelli:
Manipulating Trees with Hidden Labels. FoSSaCS 2003: 216-232 - [c65]Cristiano Calcagno, Luca Cardelli, Andrew D. Gordon:
Deciding validity in a spatial logic for trees. TLDI 2003: 62-73 - [e3]Luca Cardelli:
ECOOP 2003 - Object-Oriented Programming, 17th European Conference, Darmstadt, Germany, July 21-25, 2003, Proceedings. Lecture Notes in Computer Science 2743, Springer 2003, ISBN 3-540-40531-3 [contents] - 2002
- [j28]Luca Cardelli, Giorgio Ghelli, Andrew D. Gordon:
Types for the Ambient Calculus. Inf. Comput. 177(2): 160-194 (2002) - [c64]Luís Caires, Luca Cardelli:
A Spatial Logic for Concurrency (Part II). CONCUR 2002: 209-225 - [c63]Nick Benton, Luca Cardelli, Cédric Fournet:
Modern Concurrency Abstractions for C#. ECOOP 2002: 415-440 - [c62]Luca Cardelli, Philippa Gardner, Giorgio Ghelli:
A Spatial Logic for Querying Graphs. ICALP 2002: 597-610 - 2001
- [j27]Luca Cardelli:
Describing Semistructured Data. SIGMOD Rec. 30(4): 80-85 (2001) - [c61]Luca Cardelli, Giorgio Ghelli:
A Query Language Based on the Ambient Logic. ESOP 2001: 1-22 - [c60]Luca Cardelli:
Logics for Mobility. WebDyn@ICDT 2001: 49 - [c59]Luca Cardelli, Giorgio Ghelli:
A Query Language Based on the Ambient Logic. SEBD 2001: 95-104 - [c58]Luís Caires, Luca Cardelli:
A Spatial Logic for Concurrency. TACS 2001: 1-37 - [c57]Luca Cardelli, Andrew D. Gordon:
Logical Properties of Name Restriction. TLCA 2001: 46-60 - 2000
- [j26]Luca Cardelli, Andrew D. Gordon:
Mobile ambients. Theor. Comput. Sci. 240(1): 177-213 (2000) - [c56]Luca Cardelli, Giorgio Ghelli, Andrew D. Gordon:
Secrecy and Group Creation. CONCUR 2000: 365-379 - [c55]Luca Cardelli, Giorgio Ghelli, Andrew D. Gordon:
Ambient Groups and Mobility Types. IFIP TCS 2000: 333-347 - [c54]Luca Cardelli:
Wide Area Computation. JISBD 2000: 5 - [c53]Luca Cardelli, Andrew D. Gordon:
Anytime, Anywhere: Modal Logics for Mobile Ambients. POPL 2000: 365-377 - [c52]Luca Cardelli, Andy Gordon, Giorgio Ghelli:
Secrecy, Group Creation. MFCSIT 2000: 7
1990 – 1999
- 1999
- [j25]Kim B. Bruce, Luca Cardelli, Benjamin C. Pierce:
Comparing Object Encodings. Inf. Comput. 155(1-2): 108-133 (1999) - [j24]Luca Cardelli, Rowan Davies:
Service Combinators for Web Computing. IEEE Trans. Software Eng. 25(3): 309-316 (1999) - [c51]Luca Cardelli:
Semistructured Computation. DBPL 1999: 1-16 - [c50]Luca Cardelli:
Abstractions for Mobile Computation. Secure Internet Programming 1999: 51-94 - [c49]Luca Cardelli:
Foundations for Wide-Area Systems (Tutorial). FMOODS 1999 - [c48]Andrew D. Gordon, Luca Cardelli:
Equational Properties of Mobile Ambients. FoSSaCS 1999: 212-226 - [c47]Luca Cardelli:
Wide Area Computation. ICALP 1999: 10-24 - [c46]Luca Cardelli, Andrew D. Gordon, Giorgio Ghelli:
Mobility Types for Mobile Ambients. ICALP 1999: 230-239 - [c45]Luca Cardelli, Andrew D. Gordon:
Types for Mobile Ambients. POPL 1999: 79-92 - [e2]Henri E. Bal, Boumediene Belkhouche, Luca Cardelli:
Internet Programming Languages, ICCL'98 Workshop, Chicago, IL, USA, May 13, 1998, Proceedings. Lecture Notes in Computer Science 1686, Springer 1999, ISBN 3-540-66673-7 [contents] - 1998
- [c44]Luca Cardelli, Andrew D. Gordon:
Mobile Ambients. FoSSaCS 1998: 140-155 - [c43]Luca Cardelli:
Wide-Area Languages. Mobile Agents 1998: 208 - [e1]David B. MacQueen, Luca Cardelli:
POPL '98, Proceedings of the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Diego, CA, USA, January 19-21, 1998. ACM 1998, ISBN 0-89791-979-3 [contents] - 1997
- [j23]Luca Cardelli:
Global Computation. ACM SIGPLAN Notices 32(1): 66-68 (1997) - [c42]Luca Cardelli, Rowan Davies:
Service Combinators for Web Computing. DSL 1997: 1-10 - [c41]Luca Cardelli:
Program Fragments, Linking, and Modularization. POPL 1997: 266-277 - [c40]Kim B. Bruce, Luca Cardelli, Benjamin C. Pierce:
Comparing Object Encodings. TACS 1997: 415-438 - [c39]Luca Cardelli, Andrew D. Gordon:
Mobile Ambients. HOOTS 1997: 198-201 - [r1]Luca Cardelli:
Type Systems. The Computer Science and Engineering Handbook 1997: 2208-2236 - 1996
- [b1]Martín Abadi, Luca Cardelli:
A Theory of Objects. Monographs in Computer Science, Springer 1996, ISBN 978-0-387-94775-4, pp. I-XIII, 1-396 - [j22]Luca Cardelli:
Type Systems. ACM Comput. Surv. 28(1): 263-264 (1996) - [j21]Luca Cardelli:
Bad Engineering Properties of Object-Oriented Languages. ACM Comput. Surv. 28(4es): 150 (1996) - [j20]Luca Cardelli:
Global Computation. ACM Comput. Surv. 28(4es): 163 (1996) - [j19]Martín Abadi, Luca Cardelli:
A Theory of Primitive Objects: Untyped and First-Order Systems. Inf. Comput. 125(2): 78-102 (1996) - [j18]Martín Abadi, Luca Cardelli:
On Subtyping and Matching. ACM Trans. Program. Lang. Syst. 18(4): 401-423 (1996) - [c38]Luca Cardelli:
Mobile Computation. Mobile Object Systems 1996: 3-6 - [c37]Krishna Bharat, Luca Cardelli:
Migratory Applications. Mobile Object Systems 1996: 131-148 - [c36]Martín Abadi, Luca Cardelli, Ramesh Viswanathan:
An Interpretation of Objects and Object Types. POPL 1996: 396-409 - 1995
- [j17]Luca Cardelli:
A Language with Distributed Scope. Comput. Syst. 8(1): 27-59 (1995) - [j16]Martín Abadi, Luca Cardelli, Benjamin C. Pierce, Didier Rémy:
Dynamic Typing in Polymorphic Languages. J. Funct. Program. 5(1): 111-130 (1995) - [j15]Martín Abadi, Luca Cardelli:
A Theory of Primitive Objects: Second-Order Systems. Sci. Comput. Program. 25(2-3): 81-116 (1995) - [j14]Martín Abadi, Luca Cardelli:
An Imperative Object Calculus (Invited Paper). Theory Pract. Object Syst. 1(3): 151-166 (1995) - [j13]Kim B. Bruce, Luca Cardelli, Giuseppe Castagna, Jonathan Eifrig, Scott F. Smith, Valery Trifonov, Gary T. Leavens, Benjamin C. Pierce:
On Binary Methods. Theory Pract. Object Syst. 1(3): 221-242 (1995) - [c35]Martín Abadi, Luca Cardelli:
On Subtyping and Matching. ECOOP 1995: 145-167 - [c34]Luca Cardelli:
A Language with Distributed Scope. POPL 1995: 286-297 - [c33]Martín Abadi, Luca Cardelli:
An Imperative Object Calculus. TAPSOFT 1995: 471-485 - [c32]Krishna Bharat, Luca Cardelli:
Migratory Applications. ACM Symposium on User Interface Software and Technology 1995: 132-142 - 1994
- [j12]Luca Cardelli, Simone Martini, John C. Mitchell, Andre Scedrov:
An Extension of System F with Subtyping. Inf. Comput. 109(1/2): 4-56 (1994) - [c31]Martín Abadi, Luca Cardelli:
A Theory of Primitive Objects - Scond-Order Systems. ESOP 1994: 1-25 - [c30]Gordon D. Plotkin, Martín Abadi, Luca Cardelli:
Subtyping and Parametricity. LICS 1994: 310-319 - [c29]Martín Abadi, Luca Cardelli:
A Semantics of Object Types. LICS 1994: 332-341 - [c28]Martín Abadi, Luca Cardelli:
A Theory of Primitive Objects - Untyped and First-Order Systems. TACS 1994: 296-320 - 1993
- [j11]Martín Abadi, Luca Cardelli, Pierre-Louis Curien:
Formal Parametric Polymorphism. Theor. Comput. Sci. 121(1&2): 9-58 (1993) - [j10]Roberto M. Amadio, Luca Cardelli:
Subtyping Recursive Types. ACM Trans. Program. Lang. Syst. 15(4): 575-631 (1993) - [c27]Luca Cardelli, Florian Matthes, Martín Abadi:
Extensible Grammars for Language Specialization. DBPL 1993: 11-31 - [c26]Martín Abadi, Luca Cardelli, Pierre-Louis Curien:
Formal Parametric Polymorphism. POPL 1993: 157-170 - 1992
- [j9]Luca Cardelli, James E. Donahue, Lucille Glassman, Mick J. Jordan, Bill Kalsow, Greg Nelson:
Modula-3 language definition. ACM SIGPLAN Notices 27(8): 15-42 (1992) - 1991
- [j8]Martín Abadi, Luca Cardelli, Pierre-Louis Curien, Jean-Jacques Lévy:
Explicit Substitutions. J. Funct. Program. 1(4): 375-416 (1991) - [j7]Luca Cardelli, Giuseppe Longo:
A Semantic Basis for Quest. J. Funct. Program. 1(4): 417-458 (1991) - [j6]Luca Cardelli, John C. Mitchell:
Operations on Records. Math. Struct. Comput. Sci. 1(1): 3-48 (1991) - [j5]Martín Abadi, Luca Cardelli, Benjamin C. Pierce, Gordon D. Plotkin:
Dynamic Typing in a Statically Typed Language. ACM Trans. Program. Lang. Syst. 13(2): 237-268 (1991) - [c25]Luca Cardelli:
A Pure Calculus of Subtyping, and Applications (Outline). DBPL 1991: 185-187 - [c24]Roberto M. Amadio, Luca Cardelli:
Subtyping Recursive Types. POPL 1991: 104-118 - [c23]Luca Cardelli, Simone Martini, John C. Mitchell, Andre Scedrov:
An Extension of System F with Subtyping. TACS 1991: 750-770 - 1990
- [c22]Luca Cardelli, Xavier Leroy:
Abstract Types and the Dot Notation. Programming Concepts and Methods 1990: 479-504 - [c21]Luca Cardelli, Giuseppe Longo:
A Semantic Basis for Quest. LISP and Functional Programming 1990: 30-43 - [c20]Martín Abadi, Luca Cardelli, Pierre-Louis Curien, Jean-Jacques Lévy:
Explicit Substitutions. POPL 1990: 31-46
1980 – 1989
- 1989
- [c19]Luca Cardelli, John C. Mitchell:
Operations in Records. Category Theory and Computer Science 1989: 75-81 - [c18]Luca Cardelli:
Typeful Programming. Formal Description of Programming Concepts 1989: 431- - [c17]Luca Cardelli, John C. Mitchell:
Operations on Records. Mathematical Foundations of Programming Semantics 1989: 22-52 - [c16]Luca Cardelli, James E. Donahue, Mick J. Jordan, Bill Kalsow, Greg Nelson:
The Modula-3 Type System. POPL 1989: 202-212 - [c15]Martín Abadi, Luca Cardelli, Benjamin C. Pierce, Gordon D. Plotkin:
Dynamic Typing in a Statically-Typed Language. POPL 1989: 213-227 - 1988
- [j4]Luca Cardelli:
A Semantics of Multiple Inheritance. Inf. Comput. 76(2/3): 138-164 (1988) - [c14]Luca Cardelli:
Types for Data-Oriented Languages. EDBT 1988: 1-15 - [c13]Luca Cardelli:
Structural Subtyping and the Notion of Power Type. POPL 1988: 70-79 - [c12]Luca Cardelli:
Building User Interfaces by Direct Manipulation. ACM Symposium on User Interface Software and Technology 1988: 152-166 - 1987
- [j3]Luca Cardelli:
Basic Polymorphic Typechecking. Sci. Comput. Program. 8(2): 147-172 (1987) - 1986
- [c11]Luca Cardelli:
Typechecking Dependent Types and Subtypes. Foundations of Logic and Functional Programming 1986: 45-57 - 1985
- [j2]Luca Cardelli, Peter Wegner:
On Understanding Types, Data Abstraction, and Polymorphism. ACM Comput. Surv. 17(4): 471-522 (1985) - [j1]Antonio Albano, Luca Cardelli, Renzo Orsini:
Galileo: A Strongly-Typed, Interactive Conceptual Language. ACM Trans. Database Syst. 10(2): 230-260 (1985) - [c10]Luca Cardelli, David B. MacQueen:
Persistence and Type Abstraction. Data Types and Persistence (Appin) 1985: 31-41 - [c9]Luca Cardelli:
Amber. Combinators and Functional Programming Languages 1985: 21-47 - [c8]Luca Cardelli:
The Amber Machine. Combinators and Functional Programming Languages 1985: 48-70 - [c7]Luca Cardelli, Rob Pike:
Squeak: a language for communicating with mice. SIGGRAPH 1985: 199-204 - [i1]Luca Cardelli, David B. MacQueen:
Persistence and Type Abstraction. Data Types and Persistence (Appin), Informal Proceedings 1985: 221-230 - 1984
- [c6]Luca Cardelli:
An Implementation Model of Rendezvous Communication. Seminar on Concurrency 1984: 449-457 - [c5]Luca Cardelli:
Compiling a Functional Language. LISP and Functional Programming 1984: 208-217 - [c4]Luca Cardelli:
A Semantics of Multiple Inheritance. Semantics of Data Types 1984: 51-67 - 1982
- [c3]Luca Cardelli:
Two-Dimensional Syntax for Functional Languages. ECICS 1982: 139-151 - [c2]Luca Cardelli:
Real Time Agents. ICALP 1982: 94-106 - 1980
- [c1]Luca Cardelli:
Analog Processes. MFCS 1980: 181-193
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-09-13 00:43 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
