dblp.uni-trier.dewww.uni-trier.de

Luca Cardelli Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
126EELuca 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)
125EELuca 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
124EELuca Cardelli, Gianluigi Zavattaro: On the Computational Power of Biochemistry. AB 2008: 65-80
123EEGianluigi Zavattaro, Luca Cardelli: Termination Problems in Chemical Kinetics. CONCUR 2008: 477-491
122EELuca Cardelli: Molecules as Automata. CSL 2008: 32
121EELuca Cardelli: From Processes to ODEs by Chemistry. IFIP TCS 2008: 261-281
120EELuca 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)
119EELuca Cardelli: On process rate semantics. Theor. Comput. Sci. 391(3): 190-215 (2008)
118EELuca Cardelli: Bitonal membrane systems: Interactions of biological membranes. Theor. Comput. Sci. 404(1-2): 5-18 (2008)
2007
117EEAndrew Phillips, Luca Cardelli: Efficient, Correct Simulation of Biological Processes in the Stochastic Pi-calculus. CMSB 2007: 184-199
116EELuca Cardelli: An Accidental Simula User. ECOOP 2007: 201
115EELuca Cardelli: Invited Talk: A Process Algebra Master Equation. QEST 2007: 219-226
114EELuca Cardelli, Marcelo P. Fiore, Glynn Winskel: Preface. Electr. Notes Theor. Comput. Sci. 172: 1-4 (2007)
113EELuca Cardelli, Philippa Gardner, Giorgio Ghelli: Manipulating Trees with Hidden Labels. Electr. Notes Theor. Comput. Sci. 172: 177-201 (2007)
2006
112 Corrado Priami, Luca Cardelli, Stephen Emmott: Transactions on Computational Systems Biology IV Springer 2006
111EELuca 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)
110EEAndrew Phillips, Luca Cardelli, Giuseppe Castagna: A Graphical Representation for Biological Processes in the Stochastic pi-Calculus. T. Comp. Sys. Biology: 123-152 (2006)
109EERalf Blossey, Luca Cardelli, Andrew Phillips: A Compositional Approach to the Stochastic Dynamics of Gene Networks. T. Comp. Sys. Biology: 99-122 (2006)
2005
108EELuca Cardelli: A Compositional Approach to the Stochastic Dynamics of Gene Networks. CONCUR 2005: 4
107EELuca Cardelli: Transitions in programming models: 2. ICSE 2005: 2
106EELuca Cardelli: Biological Systems as Reactive Systems. ICTCS 2005: 21
105EELuca Cardelli, Giorgio Ghelli, Andrew D. Gordon: Secrecy and group creation. Inf. Comput. 196(2): 127-155 (2005)
104EECristiano Calcagno, Luca Cardelli, Andrew D. Gordon: Deciding validity in a spatial logic for trees. J. Funct. Program. 15(4): 543-572 (2005)
103EELuca Cardelli: Abstract Machines of Systems Biology. T. Comp. Sys. Biology: 145-168 (2005)
2004
102EELuca Cardelli: Brane Calculi. CMSB 2004: 257-278
101EEAlain Frisch, Luca Cardelli: Greedy Regular Expression Matching. ICALP 2004: 618-629
100EENick Benton, Luca Cardelli, Cédric Fournet: Modern concurrency abstractions for C#. ACM Trans. Program. Lang. Syst. 26(5): 769-804 (2004)
99EELuca 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)
98EELuís Caires, Luca Cardelli: A spatial logic for concurrency - II. Theor. Comput. Sci. 322(3): 517-565 (2004)
97EEAviv 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
96 Luca Cardelli: ECOOP 2003 - Object-Oriented Programming, 17th European Conference, Darmstadt, Germany, July 21-25, 2003, Proceedings Springer 2003
95EELuca Cardelli, Philippa Gardner, Giorgio Ghelli: Manipulating Trees with Hidden Labels. FoSSaCS 2003: 216-232
94EECristiano Calcagno, Luca Cardelli, Andrew D. Gordon: Deciding validity in a spatial logic for trees. TLDI 2003: 62-73
93EELuís Caires, Luca Cardelli: A spatial logic for concurrency (part I). Inf. Comput. 186(2): 194-235 (2003)
92 Andrew D. Gordon, Luca Cardelli: Equational Properties Of Mobile Ambients. Mathematical Structures in Computer Science 13(3): 371-408 (2003)
2002
91EELuís Caires, Luca Cardelli: A Spatial Logic for Concurrency (Part II). CONCUR 2002: 209-225
90EENick Benton, Luca Cardelli, Cédric Fournet: Modern Concurrency Abstractions for C#. ECOOP 2002: 415-440
89EELuca Cardelli, Philippa Gardner, Giorgio Ghelli: A Spatial Logic for Querying Graphs. ICALP 2002: 597-610
88EELuca Cardelli, Giorgio Ghelli, Andrew D. Gordon: Types for the Ambient Calculus. Inf. Comput. 177(2): 160-194 (2002)
2001
87EELuca Cardelli, Giorgio Ghelli: A Query Language Based on the Ambient Logic. ESOP 2001: 1-22
86 Luca Cardelli, Giorgio Ghelli: A Query Language Based on the Ambient Logic. SEBD 2001: 95-104
85EELuís Caires, Luca Cardelli: A Spatial Logic for Concurrency. TACS 2001: 1-37
84EELuca Cardelli, Andrew D. Gordon: Logical Properties of Name Restriction. TLCA 2001: 46-60
83EELuca Cardelli: Describing Semistructured Data. SIGMOD Record 30(4): 80-85 (2001)
2000
82EELuca Cardelli, Giorgio Ghelli, Andrew D. Gordon: Secrecy and Group Creation. CONCUR 2000: 365-379
81EELuca Cardelli, Giorgio Ghelli, Andrew D. Gordon: Ambient Groups and Mobility Types. IFIP TCS 2000: 333-347
80 Luca Cardelli: Wide Area Computation. JISBD 2000: 5
79EELuca Cardelli, Andrew D. Gordon: Anytime, Anywhere: Modal Logics for Mobile Ambients. POPL 2000: 365-377
78EELuca Cardelli, Andy Gordon, Giorgio Ghelli: Secrecy, Group Creation. Electr. Notes Theor. Comput. Sci. 40: (2000)
77EELuca Cardelli, Andrew D. Gordon: Mobile ambients. Theor. Comput. Sci. 240(1): 177-213 (2000)
1999
76 Henri E. Bal, Boumediene Belkhouche, Luca Cardelli: Internet Programming Languages, ICCL'98 Workshop, Chicago, IL, USA, May 13, 1998, Proceedings Springer 1999
75EELuca Cardelli: Semistructured Computation. DBPL 1999: 1-16
74 Luca Cardelli: Foundations for Wide-Area Systems (Tutorial). FMOODS 1999
73 Andrew D. Gordon, Luca Cardelli: Equational Properties of Mobile Ambients. FoSSaCS 1999: 212-226
72EELuca Cardelli: Wide Area Computation. ICALP 1999: 10-24
71EELuca Cardelli, Andrew D. Gordon, Giorgio Ghelli: Mobility Types for Mobile Ambients. ICALP 1999: 230-239
70EELuca Cardelli, Andrew D. Gordon: Types for Mobile Ambients. POPL 1999: 79-92
69 Luca Cardelli: Abstractions for Mobile Computation. Secure Internet Programming 1999: 51-94
68EELuca Cardelli, Rowan Davies: Service Combinators for Web Computing. IEEE Trans. Software Eng. 25(3): 309-316 (1999)
67 Kim B. Bruce, Luca Cardelli, Benjamin C. Pierce: Comparing Object Encodings. Inf. Comput. 155(1-2): 108-133 (1999)
1998
66EELuca Cardelli, Andrew D. Gordon: Mobile Ambients. FoSSaCS 1998: 140-155
65EELuca Cardelli: Wide-Area Languages. Mobile Agents 1998: 208
1997
64EELuca Cardelli, Rowan Davies: Service Combinators for Web Computing. DSL 1997: 1-10
63EELuca Cardelli: Program Fragments, Linking, and Modularization. POPL 1997: 266-277
62 Kim B. Bruce, Luca Cardelli, Benjamin C. Pierce: Comparing Object Encodings. TACS 1997: 415-438
61 Luca Cardelli: Type Systems. The Computer Science and Engineering Handbook 1997: 2208-2236
60EELuca Cardelli, Andrew D. Gordon: Mobile Ambients. Electr. Notes Theor. Comput. Sci. 10: (1997)
59 Luca Cardelli: Global Computation. SIGPLAN Notices 32(1): 66-68 (1997)
1996
58 Krishna Bharat, Luca Cardelli: Migratory Applications. Mobile Object Systems 1996: 131-148
57 Luca Cardelli: Mobile Computation. Mobile Object Systems 1996: 3-6
56EEMartí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)
52EEMartí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
50EEKrishna Bharat, Luca Cardelli: Migratory Applications. ACM Symposium on User Interface Software and Technology 1995: 132-142
49EEMartín Abadi, Luca Cardelli: On Subtyping and Matching. ECOOP 1995: 145-167
48 Luca Cardelli: A Language with Distributed Scope. POPL 1995: 286-297
47EEMartí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
41EEMartí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
36EELuca 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
34EERoberto 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
32EELuca 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
31EELuca 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
28EEMartí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
24EELuca 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
21EELuca 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
18EELuca Cardelli: Building User Interfaces by Direct Manipulation. ACM Symposium on User Interface Software and Technology 1988: 152-166
17EELuca 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
12EELuca Cardelli: Amber. Combinators and Functional Programming Languages 1985: 21-47
11EELuca Cardelli: The Amber Machine. Combinators and Functional Programming Languages 1985: 48-70
10EELuca Cardelli, David B. MacQueen: Persistence and Type Abstraction. Data Types and Persistence (Appin) 1985: 31-41
9EELuca Cardelli, David B. MacQueen: Persistence and Type Abstraction. Data Types and Persistence (Appin), Informal Proceedings 1985: 221-230
8EELuca 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)
6EEAntonio 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
3EELuca Cardelli: An Implementation Model of Rendezvous Communication. Seminar on Concurrency 1984: 449-457
1982
2EELuca Cardelli: Real Time Agents. ICALP 1982: 94-106
1980
1EELuca Cardelli: Analog Processes. MFCS 1980: 181-193

