Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Luca Cardelli

Programmable Chemical Controllers Made From DNA

Nature Nanotechnology
Electronic EngineeringCondensed Matter PhysicsMaterials ScienceOpticsMolecular Physics,NanoscienceElectricalAtomicBioengineeringNanotechnologyBiomedical Engineering
2013English

Chemical Reaction Network Designs for Asynchronous Logic Circuits

Natural Computing
Computer Science Applications
2017English

Statistical Guarantees for the Robustness of Bayesian Neural Networks

2019English

Types for the Ambient Calculus

Information and Computation
Theoretical Computer ScienceComputational TheoryComputer Science ApplicationsInformation SystemsMathematics
2002English

A Compositional Approach to the Stochastic Dynamics of Gene Networks

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Strand Algebras for DNA Computing

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

A Theory of Primitive Objects

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1994English

Abstractions for Mobile Computation

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1999English

Manipulating Trees With Hidden Labels

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2003English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy