Luca Cardelli

	2011
146		Luca Cardelli, William M. Shih: DNA Computing and Molecular Programming - 17th International Conference, DNA 17, Pasadena, CA, USA, September 19-23, 2011. Proceedings Springer 2011
145		Luca Cardelli, Cosimo Laneve: Reversible structures. CMSB 2011: 131-140
144		Luca Cardelli, Kim G. Larsen, Radu Mardare: Continuous Markovian Logic - From Complete Axiomatization to the Metric Space of Formulas. CSL 2011: 144-158
143		Luca Cardelli, Kim G. Larsen, Radu Mardare: Modular Markovian Logic. ICALP (2) 2011: 380-391
142		Luca Cardelli, Cosimo Laneve: Reversibility in Massive Concurrent Systems CoRR abs/1108.3419: (2011)
141		Steffen van Bakel, Luca Cardelli, Maria Grazia Vigliotti: From X to Pi; Representing the Classical Sequent Calculus in the Pi-calculus CoRR abs/1109.4817: (2011)
140		Luca Cardelli: Strand algebras for DNA computing. Natural Computing 10(1): 407-428 (2011)
139		Neil Dalchau, James Andrew Phillips, Leonard D. Goldstein, Mark Howarth, Luca Cardelli, Stephen Emmott, Tim Elliott, Joern M. Werner: A Peptide Filtering Relation Quantifies MHC Class I Peptide Optimization. PLoS Computational Biology 7(10): (2011)
	2010
138		Luca Cardelli, Philippa Gardner: Processes in Space. CiE 2010: 78-87
137		Luca Cardelli: Two-Domain DNA Strand Displacement DCM 2010: 47-61
136		Luca Cardelli, Radu Mardare: The Measurable Space of Stochastic Processes. QEST 2010: 171-180
135		Luca Cardelli: Algebras and Languages for Molecular Programming. UC 2010: 2
134		Luca Cardelli, Gianluigi Zavattaro: Turing universality of the Biochemical Ground Form. Mathematical Structures in Computer Science 20(1): 45-73 (2010)
	2009
133		Ozan Kahramanogullari, Luca Cardelli, Emmanuelle Caron: An Intuitive Automated Modelling Interface for Systems Biology DCM 2009: 73-86
132		Luca Cardelli: Strand Algebras for DNA Computing. DNA 2009: 12-24
131		Luca Cardelli, Corrado Priami: Visualization in process algebra models of biological systems. The Fourth Paradigm 2009: 99-105
130		Luca Cardelli, Emmanuelle Caron, Philippa Gardner, Ozan Kahramanogullari, Andrew Phillips: A Process Model of Actin Polymerisation. Electr. Notes Theor. Comput. Sci. 229(1): 127-144 (2009)
129		Luca Cardelli, Emmanuelle Caron, Philippa Gardner, Ozan Kahramanogullari, Andrew Phillips: A process model of Rho GTP-binding proteins. Theor. Comput. Sci. 410(33-34): 3166-3185 (2009)
	2008
128		Luca Cardelli, Gianluigi Zavattaro: On the Computational Power of Biochemistry. AB 2008: 65-80
127		Gianluigi Zavattaro, Luca Cardelli: Termination Problems in Chemical Kinetics. CONCUR 2008: 477-491
126		Luca Cardelli: Molecules as Automata. CSL 2008: 32
125		Luca Cardelli: From Processes to ODEs by Chemistry. IFIP TCS 2008: 261-281
124		Luca Cardelli: Molecules as Automata. WADT 2008: 18-20
123		Luca Cardelli, Philippa Gardner, Ozan Kahramanogullari: A Process Model of Rho GTP-binding Proteins in the Context of Phagocytosis. Electr. Notes Theor. Comput. Sci. 194(3): 87-102 (2008)
122		Luca Cardelli: On process rate semantics. Theor. Comput. Sci. 391(3): 190-215 (2008)
121		Luca Cardelli: Bitonal membrane systems: Interactions of biological membranes. Theor. Comput. Sci. 404(1-2): 5-18 (2008)
	2007
