31 citations · 132 across the 17 of their papers we have counts for
26 papers
A Language for Modeling And Optimizing Experimental Biological Protocols
Luca Cardelli, Marta Kwiatkowska, Luca Laurenti
Automation is becoming ubiquitous in all laboratory activities, leading towards precisely defined and codified laboratory protocols. However, the integration between laboratory pro…
Sequenceable Event Recorders
Luca Cardelli
With recent high-throughput technology we can synthesize large heterogeneous collections of DNA structures, and also read them all out precisely in a single procedure. Can we use t…
Adversarial Robustness Guarantees for Gaussian Processes
Andrea Patane, Arno Blaas, Luca Laurenti +3
Gaussian processes (GPs) enable principled computation of model uncertainty, making them attractive for safety-critical applications. Such scenarios demand that GP decisions are no…
Exact maximal reduction of stochastic reaction networks by species lumping
Luca Cardelli, Isabel Cristina Perez-Verona, Mirco Tribastone +3
Motivation: Stochastic reaction networks are a widespread model to describe biological systems where the presence of noise is relevant, such as in cell regulatory processes. Unfort…
Kaemika app, Integrating protocols and chemical simulation
Luca Cardelli
Kaemika is an app available on the four major app stores. It provides deterministic and stochastic simulation, supporting natural chemical notation enhanced with recursive and cond…
Digital Social Contracts: A Foundation for an Egalitarian and Just Digital Society
Luca Cardelli, Liav Orgad, Gal Shahaf +2
Almost two centuries ago Pierre-Joseph Proudhon proposed social contracts -- voluntary agreements among free people -- as a foundation from which an egalitarian and just society ca…