Carolyn L. Talcott

Steven Eker, Markus Krummenacker, Alexander Glennon Shearer, Ashish Tiwari, Ingrid M. Keseler, Carolyn L. Talcott, Peter D. Karp: Computing minimal nutrient sets from metabolic networks via linear constraint solving. BMC Bioinformatics 14: 114 (2013)

Grit Denker, Nikil Dutt, Sharad Mehrotra, Mark-Oliver Stehr, Carolyn L. Talcott, Nalini Venkatasubramanian: Resilient dependable cyber-physical systems: a middleware perspective. J. Internet Services and Applications 3(1): 41-49 (2012)

Narges Khakpour, Saeed Jalili, Carolyn L. Talcott, Marjan Sirjani, Mohammad Reza Mousavi: Formal modeling of evolving self-adaptive systems. Sci. Comput. Program. 78(1): 3-26 (2012)

Minyoung Kim, Mark-Oliver Stehr, Carolyn L. Talcott, Nikil Dutt, Nalini Venkatasubramanian: xTune: A formal methodology for cross-layer tuning of mobile embedded systems. ACM Trans. Embedded Comput. Syst. 11(4): 73 (2012)

Anduo Wang, Limin Jia, Wenchao Zhou, Yiqing Ren, Boon Thau Loo, Jennifer Rexford, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott: FSR: formal analysis and implementation toolkit for safe interdomain routing. IEEE/ACM Trans. Netw. 20(6): 1814-1827 (2012)

Vivek Nigam, Tajana Ban Kirigin, Andre Scedrov, Carolyn L. Talcott, Max I. Kanovich, Ranko Perovic: Towards an automated assistant for clinical investigations. IHI 2012: 773-778

Anduo Wang, Carolyn L. Talcott, Alexander J. T. Gurney, Boon Thau Loo, Andre Scedrov: Brief announcement: a calculus of policy-based routing systems. PODC 2012: 343-344

Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott, Ranko Perovic: A Rewriting Framework for Activities Subject to Regulations. RTA 2012: 305-322

Anduo Wang, Alexander J. T. Gurney, Xianglong Han, Jinyan Cao, Carolyn L. Talcott, Boon Thau Loo, Andre Scedrov: Reduction-based analysis of BGP systems with BGPVerif. SIGCOMM 2012: 89-90

Leila Jalali, Carolyn L. Talcott, Nalini Venkatasubramanian, Sharad Mehrotra: Formal specification of multisimulations using Maude. SpringSim (TMS-DEVS) 2012: 22

Anduo Wang, Carolyn L. Talcott, Alexander J. T. Gurney, Boon Thau Loo, Andre Scedrov: Reduction-Based Formal Analysis of BGP Instances. TACAS 2012: 283-298

Shusaku Iida, Grit Denker, Carolyn L. Talcott: Document Logic: Risk Analysis of Business Processes Through Document Authenticity. Journal of Research and Practice in Information Technology 43(1): 41-64 (2011)

Carolyn L. Talcott, Marjan Sirjani, Shangping Ren: Comparing three coordination models: Reo, ARC, and PBRD. Sci. Comput. Program. 76(1): 3-22 (2011)

Mark-Oliver Stehr, Carolyn L. Talcott, John M. Rushby, Patrick Lincoln, Minyoung Kim, Steven Cheung, Andy Poggio: Fractionated Software for Networked Cyber-Physical Systems: Research Directions and Long-Term Vision. Formal Modeling: Actors, Open Systems, Biological Systems 2011: 110-143

Minyoung Kim, Mark-Oliver Stehr, Carolyn L. Talcott, Nikil Dutt, Nalini Venkatasubramanian: A Formal Methodology for Compositional Cross-Layer Optimization. Formal Modeling: Actors, Open Systems, Biological Systems 2011: 207-222

Anupama Panikkar, Merrill Knapp, Huaiyu Mi, Dave Anderson, Krishna Kodukula, Amit K. Galande, Carolyn L. Talcott: Applications of Pathway Logic Modeling to Target Identification. Formal Modeling: Actors, Open Systems, Biological Systems 2011: 434-445

Sebastian Gutierrez-Nolasco, Nalini Venkatasubramanian, Carolyn L. Talcott, Mark-Oliver Stehr: Tailoring group membership consistency for mobile networks. CTS 2011: 548-554

