The following pages link to Luca Cardelli (Q418827):
Displaying 50 items.
- Processes in space (Q418828) (← links)
- Strand algebras for DNA computing (Q537852) (← links)
- Basic polymorphic typechecking (Q580956) (← links)
- Lumpability for uncertain continuous-time Markov chains (Q832091) (← links)
- Bitonal membrane systems: interactions of biological membranes (Q953534) (← links)
- A semantics of multiple inheritance (Q1106652) (← links)
- Formal parametric polymorphism (Q1314344) (← links)
- An extension of system \(F\) with subtyping (Q1322473) (← links)
- (Q1575152) (redirect page) (← links)
- Mobile ambients (Q1575154) (← links)
- Approximation of probabilistic reachability for chemical reaction networks using the linear noise approximation (Q1693119) (← links)
- A stochastic hybrid approximation for chemical kinetics based on the linear noise approximation (Q1706581) (← links)
- Secrecy and group creation (Q1763430) (← links)
- Experimental biological protocols with formal semantics (Q1796495) (← links)
- Comparing object encodings. (Q1854318) (← links)
- A spatial logic for concurrency. II (Q1881257) (← links)
- BioAmbients: an abstraction for biological compartments (Q1884869) (← links)
- A spatial logic for concurrency. I (Q1887152) (← links)
- A theory of primitive objects: Untyped and first-order systems (Q1917083) (← links)
- Syntax-guided optimal synthesis for chemical reaction networks (Q2164238) (← links)
- A process model of Rho GTP-binding proteins (Q2271454) (← links)
- Efficient syntax-driven lumping of differential equations (Q2272914) (← links)
- Comparing chemical reaction networks: a categorical and algorithmic perspective (Q2422009) (← links)
- On process rate semantics (Q2474433) (← links)
- Types for the ambient calculus (Q2497144) (← links)
- Mobility and security (Q2752045) (← links)
- (Q2763663) (← links)
- (Q2778816) (← links)
- Programming Discrete Distributions with Chemical Reaction Networks (Q2835702) (← links)
- Chemical Reaction Network Designs for Asynchronous Logic Circuits (Q2835704) (← links)
- Stochastic Pi-calculus Revisited (Q2851897) (← links)
- Manipulating trees with hidden labels (Q2864150) (← links)
- A process model of rho GTP-binding proteins in the context of phagocytosis (Q2870299) (← links)
- Mobile ambients (Q2906944) (← links)
- Continuous Markovian logic -- from complete axiomatization to the metric space of formulas (Q2915679) (← links)
- Automated Design and Verification of Localized DNA Computation Circuits (Q2948415) (← links)
- Modular Markovian Logic (Q3012934) (← links)
- (Q3046754) (← links)
- (Q3332229) (← links)
- Operations on records (Q3349962) (← links)
- Deciding validity in a spatial logic for trees (Q3367666) (← links)
- AN UNIVERSALITY RESULT FOR A (MEM)BRANE CALCULUS BASED ON MATE/DRIP OPERATIONS (Q3379513) (← links)
- Termination Problems in Chemical Kinetics (Q3541039) (← links)
- Turing universality of the Biochemical Ground Form (Q3550701) (← links)
- Processes in Space (Q3576193) (← links)
- On the Computational Power of Biochemistry (Q3599194) (← links)
- Strand Algebras for DNA Computing (Q3654668) (← links)
- (Q3789049) (← links)
- (Q3902486) (← links)
- (Q3956374) (← links)