120		Andrew Phillips, Luca Cardelli: Efficient, Correct Simulation of Biological Processes in the Stochastic Pi-calculus. CMSB 2007: 184-199
119		Luca Cardelli: An Accidental Simula User. ECOOP 2007: 201
118		Luca Cardelli: Invited Talk: A Process Algebra Master Equation. QEST 2007: 219-226
117		Luca Cardelli: Machines of Systems Biology. Bulletin of the EATCS 93: 176-204 (2007)
116		Luca Cardelli, Marcelo P. Fiore, Glynn Winskel: Preface. Electr. Notes Theor. Comput. Sci. 172: 1-4 (2007)
115		Luca Cardelli, Philippa Gardner, Giorgio Ghelli: Manipulating Trees with Hidden Labels. Electr. Notes Theor. Comput. Sci. 172: 177-201 (2007)
	2006
114		Corrado Priami, Luca Cardelli, Stephen Emmott: Transactions on Computational Systems Biology IV Springer 2006
113		Luca Cardelli, Gheorghe Paun: An universality result for a (mem)brane calculus based on mate/drip operations. Int. J. Found. Comput. Sci. 17(1): 49-68 (2006)
112		Andrew Phillips, Luca Cardelli, Giuseppe Castagna: A Graphical Representation for Biological Processes in the Stochastic pi-Calculus. T. Comp. Sys. Biology: 123-152 (2006)
111		Ralf Blossey, Luca Cardelli, Andrew Phillips: A Compositional Approach to the Stochastic Dynamics of Gene Networks. T. Comp. Sys. Biology: 99-122 (2006)
	2005
110		Luca Cardelli: A Compositional Approach to the Stochastic Dynamics of Gene Networks. CONCUR 2005: 4
109		Luca Cardelli: Transitions in programming models: 2. ICSE 2005: 2
108		Luca Cardelli: Biological Systems as Reactive Systems. ICTCS 2005: 21
107		Luca Cardelli, Giorgio Ghelli, Andrew D. Gordon: Secrecy and group creation. Inf. Comput. 196(2): 127-155 (2005)
106		Cristiano Calcagno, Luca Cardelli, Andrew D. Gordon: Deciding validity in a spatial logic for trees. J. Funct. Program. 15(4): 543-572 (2005)
105		Luca Cardelli: Abstract Machines of Systems Biology. T. Comp. Sys. Biology: 145-168 (2005)
	2004
104		Luca Cardelli: Brane Calculi. CMSB 2004: 257-278
103		Alain Frisch, Luca Cardelli: Greedy Regular Expression Matching. ICALP 2004: 618-629
102		Nick Benton, Luca Cardelli, Cédric Fournet: Modern concurrency abstractions for C#. ACM Trans. Program. Lang. Syst. 26(5): 769-804 (2004)
101		Luca Cardelli, Giorgio Ghelli: TQL: a query language for semistructured data based on the ambient logic. Mathematical Structures in Computer Science 14(3): 285-327 (2004)
100		Luís Caires, Luca Cardelli: A spatial logic for concurrency - II. Theor. Comput. Sci. 322(3): 517-565 (2004)
99		Aviv Regev, Ekaterina M. Panina, William Silverman, Luca Cardelli, Ehud Y. Shapiro: BioAmbients: an abstraction for biological compartments. Theor. Comput. Sci. 325(1): 141-167 (2004)
	2003
98		Luca Cardelli: ECOOP 2003 - Object-Oriented Programming, 17th European Conference, Darmstadt, Germany, July 21-25, 2003, Proceedings Springer 2003
97		Luca Cardelli, Philippa Gardner, Giorgio Ghelli: Manipulating Trees with Hidden Labels. FoSSaCS 2003: 216-232
96		Cristiano Calcagno, Luca Cardelli, Andrew D. Gordon: Deciding validity in a spatial logic for trees. TLDI 2003: 62-73
95		Luís Caires, Luca Cardelli: A spatial logic for concurrency (part I). Inf. Comput. 186(2): 194-235 (2003)
94		Andrew D. Gordon, Luca Cardelli: Equational Properties Of Mobile Ambients. Mathematical Structures in Computer Science 13(3): 371-408 (2003)
	2002
