Luca Cardelli

Q: What Schools Are Affiliated With Luca Cardelli

Luca Cardelli is affiliated with the following schools: Consorzio ICoN, University of Oxford, University of Edinburgh

Luca Cardelli's AcademicInfluence.com Rankings

Luca Cardelli

Computer Science

#177

World Rank

#184

Historical Rank

Object Oriented Programming

World Rank

Historical Rank

Database

#395

World Rank

#413

Historical Rank

computer-science Degrees

Download Badge

Computer Science

Why Is Luca Cardelli Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Luca Andrea Cardelli is an Italian computer scientist who is a research professor at the University of Oxford, UK. Cardelli is well known for his research in type theory and operational semantics. Among other contributions, in programming languages, he helped design the language Modula-3, implemented the first compiler for the functional language ML, defined the concept of typeful programming, and helped develop the experimental language Polyphonic C#.

(See a Problem?)

Luca Cardelli's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

On understanding types, data abstraction, and polymorphism (1985) (2100)
Mobile Ambients (1998) (1957)
A Theory of Objects (1996) (1396)
A Semantics of Multiple Inheritance (1984) (1072)
Explicit substitutions (1989) (810)
BioAmbients: an abstraction for biological compartments (2004) (547)
Subtyping recursive types (1991) (509)
A language with distributed scope (1995) (508)
Programmable chemical controllers made from DNA. (2013) (443)
GALILEO: a strongly-typed, interactive conceptual language (1985) (424)
Anytime, anywhere: modal logics for mobile ambients (2000) (395)
Brane Calculi (2004) (369)
Dynamic typing in a statically-typed language (1989) (343)
Modern concurrency abstractions for C# (2002) (293)
A spatial logic for concurrency (part I) (2003) (292)
Comparing Object Encodings (1997) (274)
Operations on records (1989) (274)
An Extension of System F with Subtyping (1991) (250)
On Binary Methods (1995) (250)
Program fragments, linking, and modularization (1997) (230)
Typeful Programming (1989) (215)
A Correct Abstract Machine for the Stochastic Pi-calculus (2004) (211)
Types for mobile ambients (1999) (209)
Abstractions for Mobile Computation (2001) (207)
Structural subtyping and the notion of power type (1988) (200)
A programming language for composable DNA circuits (2009) (188)
Migratory applications (1995) (184)
Brane Calculi Interactions of Biological Membranes (2004) (179)
Basic Polymorphic Typechecking (1987) (174)
ECOOP 2003 – Object-Oriented Programming (2003) (166)
A Spatial Logic for Concurrency (Part II) (2002) (162)
Efficient, Correct Simulation of Biological Processes in the Stochastic Pi-calculus (2007) (159)
Compiling a functional language (1984) (158)
Mobility Types for Mobile Ambients (1999) (156)
Type systems (1996) (154)
Building user interfaces by direct manipulation (1988) (151)
Obliq, a language with distributed scope (1996) (150)
Dynamic typing in polymorphic languages (1995) (150)
A semantic basis for quest (1990) (140)
Modula-3 Report (revised) (1992) (139)
Squeak: a language for communicating with mice (1985) (138)
On process rate semantics (2008) (135)
Two-domain DNA strand displacement (2010) (135)
The Cell Cycle Switch Computes Approximate Majority (2012) (134)
A Spatial Logic for Querying Graphs (2002) (128)
Formal parametric polymorphism (1993) (122)
Strand algebras for DNA computing (2009) (122)
Service Combinators for Web Computing (1999) (121)
A Theory of Primitive Objects - Untyped and First-Order Systems (1994) (120)
A Spatial Logic for Concurrency (2001) (118)
A Theory of Distributed Objects (2005) (114)
Abstract Machines of Systems Biology (2005) (110)
Equational properties of mobile ambients (1999) (109)
Secrecy and Group Creation (2000) (104)
Dynamic typing in a statically typed language (1991) (104)
Ambient Groups and Mobility Types (2000) (103)
Modula-3 language definition (1992) (101)
Abstractions for DNA circuit design (2011) (100)
The Computer Science and Engineering Handbook (1997) (99)
Deciding validity in a spatial logic for trees (2003) (94)
On subtyping and matching (1995) (93)
A Query Language Based on the Ambient Logic (2001) (93)
Design and analysis of DNA strand displacement devices using probabilistic model checking (2012) (92)
Extensible records in a pure calculus of subtyping (1994) (91)
TQL: a query language for semistructured data based on the ambient logic (2004) (90)
An Imperative Object Calculus (1995) (89)
The Modula–3 type system (1989) (88)
A Theory of Primitive Objects: Second-Order Systems (1994) (87)
Modula-3 Report. (1988) (87)
Logical Properties of Name Restriction (2001) (83)
A Compositional Approach to the Stochastic Dynamics of Gene Networks (2005) (82)
Abstract Types and the Dot Notation (1990) (82)
Types for the Ambient Calculus (2002) (78)
A Graphical Representation for Biological Processes in the Stochastic pi-Calculus (2006) (77)
The Functional Abstract Machine (1983) (74)
An interpretation of objects and object types (1996) (74)
Extensible Syntax with Lexical Scoping (1994) (71)
An implementation of F (1993) (71)
From Processes to ODEs by Chemistry (2008) (66)
An universality result for a (mem)brane calculus based on mate/drip operations (2006) (63)
Greedy Regular Expression Matching (2004) (62)
Processes in Space (2010) (62)
Manipulating Trees with Hidden Labels (2003) (61)
A spatial logic for concurrency - II (2004) (61)
Types for Data-Oriented Languages (1988) (60)
A semantics of object types (1994) (58)
On the Computational Power of Biochemistry (2008) (57)
Interactions of Biological Membranes (2005) (56)
Reversible structures (2011) (56)
Morphisms of reaction networks that couple structure to function (2014) (54)
Mobility and Security (2000) (53)
Uncertainty Quantification with Statistical Guarantees in End-to-End Autonomous Driving Control (2019) (48)
A Theory of Primitive Objects (1996) (47)
A Polymorphic λ-calculus with Type:Type (1986) (46)
ERODE: A Tool for the Evaluation and Reduction of Ordinary Differential Equations (2017) (45)
Symbolic computation of differential equivalences (2016) (44)
Stochastic analysis of Chemical Reaction Networks using Linear Noise Approximation (2015) (44)
Phase Distinctions in Type Theory (1988) (44)
Statistical Guarantees for the Robustness of Bayesian Neural Networks (2019) (41)
A Process Model of Rho GTP-binding Proteins in the Context of Phagocytosis (2009) (40)
Wide Area Computation (1999) (40)
Typechecking Dependent Types and Subtypes (1986) (40)
Forward and Backward Bisimulations for Chemical Reaction Networks (2015) (39)
A Peptide Filtering Relation Quantifies MHC Class I Peptide Optimization (2011) (39)
Computational modeling of the EGFR network elucidates control mechanisms regulating signal dynamics (2009) (39)
Artificial Biochemistry (2009) (38)
Response dynamics of phosphorelays suggest their potential utility in cell signalling (2010) (38)
Robustness Guarantees for Bayesian Inference with Gaussian Processes (2018) (38)
Mobile Computation (1996) (38)
Maximal aggregation of polynomial dynamical systems (2017) (38)
Efficiency through uncertainty: scalable formal synthesis for stochastic hybrid systems (2019) (38)
Compositionality, stochasticity, and cooperativity in dynamic models of gene regulation (2007) (35)
Extensible Grammars for Language Specialization (1993) (34)
Computing with biological switches and clocks (2018) (34)
Chemical reaction network designs for asynchronous logic circuits (2016) (33)
A Polymorphic Lambda Calculus with Type:Type (1986) (33)
Termination Problems in Chemical Kinetics (2008) (33)
Continuous Markovian Logics - Axiomatization and Quantified Metatheory (2012) (33)
Noise Reduction in Complex Biological Switches (2016) (32)
A Process Model of Actin Polymerisation (2009) (30)
Mobile Ambient Synchronization (1997) (29)
The Measurable Space of Stochastic Processes (2010) (29)
Describing semistructured data (2001) (28)
Tunable bandpass sigma delta modulator using one input parameter (2003) (28)
Efficient Syntax-Driven Lumping of Differential Equations (2016) (27)
Programming discrete distributions with chemical reaction networks (2016) (27)
Syntax-Guided Optimal Synthesis for Chemical Reaction Networks (2017) (27)
Unlimited multistability and Boolean logic in microbial signalling (2015) (27)
Persistence and Type Abstraction (1988) (25)
The World Wide Web Conference (2019) (24)
Bad engineering properties of object-orient languages (1996) (24)
Real Time Agents (1982) (23)
Phosphorelays Provide Tunable Signal Processing Capabilities for the Cell (2013) (22)
Comparing Chemical Reaction Networks: A Categorical and Algorithmic Perspective (2016) (22)
Turing universality of the Biochemical Ground Form (2010) (22)
Modular Markovian Logic (2011) (22)
Algebraic approach to hardware description and verification (1982) (21)
Formal and Efficient Synthesis for Continuous-Time Linear Stochastic Hybrid Processes (2020) (21)
Semistructured Computation (1999) (21)
The Formal Language and Design Principles of Autonomous DNA Walker Circuits. (2016) (20)
A Stochastic Hybrid Approximation for Chemical Kinetics Based on the Linear Noise Approximation (2016) (19)
A Theory of Primitive Objects - Scond-Order Systems (1994) (19)
Types for the Scott Numerals (1993) (19)
The Amber Machine (1985) (18)
Adversarial Robustness Guarantees for Classification with Gaussian Processes (2019) (18)
A Commitment Relation for the Ambient Calculus (2000) (17)
A Graphical Representation for the Stochastic Pi-calculus (2005) (16)
PID Control of Biochemical Reaction Networks (2019) (16)
Subtyping and parametricity (1994) (16)
Syntactic Markovian Bisimulation for Chemical Reaction Networks (2017) (15)
Efficient Switches in Biology and Computer Science (2017) (15)
Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1998) (15)
Two-Dimensional Syntax for Functional Languages (1982) (15)
Molecular Filters for Noise Reduction (2018) (15)
Digital Social Contracts: A Foundation for an Egalitarian and Just Digital Society (2020) (15)
Transcriptional Regulation Is a Major Controller of Cell Cycle Transition Dynamics (2012) (15)
Global computation (1997) (15)
From electric circuits to chemical networks (2018) (14)
Representing the Classical Sequent Calculus in the π-calculus (2008) (14)
Bitonal membrane systems: Interactions of biological membranes (2008) (14)
Programming chemistry in DNA-addressable bioreactors (2014) (14)
Continuous Markovian Logic - From Complete Axiomatization to the Metric Space of Formulas (2011) (13)
Approximation of Probabilistic Reachability for Chemical Reaction Networks Using the Linear Noise Approximation (2016) (13)
Stochastic analysis of Chemical Reaction Networks using Linear Noise Approximation. (2016) (12)
Stochastic Pi-calculus Revisited (2013) (12)
Reachability Computation for Switching Diffusions: Finite Abstractions with Certifiable and Tuneable Precision (2017) (12)
Graphical Representation (2009) (12)
Global computation (1996) (12)
The Quest Language and System (1994) (11)
Strategic Research Directions in Object Oriented Programming (1996) (11)
Guaranteed Error Bounds on Approximate Model Abstractions through Reachability Analysis (2018) (11)
An imperative object calculus: Basic typing and soundness (1995) (11)
Where membranes meet complexes (2005) (11)
Reversibility in Massive Concurrent Systems (2011) (11)
Robustness Quantification for Classification with Gaussian Processes (2019) (10)
A Process Algebra Master Equation (2007) (10)
Safety Guarantees for Planning Based on Iterative Gaussian Processes (2019) (10)
Querying Trees with Pointers (2003) (10)
Single molecules can operate as primitive biological sensors, switches and oscillators (2018) (9)
Exact maximal reduction of stochastic reaction networks by species lumping (2021) (9)
An Implementation Model of Rendezvous Communication (1984) (9)
Central Limit Model Checking (2018) (8)
An Intuitive Automated Modelling Interface for Systems Biology (2009) (8)
Machines of Systems Biology (2007) (8)
Typed Foundations of Object-oriented Programming (1994) (8)
Distributed Applications in a Hypermedia Setting (1995) (8)
The Beacon Calculus: A formal method for the flexible and concise modelling of biological systems (2019) (7)
Experimental Biological Protocols with Formal Semantics (2017) (7)
An Intuitive Modelling Interface for Systems Biology (2013) (6)
Foundations of Object- Oriented Programming (1996) (6)
Invited Talk: A Process Algebra Master Equation (2007) (6)
Operations on Records (Summary) (1989) (6)
Transitions in programming models: 2 (2005) (6)
Workshop on Internet Programming Languages (1998) (6)
Biomolecular mechanisms for signal differentiation (2021) (6)
Lineage grammars: describing, simulating and analyzing population dynamics (2014) (5)
PID Control of Biochemical Reaction Networks (2021) (5)
On the Design of a PID Bio-controller with Set Point Weighting and Filtered Derivative Action (2022) (5)
Analog Processes (1980) (5)
Simulating Biological Systems in the Stochastic Pi-Calculus (2005) (5)
Anytime, Anywhere Modal Logics for Mobile Ambients (Extended Abstract) (2000) (5)
From X to Pi; Representing the Classical Sequent Calculus in the Pi-calculus (2011) (5)
DNA Computing and Molecular Programming - 17th International Conference, DNA 17, Pasadena, CA, USA, September 19-23, 2011. Proceedings (2011) (4)
Visualization in process algebra models of biological systems (2009) (4)
Types for Data-Oriented Languages ( Overview ) (1988) (4)
Design and Analysis of DNA Circuits using Probabilistic Model Checking (3)
Kaemika app, Integrating protocols and chemical simulation (2020) (3)
Adversarial Robustness Guarantees for Gaussian Processes (2021) (3)
Gener: a minimal programming module for chemical controllers based on DNA strand displacement (2015) (3)
Classical Cut-elimination in the π-calculus (2010) (3)
Safety Guarantees for Iterative Predictions with Gaussian Processes (2020) (2)
Automated Design and Verification of Localized DNA Computation Circuits (2015) (2)
Exploring DNA Strand-Displacement Computational Elements (2010) (2)
An Accidental Simula User (2007) (2)
Kaemika App: Integrating Protocols and Chemical Simulation - Integrating Protocols and Chemical Simulation (2020) (2)
An Imperative Object Calculus (Invited Paper) (1995) (2)
A Pure Calculus of Subtyping, and Applications (Outline) (1992) (2)
Lumpability for Uncertain Continuous-Time Markov Chains (2021) (2)
Computing with biological switches and clocks (2018) (1)
Foundations for Wide-Area Systems (1999) (1)
Global Adversarial Robustness Guarantees for Neural Networks (2019) (1)
10271 Abstracts Collection - Verification over discrete-continuous boundaries (2010) (1)
Abstract Machines of Systems Biology (Extended Abstract) (2005) (1)
Efficient Simulation of Biological Processes in the Stochastic pi-calculus (2006) (1)
Object-Based Languages (1996) (1)
Technical annex to [5] (1998) (1)
Algebras and Languages for Molecular Programming (2010) (1)
ECOOP 2003 -- object-oriented programming : 17th European Conference, Darmstadt, Germany, July 21-25, 2003 : proceedings (2003) (1)
Lineage grammars: describing, simulating and analyzing population dynamics (2014) (1)
utility in cell signalling Response dynamics of phosphorelays suggest their potential (2011) (1)
Proceedings of the 17th international conference on DNA computing and molecular programming (2011) (1)
Evolution of opposing regulatory interactions underlies the emergence of eukaryotic cell cycle checkpoints (2021) (1)
Chemical reaction network designs for asynchronous logic circuits (2017) (1)
Computational algorithms as biological switches (2016) (1)
Type Dynamic (2010) (1)
Coupled membrane transporters reduce noise. (2020) (1)
1 Mobility and Security (1999) (1)
On Binary Methods on Binary Methods (1995) (1)
From Semantics to Computer Science: Can a systems biologist fix a Tamagotchi? (2009) (1)
Regulation strategies for two-output biomolecular networks (2022) (1)
Programming discrete distributions with chemical reaction networks (2017) (1)
Foundations for Wide-Area Systems (Tutorial) (1999) (1)
Transactions on Computational Systems Biology IV (2006) (1)
First-Order Imperative Calculi (1996) (0)
Logics for Mobility (2001) (0)
Veri cation over discrete-continuous boundaries generate automatically Dagstuhl Seminar (2010) (0)
Algorithmic Minimization of Uncertain Continuous-Time Markov Chains (2023) (0)
First-Order Calculi (1996) (0)
Modal Logics for Mobile Ambients ( Extended Abstract ) (0)
Biological Systems as Reactive Systems (2005) (0)
Modeling Object-Oriented Languages (1996) (0)
Preface (2013) (0)
The Semantic Challenge of Object-Oriented Programming (2008) (0)
Classical Cut-elimination in the π-calculus ( In memory of Kohei Honda ) (2014) (0)
Approximate Differential Equivalences (2016) (0)
Name Groups and Group Creation: Semantics and Applications (2000) (0)
The Semantic Challenge of Object-Oriented Programming (Dagstuhl Seminar 98261) (2021) (0)
L O ] 22 S ep 2 01 1 From X to π Representing the Classical Sequent Calculus in the π-calculus Extended (2011) (0)
The Kaemika*Apparoach to Integrated Modeling of Reaction Networks and Protocols (2019) (0)
Interacting Automata 2 . 1 Automata Reactions (2009) (0)
Telling Molecules What to Do (2017) (0)
Molecules as Automata (2008) (0)
Sequenceable Event Recorders (2021) (0)
Integrated scientific modeling and lab automation (keynote) (2021) (0)
Biomolecular mechanisms for signal differentiation (2021) (0)
Imperative Calculi with Self Types (1996) (0)
Exact Fluid Lumpability for Chemical Reaction Networks (2015) (0)
Definable Covariant Self Types (1996) (0)
Languages for Systems Biology GC1 In VivoIn Silico (2004) (0)
Interpretations of Object Calculi (1996) (0)
Second-Order Calculi (1996) (0)
Subtyping recursive types (1991) (0)
Formal Lumping of Polynomial Differential Equations Through Approximate Equivalences (2022) (0)
A Higher-Order Calculus (1996) (0)
Internet Programming Languages (2001) (0)
Advanced Class-Based Features (1996) (0)
A First-Order Language (1996) (0)
A Second-Order Language (1996) (0)
Untyped Imperative Calculi (1996) (0)
Internet programming languages : ICCL '98 Workshop, Chicago, IL, USA, May 13, 1998 : proceedings (1999) (0)
Preface (2013) (0)
Secrecy, Group Creation (2001) (0)
From electric circuits to chemical networks (2019) (0)
The Kaemika Language (2019) (0)
Wide-Area Languages (1998) (0)
Class-Based Languages (1996) (0)
Primitive Covariant Self Types (1996) (0)
An Imperative Object Calculus Mart (1995) (0)
A Language for Modeling and Optimizing Experimental Biological Protocols (2021) (0)
Abstractions for M obile Computation (1999) (0)
Maximal Aggregation of Polynomial Dynamical Systems Supporting Information (2017) (0)
A Language with Matching (1996) (0)

This paper list is powered by the following services:

Other Resources About Luca Cardelli

What Schools Are Affiliated With Luca Cardelli?

Luca Cardelli is affiliated with the following schools:

Luca Cardelli's Academic­Influence.com Rankings

Why Is Luca Cardelli Influential?

Luca Cardelli's Published Works

Published Works

Other Resources About Luca Cardelli

What Schools Are Affiliated With Luca Cardelli?

Image Attributions

Luca Cardelli's AcademicInfluence.com Rankings