Anduo Wang, Carolyn L. Talcott, Limin Jia, Boon Thau Loo, Andre Scedrov: Analyzing BGP Instances in Maude. FMOODS/FORTE 2011: 334-348

Minyoung Kim, Mark-Oliver Stehr, Carolyn L. Talcott: A Distributed Logic for Networked Cyber-Physical Systems. FSEN 2011: 190-205

Francisco Durán, Steven Eker, Santiago Escobar, José Meseguer, Carolyn L. Talcott: Variants, Unification, Narrowing, and Symbolic Reachability in Maude 2.6. RTA 2011: 31-40

Minyoung Kim, Mark-Oliver Stehr, Ashish Gehani, Carolyn L. Talcott: Ensuring Security and Availability through Model-Based Cross-Layer Adaptation. UIC 2011: 310-325

Narges Khakpour, Saeed Jalili, Carolyn L. Talcott, Marjan Sirjani, Mohammad Reza Mousavi: PobSAM: Policy-based Managing of Actors in Self-Adaptive Systems. Electr. Notes Theor. Comput. Sci. 263: 129-143 (2010)

Robin Donaldson, Carolyn L. Talcott, Merrill Knapp, Muffy Calder: Understanding signalling networks as collections of signal transduction pathways. CMSB 2010: 86-95

Mark-Oliver Stehr, Minyoung Kim, Carolyn L. Talcott: Toward Distributed Declarative Control of Networked Cyber-Physical Systems. UIC 2010: 397-413

Carolyn L. Talcott, Nalini Venkatasubramanian (Eds.): Proceedings of the 9th Workshop on Adaptive and Reflective Middleware, ARM 2010, held at the ACM/IFIP/USENIX International Middleware Conference, November 30, 2010, Bangalore, India. ACM 2010, isbn 978-1-4503-0455-9

Yue Yu, Shangping Ren, Carolyn L. Talcott: Coordinating Asynchronous and Open Distributed Systems under Semiring-Based Timing Constraints. Electr. Notes Theor. Comput. Sci. 229(2): 133-153 (2009)

Sonia Santiago, Carolyn L. Talcott, Santiago Escobar, Catherine Meadows, José Meseguer: A Graphical User Interface for Maude-NPA. Electr. Notes Theor. Comput. Sci. 258(1): 3-20 (2009)

Olivier Danvy, Carolyn L. Talcott: Editorial. Higher-Order and Symbolic Computation 22(2): 113 (2009)

Olivier Danvy, Carolyn L. Talcott: Editorial. Higher-Order and Symbolic Computation 22(3): 197 (2009)

Olivier Danvy, Carolyn L. Talcott: Editorial. Higher-Order and Symbolic Computation 22(4): 293 (2009)

Shusaku Iida, Grit Denker, Carolyn L. Talcott: Document Logic: Risk analysis of business processes through document authenticity. EDOCW 2009: 54-63

Manuel Clavel, Francisco Durán, Steven Eker, Santiago Escobar, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott: Unification and Narrowing in Maude 2.4. RTA 2009: 380-390

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)

Carolyn L. Talcott: A Formal Framework for Interactive Agents. Electr. Notes Theor. Comput. Sci. 203(3): 95-106 (2008)

Ashish Tiwari, Carolyn L. Talcott: Analyzing a Discrete Model of Aplysia Central Pattern Generator. CMSB 2008: 347-366

Francesco Pagliarecci, Luca Spalazzi, Mark-Oliver Stehr, Carolyn L. Talcott: Formal specification of agent-object oriented programs. CTS 2008: 127-134

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

Carolyn L. Talcott: Pathway Logic. SFM 2008: 21-53

Carolyn L. Talcott: Cyber-Physical Systems and Events. Software-Intensive Systems and New Computing Paradigms 2008: 101-115

Grit Denker, Carolyn L. Talcott: Preface. Electr. Notes Theor. Comput. Sci. 176(4): 1-3 (2007)

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)

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)

Carolyn L. Talcott: Policy-based Coordination in PAGODA: A Case Study. Electr. Notes Theor. Comput. Sci. 181: 97-112 (2007)

Narciso Martí-Oliet, Grigore Rosu, Carolyn L. Talcott: Editorial. Higher-Order and Symbolic Computation 20(1-2): 1-2 (2007)

