Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Luca Cardelli" ( http://dblp.L3S.de/Authors/Luca_Cardelli )

URL (Homepage):  http://lucacardelli.name/  Author page on DBLP  Author page in RDF  Community of Luca Cardelli in ASPL-2

Publication years (Num. hits)
1980-1988 (18) 1989-1993 (18) 1994-1996 (23) 1997-1999 (19) 2000-2002 (15) 2003-2005 (17) 2006-2008 (18) 2009-2011 (18)
Publication types (Num. hits)
article(52) book(1) incollection(2) inproceedings(86) proceedings(5)
Venues (Conferences, Journals, ...)
POPL(12) Inf. Comput.(7) Theor. Comput. Sci.(7) Electr. Notes Theor. Comput. S...(6) ICALP(6) ACM Comput. Surv.(4) ACM Trans. Program. Lang. Syst...(4) CONCUR(4) ECOOP(4) J. Funct. Program.(4) Mathematical Structures in Com...(4) T. Comp. Sys. Biology(4) TACS(4) CMSB(3) DBPL(3) FoSSaCS(3) More (+10 of total 67)
Authors
Luca Cardelli(146) Martín Abadi(20) Andrew D. Gordon(15) Giorgio Ghelli(12) Philippa Gardner(7) Benjamin C. Pierce(6) Andrew Phillips(5) John C. Mitchell(5) Luís Caires(4) Ozan Kahramanogullari(4) Pierre-Louis Curien(4) David B. MacQueen(3) Emmanuelle Caron(3) Gianluigi Zavattaro(3) Gordon D. Plotkin(3) Kim B. Bruce(3) More (+10 of total 69)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 26 occurrences of 25 keywords
Results
Found 146 publication records. Showing 146 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Luca Cardelli Strand algebras for DNA computing. Search on Bibsonomy Natural Computing The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Neil 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. Search on Bibsonomy PLoS Computational Biology The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Luca Cardelli, Cosimo Laneve Reversibility in Massive Concurrent Systems Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Steffen van Bakel, Luca Cardelli, Maria Grazia Vigliotti From X to Pi; Representing the Classical Sequent Calculus in the Pi-calculus Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Luca Cardelli, William M. Shih (eds.) DNA Computing and Molecular Programming - 17th International Conference, DNA 17, Pasadena, CA, USA, September 19-23, 2011. Proceedings Search on Bibsonomy DNA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Luca Cardelli, Kim G. Larsen, Radu Mardare Modular Markovian Logic. Search on Bibsonomy ICALP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Luca Cardelli, Cosimo Laneve Reversible structures. Search on Bibsonomy CMSB The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Luca Cardelli, Kim G. Larsen, Radu Mardare Continuous Markovian Logic - From Complete Axiomatization to the Metric Space of Formulas. Search on Bibsonomy CSL The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Luca Cardelli, Gianluigi Zavattaro Turing universality of the Biochemical Ground Form. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Luca Cardelli Two-Domain DNA Strand Displacement Search on Bibsonomy DCM The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Luca Cardelli Algebras and Languages for Molecular Programming. Search on Bibsonomy UC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Luca Cardelli, Radu Mardare The Measurable Space of Stochastic Processes. Search on Bibsonomy QEST The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Luca Cardelli, Philippa Gardner Processes in Space. Search on Bibsonomy CiE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Luca Cardelli, Emmanuelle Caron, Philippa Gardner, Ozan Kahramanogullari, Andrew Phillips A process model of Rho GTP-binding proteins. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Luca Cardelli, Emmanuelle Caron, Philippa Gardner, Ozan Kahramanogullari, Andrew Phillips A Process Model of Actin Polymerisation. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Ozan Kahramanogullari, Luca Cardelli, Emmanuelle Caron An Intuitive Automated Modelling Interface for Systems Biology Search on Bibsonomy DCM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Luca Cardelli, Corrado Priami Visualization in process algebra models of biological systems. Search on Bibsonomy The Fourth Paradigm The full citation details ... 2009 DBLP  BibTeX  RDF
1Luca Cardelli Strand Algebras for DNA Computing. Search on Bibsonomy DNA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Luca Cardelli Bitonal membrane systems: Interactions of biological membranes. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Luca Cardelli On process rate semantics. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Luca Cardelli, Philippa Gardner, Ozan Kahramanogullari A Process Model of Rho GTP-binding Proteins in the Context of Phagocytosis. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Gianluigi Zavattaro, Luca Cardelli Termination Problems in Chemical Kinetics. Search on Bibsonomy CONCUR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Luca Cardelli Molecules as Automata. Search on Bibsonomy WADT The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Luca Cardelli From Processes to ODEs by Chemistry. Search on Bibsonomy IFIP TCS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Luca Cardelli Molecules as Automata. Search on Bibsonomy CSL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Luca Cardelli, Gianluigi Zavattaro On the Computational Power of Biochemistry. Search on Bibsonomy AB The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Luca Cardelli, Marcelo P. Fiore, Glynn Winskel Preface. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Luca Cardelli, Philippa Gardner, Giorgio Ghelli Manipulating Trees with Hidden Labels. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Luca Cardelli Machines of Systems Biology. Search on Bibsonomy Bulletin of the EATCS The full citation details ... 2007 DBLP  BibTeX  RDF
1Andrew Phillips, Luca Cardelli Efficient, Correct Simulation of Biological Processes in the Stochastic Pi-calculus. Search on Bibsonomy CMSB The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Luca Cardelli Invited Talk: A Process Algebra Master Equation. Search on Bibsonomy QEST The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Luca Cardelli An Accidental Simula User. Search on Bibsonomy ECOOP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Luca Cardelli, Gheorghe Paun An universality result for a (mem)brane calculus based on mate/drip operations. Search on Bibsonomy Int. J. Found. Comput. Sci. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Andrew Phillips, Luca Cardelli, Giuseppe Castagna A Graphical Representation for Biological Processes in the Stochastic pi-Calculus. Search on Bibsonomy T. Comp. Sys. Biology The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Corrado Priami, Luca Cardelli, Stephen Emmott (eds.) Transactions on Computational Systems Biology IV Search on Bibsonomy T. Comp. Sys. Biology The full citation details ... 2006 DBLP  BibTeX  RDF
1Ralf Blossey, Luca Cardelli, Andrew Phillips A Compositional Approach to the Stochastic Dynamics of Gene Networks. Search on Bibsonomy T. Comp. Sys. Biology The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Luca Cardelli, Giorgio Ghelli, Andrew D. Gordon Secrecy and group creation. Search on Bibsonomy Inf. Comput. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Cristiano Calcagno, Luca Cardelli, Andrew D. Gordon Deciding validity in a spatial logic for trees. Search on Bibsonomy J. Funct. Program. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Luca Cardelli Abstract Machines of Systems Biology. Search on Bibsonomy T. Comp. Sys. Biology The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Luca Cardelli A Compositional Approach to the Stochastic Dynamics of Gene Networks. Search on Bibsonomy CONCUR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Luca Cardelli Biological Systems as Reactive Systems. Search on Bibsonomy ICTCS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Luca Cardelli Transitions in programming models: 2. Search on Bibsonomy ICSE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Luís Caires, Luca Cardelli A spatial logic for concurrency - II. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Aviv Regev, Ekaterina M. Panina, William Silverman, Luca Cardelli, Ehud Y. Shapiro BioAmbients: an abstraction for biological compartments. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Luca Cardelli, Giorgio Ghelli TQL: a query language for semistructured data based on the ambient logic. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Nick Benton, Luca Cardelli, Cédric Fournet Modern concurrency abstractions for C#. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF join calculus, polyphonic C?, synchronization, events, threads, messages, Asynchrony, chords
1Alain Frisch, Luca Cardelli Greedy Regular Expression Matching. Search on Bibsonomy ICALP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Luca Cardelli Brane Calculi. Search on Bibsonomy CMSB The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Andrew D. Gordon, Luca Cardelli Equational Properties Of Mobile Ambients. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Luís Caires, Luca Cardelli A spatial logic for concurrency (part I). Search on Bibsonomy Inf. Comput. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Cristiano Calcagno, Luca Cardelli, Andrew D. Gordon Deciding validity in a spatial logic for trees. Search on Bibsonomy TLDI The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Luca Cardelli (eds.) ECOOP 2003 - Object-Oriented Programming, 17th European Conference, Darmstadt, Germany, July 21-25, 2003, Proceedings Search on Bibsonomy ECOOP The full citation details ... 2003 DBLP  BibTeX  RDF
1Luca Cardelli, Philippa Gardner, Giorgio Ghelli Manipulating Trees with Hidden Labels. Search on Bibsonomy FoSSaCS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Luca Cardelli, Giorgio Ghelli, Andrew D. Gordon Types for the Ambient Calculus. Search on Bibsonomy Inf. Comput. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Luís Caires, Luca Cardelli A Spatial Logic for Concurrency (Part II). Search on Bibsonomy CONCUR The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Luca Cardelli, Philippa Gardner, Giorgio Ghelli A Spatial Logic for Querying Graphs. Search on Bibsonomy ICALP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Nick Benton, Luca Cardelli, Cédric Fournet Modern Concurrency Abstractions for C#. Search on Bibsonomy ECOOP The full citation details ... 2002 DBLP  BibTeX  RDF
1Luca Cardelli Describing Semistructured Data. Search on Bibsonomy SIGMOD Record The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Luca Cardelli, Andrew D. Gordon Logical Properties of Name Restriction. Search on Bibsonomy TLCA The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Luís Caires, Luca Cardelli A Spatial Logic for Concurrency. Search on Bibsonomy TACS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Luca Cardelli, Giorgio Ghelli A Query Language Based on the Ambient Logic. Search on Bibsonomy SEBD The full citation details ... 2001 DBLP  BibTeX  RDF
1Luca Cardelli, Giorgio Ghelli A Query Language Based on the Ambient Logic. Search on Bibsonomy ESOP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Luca Cardelli, Andrew D. Gordon Mobile ambients. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Luca Cardelli, Andy Gordon, Giorgio Ghelli Secrecy, Group Creation. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Luca Cardelli, Giorgio Ghelli, Andrew D. Gordon Secrecy and Group Creation. Search on Bibsonomy CONCUR The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Luca Cardelli, Andrew D. Gordon Anytime, Anywhere: Modal Logics for Mobile Ambients. Search on Bibsonomy POPL The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Luca Cardelli, Giorgio Ghelli, Andrew D. Gordon Ambient Groups and Mobility Types. Search on Bibsonomy IFIP TCS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Luca Cardelli Wide Area Computation. Search on Bibsonomy JISBD The full citation details ... 2000 DBLP  BibTeX  RDF
1Luca Cardelli, Rowan Davies Service Combinators for Web Computing. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF wide area computation, World Wide Web, Programming languages
1Kim B. Bruce, Luca Cardelli, Benjamin C. Pierce Comparing Object Encodings. Search on Bibsonomy Inf. Comput. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Luca Cardelli Foundations for Wide-Area Systems (Tutorial). Search on Bibsonomy FMOODS The full citation details ... 1999 DBLP  BibTeX  RDF
1Luca Cardelli Abstractions for Mobile Computation. Search on Bibsonomy Secure Internet Programming The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Luca Cardelli, Andrew D. Gordon, Giorgio Ghelli Mobility Types for Mobile Ambients. Search on Bibsonomy ICALP The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Luca Cardelli Wide Area Computation. Search on Bibsonomy ICALP The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Luca Cardelli, Andrew D. Gordon Types for Mobile Ambients. Search on Bibsonomy POPL The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Java
1Henri E. Bal, Boumediene Belkhouche, Luca Cardelli (eds.) Internet Programming Languages, ICCL'98 Workshop, Chicago, IL, USA, May 13, 1998, Proceedings Search on Bibsonomy ICCL Workshop: Internet Programming Languages The full citation details ... 1999 DBLP  BibTeX  RDF
1Luca Cardelli Semistructured Computation. Search on Bibsonomy DBPL The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Andrew D. Gordon, Luca Cardelli Equational Properties of Mobile Ambients. Search on Bibsonomy FoSSaCS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1David B. MacQueen, Luca Cardelli (eds.) POPL '98, Proceedings of the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Diego, CA, USA, January 19-21, 1998 Search on Bibsonomy POPL The full citation details ... 1998 DBLP  BibTeX  RDF
1Luca Cardelli Wide-Area Languages. Search on Bibsonomy Mobile Agents The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Luca Cardelli, Andrew D. Gordon Mobile Ambients. Search on Bibsonomy FoSSaCS The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Luca Cardelli Global Computation. Search on Bibsonomy SIGPLAN Notices The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Luca Cardelli, Andrew D. Gordon Mobile Ambients. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Luca Cardelli Type Systems. Search on Bibsonomy The Computer Science and Engineering Handbook The full citation details ... 1997 DBLP  BibTeX  RDF
1Kim B. Bruce, Luca Cardelli, Benjamin C. Pierce Comparing Object Encodings. Search on Bibsonomy TACS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Luca Cardelli Program Fragments, Linking, and Modularization. Search on Bibsonomy POPL The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Luca Cardelli, Rowan Davies Service Combinators for Web Computing. Search on Bibsonomy DSL The full citation details ... 1997 DBLP  BibTeX  RDF
1Martín Abadi, Luca Cardelli A Theory of Primitive Objects: Untyped and First-Order Systems. Search on Bibsonomy Inf. Comput. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Martín Abadi, Luca Cardelli On Subtyping and Matching. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF F-bounded, type operators, matching, subtyping, type theory
1Luca Cardelli Bad Engineering Properties of Object-Oriented Languages. Search on Bibsonomy ACM Comput. Surv. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Luca Cardelli Type Systems. Search on Bibsonomy ACM Comput. Surv. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Luca Cardelli Global Computation. Search on Bibsonomy ACM Comput. Surv. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Martín Abadi, Luca Cardelli A theory of objects. Search on Bibsonomy 1996   RDF
1Martín Abadi, Luca Cardelli, Ramesh Viswanathan An Interpretation of Objects and Object Types. Search on Bibsonomy POPL The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Luca Cardelli Mobile Computation. Search on Bibsonomy Mobile Object Systems The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Krishna Bharat, Luca Cardelli Migratory Applications. Search on Bibsonomy Mobile Object Systems The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Martín Abadi, Luca Cardelli A Theory of Primitive Objects: Second-Order Systems. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Luca Cardelli A Language with Distributed Scope. Search on Bibsonomy Computing Systems The full citation details ... 1995 DBLP  BibTeX  RDF
1Kim B. Bruce, Luca Cardelli, Giuseppe Castagna, Jonathan Eifrig, Scott F. Smith, Valery Trifonov, Gary T. Leavens, Benjamin C. Pierce On Binary Methods. Search on Bibsonomy TAPOS The full citation details ... 1995 DBLP  BibTeX  RDF
1Martín Abadi, Luca Cardelli An Imperative Object Calculus (Invited Paper). Search on Bibsonomy TAPOS The full citation details ... 1995 DBLP  BibTeX  RDF
Displaying result #1 - #100 of 146 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.