| 2008 |
|---|
| 132 | EE | Ashish Tiwari,
Carolyn L. Talcott:
Analyzing a Discrete Model of Aplysia Central Pattern Generator
CMSB 2008: 347-366 |
| 131 | EE | Minyoung Kim,
Mark-Oliver Stehr,
Carolyn L. Talcott,
Nikil Dutt,
Nalini Venkatasubramanian:
Constraint Refinement for Online Verifiable Cross-Layer System Adaptation.
DATE 2008: 646-651 |
| 130 | EE | Carolyn L. Talcott:
Pathway Logic.
SFM 2008: 21-53 |
| 129 | EE | Carolyn L. Talcott:
Cyber-Physical Systems and Events.
Software-Intensive Systems and New Computing Paradigms 2008: 101-115 |
| 128 | EE | Carolyn L. Talcott,
Marjan Sirjani,
Shangping Ren:
Comparing Three Coordination Models: Reo, ARC, and RRD.
Electr. Notes Theor. Comput. Sci. 194(4): 39-55 (2008) |
| 127 | EE | Carolyn L. Talcott:
A Formal Framework for Interactive Agents.
Electr. Notes Theor. Comput. Sci. 203(3): 95-106 (2008) |
| 2007 |
|---|
| 126 | | Manuel Clavel,
Francisco Durán,
Steven Eker,
Patrick Lincoln,
Narciso Martí-Oliet,
José Meseguer,
Carolyn L. Talcott:
All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic
Springer 2007 |
| 125 | EE | Ashish Tiwari,
Carolyn L. Talcott,
Merrill Knapp,
Patrick Lincoln,
Keith Laderoute:
Analyzing Pathways Using SAT-Based Approaches.
AB 2007: 155-169 |
| 124 | EE | Manuel Clavel,
Francisco Durán,
Steven Eker,
Patrick Lincoln,
Narciso Martí-Oliet,
José Meseguer,
Carolyn L. Talcott:
Introduction.
All About Maude 2007: 1-28 |
| 123 | EE | Manuel Clavel,
Francisco Durán,
Steven Eker,
Patrick Lincoln,
Narciso Martí-Oliet,
José Meseguer,
Carolyn L. Talcott:
A Hierarchy of Data Types: From Trees to Sets.
All About Maude 2007: 119-129 |
| 122 | EE | Manuel Clavel,
Francisco Durán,
Steven Eker,
Patrick Lincoln,
Narciso Martí-Oliet,
José Meseguer,
Carolyn L. Talcott:
System Modules.
All About Maude 2007: 131-157 |
| 121 | EE | Manuel Clavel,
Francisco Durán,
Steven Eker,
Patrick Lincoln,
Narciso Martí-Oliet,
José Meseguer,
Carolyn L. Talcott,
Miguel Palomino,
Alberto Verdejo:
Playing with Maude.
All About Maude 2007: 159-184 |
| 120 | EE | Manuel Clavel,
Francisco Durán,
Steven Eker,
Patrick Lincoln,
Narciso Martí-Oliet,
José Meseguer,
Carolyn L. Talcott:
Module Operations.
All About Maude 2007: 185-230 |
| 119 | EE | Manuel Clavel,
Francisco Durán,
Steven Eker,
Patrick Lincoln,
Narciso Martí-Oliet,
José Meseguer,
Carolyn L. Talcott:
Predefined Data Modules.
All About Maude 2007: 231-305 |
| 118 | EE | Manuel Clavel,
Francisco Durán,
Steven Eker,
Patrick Lincoln,
Narciso Martí-Oliet,
José Meseguer,
Carolyn L. Talcott,
Miguel Palomino,
Alberto Verdejo:
Specifying Parameterized Data Structures in Maude.
All About Maude 2007: 307-338 |
| 117 | EE | Manuel Clavel,
Francisco Durán,
Steven Eker,
Patrick Lincoln,
Narciso Martí-Oliet,
José Meseguer,
Carolyn L. Talcott:
Using Maude.
All About Maude 2007: 31-37 |
| 116 | EE | Manuel Clavel,
Francisco Durán,
Steven Eker,
Patrick Lincoln,
Narciso Martí-Oliet,
José Meseguer,
Carolyn L. Talcott:
Object-Based Programming.
All About Maude 2007: 339-372 |
| 115 | EE | Manuel Clavel,
Francisco Durán,
Steven Eker,
Patrick Lincoln,
Narciso Martí-Oliet,
José Meseguer,
Carolyn L. Talcott:
Model Checking Invariants Through Search.
All About Maude 2007: 373-384 |
| 114 | EE | Manuel Clavel,
Francisco Durán,
Steven Eker,
Patrick Lincoln,
Narciso Martí-Oliet,
José Meseguer,
Carolyn L. Talcott:
LTL Model Checking.
All About Maude 2007: 385-418 |
| 113 | EE | Manuel Clavel,
Francisco Durán,
Steven Eker,
Patrick Lincoln,
Narciso Martí-Oliet,
José Meseguer,
Carolyn L. Talcott:
Syntax and Basic Parsing.
All About Maude 2007: 39-59 |
| 112 | EE | Manuel Clavel,
Francisco Durán,
Steven Eker,
Patrick Lincoln,
Narciso Martí-Oliet,
José Meseguer,
Carolyn L. Talcott:
Reflection, Metalevel Computation, and Strategies.
All About Maude 2007: 419-458 |
| 111 | EE | Manuel Clavel,
Francisco Durán,
Steven Eker,
Patrick Lincoln,
Narciso Martí-Oliet,
José Meseguer,
Carolyn L. Talcott:
Metaprogramming Applications.
All About Maude 2007: 459-483 |
| 110 | EE | Manuel Clavel,
Francisco Durán,
Steven Eker,
Patrick Lincoln,
Narciso Martí-Oliet,
José Meseguer,
Carolyn L. Talcott,
Adrián Riesco,
Alberto Verdejo:
Mobile Maude.
All About Maude 2007: 485-522 |
| 109 | EE | Manuel Clavel,
Francisco Durán,
Steven Eker,
Patrick Lincoln,
Narciso Martí-Oliet,
José Meseguer,
Carolyn L. Talcott:
User Interfaces and Metalanguage Applications.
All About Maude 2007: 523-555 |
| 108 | EE | Manuel Clavel,
Francisco Durán,
Steven Eker,
Patrick Lincoln,
Narciso Martí-Oliet,
José Meseguer,
Carolyn L. Talcott:
Full Maude: Extending Core Maude.
All About Maude 2007: 559-597 |
| 107 | EE | Manuel Clavel,
Francisco Durán,
Steven Eker,
Patrick Lincoln,
Narciso Martí-Oliet,
José Meseguer,
Carolyn L. Talcott:
Object-Oriented Modules.
All About Maude 2007: 599-642 |
| 106 | EE | Manuel Clavel,
Francisco Durán,
Steven Eker,
Patrick Lincoln,
Narciso Martí-Oliet,
José Meseguer,
Carolyn L. Talcott:
Functional Modules.
All About Maude 2007: 61-118 |
| 105 | EE | Manuel Clavel,
Francisco Durán,
Steven Eker,
Patrick Lincoln,
Narciso Martí-Oliet,
José Meseguer,
Carolyn L. Talcott:
A Sampler of Application Areas.
All About Maude 2007: 645-665 |
| 104 | EE | Manuel Clavel,
Francisco Durán,
Steven Eker,
Patrick Lincoln,
Narciso Martí-Oliet,
José Meseguer,
Carolyn L. Talcott,
Christiano Braga,
Azadeh Farzan,
Joe Hendrix,
Peter Csaba Ölveczky,
Miguel Palomino,
Ralf Sasse,
Mark-Oliver Stehr,
Alberto Verdejo:
Some Tools.
All About Maude 2007: 667-693 |
| 103 | EE | Manuel Clavel,
Francisco Durán,
Steven Eker,
Patrick Lincoln,
Narciso Martí-Oliet,
José Meseguer,
Carolyn L. Talcott:
Debugging and Troubleshooting.
All About Maude 2007: 697-736 |
| 102 | EE | Manuel Clavel,
Francisco Durán,
Steven Eker,
Patrick Lincoln,
Narciso Martí-Oliet,
José Meseguer,
Carolyn L. Talcott:
Complete List of Maude Commands.
All About Maude 2007: 737-749 |
| 101 | EE | Manuel Clavel,
Francisco Durán,
Steven Eker,
Patrick Lincoln,
Narciso Martí-Oliet,
José Meseguer,
Carolyn L. Talcott:
Core Maude Grammar.
All About Maude 2007: 751-756 |
| 100 | EE | Alessandro Abate,
Yu Bai,
Nathalie Sznajder,
Carolyn L. Talcott,
Ashish Tiwari:
Quantitative and Probabilistic Modeling in Pathway Logic.
BIBE 2007: 922-929 |
| 99 | EE | Bahram Parvin,
Nirmalya Ghosh,
Laura Heiser,
Merrill Knapp,
Carolyn L. Talcott,
Keith Laderoute,
Joe Gray,
Paul Spellman:
Spectral Decomposition of Signaling Networks.
CIBCB 2007: 76-81 |
| 98 | EE | 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.
FMOODS 2007: 285-300 |
| 97 | EE | Minyoung Kim,
Mark-Oliver Stehr,
Carolyn L. Talcott,
Nikil Dutt,
Nalini Venkatasubramanian:
Combining Formal Verification with Observed System Execution Behavior to Tune System Parameters.
FORMATS 2007: 257-273 |
| 96 | EE | Daniel Elenius,
Grit Denker,
Mark-Oliver Stehr,
Rukman Senanayake,
Carolyn L. Talcott,
David Wilkins:
CoRaL - Policy Language and Reasoning Techniques for Spectrum Policies.
POLICY 2007: 261-265 |
| 95 | EE | Grit Denker,
Carolyn L. Talcott:
Preface.
Electr. Notes Theor. Comput. Sci. 176(4): 1-3 (2007) |
| 94 | EE | Martin Wirsing,
Grit Denker,
Carolyn L. Talcott,
Andy Poggio,
Linda Briesemeister:
A Rewriting Logic Framework for Soft Constraints.
Electr. Notes Theor. Comput. Sci. 176(4): 181-197 (2007) |
| 93 | EE | Grit Denker,
Carolyn L. Talcott,
Grigore Rosu,
Mark van den Brand,
Steven Eker,
Traian-Florin Serbanuta:
Rewriting Logic Systems.
Electr. Notes Theor. Comput. Sci. 176(4): 233-247 (2007) |
| 92 | EE | Carolyn L. Talcott:
Policy-based Coordination in PAGODA: A Case Study.
Electr. Notes Theor. Comput. Sci. 181: 97-112 (2007) |
| 91 | EE | Narciso Martí-Oliet,
Grigore Rosu,
Carolyn L. Talcott:
Editorial.
Higher-Order and Symbolic Computation 20(1-2): 1-2 (2007) |
| 2006 |
|---|
| 90 | EE | 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.
PRDC 2006: 113-120 |
| 89 | EE | Sebastian Gutierrez-Nolasco,
Nalini Venkatasubramanian,
Carolyn L. Talcott:
A semantic model for safe protocol interaction.
SAC 2006: 1599-1600 |
| 88 | EE | Carolyn L. Talcott:
Symbolic modeling of signal transduction in pathway logic.
Winter Simulation Conference 2006: 1656-1665 |
| 87 | EE | Carolyn L. Talcott:
Coordination Models Based on a Formal Model of Distributed Object Reflection.
Electr. Notes Theor. Comput. Sci. 150(1): 143-157 (2006) |
| 86 | EE | Peter Csaba Ölveczky,
José Meseguer,
Carolyn L. Talcott:
Specification and analysis of the AER/NCA active network protocol suite in Real-Time Maude.
Formal Methods in System Design 29(3): 253-293 (2006) |
| 85 | EE | Furio Honsell,
Carolyn L. Talcott:
Editorial.
Higher-Order and Symbolic Computation 19(2-3): 167-168 (2006) |
| 84 | EE | Olivier Danvy,
Andrzej Filinski,
Jean-Louis Giavitto,
Andy King,
Pierre-Etienne Moreau,
Carolyn L. Talcott:
Editorial.
Higher-Order and Symbolic Computation 19(4): 343-344 (2006) |
| 83 | EE | Carolyn L. Talcott,
David L. Dill:
Multiple Representations of Biological Processes.
T. Comp. Sys. Biology: 221-245 (2006) |
| 2005 |
|---|
| 82 | EE | Merrill Knapp,
Linda Briesemeister,
Steven Eker,
Patrick Lincoln,
Andy Poggio,
Carolyn L. Talcott,
Keith Laderoute:
Pathway Logic Helping Biologists Understand and Organize Pathway Information.
CSB Workshops 2005: 155-156 |
| 81 | EE | Mark-Oliver Stehr,
Carolyn L. Talcott:
Practical Techniques for Language Design and Prototyping.
Foundations of Global Computing 2005 |
| 80 | EE | David L. Dill,
Merrill Knapp,
Pamela Gage,
Carolyn L. Talcott,
Keith Laderoute,
Patrick Lincoln:
The Pathalyzer: A Tool for Analysis of Signal Transduction Pathways.
Systems Biology and Regulatory Genomics 2005: 11-22 |
| 79 | EE | Grit Denker,
Carolyn L. Talcott:
Formal Checklists for Remote Agent Dependability.
Electr. Notes Theor. Comput. Sci. 117: 229-248 (2005) |
| 78 | EE | Ian A. Mason,
Carolyn L. Talcott:
IOP: The InterOperability Platform & IMaude: An Interactive Extension of Maude.
Electr. Notes Theor. Comput. Sci. 117: 315-333 (2005) |
| 77 | EE | Ian A. Mason,
Carolyn L. Talcott:
Actors and Logical Analysis of Interactive Systems.
Electr. Notes Theor. Comput. Sci. 141(5): 115-133 (2005) |
| 76 | | Vitaly Shmatikov,
Carolyn L. Talcott:
Reputation-based trust management.
Journal of Computer Security 13(1): 167-190 (2005) |
| 2004 |
|---|
| 75 | EE | Prasanna Thati,
Carolyn L. Talcott,
Gul Agha:
Techniques for Executing and Reasoning about Specification Diagrams.
AMAST 2004: 521-536 |
| 74 | EE | Sebastian Gutierrez-Nolasco,
Nalini Venkatasubramanian,
Mark-Oliver Stehr,
Carolyn L. Talcott:
Exploring adaptability of secure group communication using formal prototyping techniques.
Adaptive and Reflective Middleware 2004: 232-237 |
| 73 | EE | Carolyn L. Talcott,
Steven Eker,
Merrill Knapp,
Patrick Lincoln,
Keith Laderoute:
Pathway Logic Modeling of Protein Functional Domains in Signal Transduction.
Pacific Symposium on Biocomputing 2004: 568-580 |
| 72 | EE | Nalini Venkatasubramanian,
Carolyn L. Talcott,
Gul Agha:
A formal model for reasoning about adaptive QoS-enabled middleware.
ACM Trans. Softw. Eng. Methodol. 13(1): 86-147 (2004) |
| 2003 |
|---|
| 71 | EE | Steven Eker,
Keith Laderoute,
Patrick Lincoln,
M. G. Sriram,
Carolyn L. Talcott:
Representing and Simulating Protein Functional Domains in Signal Transduction Using Maude.
CMSB 2003: 164-165 |
| 70 | EE | Carolyn L. Talcott,
Steven Eker,
Merrill Knapp,
Patrick Lincoln,
Keith Laderoute:
Pathway Logic Modeling of Protein Functional Domains in Signal Transduction.
CSB 2003: 618-619 |
| 69 | EE | Sandeep Uttamchandani,
Carolyn L. Talcott,
David Pease:
Eos: An Approach of Using Behavior Implications for Policy-Based Self-Management.
DSOM 2003: 16-27 |
| 68 | EE | Manuel Clavel,
Francisco Durán,
Steven Eker,
Patrick Lincoln,
Narciso Martí-Oliet,
José Meseguer,
Carolyn L. Talcott:
The Maude 2.0 System.
RTA 2003: 76-87 |
| 2002 |
|---|
| 67 | | Farhad Arbab,
Carolyn L. Talcott:
Coordination Models and Languages, 5th International Conference, COORDINATION 2002, YORK, UK, April 8-11, 2002, Proceedings
Springer 2002 |
| 66 | EE | 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.
DANCE 2002: 494-510 |
| 65 | EE | José Meseguer,
Carolyn L. Talcott:
Semantic Models for Distributed Object Reflection.
ECOOP 2002: 1-36 |
| 64 | | Carolyn L. Talcott:
A Semantic Framework for Specifying and Reasoning about Composable Distributed Middleware Services.
FMOODS 2002: 25-26 |
| 63 | EE | Steven Eker,
Merrill Knapp,
Keith Laderoute,
Patrick Lincoln,
Carolyn L. Talcott:
Pathway Logic: Executable Models of Biological Networks.
Electr. Notes Theor. Comput. Sci. 71: (2002) |
| 62 | EE | Mark-Oliver Stehr,
Carolyn L. Talcott:
Plan in Maude: Specifying an Active Network Programming Language.
Electr. Notes Theor. Comput. Sci. 71: (2002) |
| 61 | | Olivier Danvy,
Takayasu Ito,
Carolyn L. Talcott:
Editorial.
Higher-Order and Symbolic Computation 15(1): 5 (2002) |
| 60 | | Olivier Danvy,
Carolyn L. Talcott:
Editorial.
Higher-Order and Symbolic Computation 15(4): 271 (2002) |
| 59 | | Scott F. Smith,
Carolyn L. Talcott:
Specification Diagrams for Actor Systems.
Higher-Order and Symbolic Computation 15(4): 301-348 (2002) |
| 58 | EE | Carolyn L. Talcott:
Actor theories in rewriting logic.
Theor. Comput. Sci. 285(2): 441-485 (2002) |
| 2001 |
|---|
| 57 | EE | 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.
FASE 2001: 333-348 |
| 56 | EE | Nalini Venkatasubramanian,
Carolyn L. Talcott,
Gul Agha:
A Formal Model for Reasoning about Adaptive QoS-Enabled Middleware.
FME 2001: 197-221 |
| 55 | | Olivier Danvy,
Carolyn L. Talcott:
Editorial.
Higher-Order and Symbolic Computation 14(1): 5 (2001) |
| 54 | | Olivier Danvy,
Takayasu Ito,
Carolyn L. Talcott:
Editorial.
Higher-Order and Symbolic Computation 14(4): 307-307 (2001) |
| 53 | EE | Nalini Venkatasubramanian,
Carolyn L. Talcott:
A Semantic Framework for Modeling and Reasoning about Reflective Middleware.
IEEE Distributed Systems Online 2(6): (2001) |
| 52 | | Fausto Giunchiglia,
Paolo Pecchiari,
Carolyn L. Talcott:
Reasoning Theories.
J. Autom. Reasoning 26(3): 291-331 (2001) |
| 2000 |
|---|
| 51 | | Scott F. Smith,
Carolyn L. Talcott:
Formal Methods for Open Object-Based Distributed Systems IV, IFIF TC6/WG6.1 Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000), September 6-8, 2000, Stanford, California, USA
Kluwer 2000 |
| 50 | EE | Carolyn L. Talcott:
Towards a Toolkit for Actor System Specification.
AMAST 2000: 391-406 |
| 49 | | Alessandro Coglio,
Fausto Giunchiglia,
José Meseguer,
Carolyn L. Talcott:
Composing and Controlling Search in Reasoning Theories Using Mappings.
FroCos 2000: 200-216 |
| 48 | EE | Grit Denker,
José Meseguer,
Carolyn L. Talcott:
Rewriting Semantics of Meta-Objects and Composable Distributed Services.
Electr. Notes Theor. Comput. Sci. 36: (2000) |
| 47 | EE | Ian A. Mason,
Carolyn L. Talcott:
Simple Network Protocol Simulation within Maude.
Electr. Notes Theor. Comput. Sci. 36: (2000) |
| 46 | | Olivier Danvy,
Carolyn L. Talcott:
Editorial.
Higher-Order and Symbolic Computation 13(1/2): 5-6 (2000) |
| 45 | | Olivier Danvy,
Carolyn L. Talcott:
Editorial.
Higher-Order and Symbolic Computation 13(3): 159-160 (2000) |
| 44 | | Olivier Danvy,
Carolyn L. Talcott:
Editorial.
Higher-Order and Symbolic Computation 13(4): 287-288 (2000) |
| 43 | EE | Paolo Di Blasio,
Kathleen Fisher,
Carolyn L. Talcott:
A Control-Flow Analysis for a Calculus of Concurrent Objects.
IEEE Trans. Software Eng. 26(7): 617-634 (2000) |
| 1999 |
|---|
| 42 | EE | José Meseguer,
Carolyn L. Talcott:
A Partial Order Event Model for Concurrent Objects.
CONCUR 1999: 415-430 |
| 41 | | Scott F. Smith,
Carolyn L. Talcott:
Modular Reasoning for Actor Specification Diagrams.
FMOODS 1999 |
| 40 | | Olivier Danvy,
Carolyn L. Talcott:
Editorial.
Higher-Order and Symbolic Computation 12(1): 5 (1999) |
| 39 | | Olivier Danvy,
Carolyn L. Talcott:
Introduction.
Higher-Order and Symbolic Computation 12(2): 123-124 (1999) |
| 38 | | Olivier Danvy,
Carolyn L. Talcott:
Editorial.
Higher-Order and Symbolic Computation 12(3): 219 (1999) |
| 37 | | Olivier Danvy,
Carolyn L. Talcott:
Editorial.
Higher-Order and Symbolic Computation 12(4): 307-308 (1999) |
| 36 | EE | Ian A. Mason,
Carolyn L. Talcott:
Actor Languages Their Syntax, Semantics, Translation, and Equivalence.
Theor. Comput. Sci. 220(2): 409-467 (1999) |
| 1998 |
|---|
| 35 | EE | Carolyn L. Talcott:
Reasoning about Programs With Effects.
Electr. Notes Theor. Comput. Sci. 14: (1998) |
| 34 | EE | José Meseguer,
Carolyn L. Talcott:
Mapping OMRS to rewriting logic.
Electr. Notes Theor. Comput. Sci. 15: (1998) |
| 33 | | Carolyn L. Talcott:
Composable Semantic Models for Actor Theories.
Higher-Order and Symbolic Computation 11(3): 281-343 (1998) |
| 32 | | Richard W. Weyhrauch,
Marco Cadoli,
Carolyn L. Talcott:
Using Abstract Resources to Control Reasoning.
Journal of Logic, Language and Information 7(1): 77-101 (1998) |
| 1997 |
|---|
| 31 | | Ian A. Mason,
Carolyn L. Talcott:
A Semantically Sound Actor Tranlsation.
ICALP 1997: 369-378 |
| 30 | | Carolyn L. Talcott:
Composable Semantic Models for Actor Theories.
TACS 1997: 321-364 |
| 29 | EE | Ugo Montanari,
Carolyn L. Talcott:
Can Actors and pi-Agents Live Together?
Electr. Notes Theor. Comput. Sci. 10: (1997) |
| 28 | EE | Andrew Gordon,
Andrew M. Pitts,
Carolyn L. Talcott:
Preface.
Electr. Notes Theor. Comput. Sci. 10: (1997) |
| 27 | | Gul Agha,
Ian A. Mason,
Scott F. Smith,
Carolyn L. Talcott:
A Foundation for Actor Computation.
J. Funct. Program. 7(1): 1-72 (1997) |
| 1996 |
|---|
| 26 | | Fausto Giunchiglia,
Paolo Pecchiari,
Carolyn L. Talcott:
Reasoning Theories: Towards an Architecture for Open Mechanized Reasoning Systems.
Frontiers of Combining Systems (FroCos) 1996: 157-174 |
| 25 | EE | Carolyn L. Talcott:
An actor rewriting theory.
Electr. Notes Theor. Comput. Sci. 4: (1996) |
| 24 | | Ian A. Mason,
Scott F. Smith,
Carolyn L. Talcott:
From Operational Semantics to Domain Theory.
Inf. Comput. 128(1): 26-47 (1996) |
| 1995 |
|---|
| 23 | | Nalini Venkatasubramanian,
Carolyn L. Talcott:
Reasoning about Meta Level Activities in Open Distributed Systems.
PODC 1995: 144-152 |
| 22 | | Furio Honsell,
Ian A. Mason,
Scott F. Smith,
Carolyn L. Talcott:
A Variable Typed Logic of Effects
Inf. Comput. 119(1): 55-90 (1995) |
| 21 | | Ian A. Mason,
Carolyn L. Talcott:
Reasoning About Object Systems in VTLoE.
Int. J. Found. Comput. Sci. 6(3): 265-298 (1995) |
| 1994 |
|---|
| 20 | | Richard W. Weyhrauch,
Carolyn L. Talcott:
The Logic of FOL Systems: Formulated in Set Theory.
Logic, Language and Computation 1994: 119-132 |
| 19 | | Ian A. Mason,
Carolyn L. Talcott:
Program Transformation via Contextual Assertions.
Logic, Language and Computation 1994: 225-254 |
| 1993 |
|---|
| 18 | | Carolyn L. Talcott:
A Theory of Binding Structures and Applications to Rewriting.
Theor. Comput. Sci. 112(1): 99-143 (1993) |
| 1992 |
|---|
| 17 | | Gul Agha,
Ian A. Mason,
Scott F. Smith,
Carolyn L. Talcott:
Towards a Theory of Actor Computation.
CONCUR 1992: 565-579 |
| 16 | | Furio Honsell,
Ian A. Mason,
Scott F. Smith,
Carolyn L. Talcott:
A Theory of Classes for a Functional Language with Effects.
CSL 1992: 309-326 |
| 15 | | Nalini Venkatasubramanian,
Gul Agha,
Carolyn L. Talcott:
Scalable Distributed Garbage Collection for Systems of Active Objects.
IWMM 1992: 134-147 |
| 14 | | Ian A. Mason,
Carolyn L. Talcott:
References, Local Variables and Operational Reasoning
LICS 1992: 186-197 |
| 13 | | Carolyn L. Talcott:
A Theory for Program and Data Type Specification.
Theor. Comput. Sci. 104(1): 129-159 (1992) |
| 12 | | Ian A. Mason,
Carolyn L. Talcott:
Inferring the Equivalence of Functional Programs That Mutate Data.
Theor. Comput. Sci. 105(2): 167-215 (1992) |
| 1991 |
|---|
| 11 | | Carolyn L. Talcott:
Towards a Theory of Binding Structures: An Abstract Algebra.
AMAST 1991: 201-215 |
| 10 | | Ian A. Mason,
Carolyn L. Talcott:
Program Transformations for Configuring Components.
PEPM 1991: 297-308 |
| 9 | | Ian A. Mason,
Carolyn L. Talcott:
Equivalence in Functional Languages with Effects.
J. Funct. Program. 1(3): 287-327 (1991) |
| 1990 |
|---|
| 8 | | Louis Galbiati,
Carolyn L. Talcott:
A Simplifier for Untyped Lambda Expressions.
CTRS 1990: 342-353 |
| 7 | | Carolyn L. Talcott:
A theory for program and data type specification.
DISCO 1990: 91-100 |
| 6 | | Carolyn L. Talcott,
Richard W. Weyhrauch:
Towards a Theory of Mechanizable Theories: I, FOL Contexts: The Extensional View.
ECAI 1990: 634-639 |
| 5 | | Ian A. Mason,
Carolyn L. Talcott:
Reasoning About Programs with Effects.
PLILP 1990: 189-203 |
| 1989 |
|---|
| 4 | | Alexandre Bronstein,
Carolyn L. Talcott:
Formal Verification of Synchronous Circuits based on String-Functional Semantics: The 7 Paillet Circuits in Boyer-Moore.
Automatic Verification Methods for Finite State Systems 1989: 317-333 |
| 3 | | Ian A. Mason,
Carolyn L. Talcott:
Programming, Transforming, and Providing with Function Abstractions and Memories.
ICALP 1989: 574-588 |
| 2 | | Ian A. Mason,
Carolyn L. Talcott:
Axiomatizing Operational Equivalence in the Presence of Side Effects
LICS 1989: 284-293 |
| 1986 |
|---|
| 1 | | Carolyn L. Talcott:
Rum. An Intensional Theory of Function and Control Abstractions.
Foundations of Logic and Functional Programming 1986: 3-44 |