93		Luís Caires, Luca Cardelli: A Spatial Logic for Concurrency (Part II). CONCUR 2002: 209-225
92		Nick Benton, Luca Cardelli, Cédric Fournet: Modern Concurrency Abstractions for C#. ECOOP 2002: 415-440
91		Luca Cardelli, Philippa Gardner, Giorgio Ghelli: A Spatial Logic for Querying Graphs. ICALP 2002: 597-610
90		Luca Cardelli, Giorgio Ghelli, Andrew D. Gordon: Types for the Ambient Calculus. Inf. Comput. 177(2): 160-194 (2002)
	2001
89		Luca Cardelli, Giorgio Ghelli: A Query Language Based on the Ambient Logic. ESOP 2001: 1-22
88		Luca Cardelli, Giorgio Ghelli: A Query Language Based on the Ambient Logic. SEBD 2001: 95-104
87		Luís Caires, Luca Cardelli: A Spatial Logic for Concurrency. TACS 2001: 1-37
86		Luca Cardelli, Andrew D. Gordon: Logical Properties of Name Restriction. TLCA 2001: 46-60
85		Luca Cardelli: Describing Semistructured Data. SIGMOD Record 30(4): 80-85 (2001)
	2000
84		Luca Cardelli, Giorgio Ghelli, Andrew D. Gordon: Secrecy and Group Creation. CONCUR 2000: 365-379
83		Luca Cardelli, Giorgio Ghelli, Andrew D. Gordon: Ambient Groups and Mobility Types. IFIP TCS 2000: 333-347
82		Luca Cardelli: Wide Area Computation. JISBD 2000: 5
81		Luca Cardelli, Andrew D. Gordon: Anytime, Anywhere: Modal Logics for Mobile Ambients. POPL 2000: 365-377
80		Luca Cardelli, Andy Gordon, Giorgio Ghelli: Secrecy, Group Creation. Electr. Notes Theor. Comput. Sci. 40: 7 (2000)
79		Luca Cardelli, Andrew D. Gordon: Mobile ambients. Theor. Comput. Sci. 240(1): 177-213 (2000)
	1999
78		Henri E. Bal, Boumediene Belkhouche, Luca Cardelli: Internet Programming Languages, ICCL'98 Workshop, Chicago, IL, USA, May 13, 1998, Proceedings Springer 1999
77		Luca Cardelli: Semistructured Computation. DBPL 1999: 1-16
76		Luca Cardelli: Foundations for Wide-Area Systems (Tutorial). FMOODS 1999
75		Andrew D. Gordon, Luca Cardelli: Equational Properties of Mobile Ambients. FoSSaCS 1999: 212-226
74		Luca Cardelli: Wide Area Computation. ICALP 1999: 10-24
73		Luca Cardelli, Andrew D. Gordon, Giorgio Ghelli: Mobility Types for Mobile Ambients. ICALP 1999: 230-239
72		Luca Cardelli, Andrew D. Gordon: Types for Mobile Ambients. POPL 1999: 79-92
71		Luca Cardelli: Abstractions for Mobile Computation. Secure Internet Programming 1999: 51-94
70		Luca Cardelli, Rowan Davies: Service Combinators for Web Computing. IEEE Trans. Software Eng. 25(3): 309-316 (1999)
69		Kim B. Bruce, Luca Cardelli, Benjamin C. Pierce: Comparing Object Encodings. Inf. Comput. 155(1-2): 108-133 (1999)
	1998
68		David B. MacQueen, Luca Cardelli: POPL '98, Proceedings of the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Diego, CA, USA, January 19-21, 1998 ACM 1998
67		Luca Cardelli, Andrew D. Gordon: Mobile Ambients. FoSSaCS 1998: 140-155
66		Luca Cardelli: Wide-Area Languages. Mobile Agents 1998: 208
	1997
