The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Carolyn L. Talcott: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Carolyn L. Talcott
    Composable Semantic Models for Actor Theories. [Citation Graph (1, 0)][DBLP]
    TACS, 1997, pp:321-364 [Conf]
  2. Carolyn L. Talcott
    Towards a Toolkit for Actor System Specification. [Citation Graph (0, 0)][DBLP]
    AMAST, 2000, pp:391-406 [Conf]
  3. Carolyn L. Talcott
    Towards a Theory of Binding Structures: An Abstract Algebra. [Citation Graph (0, 0)][DBLP]
    AMAST, 1991, pp:201-215 [Conf]
  4. Prasanna Thati, Carolyn L. Talcott, Gul Agha
    Techniques for Executing and Reasoning about Specification Diagrams. [Citation Graph (0, 0)][DBLP]
    AMAST, 2004, pp:521-536 [Conf]
  5. Alexandre Bronstein, Carolyn L. Talcott
    Formal Verification of Synchronous Circuits based on String-Functional Semantics: The 7 Paillet Circuits in Boyer-Moore. [Citation Graph (0, 0)][DBLP]
    Automatic Verification Methods for Finite State Systems, 1989, pp:317-333 [Conf]
  6. Ian A. Mason, Carolyn L. Talcott
    Program Transformation via Contextual Assertions. [Citation Graph (0, 0)][DBLP]
    Logic, Language and Computation, 1994, pp:225-254 [Conf]
  7. Richard W. Weyhrauch, Carolyn L. Talcott
    The Logic of FOL Systems: Formulated in Set Theory. [Citation Graph (0, 0)][DBLP]
    Logic, Language and Computation, 1994, pp:119-132 [Conf]
  8. Steven Eker, Keith Laderoute, Patrick Lincoln, M. G. Sriram, Carolyn L. Talcott
    Representing and Simulating Protein Functional Domains in Signal Transduction Using Maude. [Citation Graph (0, 0)][DBLP]
    CMSB, 2003, pp:164-165 [Conf]
  9. Gul Agha, Ian A. Mason, Scott F. Smith, Carolyn L. Talcott
    Towards a Theory of Actor Computation. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1992, pp:565-579 [Conf]
  10. José Meseguer, Carolyn L. Talcott
    A Partial Order Event Model for Concurrent Objects. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1999, pp:415-430 [Conf]
  11. Merrill Knapp, Linda Briesemeister, Steven Eker, Patrick Lincoln, Andy Poggio, Carolyn L. Talcott, Keith Laderoute
    Pathway Logic Helping Biologists Understand and Organize Pathway Information. [Citation Graph (0, 0)][DBLP]
    CSB Workshops, 2005, pp:155-156 [Conf]
  12. Carolyn L. Talcott, Steven Eker, Merrill Knapp, Patrick Lincoln, Keith Laderoute
    Pathway Logic Modeling of Protein Functional Domains in Signal Transduction. [Citation Graph (0, 0)][DBLP]
    CSB, 2003, pp:618-619 [Conf]
  13. Furio Honsell, Ian A. Mason, Scott F. Smith, Carolyn L. Talcott
    A Theory of Classes for a Functional Language with Effects. [Citation Graph (0, 0)][DBLP]
    CSL, 1992, pp:309-326 [Conf]
  14. Louis Galbiati, Carolyn L. Talcott
    A Simplifier for Untyped Lambda Expressions. [Citation Graph (0, 0)][DBLP]
    CTRS, 1990, pp:342-353 [Conf]
  15. Mark-Oliver Stehr, Carolyn L. Talcott
    Practical Techniques for Language Design and Prototyping. [Citation Graph (0, 0)][DBLP]
    Foundations of Global Computing, 2005, pp:- [Conf]
  16. José Meseguer, Peter Csaba Ölveczky, Mark-Oliver Stehr, Carolyn L. Talcott
    Maude as a Wide-Spectrum Framework for Formal Modeling and Analysis of Active Networks. [Citation Graph (0, 0)][DBLP]
    DANCE, 2002, pp:494-510 [Conf]
  17. Carolyn L. Talcott
    A theory for program and data type specification. [Citation Graph (0, 0)][DBLP]
    DISCO, 1990, pp:91-100 [Conf]
  18. Sandeep Uttamchandani, Carolyn L. Talcott, David Pease
    Eos: An Approach of Using Behavior Implications for Policy-Based Self-Management. [Citation Graph (0, 0)][DBLP]
    DSOM, 2003, pp:16-27 [Conf]
  19. Carolyn L. Talcott, Richard W. Weyhrauch
    Towards a Theory of Mechanizable Theories: I, FOL Contexts: The Extensional View. [Citation Graph (0, 0)][DBLP]
    ECAI, 1990, pp:634-639 [Conf]
  20. José Meseguer, Carolyn L. Talcott
    Semantic Models for Distributed Object Reflection. [Citation Graph (0, 0)][DBLP]
    ECOOP, 2002, pp:1-36 [Conf]
  21. Peter Csaba Ölveczky, Mark Keaton, José Meseguer, Carolyn L. Talcott, Steve Zabele
    Specification and Analysis of the AER/NCA Active Network Protocol Suite in Real-Time Maude. [Citation Graph (0, 0)][DBLP]
    FASE, 2001, pp:333-348 [Conf]
  22. Carolyn L. Talcott
    Rum. An Intensional Theory of Function and Control Abstractions. [Citation Graph (0, 0)][DBLP]
    Foundations of Logic and Functional Programming, 1986, pp:3-44 [Conf]
  23. Nalini Venkatasubramanian, Carolyn L. Talcott, Gul Agha
    A Formal Model for Reasoning about Adaptive QoS-Enabled Middleware. [Citation Graph (0, 0)][DBLP]
    FME, 2001, pp:197-221 [Conf]
  24. Scott F. Smith, Carolyn L. Talcott
    Modular Reasoning for Actor Specification Diagrams. [Citation Graph (0, 0)][DBLP]
    FMOODS, 1999, pp:- [Conf]
  25. Carolyn L. Talcott
    A Semantic Framework for Specifying and Reasoning about Composable Distributed Middleware Services. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2002, pp:25-26 [Conf]
  26. Alessandro Coglio, Fausto Giunchiglia, José Meseguer, Carolyn L. Talcott
    Composing and Controlling Search in Reasoning Theories Using Mappings. [Citation Graph (0, 0)][DBLP]
    FroCos, 2000, pp:200-216 [Conf]
  27. Fausto Giunchiglia, Paolo Pecchiari, Carolyn L. Talcott
    Reasoning Theories: Towards an Architecture for Open Mechanized Reasoning Systems. [Citation Graph (0, 0)][DBLP]
    Frontiers of Combining Systems (FroCos), 1996, pp:157-174 [Conf]
  28. Ian A. Mason, Carolyn L. Talcott
    Programming, Transforming, and Providing with Function Abstractions and Memories. [Citation Graph (0, 0)][DBLP]
    ICALP, 1989, pp:574-588 [Conf]
  29. Ian A. Mason, Carolyn L. Talcott
    A Semantically Sound Actor Tranlsation. [Citation Graph (0, 0)][DBLP]
    ICALP, 1997, pp:369-378 [Conf]
  30. Nalini Venkatasubramanian, Gul Agha, Carolyn L. Talcott
    Scalable Distributed Garbage Collection for Systems of Active Objects. [Citation Graph (0, 0)][DBLP]
    IWMM, 1992, pp:134-147 [Conf]
  31. Ian A. Mason, Carolyn L. Talcott
    Axiomatizing Operational Equivalence in the Presence of Side Effects [Citation Graph (0, 0)][DBLP]
    LICS, 1989, pp:284-293 [Conf]
  32. Ian A. Mason, Carolyn L. Talcott
    References, Local Variables and Operational Reasoning [Citation Graph (0, 0)][DBLP]
    LICS, 1992, pp:186-197 [Conf]
  33. Sebastian Gutierrez-Nolasco, Nalini Venkatasubramanian, Mark-Oliver Stehr, Carolyn L. Talcott
    Exploring adaptability of secure group communication using formal prototyping techniques. [Citation Graph (0, 0)][DBLP]
    Adaptive and Reflective Middleware, 2004, pp:232-237 [Conf]
  34. Ian A. Mason, Carolyn L. Talcott
    Program Transformations for Configuring Components. [Citation Graph (0, 0)][DBLP]
    PEPM, 1991, pp:297-308 [Conf]
  35. Ian A. Mason, Carolyn L. Talcott
    Reasoning About Programs with Effects. [Citation Graph (0, 0)][DBLP]
    PLILP, 1990, pp:189-203 [Conf]
  36. Nalini Venkatasubramanian, Carolyn L. Talcott
    Reasoning about Meta Level Activities in Open Distributed Systems. [Citation Graph (0, 0)][DBLP]
    PODC, 1995, pp:144-152 [Conf]
  37. Sebastian Gutierrez-Nolasco, Nalini Venkatasubramanian, Mark-Oliver Stehr, Carolyn L. Talcott
    Towards Adaptive Secure Group Communication: Bridging the Gap between Formal Specification and Network Simulation. [Citation Graph (0, 0)][DBLP]
    PRDC, 2006, pp:113-120 [Conf]
  38. Carolyn L. Talcott, Steven Eker, Merrill Knapp, Patrick Lincoln, Keith Laderoute
    Pathway Logic Modeling of Protein Functional Domains in Signal Transduction. [Citation Graph (0, 0)][DBLP]
    Pacific Symposium on Biocomputing, 2004, pp:568-580 [Conf]
  39. Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
    The Maude 2.0 System. [Citation Graph (0, 0)][DBLP]
    RTA, 2003, pp:76-87 [Conf]
  40. Sebastian Gutierrez-Nolasco, Nalini Venkatasubramanian, Carolyn L. Talcott
    A semantic model for safe protocol interaction. [Citation Graph (0, 0)][DBLP]
    SAC, 2006, pp:1599-1600 [Conf]
  41. Carolyn L. Talcott
    Symbolic modeling of signal transduction in pathway logic. [Citation Graph (0, 0)][DBLP]
    Winter Simulation Conference, 2006, pp:1656-1665 [Conf]
  42. Nalini Venkatasubramanian, Carolyn L. Talcott
    A Semantic Framework for Modeling and Reasoning about Reflective Middleware. [Citation Graph (0, 0)][DBLP]
    IEEE Distributed Systems Online, 2001, v:2, n:6, pp:- [Journal]
  43. Grit Denker, José Meseguer, Carolyn L. Talcott
    Rewriting Semantics of Meta-Objects and Composable Distributed Services. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2000, v:36, n:, pp:- [Journal]
  44. Grit Denker, Carolyn L. Talcott
    Formal Checklists for Remote Agent Dependability. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:117, n:, pp:229-248 [Journal]
  45. Steven Eker, Merrill Knapp, Keith Laderoute, Patrick Lincoln, Carolyn L. Talcott
    Pathway Logic: Executable Models of Biological Networks. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:71, n:, pp:- [Journal]
  46. Andrew Gordon, Andrew M. Pitts, Carolyn L. Talcott
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1997, v:10, n:, pp:- [Journal]
  47. Ian A. Mason, Carolyn L. Talcott
    Simple Network Protocol Simulation within Maude. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2000, v:36, n:, pp:- [Journal]
  48. Ian A. Mason, Carolyn L. Talcott
    IOP: The InterOperability Platform & IMaude: An Interactive Extension of Maude. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:117, n:, pp:315-333 [Journal]
  49. Ian A. Mason, Carolyn L. Talcott
    Actors and Logical Analysis of Interactive Systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:141, n:5, pp:115-133 [Journal]
  50. José Meseguer, Carolyn L. Talcott
    Mapping OMRS to rewriting logic. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1998, v:15, n:, pp:- [Journal]
  51. Ugo Montanari, Carolyn L. Talcott
    Can Actors and pi-Agents Live Together? [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1997, v:10, n:, pp:- [Journal]
  52. Mark-Oliver Stehr, Carolyn L. Talcott
    Plan in Maude: Specifying an Active Network Programming Language. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:71, n:, pp:- [Journal]
  53. Carolyn L. Talcott
    Coordination Models Based on a Formal Model of Distributed Object Reflection. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:150, n:1, pp:143-157 [Journal]
  54. Carolyn L. Talcott
    An actor rewriting theory. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1996, v:4, n:, pp:- [Journal]
  55. Carolyn L. Talcott
    Reasoning about Programs With Effects. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1998, v:14, n:, pp:- [Journal]
  56. Peter Csaba Ölveczky, José Meseguer, Carolyn L. Talcott
    Specification and analysis of the AER/NCA active network protocol suite in Real-Time Maude. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2006, v:29, n:3, pp:253-293 [Journal]
  57. Furio Honsell, Ian A. Mason, Scott F. Smith, Carolyn L. Talcott
    A Variable Typed Logic of Effects [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1995, v:119, n:1, pp:55-90 [Journal]
  58. Ian A. Mason, Scott F. Smith, Carolyn L. Talcott
    From Operational Semantics to Domain Theory. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1996, v:128, n:1, pp:26-47 [Journal]
  59. Ian A. Mason, Carolyn L. Talcott
    Reasoning About Object Systems in VTLoE. [Citation Graph (0, 0)][DBLP]
    Int. J. Found. Comput. Sci., 1995, v:6, n:3, pp:265-298 [Journal]
  60. Fausto Giunchiglia, Paolo Pecchiari, Carolyn L. Talcott
    Reasoning Theories. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2001, v:26, n:3, pp:291-331 [Journal]
  61. Vitaly Shmatikov, Carolyn L. Talcott
    Reputation-based trust management. [Citation Graph (0, 0)][DBLP]
    Journal of Computer Security, 2005, v:13, n:1, pp:167-190 [Journal]
  62. Gul Agha, Ian A. Mason, Scott F. Smith, Carolyn L. Talcott
    A Foundation for Actor Computation. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 1997, v:7, n:1, pp:1-72 [Journal]
  63. Ian A. Mason, Carolyn L. Talcott
    Equivalence in Functional Languages with Effects. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 1991, v:1, n:3, pp:287-327 [Journal]
  64. Richard W. Weyhrauch, Marco Cadoli, Carolyn L. Talcott
    Using Abstract Resources to Control Reasoning. [Citation Graph (0, 0)][DBLP]
    Journal of Logic, Language and Information, 1998, v:7, n:1, pp:77-101 [Journal]
  65. Olivier Danvy, Carolyn L. Talcott
    Editorial. [Citation Graph (0, 0)][DBLP]
    Higher-Order and Symbolic Computation, 2002, v:15, n:4, pp:271- [Journal]
  66. Olivier Danvy, Carolyn L. Talcott
    Editorial. [Citation Graph (0, 0)][DBLP]
    Higher-Order and Symbolic Computation, 1999, v:12, n:1, pp:5- [Journal]
  67. Olivier Danvy, Carolyn L. Talcott
    Introduction. [Citation Graph (0, 0)][DBLP]
    Higher-Order and Symbolic Computation, 1999, v:12, n:2, pp:123-124 [Journal]
  68. Olivier Danvy, Carolyn L. Talcott
    Editorial. [Citation Graph (0, 0)][DBLP]
    Higher-Order and Symbolic Computation, 1999, v:12, n:4, pp:307-308 [Journal]
  69. Olivier Danvy, Takayasu Ito, Carolyn L. Talcott
    Editorial. [Citation Graph (0, 0)][DBLP]
    Higher-Order and Symbolic Computation, 2001, v:14, n:4, pp:307-307 [Journal]
  70. Olivier Danvy, Takayasu Ito, Carolyn L. Talcott
    Editorial. [Citation Graph (0, 0)][DBLP]
    Higher-Order and Symbolic Computation, 2002, v:15, n:1, pp:5- [Journal]
  71. Olivier Danvy, Carolyn L. Talcott
    Editorial. [Citation Graph (0, 0)][DBLP]
    Higher-Order and Symbolic Computation, 2000, v:13, n:1/2, pp:5-6 [Journal]
  72. Olivier Danvy, Carolyn L. Talcott
    Editorial. [Citation Graph (0, 0)][DBLP]
    Higher-Order and Symbolic Computation, 2000, v:13, n:3, pp:159-160 [Journal]
  73. Olivier Danvy, Carolyn L. Talcott
    Editorial. [Citation Graph (0, 0)][DBLP]
    Higher-Order and Symbolic Computation, 2000, v:13, n:4, pp:287-288 [Journal]
  74. Olivier Danvy, Carolyn L. Talcott
    Editorial. [Citation Graph (0, 0)][DBLP]
    Higher-Order and Symbolic Computation, 2001, v:14, n:1, pp:5- [Journal]
  75. Olivier Danvy, Carolyn L. Talcott
    Editorial. [Citation Graph (0, 0)][DBLP]
    Higher-Order and Symbolic Computation, 1999, v:12, n:3, pp:219- [Journal]
  76. Furio Honsell, Carolyn L. Talcott
    Editorial. [Citation Graph (0, 0)][DBLP]
    Higher-Order and Symbolic Computation, 2006, v:19, n:2-3, pp:167-168 [Journal]
  77. Olivier Danvy, Andrzej Filinski, Jean-Louis Giavitto, Andy King, Pierre-Etienne Moreau, Carolyn L. Talcott
    Editorial. [Citation Graph (0, 0)][DBLP]
    Higher-Order and Symbolic Computation, 2006, v:19, n:4, pp:343-344 [Journal]
  78. Scott F. Smith, Carolyn L. Talcott
    Specification Diagrams for Actor Systems. [Citation Graph (0, 0)][DBLP]
    Higher-Order and Symbolic Computation, 2002, v:15, n:4, pp:301-348 [Journal]
  79. Carolyn L. Talcott
    Composable Semantic Models for Actor Theories. [Citation Graph (0, 0)][DBLP]
    Higher-Order and Symbolic Computation, 1998, v:11, n:3, pp:281-343 [Journal]
  80. Ian A. Mason, Carolyn L. Talcott
    Inferring the Equivalence of Functional Programs That Mutate Data. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1992, v:105, n:2, pp:167-215 [Journal]
  81. Ian A. Mason, Carolyn L. Talcott
    Actor Languages Their Syntax, Semantics, Translation, and Equivalence. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1999, v:220, n:2, pp:409-467 [Journal]
  82. Carolyn L. Talcott
    Actor theories in rewriting logic. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2002, v:285, n:2, pp:441-485 [Journal]
  83. Carolyn L. Talcott
    A Theory for Program and Data Type Specification. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1992, v:104, n:1, pp:129-159 [Journal]
  84. Carolyn L. Talcott
    A Theory of Binding Structures and Applications to Rewriting. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1993, v:112, n:1, pp:99-143 [Journal]
  85. Carolyn L. Talcott, David L. Dill
    Multiple Representations of Biological Processes. [Citation Graph (0, 0)][DBLP]
    , 2006, v:, n:, pp:221-245 [Journal]
  86. Nalini Venkatasubramanian, Carolyn L. Talcott, Gul Agha
    A formal model for reasoning about adaptive QoS-enabled middleware. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Softw. Eng. Methodol., 2004, v:13, n:1, pp:86-147 [Journal]
  87. Paolo Di Blasio, Kathleen Fisher, Carolyn L. Talcott
    A Control-Flow Analysis for a Calculus of Concurrent Objects. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2000, v:26, n:7, pp:617-634 [Journal]
  88. Minyoung Kim, Mark-Oliver Stehr, Carolyn L. Talcott, Nikil D. Dutt, Nalini Venkatasubramanian
    A Probabilistic Formal Analysis Approach to Cross Layer Optimization in Distributed Embedded Systems. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2007, pp:285-300 [Conf]
  89. Minyoung Kim, Mark-Oliver Stehr, Carolyn L. Talcott, Nikil Dutt, Nalini Venkatasubramanian
    Combining Formal Verification with Observed System Execution Behavior to Tune System Parameters. [Citation Graph (0, 0)][DBLP]
    FORMATS, 2007, pp:257-273 [Conf]
  90. Daniel Elenius, Grit Denker, Mark-Oliver Stehr, Rukman Senanayake, Carolyn L. Talcott, David Wilkins
    CoRaL - Policy Language and Reasoning Techniques for Spectrum Policies. [Citation Graph (0, 0)][DBLP]
    POLICY, 2007, pp:261-265 [Conf]
  91. David L. Dill, Merrill Knapp, Pamela Gage, Carolyn L. Talcott, Keith Laderoute, Patrick Lincoln
    The Pathalyzer: A Tool for Analysis of Signal Transduction Pathways. [Citation Graph (0, 0)][DBLP]
    Systems Biology and Regulatory Genomics, 2005, pp:11-22 [Conf]
  92. Ashish Tiwari, Carolyn L. Talcott, Merrill Knapp, Patrick Lincoln, Keith Laderoute
    Analyzing Pathways Using SAT-Based Approaches. [Citation Graph (0, 0)][DBLP]
    AB, 2007, pp:155-169 [Conf]
  93. Martin Wirsing, Grit Denker, Carolyn L. Talcott, Andy Poggio, Linda Briesemeister
    A Rewriting Logic Framework for Soft Constraints. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:176, n:4, pp:181-197 [Journal]
  94. Grit Denker, Carolyn L. Talcott, Grigore Rosu, Mark van den Brand, Steven Eker, Traian-Florin Serbanuta
    Rewriting Logic Systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:176, n:4, pp:233-247 [Journal]
  95. Grit Denker, Carolyn L. Talcott
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:176, n:4, pp:1-3 [Journal]
  96. Carolyn L. Talcott
    Policy-based Coordination in PAGODA: A Case Study. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:181, n:, pp:97-112 [Journal]
  97. Narciso Martí-Oliet, Grigore Rosu, Carolyn L. Talcott
    Editorial. [Citation Graph (0, 0)][DBLP]
    Higher-Order and Symbolic Computation, 2007, v:20, n:1-2, pp:1-2 [Journal]

  98. Quantitative and Probabilistic Modeling in Pathway Logic. [Citation Graph (, )][DBLP]


  99. Spectral Decomposition of Signaling Networks. [Citation Graph (, )][DBLP]


  100. Analyzing a Discrete Model of Aplysia Central Pattern Generator [Citation Graph (, )][DBLP]


  101. Constraint Refinement for Online Verifiable Cross-Layer System Adaptation. [Citation Graph (, )][DBLP]


  102. Formal Executable Models of Cell Signaling Primitives. [Citation Graph (, )][DBLP]


  103. Unification and Narrowing in Maude 2.4. [Citation Graph (, )][DBLP]


  104. Pathway Logic. [Citation Graph (, )][DBLP]


  105. Introduction. [Citation Graph (, )][DBLP]


  106. Using Maude. [Citation Graph (, )][DBLP]


  107. Syntax and Basic Parsing. [Citation Graph (, )][DBLP]


  108. Functional Modules. [Citation Graph (, )][DBLP]


  109. A Hierarchy of Data Types: From Trees to Sets. [Citation Graph (, )][DBLP]


  110. System Modules. [Citation Graph (, )][DBLP]


  111. Module Operations. [Citation Graph (, )][DBLP]


  112. Predefined Data Modules. [Citation Graph (, )][DBLP]


  113. Object-Based Programming. [Citation Graph (, )][DBLP]


  114. Model Checking Invariants Through Search. [Citation Graph (, )][DBLP]


  115. LTL Model Checking. [Citation Graph (, )][DBLP]


  116. Reflection, Metalevel Computation, and Strategies. [Citation Graph (, )][DBLP]


  117. Metaprogramming Applications. [Citation Graph (, )][DBLP]


  118. User Interfaces and Metalanguage Applications. [Citation Graph (, )][DBLP]


  119. Full Maude: Extending Core Maude. [Citation Graph (, )][DBLP]


  120. Object-Oriented Modules. [Citation Graph (, )][DBLP]


  121. A Sampler of Application Areas. [Citation Graph (, )][DBLP]


  122. Debugging and Troubleshooting. [Citation Graph (, )][DBLP]


  123. Complete List of Maude Commands. [Citation Graph (, )][DBLP]


  124. Core Maude Grammar. [Citation Graph (, )][DBLP]


  125. Some Tools. [Citation Graph (, )][DBLP]


  126. Playing with Maude. [Citation Graph (, )][DBLP]


  127. Specifying Parameterized Data Structures in Maude. [Citation Graph (, )][DBLP]


  128. Mobile Maude. [Citation Graph (, )][DBLP]


  129. A Formal Framework for Interactive Agents. [Citation Graph (, )][DBLP]


  130. Comparing Three Coordination Models: Reo, ARC, and RRD. [Citation Graph (, )][DBLP]


  131. Coordinating Asynchronous and Open Distributed Systems under Semiring-Based Timing Constraints. [Citation Graph (, )][DBLP]


  132. PobSAM: Policy-based Managing of Actors in Self-Adaptive Systems. [Citation Graph (, )][DBLP]


Search in 0.360secs, Finished in 0.365secs
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