The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Luca Cardelli: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Antonio Albano, Luca Cardelli, Renzo Orsini
    Galileo: A Strongly-Typed, Interactive Conceptual Language. [Citation Graph (103, 23)][DBLP]
    ACM Trans. Database Syst., 1985, v:10, n:2, pp:230-260 [Journal]
  2. Luca Cardelli, Peter Wegner
    On Understanding Types, Data Abstraction, and Polymorphism. [Citation Graph (68, 0)][DBLP]
    ACM Comput. Surv., 1985, v:17, n:4, pp:471-522 [Journal]
  3. Luca Cardelli
    A Semantics of Multiple Inheritance [Citation Graph (32, 0)][DBLP]
    Inf. Comput., 1988, v:76, n:2/3, pp:138-164 [Journal]
  4. Luca Cardelli
    Types for Data-Oriented Languages. [Citation Graph (13, 8)][DBLP]
    EDBT, 1988, pp:1-15 [Conf]
  5. Luca Cardelli
    Structural Subtyping and the Notion of Power Type. [Citation Graph (5, 0)][DBLP]
    POPL, 1988, pp:70-79 [Conf]
  6. Luca Cardelli, David B. MacQueen
    Persistence and Type Abstraction. [Citation Graph (4, 0)][DBLP]
    Data Types and Persistence (Appin), 1985, pp:31-41 [Conf]
  7. Martín Abadi, Luca Cardelli, Benjamin C. Pierce, Gordon D. Plotkin
    Dynamic Typing in a Statically-Typed Language. [Citation Graph (3, 0)][DBLP]
    POPL, 1989, pp:213-227 [Conf]
  8. Luca Cardelli, Simone Martini, John C. Mitchell, Andre Scedrov
    An Extension of System F with Subtyping. [Citation Graph (3, 0)][DBLP]
    TACS, 1991, pp:750-770 [Conf]
  9. Luca Cardelli
    Basic Polymorphic Typechecking. [Citation Graph (3, 0)][DBLP]
    Sci. Comput. Program., 1987, v:8, n:2, pp:147-172 [Journal]
  10. Martín Abadi, Luca Cardelli
    On Subtyping and Matching. [Citation Graph (2, 0)][DBLP]
    ECOOP, 1995, pp:145-167 [Conf]
  11. Martín Abadi, Luca Cardelli, Benjamin C. Pierce, Gordon D. Plotkin
    Dynamic Typing in a Statically Typed Language. [Citation Graph (2, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1991, v:13, n:2, pp:237-268 [Journal]
  12. Luca Cardelli, John C. Mitchell
    Operations in Records. [Citation Graph (1, 0)][DBLP]
    Category Theory and Computer Science, 1989, pp:75-81 [Conf]
  13. Luca Cardelli
    A Pure Calculus of Subtyping, and Applications (Outline). [Citation Graph (1, 1)][DBLP]
    DBPL, 1991, pp:185-187 [Conf]
  14. Luca Cardelli, Florian Matthes, Martín Abadi
    Extensible Grammars for Language Specialization. [Citation Graph (1, 13)][DBLP]
    DBPL, 1993, pp:11-31 [Conf]
  15. Roberto M. Amadio, Luca Cardelli
    Subtyping Recursive Types. [Citation Graph (1, 0)][DBLP]
    POPL, 1991, pp:104-118 [Conf]
  16. Luca Cardelli
    A Language with Distributed Scope. [Citation Graph (1, 0)][DBLP]
    Computing Systems, 1995, v:8, n:1, pp:27-59 [Journal]
  17. Martín Abadi, Luca Cardelli, Benjamin C. Pierce, Didier Rémy
    Dynamic Typing in Polymorphic Languages. [Citation Graph (1, 0)][DBLP]
    J. Funct. Program., 1995, v:5, n:1, pp:111-130 [Journal]
  18. Luca Cardelli, Giuseppe Longo
    A Semantic Basis for Quest. [Citation Graph (1, 0)][DBLP]
    J. Funct. Program., 1991, v:1, n:4, pp:417-458 [Journal]
  19. Martín Abadi, Luca Cardelli
    On Subtyping and Matching. [Citation Graph (1, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1996, v:18, n:4, pp:401-423 [Journal]
  20. Roberto M. Amadio, Luca Cardelli
    Subtyping Recursive Types. [Citation Graph (1, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1993, v:15, n:4, pp:575-631 [Journal]
  21. Luca Cardelli
    Brane Calculi. [Citation Graph (0, 0)][DBLP]
    CMSB, 2004, pp:257-278 [Conf]
  22. Luís Caires, Luca Cardelli
    A Spatial Logic for Concurrency (Part II). [Citation Graph (0, 0)][DBLP]
    CONCUR, 2002, pp:209-225 [Conf]
  23. Luca Cardelli
    A Compositional Approach to the Stochastic Dynamics of Gene Networks. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2005, pp:4- [Conf]
  24. Luca Cardelli
    An Implementation Model of Rendezvous Communication. [Citation Graph (0, 0)][DBLP]
    Seminar on Concurrency, 1984, pp:449-457 [Conf]
  25. Luca Cardelli, Giorgio Ghelli, Andrew D. Gordon
    Secrecy and Group Creation. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2000, pp:365-379 [Conf]
  26. Luca Cardelli
    Semistructured Computation. [Citation Graph (0, 0)][DBLP]
    DBPL, 1999, pp:1-16 [Conf]
  27. Luca Cardelli, Rowan Davies
    Service Combinators for Web Computing. [Citation Graph (0, 0)][DBLP]
    DSL, 1997, pp:1-10 [Conf]
  28. Nick Benton, Luca Cardelli, Cédric Fournet
    Modern Concurrency Abstractions for C#. [Citation Graph (0, 0)][DBLP]
    ECOOP, 2002, pp:415-440 [Conf]
  29. Luca Cardelli
    Abstractions for Mobile Computation. [Citation Graph (0, 0)][DBLP]
    Secure Internet Programming, 1999, pp:51-94 [Conf]
  30. Martín Abadi, Luca Cardelli
    A Theory of Primitive Objects - Scond-Order Systems. [Citation Graph (0, 0)][DBLP]
    ESOP, 1994, pp:1-25 [Conf]
  31. Luca Cardelli, Giorgio Ghelli
    A Query Language Based on the Ambient Logic. [Citation Graph (0, 0)][DBLP]
    ESOP, 2001, pp:1-22 [Conf]
  32. Luca Cardelli
    Typechecking Dependent Types and Subtypes. [Citation Graph (0, 0)][DBLP]
    Foundations of Logic and Functional Programming, 1986, pp:45-57 [Conf]
  33. Luca Cardelli
    Foundations for Wide-Area Systems (Tutorial). [Citation Graph (0, 0)][DBLP]
    FMOODS, 1999, pp:- [Conf]
  34. Luca Cardelli, Philippa Gardner, Giorgio Ghelli
    Manipulating Trees with Hidden Labels. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2003, pp:216-232 [Conf]
  35. Luca Cardelli, Andrew D. Gordon
    Mobile Ambients. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 1998, pp:140-155 [Conf]
  36. Andrew D. Gordon, Luca Cardelli
    Equational Properties of Mobile Ambients. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 1999, pp:212-226 [Conf]
  37. Luca Cardelli
    Real Time Agents. [Citation Graph (0, 0)][DBLP]
    ICALP, 1982, pp:94-106 [Conf]
  38. Luca Cardelli
    Wide Area Computation. [Citation Graph (0, 0)][DBLP]
    ICALP, 1999, pp:10-24 [Conf]
  39. Luca Cardelli, Philippa Gardner, Giorgio Ghelli
    A Spatial Logic for Querying Graphs. [Citation Graph (0, 0)][DBLP]
    ICALP, 2002, pp:597-610 [Conf]
  40. Luca Cardelli, Andrew D. Gordon, Giorgio Ghelli
    Mobility Types for Mobile Ambients. [Citation Graph (0, 0)][DBLP]
    ICALP, 1999, pp:230-239 [Conf]
  41. Alain Frisch, Luca Cardelli
    Greedy Regular Expression Matching. [Citation Graph (0, 0)][DBLP]
    ICALP, 2004, pp:618-629 [Conf]
  42. Luca Cardelli
    Transitions in programming models: 2. [Citation Graph (0, 0)][DBLP]
    ICSE, 2005, pp:2- [Conf]
  43. Luca Cardelli
    Biological Systems as Reactive Systems. [Citation Graph (0, 0)][DBLP]
    ICTCS, 2005, pp:21- [Conf]
  44. Luca Cardelli, Giorgio Ghelli, Andrew D. Gordon
    Ambient Groups and Mobility Types. [Citation Graph (0, 0)][DBLP]
    IFIP TCS, 2000, pp:333-347 [Conf]
  45. Luca Cardelli
    Wide Area Computation. [Citation Graph (0, 0)][DBLP]
    JISBD, 2000, pp:5- [Conf]
  46. Luca Cardelli
    Compiling a Functional Language. [Citation Graph (0, 0)][DBLP]
    LISP and Functional Programming, 1984, pp:208-217 [Conf]
  47. Luca Cardelli, Giuseppe Longo
    A Semantic Basis for Quest. [Citation Graph (0, 0)][DBLP]
    LISP and Functional Programming, 1990, pp:30-43 [Conf]
  48. Martín Abadi, Luca Cardelli
    A Semantics of Object Types [Citation Graph (0, 0)][DBLP]
    LICS, 1994, pp:332-341 [Conf]
  49. Gordon D. Plotkin, Martín Abadi, Luca Cardelli
    Subtyping and Parametricity [Citation Graph (0, 0)][DBLP]
    LICS, 1994, pp:310-319 [Conf]
  50. Luca Cardelli
    Amber. [Citation Graph (0, 0)][DBLP]
    Combinators and Functional Programming Languages, 1985, pp:21-47 [Conf]
  51. Luca Cardelli
    The Amber Machine. [Citation Graph (0, 0)][DBLP]
    Combinators and Functional Programming Languages, 1985, pp:48-70 [Conf]
  52. Luca Cardelli
    Wide-Area Languages. [Citation Graph (0, 0)][DBLP]
    Mobile Agents, 1998, pp:208- [Conf]
  53. Luca Cardelli
    Analog Processes. [Citation Graph (0, 0)][DBLP]
    MFCS, 1980, pp:181-193 [Conf]
  54. Luca Cardelli, John C. Mitchell
    Operations on Records. [Citation Graph (0, 0)][DBLP]
    Mathematical Foundations of Programming Semantics, 1989, pp:22-52 [Conf]
  55. Krishna Bharat, Luca Cardelli
    Migratory Applications. [Citation Graph (0, 0)][DBLP]
    Mobile Object Systems, 1996, pp:131-148 [Conf]
  56. Luca Cardelli
    Mobile Computation. [Citation Graph (0, 0)][DBLP]
    Mobile Object Systems, 1996, pp:3-6 [Conf]
  57. Luca Cardelli
    A Language with Distributed Scope. [Citation Graph (0, 0)][DBLP]
    POPL, 1995, pp:286-297 [Conf]
  58. Luca Cardelli
    Program Fragments, Linking, and Modularization. [Citation Graph (0, 0)][DBLP]
    POPL, 1997, pp:266-277 [Conf]
  59. Luca Cardelli, Andrew D. Gordon
    Anytime, Anywhere: Modal Logics for Mobile Ambients. [Citation Graph (0, 0)][DBLP]
    POPL, 2000, pp:365-377 [Conf]
  60. Martín Abadi, Luca Cardelli, Pierre-Louis Curien
    Formal Parametric Polymorphism. [Citation Graph (0, 0)][DBLP]
    POPL, 1993, pp:157-170 [Conf]
  61. Martín Abadi, Luca Cardelli, Pierre-Louis Curien, Jean-Jacques Lévy
    Explicit Substitutions. [Citation Graph (0, 0)][DBLP]
    POPL, 1990, pp:31-46 [Conf]
  62. Martín Abadi, Luca Cardelli, Ramesh Viswanathan
    An Interpretation of Objects and Object Types. [Citation Graph (0, 0)][DBLP]
    POPL, 1996, pp:396-409 [Conf]
  63. Luca Cardelli, James E. Donahue, Mick J. Jordan, Bill Kalsow, Greg Nelson
    The Modula-3 Type System. [Citation Graph (0, 0)][DBLP]
    POPL, 1989, pp:202-212 [Conf]
  64. Luca Cardelli, Andrew D. Gordon
    Types for Mobile Ambients. [Citation Graph (0, 0)][DBLP]
    POPL, 1999, pp:79-92 [Conf]
  65. Luca Cardelli, David B. MacQueen
    Persistence and Type Abstraction. [Citation Graph (0, 0)][DBLP]
    Data Types and Persistence (Appin), Informal Proceedings, 1985, pp:221-230 [Conf]
  66. Luca Cardelli
    A Semantics of Multiple Inheritance. [Citation Graph (0, 0)][DBLP]
    Semantics of Data Types, 1984, pp:51-67 [Conf]
  67. Luca Cardelli, Giorgio Ghelli
    A Query Language Based on the Ambient Logic. [Citation Graph (0, 0)][DBLP]
    SEBD, 2001, pp:95-104 [Conf]
  68. Luca Cardelli, Rob Pike
    Squeak: a language for communicating with mice. [Citation Graph (0, 0)][DBLP]
    SIGGRAPH, 1985, pp:199-204 [Conf]
  69. Martín Abadi, Luca Cardelli
    A Theory of Primitive Objects - Untyped and First-Order Systems. [Citation Graph (0, 0)][DBLP]
    TACS, 1994, pp:296-320 [Conf]
  70. Kim B. Bruce, Luca Cardelli, Benjamin C. Pierce
    Comparing Object Encodings. [Citation Graph (0, 0)][DBLP]
    TACS, 1997, pp:415-438 [Conf]
  71. Luís Caires, Luca Cardelli
    A Spatial Logic for Concurrency. [Citation Graph (0, 0)][DBLP]
    TACS, 2001, pp:1-37 [Conf]
  72. Martín Abadi, Luca Cardelli
    An Imperative Object Calculus. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, 1995, pp:471-485 [Conf]
  73. Cristiano Calcagno, Luca Cardelli, Andrew D. Gordon
    Deciding validity in a spatial logic for trees. [Citation Graph (0, 0)][DBLP]
    TLDI, 2003, pp:62-73 [Conf]
  74. Luca Cardelli, Andrew D. Gordon
    Logical Properties of Name Restriction. [Citation Graph (0, 0)][DBLP]
    TLCA, 2001, pp:46-60 [Conf]
  75. Cristiano Calcagno, Luca Cardelli, Andrew D. Gordon
    Deciding validity in a spatial logic for trees. [Citation Graph (0, 0)][DBLP]
    TLDI, 2003, pp:62-73 [Conf]
  76. Krishna Bharat, Luca Cardelli
    Migratory Applications. [Citation Graph (0, 0)][DBLP]
    ACM Symposium on User Interface Software and Technology, 1995, pp:132-142 [Conf]
  77. Luca Cardelli
    Building User Interfaces by Direct Manipulation. [Citation Graph (0, 0)][DBLP]
    ACM Symposium on User Interface Software and Technology, 1988, pp:152-166 [Conf]
  78. Luca Cardelli
    Type Systems. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:1, pp:263-264 [Journal]
  79. Luca Cardelli
    Bad Engineering Properties of Object-Oriented Languages. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:150- [Journal]
  80. Luca Cardelli
    Global Computation. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:163- [Journal]
  81. Luca Cardelli, Andrew D. Gordon
    Mobile Ambients. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1997, v:10, n:, pp:- [Journal]
  82. Luca Cardelli, Andy Gordon, Giorgio Ghelli
    Secrecy, Group Creation. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2000, v:40, n:, pp:- [Journal]
  83. Luca Cardelli, Philippa Gardner, Giorgio Ghelli
    Manipulating Trees with Hidden Labels. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:172, n:, pp:177-201 [Journal]
  84. Luca Cardelli, Marcelo P. Fiore, Glynn Winskel
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:172, n:, pp:1-4 [Journal]
  85. Martín Abadi, Luca Cardelli
    A Theory of Primitive Objects: Untyped and First-Order Systems. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1996, v:125, n:2, pp:78-102 [Journal]
  86. Luís Caires, Luca Cardelli
    A spatial logic for concurrency (part I). [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2003, v:186, n:2, pp:194-235 [Journal]
  87. Luca Cardelli, Giorgio Ghelli, Andrew D. Gordon
    Types for the Ambient Calculus. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2002, v:177, n:2, pp:160-194 [Journal]
  88. Kim B. Bruce, Luca Cardelli, Benjamin C. Pierce
    Comparing Object Encodings. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1999, v:155, n:1-2, pp:108-133 [Journal]
  89. Luca Cardelli, Giorgio Ghelli, Andrew D. Gordon
    Secrecy and group creation. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2005, v:196, n:2, pp:127-155 [Journal]
  90. Luca Cardelli, Simone Martini, John C. Mitchell, Andre Scedrov
    An Extension of System F with Subtyping [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1994, v:109, n:1/2, pp:4-56 [Journal]
  91. Luca Cardelli, Gheorghe Paun
    An universality result for a (mem)brane calculus based on mate/drip operations. [Citation Graph (0, 0)][DBLP]
    Int. J. Found. Comput. Sci., 2006, v:17, n:1, pp:49-68 [Journal]
  92. Martín Abadi, Luca Cardelli, Pierre-Louis Curien, Jean-Jacques Lévy
    Explicit Substitutions. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 1991, v:1, n:4, pp:375-416 [Journal]
  93. Cristiano Calcagno, Luca Cardelli, Andrew D. Gordon
    Deciding validity in a spatial logic for trees. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 2005, v:15, n:4, pp:543-572 [Journal]
  94. Luca Cardelli, Giorgio Ghelli
    TQL: a query language for semistructured data based on the ambient logic. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 2004, v:14, n:3, pp:285-327 [Journal]
  95. Luca Cardelli, John C. Mitchell
    Operations on Records. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 1991, v:1, n:1, pp:3-48 [Journal]
  96. Andrew D. Gordon, Luca Cardelli
    Equational Properties Of Mobile Ambients. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 2003, v:13, n:3, pp:371-408 [Journal]
  97. Martín Abadi, Luca Cardelli
    A Theory of Primitive Objects: Second-Order Systems. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1995, v:25, n:2-3, pp:81-116 [Journal]
  98. Luca Cardelli
    Describing Semistructured Data. [Citation Graph (0, 0)][DBLP]
    SIGMOD Record, 2001, v:30, n:4, pp:80-85 [Journal]
  99. Luca Cardelli, James E. Donahue, Lucille Glassman, Mick J. Jordan, Bill Kalsow, Greg Nelson
    Modula-3 language definition. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 1992, v:27, n:8, pp:15-42 [Journal]
  100. Luca Cardelli
    Global Computation. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 1997, v:32, n:1, pp:66-68 [Journal]
  101. Martín Abadi, Luca Cardelli
    An Imperative Object Calculus (Invited Paper). [Citation Graph (0, 0)][DBLP]
    TAPOS, 1995, v:1, n:3, pp:151-166 [Journal]
  102. Kim B. Bruce, Luca Cardelli, Giuseppe Castagna, Jonathan Eifrig, Scott F. Smith, Valery Trifonov, Gary T. Leavens, Benjamin C. Pierce
    On Binary Methods. [Citation Graph (0, 0)][DBLP]
    TAPOS, 1995, v:1, n:3, pp:221-242 [Journal]
  103. Martín Abadi, Luca Cardelli, Pierre-Louis Curien
    Formal Parametric Polymorphism. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1993, v:121, n:1&2, pp:9-58 [Journal]
  104. Luís Caires, Luca Cardelli
    A spatial logic for concurrency - II. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2004, v:322, n:3, pp:517-565 [Journal]
  105. Luca Cardelli, Andrew D. Gordon
    Mobile ambients. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2000, v:240, n:1, pp:177-213 [Journal]
  106. Aviv Regev, Ekaterina M. Panina, William Silverman, Luca Cardelli, Ehud Y. Shapiro
    BioAmbients: an abstraction for biological compartments. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2004, v:325, n:1, pp:141-167 [Journal]
  107. Ralf Blossey, Luca Cardelli, Andrew Phillips
    A Compositional Approach to the Stochastic Dynamics of Gene Networks. [Citation Graph (0, 0)][DBLP]
    , 2006, v:, n:, pp:99-122 [Journal]
  108. Luca Cardelli
    Abstract Machines of Systems Biology. [Citation Graph (0, 0)][DBLP]
    , 2005, v:, n:, pp:145-168 [Journal]
  109. Andrew Phillips, Luca Cardelli, Giuseppe Castagna
    A Graphical Representation for Biological Processes in the Stochastic pi-Calculus. [Citation Graph (0, 0)][DBLP]
    , 2006, v:, n:, pp:123-152 [Journal]
  110. Nick Benton, Luca Cardelli, Cédric Fournet
    Modern concurrency abstractions for C#. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2004, v:26, n:5, pp:769-804 [Journal]
  111. Luca Cardelli, Rowan Davies
    Service Combinators for Web Computing. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1999, v:25, n:3, pp:309-316 [Journal]
  112. Andrew Phillips, Luca Cardelli
    Efficient, Correct Simulation of Biological Processes in the Stochastic Pi-calculus. [Citation Graph (0, 0)][DBLP]
    CMSB, 2007, pp:184-199 [Conf]
  113. Luca Cardelli
    An Accidental Simula User. [Citation Graph (0, 0)][DBLP]
    ECOOP, 2007, pp:201- [Conf]

  114. Processes in Space. [Citation Graph (, )][DBLP]


  115. Termination Problems in Chemical Kinetics. [Citation Graph (, )][DBLP]


  116. Molecules as Automata. [Citation Graph (, )][DBLP]


  117. Strand Algebras for DNA Computing. [Citation Graph (, )][DBLP]


  118. From Processes to ODEs by Chemistry. [Citation Graph (, )][DBLP]


  119. Invited Talk: A Process Algebra Master Equation. [Citation Graph (, )][DBLP]


  120. Molecules as Automata. [Citation Graph (, )][DBLP]


  121. On the Computational Power of Biochemistry. [Citation Graph (, )][DBLP]


  122. An Intuitive Automated Modelling Interface for Systems Biology [Citation Graph (, )][DBLP]


  123. Two-Domain DNA Strand Displacement [Citation Graph (, )][DBLP]


  124. A Process Model of Rho GTP-binding Proteins in the Context of Phagocytosis. [Citation Graph (, )][DBLP]


  125. A Process Model of Actin Polymerisation. [Citation Graph (, )][DBLP]


Search in 1.776secs, Finished in 1.779secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002