Ashish Tiwari, Carolyn L. Talcott, Merrill Knapp, Patrick Lincoln, Keith Laderoute: Analyzing Pathways Using SAT-Based Approaches. AB 2007: 155-169

Alessandro Abate, Yu Bai, Nathalie Sznajder, Carolyn L. Talcott, Ashish Tiwari: Quantitative and Probabilistic Modeling in Pathway Logic. BIBE 2007: 922-929

Bahram Parvin, Nirmalya Ghosh, Laura Heiser, Merrill Knapp, Carolyn L. Talcott, Keith Laderoute, Joe W. Gray, Paul T. Spellman: Spectral Decomposition of Signaling Networks. CIBCB 2007: 76-81

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

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

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott: Introduction. All About Maude 2007: 1-28

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott (Eds.): All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic. Lecture Notes in Computer Science 4350, Springer 2007, isbn 978-3-540-71940-3

Carolyn L. Talcott: Coordination Models Based on a Formal Model of Distributed Object Reflection. Electr. Notes Theor. Comput. Sci. 150(1): 143-157 (2006)

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)

Furio Honsell, Carolyn L. Talcott: Editorial. Higher-Order and Symbolic Computation 19(2-3): 167-168 (2006)

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)

Carolyn L. Talcott, David L. Dill: Multiple Representations of Biological Processes. : 221-245 (2006)

Carolyn L. Talcott: Formal Executable Models of Cell Signaling Primitives. ISoLA 2006: 298-302

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

Sebastian Gutierrez-Nolasco, Nalini Venkatasubramanian, Carolyn L. Talcott: A semantic model for safe protocol interaction. SAC 2006: 1599-1600

Carolyn L. Talcott: Symbolic modeling of signal transduction in pathway logic. Winter Simulation Conference 2006: 1656-1665

Grit Denker, Carolyn L. Talcott: Formal Checklists for Remote Agent Dependability. Electr. Notes Theor. Comput. Sci. 117: 229-248 (2005)

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)

Ian A. Mason, Carolyn L. Talcott: Actors and Logical Analysis of Interactive Systems. Electr. Notes Theor. Comput. Sci. 141(5): 115-133 (2005)

Vitaly Shmatikov, Carolyn L. Talcott: Reputation-based trust management. Journal of Computer Security 13(1): 167-190 (2005)

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

Mark-Oliver Stehr, Carolyn L. Talcott: Practical Techniques for Language Design and Prototyping. Foundations of Global Computing 2005

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

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)

Prasanna Thati, Carolyn L. Talcott, Gul Agha: Techniques for Executing and Reasoning about Specification Diagrams. AMAST 2004: 521-536

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

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

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

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

Sandeep Uttamchandani, Carolyn L. Talcott, David Pease: Eos: An Approach of Using Behavior Implications for Policy-Based Self-Management. DSOM 2003: 16-27

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

Steven Eker, Merrill Knapp, Keith Laderoute, Patrick Lincoln, Carolyn L. Talcott: Pathway Logic: Executable Models of Biological Networks. Electr. Notes Theor. Comput. Sci. 71: 144-161 (2002)

Mark-Oliver Stehr, Carolyn L. Talcott: Plan in Maude: Specifying an Active Network Programming Language. Electr. Notes Theor. Comput. Sci. 71: 240-260 (2002)

Olivier Danvy, Takayasu Ito, Carolyn L. Talcott: Editorial. Higher-Order and Symbolic Computation 15(1): 5 (2002)

Olivier Danvy, Carolyn L. Talcott: Editorial. Higher-Order and Symbolic Computation 15(4): 271 (2002)

Scott F. Smith, Carolyn L. Talcott: Specification Diagrams for Actor Systems. Higher-Order and Symbolic Computation 15(4): 301-348 (2002)

Carolyn L. Talcott: Actor theories in rewriting logic. Theor. Comput. Sci. 285(2): 441-485 (2002)

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

José Meseguer, Carolyn L. Talcott: Semantic Models for Distributed Object Reflection. ECOOP 2002: 1-36

Carolyn L. Talcott: A Semantic Framework for Specifying and Reasoning about Composable Distributed Middleware Services. FMOODS 2002: 25-26

