Luca Cardelli
Identifiers
- name variant Luca Cardelli 0.60 · backfill
Papers (14)
- PID Control of Biochemical Reaction Networks cs.SY · 2019 · author #2
- Statistical Guarantees for the Robustness of Bayesian Neural Networks cs.LG · 2019 · author #1
- From Electric Circuits to Chemical Networks cs.SY · 2018 · author #1
- Robustness Guarantees for Bayesian Inference with Gaussian Processes cs.LG · 2018 · author #1
- Guaranteed Error Bounds on Approximate Model Abstractions through Reachability Analysis cs.SY · 2018 · author #1
- Central Limit Model Checking cs.LO · 2018 · author #2
- Experimental Biological Protocols with Formal Semantics cs.PL · 2017 · author #2
- Syntactic Markovian Bisimulation for Chemical Reaction Networks cs.LO · 2017 · author #1
- Programming Discrete Distributions with Chemical Reaction Networks cs.DC · 2016 · author #1
- Forward and Backward Bisimulations for Chemical Reaction Networks cs.LO · 2015 · author #1
- Stochastic Analysis of Chemical Reaction Networks Using Linear Noise Approximation cs.LO · 2015 · author #2
- From X to Pi; Representing the Classical Sequent Calculus in the Pi-calculus cs.LO · 2011 · author #2
- Reversibility in Massive Concurrent Systems cs.DC · 2011 · author #1
- An Intuitive Automated Modelling Interface for Systems Biology cs.PL · 2009 · author #2
Mentions
Frequent Coauthors
- Luca Laurenti 7 shared papers
- Marta Kwiatkowska 7 shared papers
- Max Tschaikowski 5 shared papers
- Mirco Tribastone 5 shared papers
- Andrea Vandin 3 shared papers
- Andrea Patane 2 shared papers
- Alessandro Abate 1 shared papers
- Boyan Yordanov 1 shared papers
- Cosimo Laneve 1 shared papers
- Emmanuelle Caron 1 shared papers
- Luca Bortolussi 1 shared papers
- Maria Grazia Vigliotti 1 shared papers
- Matthew Wicker 1 shared papers
- Max Whitby 1 shared papers
- Nicola Paoletti 1 shared papers
- Ozan Kahramano\u{g}ullari 1 shared papers
- Steffen van Bakel 1 shared papers