Luca Cardelli - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

2011

Modular Markovian LogicLuca Cardelli, Kim G. Larsen, Radu Mardare. icalp 2011: 380-391 [doi]

Strand algebras for DNA computingLuca Cardelli. nc, 10(1):407-428, 2011. [doi]

2010

The Measurable Space of Stochastic ProcessesLuca Cardelli, Radu Mardare. qest 2010: 171-180 [doi]

Processes in SpaceLuca Cardelli, Philippa Gardner. CiE 2010: 78-87 [doi]

Turing universality of the Biochemical Ground FormLuca Cardelli, Gianluigi Zavattaro. mscs, 20(1):45-73, 2010. [doi]

Algebras and Languages for Molecular ProgrammingLuca Cardelli. uc 2010: 2 [doi]

2009

Strand Algebras for DNA ComputingLuca Cardelli. dna 2009: 12-24 [doi]

A Process Model of Actin PolymerisationLuca Cardelli, Emmanuelle Caron, Philippa Gardner, Ozan Kahramanogullari, Andrew Phillips. ENTCS, 229(1):127-144, 2009. [doi]

A process model of Rho GTP-binding proteinsLuca Cardelli, Emmanuelle Caron, Philippa Gardner, Ozan Kahramanogullari, Andrew Phillips. TCS, 410(33-34):3166-3185, 2009. [doi]

2008

2007

2006

A Compositional Approach to the Stochastic Dynamics of Gene NetworksRalf Blossey, Luca Cardelli, Andrew Phillips. TCSB, :99-122, 2006. [doi]

An universality result for a (mem)brane calculus based on mate/drip operationsLuca Cardelli, Gheorghe Paun. ijfcs, 17(1):49-68, 2006. [doi]

A Graphical Representation for Biological Processes in the Stochastic pi-CalculusAndrew Phillips, Luca Cardelli, Giuseppe Castagna. TCSB, :123-152, 2006. [doi]

Transactions on Computational Systems Biology IVCorrado Priami, Luca Cardelli, Stephen Emmott, editors, Volume 3939 of Lecture Notes in Computer Science, Springer, 2006.

2005

2004

Modern concurrency abstractions for C#Nick Benton, Luca Cardelli, Cédric Fournet. TOPLAS, 26(5):769-804, 2004. [doi]

A spatial logic for concurrency - IILuís Caires, Luca Cardelli. TCS, 322(3):517-565, 2004. [doi]

Brane CalculiLuca Cardelli. cmsb 2005: 257-278 [doi]

TQL: a query language for semistructured data based on the ambient logicLuca Cardelli, Giorgio Ghelli. mscs, 14(3):285-327, 2004. [doi]

Greedy Regular Expression MatchingAlain Frisch, Luca Cardelli. icalp 2004: 618-629 [doi]

BioAmbients: an abstraction for biological compartmentsAviv Regev, Ekaterina M. Panina, William Silverman, Luca Cardelli, Ehud Y. Shapiro. TCS, 325(1):141-167, 2004. [doi]

2003

A spatial logic for concurrency (part I)Luís Caires, Luca Cardelli. iandc, 186(2):194-235, 2003. [doi]

Deciding validity in a spatial logic for treesCristiano Calcagno, Luca Cardelli, Andrew D. Gordon. tldi 2003: 62-73 [doi]

Manipulating Trees with Hidden LabelsLuca Cardelli, Philippa Gardner, Giorgio Ghelli. fossacs 2003: 216-232 [doi]

ECOOP 2003 - Object-Oriented Programming, 17th European Conference, Darmstadt, Germany, July 21-25, 2003, ProceedingsLuca Cardelli, editor, Volume 2743 of Lecture Notes in Computer Science, Springer, 2003.

Equational Properties Of Mobile AmbientsAndrew D. Gordon, Luca Cardelli. mscs, 13(3):371-408, 2003.

2002

2001

2000

1999

Internet Programming Languages, ICCL 98 Workshop, Chicago, IL, USA, May 13, 1998, ProceedingsHenri E. Bal, Boumediene Belkhouche, Luca Cardelli, editors, Volume 1686 of Lecture Notes in Computer Science, Springer, 1999.

Comparing Object EncodingsKim B. Bruce, Luca Cardelli, Benjamin C. Pierce. iandc, 155(1-2):108-133, 1999.

Mobility Types for Mobile AmbientsLuca Cardelli, Andrew D. Gordon, Giorgio Ghelli. icalp 1999: 230-239 [doi]

Wide Area ComputationLuca Cardelli. icalp 1999: 10-24 [doi]

Semistructured ComputationLuca Cardelli. DBPL 2000: 1-16 [doi]