Farhad Arbab, Carolyn L. Talcott (Eds.): Coordination Models and Languages, 5th International Conference, COORDINATION 2002, YORK, UK, April 8-11, 2002, Proceedings. Lecture Notes in Computer Science 2315, Springer 2002, isbn 3-540-43410-0

Nalini Venkatasubramanian, Carolyn L. Talcott: A Semantic Framework for Modeling and Reasoning about Reflective Middleware. IEEE Distributed Systems Online 2(6) (2001)

Fausto Giunchiglia, Paolo Pecchiari, Carolyn L. Talcott: Reasoning Theories. J. Autom. Reasoning 26(3): 291-331 (2001)

Olivier Danvy, Carolyn L. Talcott: Editorial. Higher-Order and Symbolic Computation 14(1): 5 (2001)

Olivier Danvy, Takayasu Ito, Carolyn L. Talcott: Editorial. Higher-Order and Symbolic Computation 14(4): 307 (2001)

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

Nalini Venkatasubramanian, Carolyn L. Talcott, Gul Agha: A Formal Model for Reasoning about Adaptive QoS-Enabled Middleware. FME 2001: 197-221

Ian A. Mason, Carolyn L. Talcott: Simple Network Protocol Simulation within Maude. Electr. Notes Theor. Comput. Sci. 36: 274-291 (2000)

Grit Denker, José Meseguer, Carolyn L. Talcott: Rewriting Semantics of Meta-Objects and Composable Distributed Services. Electr. Notes Theor. Comput. Sci. 36: 405-425 (2000)

Olivier Danvy, Carolyn L. Talcott: Editorial. Higher-Order and Symbolic Computation 13(1/2): 5-6 (2000)

Olivier Danvy, Carolyn L. Talcott: Editorial. Higher-Order and Symbolic Computation 13(3): 159-160 (2000)

Olivier Danvy, Carolyn L. Talcott: Editorial. Higher-Order and Symbolic Computation 13(4): 287-288 (2000)

José Meseguer, Carolyn L. Talcott: Semantic interoperation of open systems. ACM SIGSOFT Software Engineering Notes 25(1): 64-65 (2000)

José Meseguer, Carolyn L. Talcott: Maude. ACM SIGSOFT Software Engineering Notes 25(1): 104 (2000)

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)

Carolyn L. Talcott: Towards a Toolkit for Actor System Specification. AMAST 2000: 391-406

Alessandro Coglio, Fausto Giunchiglia, José Meseguer, Carolyn L. Talcott: Composing and Controlling Search in Reasoning Theories Using Mappings. FroCoS 2000: 200-216

Scott F. Smith, Carolyn L. Talcott (Eds.): 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. IFIP Conference Proceedings 177, Kluwer 2000, isbn 0-7923-7923-3

Olivier Danvy, Carolyn L. Talcott: Editorial. Higher-Order and Symbolic Computation 12(1): 5 (1999)

Olivier Danvy, Carolyn L. Talcott: Introduction. Higher-Order and Symbolic Computation 12(2): 123-124 (1999)

Olivier Danvy, Carolyn L. Talcott: Editorial. Higher-Order and Symbolic Computation 12(3): 219 (1999)

Olivier Danvy, Carolyn L. Talcott: Editorial. Higher-Order and Symbolic Computation 12(4): 307-308 (1999)

Ian A. Mason, Carolyn L. Talcott: Actor Languages Their Syntax, Semantics, Translation, and Equivalence. Theor. Comput. Sci. 220(2): 409-467 (1999)

José Meseguer, Carolyn L. Talcott: A Partial Order Event Model for Concurrent Objects. CONCUR 1999: 415-430

Scott F. Smith, Carolyn L. Talcott: Modular Reasoning for Actor Specification Diagrams. FMOODS 1999

Carolyn L. Talcott: Reasoning about Programs With Effects. Electr. Notes Theor. Comput. Sci. 14: 301-314 (1998)

José Meseguer, Carolyn L. Talcott: Mapping OMRS to rewriting logic. Electr. Notes Theor. Comput. Sci. 15: 33-54 (1998)

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)

Carolyn L. Talcott: Composable Semantic Models for Actor Theories. Higher-Order and Symbolic Computation 11(3): 281-343 (1998)

Andrew D. Gordon, Andrew M. Pitts, Carolyn L. Talcott: Preface. Electr. Notes Theor. Comput. Sci. 10: 1 (1997)