65		Luca Cardelli, Rowan Davies: Service Combinators for Web Computing. DSL 1997: 1-10
64		Luca Cardelli: Program Fragments, Linking, and Modularization. POPL 1997: 266-277
63		Kim B. Bruce, Luca Cardelli, Benjamin C. Pierce: Comparing Object Encodings. TACS 1997: 415-438
62		Luca Cardelli: Type Systems. The Computer Science and Engineering Handbook 1997: 2208-2236
61		Luca Cardelli, Andrew D. Gordon: Mobile Ambients. Electr. Notes Theor. Comput. Sci. 10: 198-201 (1997)
60		Luca Cardelli: Global Computation. SIGPLAN Notices 32(1): 66-68 (1997)
	1996
59		Martín Abadi, Luca Cardelli: A theory of objects. Springer 1996: I-XIII, 1-396
58		Krishna Bharat, Luca Cardelli: Migratory Applications. Mobile Object Systems 1996: 131-148
57		Luca Cardelli: Mobile Computation. Mobile Object Systems 1996: 3-6
56		Martín Abadi, Luca Cardelli, Ramesh Viswanathan: An Interpretation of Objects and Object Types. POPL 1996: 396-409
55		Luca Cardelli: Type Systems. ACM Comput. Surv. 28(1): 263-264 (1996)
54		Luca Cardelli: Bad Engineering Properties of Object-Oriented Languages. ACM Comput. Surv. 28(4es): 150 (1996)
53		Luca Cardelli: Global Computation. ACM Comput. Surv. 28(4es): 163 (1996)
52		Martín Abadi, Luca Cardelli: On Subtyping and Matching. ACM Trans. Program. Lang. Syst. 18(4): 401-423 (1996)
51		Martín Abadi, Luca Cardelli: A Theory of Primitive Objects: Untyped and First-Order Systems. Inf. Comput. 125(2): 78-102 (1996)
	1995
50		Krishna Bharat, Luca Cardelli: Migratory Applications. ACM Symposium on User Interface Software and Technology 1995: 132-142
49		Martín Abadi, Luca Cardelli: On Subtyping and Matching. ECOOP 1995: 145-167
48		Luca Cardelli: A Language with Distributed Scope. POPL 1995: 286-297
47		Martín Abadi, Luca Cardelli: An Imperative Object Calculus. TAPSOFT 1995: 471-485
46		Luca Cardelli: A Language with Distributed Scope. Computing Systems 8(1): 27-59 (1995)
45		Martín Abadi, Luca Cardelli, Benjamin C. Pierce, Didier Rémy: Dynamic Typing in Polymorphic Languages. J. Funct. Program. 5(1): 111-130 (1995)
44		Martín Abadi, Luca Cardelli: A Theory of Primitive Objects: Second-Order Systems. Sci. Comput. Program. 25(2-3): 81-116 (1995)
43		Martín Abadi, Luca Cardelli: An Imperative Object Calculus (Invited Paper). TAPOS 1(3): 151-166 (1995)
42		Kim B. Bruce, Luca Cardelli, Giuseppe Castagna, Jonathan Eifrig, Scott F. Smith, Valery Trifonov, Gary T. Leavens, Benjamin C. Pierce: On Binary Methods. TAPOS 1(3): 221-242 (1995)
	1994
41		Martín Abadi, Luca Cardelli: A Theory of Primitive Objects - Scond-Order Systems. ESOP 1994: 1-25
40		Gordon D. Plotkin, Martín Abadi, Luca Cardelli: Subtyping and Parametricity LICS 1994: 310-319
39		Martín Abadi, Luca Cardelli: A Semantics of Object Types LICS 1994: 332-341
38		Martín Abadi, Luca Cardelli: A Theory of Primitive Objects - Untyped and First-Order Systems. TACS 1994: 296-320
37		Luca Cardelli, Simone Martini, John C. Mitchell, Andre Scedrov: An Extension of System F with Subtyping Inf. Comput. 109(1/2): 4-56 (1994)
	1993
36		Luca Cardelli, Florian Matthes, Martín Abadi: Extensible Grammars for Language Specialization. DBPL 1993: 11-31
35		Martín Abadi, Luca Cardelli, Pierre-Louis Curien: Formal Parametric Polymorphism. POPL 1993: 157-170
34		Roberto M. Amadio, Luca Cardelli: Subtyping Recursive Types. ACM Trans. Program. Lang. Syst. 15(4): 575-631 (1993)
33		Martín Abadi, Luca Cardelli, Pierre-Louis Curien: Formal Parametric Polymorphism. Theor. Comput. Sci. 121(1&2): 9-58 (1993)
	1992