Foundations for Wide-Area Systems (Tutorial)Luca Cardelli. fmoods 1999:

Types for Mobile AmbientsLuca Cardelli, Andrew D. Gordon. POPL 1999: 79-92 [doi]

Abstractions for Mobile ComputationLuca Cardelli. ECOOPW 1999: 51-94

Service Combinators for Web ComputingLuca Cardelli, Rowan Davies. TSE, 25(3):309-316, 1999. [doi]

Equational Properties of Mobile AmbientsAndrew D. Gordon, Luca Cardelli. fossacs 1999: 212-226

1998

Wide-Area LanguagesLuca Cardelli. ma 1999: 208 [doi]

Mobile AmbientsLuca Cardelli, Andrew D. Gordon. fossacs 1998: 140-155 [doi]

1997

Comparing Object EncodingsKim B. Bruce, Luca Cardelli, Benjamin C. Pierce. tacs 1997: 415-438

Mobile AmbientsLuca Cardelli, Andrew D. Gordon. ENTCS, 10, 1997. [doi]

Global ComputationLuca Cardelli. SIGPLAN, 32(1):66-68, 1997.

Program Fragments, Linking, and ModularizationLuca Cardelli. POPL 1997: 266-277 [doi]

Service Combinators for Web ComputingLuca Cardelli, Rowan Davies. DSL 1997: 1-10 [doi]

Type SystemsLuca Cardelli. In Allen B. Tucker, editor, The Computer Science and Engineering Handbook. pages 2208-2236, CRC Press, 1997.

1996

On Subtyping and MatchingMartín Abadi, Luca Cardelli. TOPLAS, 18(4):401-423, 1996. [doi]

A Theory of ObjectsMartín Abadi, Luca Cardelli. Monographs in Computer Science, Springer, April 1996.

A theory of objectsMartín Abadi, Luca Cardelli. Springer, 1996.

An Interpretation of Objects and Object TypesMartín Abadi, Luca Cardelli, Ramesh Viswanathan. POPL 1996: 396-409 [doi]

A Theory of Primitive Objects: Untyped and First-Order SystemsMartín Abadi, Luca Cardelli. iandc, 125(2):78-102, 1996.

Migratory ApplicationsKrishna Bharat, Luca Cardelli. mos 1997: 131-148

Mobile ComputationLuca Cardelli. mos 1997: 3-6

Global ComputationLuca Cardelli. ACM Comput. Surv., 28(4es):163, 1996.

Type SystemsLuca Cardelli. ACM Comput. Surv., 28(1):263-264, 1996.

Bad Engineering Properties of Object-Oriented LanguagesLuca Cardelli. ACM Comput. Surv., 28(4es):150, 1996.

1995

On Subtyping and MatchingMartín Abadi, Luca Cardelli. ECOOP 1995: 145-167 [doi]

Dynamic Typing in Polymorphic LanguagesMartín Abadi, Luca Cardelli, Benjamin C. Pierce, Didier Rémy. JFP, 5(1):111-130, 1995.

An Imperative Object CalculusMartín Abadi, Luca Cardelli. tapsoft 1995: 471-485

An Imperative Object Calculus (Invited Paper)Martín Abadi, Luca Cardelli. tapos, 1(3):151-166, 1995.

A Theory of Primitive Objects: Second-Order SystemsMartín Abadi, Luca Cardelli. SCP, 25(2-3):81-116, 1995.

Migratory ApplicationsKrishna Bharat, Luca Cardelli. uist 1995: 132-142 [doi]

On Binary MethodsKim B. Bruce, Luca Cardelli, Giuseppe Castagna, Jonathan Eifrig, Scott F. Smith, Valery Trifonov, Gary T. Leavens, Benjamin C. Pierce. tapos, 1(3):221-242, 1995.

A Language with Distributed ScopeLuca Cardelli. csys, 8(1):27-59, 1995.

A Language with Distributed ScopeLuca Cardelli. POPL 1995: 286-297

1994

A Theory of Primitive Objects - Untyped and First-Order SystemsMartín Abadi, Luca Cardelli. tacs 1994: 296-320

A Semantics of Object TypesMartín Abadi, Luca Cardelli. lics 1994: 332-341

An Extension of System F with SubtypingLuca Cardelli, Simone Martini, John C. Mitchell, Andre Scedrov. iandc, 109(1/2):4-56, February/March 1994.

Extensible syntax with lexical scopingLuca Cardelli, Florian Matthes, Martín Abadi. SRC Research Report 121, 1994. [doi]

Subtyping and ParametricityGordon D. Plotkin, Martín Abadi, Luca Cardelli. lics 1994: 310-319

PreviousNext