Coauthor Index

1Martín Abadi [19] [23] [27] [28] [33] [35] [36] [38] [39] [40] [41] [43] [44] [45] [47] [49] [51] [52] [56]
2Antonio Albano [6]
3Roberto M. Amadio [30] [34]
4Henri E. Bal [76]
5Boumediene Belkhouche [76]
6Nick Benton (P. N. Benton) [90] [100]
7Krishna Bharat [50] [58]
8Ralf Blossey [109]
9Kim B. Bruce [42] [62] [67]
10Luís Caires [85] [91] [93] [98]
11Cristiano Calcagno [94] [104]
12Emmanuelle Caron [125] [126]
13Giuseppe Castagna [42] [110]
14Pierre-Louis Curien [23] [27] [33] [35]
15Rowan Davies [64] [68]
16James E. Donahue [20] [32]
17Jonathan Eifrig [42]
18Stephen Emmott [112]
19Marcelo P. Fiore [114]
20Cédric Fournet [90] [100]
21Alain Frisch [101]
22Philippa Gardner [89] [95] [113] [120] [125] [126]
23Giorgio Ghelli [71] [78] [81] [82] [86] [87] [88] [89] [95] [99] [105] [113]
24Lucille Glassman [32]
25Andrew D. Gordon (Andy Gordon) [60] [66] [70] [71] [73] [77] [78] [79] [81] [82] [84] [88] [92] [94] [104] [105]
26Mick J. Jordan [20] [32]
27Ozan Kahramanogullari [120] [125] [126]
28Bill Kalsow [20] [32]
29Gary T. Leavens [42]
30Jean-Jacques Lévy [23] [27]
31Giuseppe Longo [24] [26]
32David B. MacQueen [9] [10]
33Simone Martini [29] [37]
34Florian Matthes [36]
35John C. Mitchell [21] [22] [25] [29] [37]
36Greg Nelson [20] [32]
37Renzo Orsini [6]
38Ekaterina M. Panina [97]
39Gheorghe Paun [111]
40Andrew Phillips [109] [110] [117] [125] [126]
41Benjamin C. Pierce [19] [28] [42] [45] [62] [67]
42Rob Pike [8]
43Gordon D. Plotkin [19] [28] [40]
44Corrado Priami [112]
45Aviv Regev [97]
46Didier Rémy [45]
47Andre Scedrov [29] [37]
48Ehud Y. Shapiro [97]
49William Silverman [97]
50Scott F. Smith [42]
51Valery Trifonov [42]
52Ramesh Viswanathan [56]
53Peter Wegner [7]
54Glynn Winskel [114]
55Gianluigi Zavattaro [123] [124]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)