32		Luca Cardelli, James E. Donahue, Lucille Glassman, Mick J. Jordan, Bill Kalsow, Greg Nelson: Modula-3 language definition. SIGPLAN Notices 27(8): 15-42 (1992)
	1991
31		Luca Cardelli: A Pure Calculus of Subtyping, and Applications (Outline). DBPL 1991: 185-187
30		Roberto M. Amadio, Luca Cardelli: Subtyping Recursive Types. POPL 1991: 104-118
29		Luca Cardelli, Simone Martini, John C. Mitchell, Andre Scedrov: An Extension of System F with Subtyping. TACS 1991: 750-770
28		Martín Abadi, Luca Cardelli, Benjamin C. Pierce, Gordon D. Plotkin: Dynamic Typing in a Statically Typed Language. ACM Trans. Program. Lang. Syst. 13(2): 237-268 (1991)
27		Martín Abadi, Luca Cardelli, Pierre-Louis Curien, Jean-Jacques Lévy: Explicit Substitutions. J. Funct. Program. 1(4): 375-416 (1991)
26		Luca Cardelli, Giuseppe Longo: A Semantic Basis for Quest. J. Funct. Program. 1(4): 417-458 (1991)
25		Luca Cardelli, John C. Mitchell: Operations on Records. Mathematical Structures in Computer Science 1(1): 3-48 (1991)
	1990
24		Luca Cardelli, Giuseppe Longo: A Semantic Basis for Quest. LISP and Functional Programming 1990: 30-43
23		Martín Abadi, Luca Cardelli, Pierre-Louis Curien, Jean-Jacques Lévy: Explicit Substitutions. POPL 1990: 31-46
	1989
22		Luca Cardelli, John C. Mitchell: Operations in Records. Category Theory and Computer Science 1989: 75-81
21		Luca Cardelli, John C. Mitchell: Operations on Records. Mathematical Foundations of Programming Semantics 1989: 22-52
20		Luca Cardelli, James E. Donahue, Mick J. Jordan, Bill Kalsow, Greg Nelson: The Modula-3 Type System. POPL 1989: 202-212
19		Martín Abadi, Luca Cardelli, Benjamin C. Pierce, Gordon D. Plotkin: Dynamic Typing in a Statically-Typed Language. POPL 1989: 213-227
	1988
18		Luca Cardelli: Building User Interfaces by Direct Manipulation. ACM Symposium on User Interface Software and Technology 1988: 152-166
17		Luca Cardelli: Types for Data-Oriented Languages. EDBT 1988: 1-15
16		Luca Cardelli: Structural Subtyping and the Notion of Power Type. POPL 1988: 70-79
15		Luca Cardelli: A Semantics of Multiple Inheritance Inf. Comput. 76(2/3): 138-164 (1988)
	1987
14		Luca Cardelli: Basic Polymorphic Typechecking. Sci. Comput. Program. 8(2): 147-172 (1987)
	1986
13		Luca Cardelli: Typechecking Dependent Types and Subtypes. Foundations of Logic and Functional Programming 1986: 45-57
	1985
12		Luca Cardelli: Amber. Combinators and Functional Programming Languages 1985: 21-47
11		Luca Cardelli: The Amber Machine. Combinators and Functional Programming Languages 1985: 48-70
10		Luca Cardelli, David B. MacQueen: Persistence and Type Abstraction. Data Types and Persistence (Appin) 1985: 31-41
9		Luca Cardelli, David B. MacQueen: Persistence and Type Abstraction. Data Types and Persistence (Appin), Informal Proceedings 1985: 221-230
8		Luca Cardelli, Rob Pike: Squeak: a language for communicating with mice. SIGGRAPH 1985: 199-204
7		Luca Cardelli, Peter Wegner: On Understanding Types, Data Abstraction, and Polymorphism. ACM Comput. Surv. 17(4): 471-522 (1985)
6		Antonio Albano, Luca Cardelli, Renzo Orsini: Galileo: A Strongly-Typed, Interactive Conceptual Language. ACM Trans. Database Syst. 10(2): 230-260 (1985)
	1984