Ugo Montanari, Carolyn L. Talcott: Can Actors and pi-Agents Live Together? Electr. Notes Theor. Comput. Sci. 10: 189-196 (1997)

Gul Agha, Ian A. Mason, Scott F. Smith, Carolyn L. Talcott: A Foundation for Actor Computation. J. Funct. Program. 7(1): 1-72 (1997)

Ian A. Mason, Carolyn L. Talcott: A Semantically Sound Actor Tranlsation. ICALP 1997: 369-378

Carolyn L. Talcott: Composable Semantic Models for Actor Theories. TACS 1997: 321-364

Carolyn L. Talcott: An actor rewriting theory. Electr. Notes Theor. Comput. Sci. 4: 361-384 (1996)

Ian A. Mason, Scott F. Smith, Carolyn L. Talcott: From Operational Semantics to Domain Theory. Inf. Comput. 128(1): 26-47 (1996)

Fausto Giunchiglia, Paolo Pecchiari, Carolyn L. Talcott: Reasoning Theories: Towards an Architecture for Open Mechanized Reasoning Systems. FroCoS 1996: 157-174

Furio Honsell, Ian A. Mason, Scott F. Smith, Carolyn L. Talcott: A Variable Typed Logic of Effects. Inf. Comput. 119(1): 55-90 (1995)

Ian A. Mason, Carolyn L. Talcott: Reasoning About Object Systems in VTLoE. Int. J. Found. Comput. Sci. 6(3): 265-298 (1995)

Nalini Venkatasubramanian, Carolyn L. Talcott: Reasoning about Meta Level Activities in Open Distributed Systems. PODC 1995: 144-152

Richard W. Weyhrauch, Carolyn L. Talcott: The Logic of FOL Systems: Formulated in Set Theory. Logic, Language and Computation 1994: 119-132

Ian A. Mason, Carolyn L. Talcott: Program Transformation via Contextual Assertions. Logic, Language and Computation 1994: 225-254

Carolyn L. Talcott: A Theory of Binding Structures and Applications to Rewriting. Theor. Comput. Sci. 112(1): 99-143 (1993)

Carolyn L. Talcott: A Theory for Program and Data Type Specification. Theor. Comput. Sci. 104(1): 129-159 (1992)

Ian A. Mason, Carolyn L. Talcott: Inferring the Equivalence of Functional Programs That Mutate Data. Theor. Comput. Sci. 105(2): 167-215 (1992)

Gul Agha, Ian A. Mason, Scott F. Smith, Carolyn L. Talcott: Towards a Theory of Actor Computation. CONCUR 1992: 565-579

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

Nalini Venkatasubramanian, Gul Agha, Carolyn L. Talcott: Scalable Distributed Garbage Collection for Systems of Active Objects. IWMM 1992: 134-147

Ian A. Mason, Carolyn L. Talcott: References, Local Variables and Operational Reasoning. LICS 1992: 186-197

Ian A. Mason, Carolyn L. Talcott: Equivalence in Functional Languages with Effects. J. Funct. Program. 1(3): 287-327 (1991)

Carolyn L. Talcott: Towards a Theory of Binding Structures: An Abstract Algebra. AMAST 1991: 201-215

Ian A. Mason, Carolyn L. Talcott: Program Transformations for Configuring Components. PEPM 1991: 297-308

Louis Galbiati, Carolyn L. Talcott: A Simplifier for Untyped Lambda Expressions. CTRS 1990: 342-353

Carolyn L. Talcott: A theory for program and data type specification. DISCO 1990: 91-100

Carolyn L. Talcott, Richard W. Weyhrauch: Towards a Theory of Mechanizable Theories: I, FOL Contexts: The Extensional View. ECAI 1990: 634-639

Ian A. Mason, Carolyn L. Talcott: Reasoning About Programs with Effects. PLILP 1990: 189-203

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

Ian A. Mason, Carolyn L. Talcott: Programming, Transforming, and Providing with Function Abstractions and Memories. ICALP 1989: 574-588

Ian A. Mason, Carolyn L. Talcott: Axiomatizing Operational Equivalence in the Presence of Side Effects. LICS 1989: 284-293

Carolyn L. Talcott: Rum. An Intensional Theory of Function and Control Abstractions. Foundations of Logic and Functional Programming 1986: 3-44