Travelled to:1 × Czech Republic
1 × Finland
1 × Germany
1 × Norway
1 × Portugal
1 × Switzerland
1 × The Netherlands
1 × United Kingdom
11 × USA
2 × Denmark
2 × Italy
2 × Poland
2 × Spain
3 × France
Collaborated with:∅ M.Abadi A.D.Gordon G.Ghelli K.G.Larsen R.Mardare P.Gardner G.D.Plotkin P.Curien A.Frisch R.M.Amadio G.Longo N.Benton C.Fournet R.Viswanathan J.Lévy B.C.Pierce M.Tribastone M.Tschaikowski A.Vandin J.E.Donahue M.J.Jordan B.Kalsow G.Nelson M.C.0002 M.Fränzle M.Z.Kwiatkowska L.Laurenti N.Paoletti M.Whitby
Talks about:type (9) ambient (6) object (6) mobil (6) logic (6) languag (4) subtyp (4) system (3) markovian (2) properti (2)
Person: Luca Cardelli
DBLP: Cardelli:Luca
Facilitated 2 volumes:
Ed
EdContributed to:
2011
201120082007
20052004
200320022002
2001
200120001999199919991998199719961995199519941995
199419931991
199019901989198819841982
1995
20172016Wrote 37 papers:
- CSL-2011-CardelliLM #axiom #logic #markov #metric
- Continuous Markovian Logic — From Complete Axiomatization to the Metric Space of Formulas (LC, KGL, RM), pp. 144–158.
- ICALP-v2-2011-CardelliLM #composition #logic #markov
- Modular Markovian Logic (LC, KGL, RM), pp. 380–391.
- CSL-2008-Cardelli #automaton
- Molecules as Automata (LC), p. 32.
- ECOOP-2007-Cardelli
- An Accidental Simula User (LC), p. 201.
- ICSE-2005-Cardelli #modelling #programming
- Transitions in programming models: 2 (LC), p. 2.
- ICALP-2004-FrischC #regular expression
- Greedy Regular Expression Matching (AF, LC), pp. 618–629.
- FoSSaCS-2003-CardelliGG
- Manipulating Trees with Hidden Labels (LC, PG, GG), pp. 216–232.
- ECOOP-2002-BentonCF #abstraction #c# #concurrent
- Modern Concurrency Abstractions for C# (NB, LC, CF), pp. 415–440.
- ICALP-2002-CardelliGG #graph #logic #query
- A Spatial Logic for Querying Graphs (LC, PG, GG), pp. 597–610.
- ESOP-2001-CardelliG #logic #query
- A Query Language Based on the Ambient Logic (LC, GG), pp. 1–22.
- TLCA-2001-CardelliG #logic #strict
- Logical Properties of Name Restriction (LC, ADG), pp. 46–60.
- POPL-2000-CardelliG #logic #mobile
- Anytime, Anywhere: Modal Logics for Mobile Ambients (LC, ADG), pp. 365–377.
- FoSSaCS-1999-GordonC #equation #mobile
- Equational Properties of Mobile Ambients (ADG, LC), pp. 212–226.
- ICALP-1999-Cardelli
- Wide Area Computation (LC), pp. 10–24.
- ICALP-1999-CardelliGG #mobile
- Mobility Types for Mobile Ambients (LC, ADG, GG), pp. 230–239.
- POPL-1999-CardelliG #mobile
- Types for Mobile Ambients (LC, ADG), pp. 79–92.
- FoSSaCS-1998-CardelliG #mobile
- Mobile Ambients (LC, ADG), pp. 140–155.
- POPL-1997-Cardelli #composition
- Program Fragments, Linking, and Modularization (LC), pp. 266–277.
- POPL-1996-AbadiCV
- An Interpretation of Objects and Object Types (MA, LC, RV), pp. 396–409.
- ECOOP-1995-AbadiC #on the #type system
- On Subtyping and Matching (MA, LC), pp. 145–167.
- POPL-1995-Cardelli #distributed
- A Language with Distributed Scope (LC), pp. 286–297.
- ESOP-1994-AbadiC #formal method
- A Theory of Primitive Objects — Scond-Order Systems (MA, LC), pp. 1–25.
- ESOP-J-1994-AbadiC95 #formal method #higher-order
- A Theory of Primitive Objects: Second-Order Systems (MA, LC), pp. 81–116.
- LICS-1994-AbadiC #semantics
- A Semantics of Object Types (MA, LC), pp. 332–341.
- LICS-1994-PlotkinAC #parametricity #type system
- Subtyping and Parametricity (GDP, MA, LC), pp. 310–319.
- POPL-1993-AbadiCC #morphism #parametricity #polymorphism
- Formal Parametric Polymorphism (MA, LC, PLC), pp. 157–170.
- POPL-1991-AmadioC #recursion #type system
- Subtyping Recursive Types (RMA, LC), pp. 104–118.
- LFP-1990-CardelliL #semantics
- A Semantic Basis for Quest (LC, GL), pp. 30–43.
- POPL-1990-AbadiCCL
- Explicit Substitutions (MA, LC, PLC, JJL), pp. 31–46.
- POPL-1989-AbadiCPP #dynamic typing #static typing #type system
- Dynamic Typing in a Statically-Typed Language (MA, LC, BCP, GDP), pp. 213–227.
- POPL-1989-CardelliDJKN #type system
- The Modula-3 Type System (LC, JED, MJJ, BK, GN), pp. 202–212.
- POPL-1988-Cardelli #type system
- Structural Subtyping and the Notion of Power Type (LC), pp. 70–79.
- LFP-1984-Cardelli #compilation #functional
- Compiling a Functional Language (LC), pp. 208–217.
- ICALP-1982-Cardelli #realtime
- Real Time Agents (LC), pp. 94–106.
- TAPSOFT-1995-AbadiC #calculus #imperative
- An Imperative Object Calculus (MA, LC), pp. 471–485.
- CAV-2017-CardelliCFKLPW #network #synthesis
- Syntax-Guided Optimal Synthesis for Chemical Reaction Networks (LC, MC0, MF, MZK, LL, NP, MW), pp. 375–395.
- POPL-2016-CardelliTTV #difference #symbolic computation
- Symbolic computation of differential equivalences (LC, MT, MT, AV), pp. 137–150.