5		Luca Cardelli: Compiling a Functional Language. LISP and Functional Programming 1984: 208-217
4		Luca Cardelli: A Semantics of Multiple Inheritance. Semantics of Data Types 1984: 51-67
3		Luca Cardelli: An Implementation Model of Rendezvous Communication. Seminar on Concurrency 1984: 449-457
	1982
2		Luca Cardelli: Real Time Agents. ICALP 1982: 94-106
	1980
1		Luca Cardelli: Analog Processes. MFCS 1980: 181-193

Coauthor Index

1	Martín Abadi	[19] [23] [27] [28] [33] [35] [36] [38] [39] [40] [41] [43] [44] [45] [47] [49] [51] [52] [56] [59]
2	Antonio Albano	[6]
3	Roberto M. Amadio	[30] [34]
4	Steffen van Bakel	[141]
5	Henri E. Bal	[78]
6	Boumediene Belkhouche	[78]
7	Nick Benton (P. N. Benton)	[92] [102]
8	Krishna Bharat	[50] [58]
9	Ralf Blossey	[111]
10	Kim B. Bruce	[42] [63] [69]
11	Luís Caires	[87] [93] [95] [100]
12	Cristiano Calcagno	[96] [106]
13	Emmanuelle Caron	[129] [130] [133]
14	Giuseppe Castagna	[42] [112]
15	Pierre-Louis Curien	[23] [27] [33] [35]
16	Neil Dalchau	[139]
17	Rowan Davies	[65] [70]
18	James E. Donahue	[20] [32]
19	Jonathan Eifrig	[42]
20	Tim Elliott	[139]
21	Stephen Emmott	[114] [139]
22	Marcelo P. Fiore	[116]
23	Cédric Fournet	[92] [102]
24	Alain Frisch	[103]
25	Philippa Gardner	[91] [97] [115] [123] [129] [130] [138]
26	Giorgio Ghelli	[73] [80] [83] [84] [88] [89] [90] [91] [97] [101] [107] [115]
27	Lucille Glassman	[32]
28	Leonard D. Goldstein	[139]
29	Andrew D. Gordon (Andy Gordon)	[61] [67] [72] [73] [75] [79] [80] [81] [83] [84] [86] [90] [94] [96] [106] [107]
30	Mark Howarth	[139]
31	Mick J. Jordan	[20] [32]
32	Ozan Kahramanogullari	[123] [129] [130] [133]
33	Bill Kalsow	[20] [32]
34	Cosimo Laneve	[142] [145]
35	Kim Guldstrand Larsen (Kim G. Larsen)	[143] [144]
36	Gary T. Leavens	[42]
37	Jean-Jacques Lévy	[23] [27]
38	Giuseppe Longo	[24] [26]
39	David B. MacQueen	[9] [10] [68]
40	Radu Mardare	[136] [143] [144]
41	Simone Martini	[29] [37]
42	Florian Matthes	[36]
43	John C. Mitchell	[21] [22] [25] [29] [37]
44	Greg Nelson	[20] [32]
45	Renzo Orsini	[6]
46	Ekaterina M. Panina	[99]
47	Gheorghe Paun	[113]
48	Andrew Phillips	[111] [112] [120] [129] [130]
49	James Andrew Phillips	[139]
50	Benjamin C. Pierce	[19] [28] [42] [45] [63] [69]
51	Rob Pike	[8]
52	Gordon D. Plotkin	[19] [28] [40]
53	Corrado Priami	[114] [131]
54	Aviv Regev	[99]
55	Didier Rémy	[45]
56	Andre Scedrov	[29] [37]
57	Ehud Y. Shapiro	[99]
58	William M. Shih	[146]
59	William Silverman	[99]
60	Scott F. Smith	[42]
61	Valery Trifonov	[42]
62	Maria Grazia Vigliotti	[141]
63	Ramesh Viswanathan	[56]
64	Peter Wegner	[7]
65	Joern M. Werner	[139]
66	Glynn Winskel	[116]
67	Gianluigi Zavattaro	[127] [128] [134]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page