VIAF

Virtual International Authority File

Search

Cardelli, Luca. NUKAT Center of Warsaw University Library BIBSYS Library of Congress/NACO National Library of the Netherlands National Library of Israel National Library of Catalonia

Luca Cardelli Wikidata

Cardelli, Luca, 1954-.... National Library of France National Library of the Czech Republic Sudoc [ABES], France

Cardelli, L. ISNI

VIAF ID: 71562846 (Personal)

Permalink: http://viaf.org/viaf/71562846

Open Section Close Section Preferred Forms

 

 

 

 

Open Section Close Section 4xx's: Alternate Name Forms (5)

Open Section Close SectionWorks

Title Sources
Abstract types and the dot notation National Library of Catalonia
The amber machine Wikidata
Analog processes Wikidata
Automated Design and Verification of Localized DNA Computation Circuits Wikidata
BioAmbients: an abstraction for biological compartments Wikidata
Biological Systems as Reactive Systems Wikidata
Bitonal membrane systems Wikidata
Building user interfaces by direct manipulation National Library of Catalonia Wikidata
Can a systems biologist fix a Tamagotchi? Wikidata
The cell cycle switch computes approximate majority. Wikidata
Comparing chemical reaction networks: A categorical and algorithmic perspective Wikidata
Comparing object encodings Wikidata
Compositionality, stochasticity, and cooperativity in dynamic models of gene regulation. Wikidata
Computational modeling of the EGFR network elucidates control mechanisms regulating signal dynamics. Wikidata
Continuous Markovian Logics - Axiomatization and Quantified Metatheory Wikidata
Deciding validity in a spatial logic for trees Wikidata
DNA computing and molecular programming : 17th International Conference, DNA 17, Pasadena, CA, USA, September 19-23, 2011 : proceedings Sudoc [ABES], France National Library of the Netherlands Library of Congress/NACO
DNA17 2011 National Library of the Netherlands
Dynamic typing in polymorphic languages Wikidata
ECOOP 2003-- object-oriented programming : 17th European conference, Darmstadt, Germany, July 21-25, 2003 : proceedings BIBSYS Sudoc [ABES], France Library of Congress/NACO
Efficient Switches in Biology and Computer Science. Wikidata
Efficient Syntax-Driven Lumping of Differential Equations Wikidata
ERODE: A Tool for the Evaluation and Reduction of Ordinary Differential Equations Wikidata
Explicit Substitutions Sudoc [ABES], France
Extensible records in a pure calculus of subtyping National Library of Catalonia
An Extension of System F with Subtyping National Library of Catalonia Wikidata
The Formal Language and Design Principles of Autonomous DNA Walker Circuits. Wikidata
Formal parametric polymorphism Wikidata
From Processes to ODEs by Chemistry Wikidata
GALILEO: a strongly-typed, interactive conceptual language Wikidata
An imperative object calculus Wikidata
An Implementation of F<: National Library of Catalonia
Internet programming languages : ICCL '98 workshop, Chicago, IL, USA, May 13, 1998 : proceedings NUKAT Center of Warsaw University Library National Library of Israel BIBSYS National Library of Catalonia Library of Congress/NACO Sudoc [ABES], France
Lineage grammars: describing, simulating and analyzing population dynamics. Wikidata
Manipulating Trees with Hidden Labels Wikidata
Maximal aggregation of polynomial dynamical systems. Wikidata
The Measurable Space of Stochastic Processes Wikidata
Mobile Ambients Wikidata
Modern concurrency abstractions for C# Wikidata
Modula-3 language definition Wikidata
Modula-3 report (revised) National Library of Catalonia
Modular Markovian Logic Wikidata
Morphisms of reaction networks that couple structure to function. Wikidata
Noise Reduction in Complex Biological Switches. Wikidata
On process rate semantics Wikidata
On understanding types, data abstraction, and polymorphism Wikidata
Operations on records National Library of Catalonia Wikidata
A peptide filtering relation quantifies MHC class I peptide optimization Wikidata
Phosphorelays provide tunable signal processing capabilities for the cell Wikidata
A polymorphic [lambda]-calculus with ... 1986 National Library of Israel Library of Congress/NACO
Preface Wikidata
A Process Model of Actin Polymerisation Wikidata
Programmable chemical controllers made from DNA. Wikidata
Programming chemistry in DNA-addressable bioreactors. Wikidata
Programming discrete distributions with chemical reaction networks. Wikidata
Response dynamics of phosphorelays suggest their potential utility in cell signalling. Wikidata
Reversible structures Wikidata
Secrecy and Group Creation Wikidata
A semantic basis for Quest National Library of Catalonia Wikidata
A semantics of multiple inheritance Wikidata
Semistructured Computation Wikidata
Service combinators for Web computing Wikidata
A spatial logic for concurrency (part I) Wikidata
Stochastic Analysis of Chemical Reaction Networks Using Linear Noise Approximation. Wikidata
Strand Algebras for DNA Computing Wikidata
Structural subtyping and the notion of power type Wikidata
Subtyping recursive types National Library of Catalonia Wikidata
Symbolic computation of differential equivalences Wikidata
Syntax-Guided Optimal Synthesis for Chemical Reaction Networks Wikidata
Termination Problems in Chemical Kinetics Wikidata
A theory of objects NUKAT Center of Warsaw University Library Wikidata BIBSYS Library of Congress/NACO Sudoc [ABES], France National Library of France National Library of Israel National Library of Catalonia National Library of the Netherlands
TQL: a query language for semistructured data based on the ambient logic Wikidata
Transactions on computational systems biology four BIBSYS Sudoc [ABES], France Wikidata National Library of the Netherlands Library of Congress/NACO
Transcriptional regulation is a major controller of cell cycle transition dynamics Wikidata
Turing universality of the Biochemical Ground Form Wikidata
Two-domain DNA strand displacement Wikidata
Typechecking dependent types and subtypes Wikidata
Types for data-oriented languages Wikidata
Types for the Ambient Calculus Wikidata
Unlimited multistability and Boolean logic in microbial signalling Wikidata

Open Section Close Section Selected Co-authors

Open Section Close Section Countries and Regions of Publication (5)

Open Section Close Section Publication Statistics

Open Section Close Section Selected Publishers (10)

Open Section Close Section History of VIAF ID:71562846 (15)