dblp.uni-trier.dewww.uni-trier.de

Carolyn L. Talcott Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
134EEManuel 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
2008
133EEAshish Tiwari, Carolyn L. Talcott: Analyzing a Discrete Model of Aplysia Central Pattern Generator CMSB 2008: 347-366
132EEMinyoung Kim, Mark-Oliver Stehr, Carolyn L. Talcott, Nikil Dutt, Nalini Venkatasubramanian: Constraint Refinement for Online Verifiable Cross-Layer System Adaptation. DATE 2008: 646-651
131EECarolyn L. Talcott: Pathway Logic. SFM 2008: 21-53
130EECarolyn L. Talcott: Cyber-Physical Systems and Events. Software-Intensive Systems and New Computing Paradigms 2008: 101-115
129EECarolyn L. Talcott, Marjan Sirjani, Shangping Ren: Comparing Three Coordination Models: Reo, ARC, and RRD. Electr. Notes Theor. Comput. Sci. 194(4): 39-55 (2008)
128EECarolyn L. Talcott: A Formal Framework for Interactive Agents. Electr. Notes Theor. Comput. Sci. 203(3): 95-106 (2008)
2007
127 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
126EEAshish Tiwari, Carolyn L. Talcott, Merrill Knapp, Patrick Lincoln, Keith Laderoute: Analyzing Pathways Using SAT-Based Approaches. AB 2007: 155-169
125EEManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott: Introduction. All About Maude 2007: 1-28
124EEManuel 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
123EEManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott: System Modules. All About Maude 2007: 131-157
122EEManuel 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
121EEManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott: Module Operations. All About Maude 2007: 185-230
120EEManuel 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
119EEManuel 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
118EEManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott: Using Maude. All About Maude 2007: 31-37
117EEManuel 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
116EEManuel 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
115EEManuel 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
114EEManuel 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
113EEManuel 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
112EEManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott: Metaprogramming Applications. All About Maude 2007: 459-483
111EEManuel 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
110EEManuel 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
109EEManuel 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
108EEManuel 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
107EEManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott: Functional Modules. All About Maude 2007: 61-118
106EEManuel 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
105EEManuel 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
104EEManuel 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
103EEManuel 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
102EEManuel 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
101EEAlessandro Abate, Yu Bai, Nathalie Sznajder, Carolyn L. Talcott, Ashish Tiwari: Quantitative and Probabilistic Modeling in Pathway Logic. BIBE 2007: 922-929
100EEBahram 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
99EEMinyoung 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
98EEMinyoung 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
97EEDaniel 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
96EEGrit Denker, Carolyn L. Talcott: Preface. Electr. Notes Theor. Comput. Sci. 176(4): 1-3 (2007)
95EEMartin 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)
94EEGrit 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)
93EECarolyn L. Talcott: Policy-based Coordination in PAGODA: A Case Study. Electr. Notes Theor. Comput. Sci. 181: 97-112 (2007)
92EENarciso Martí-Oliet, Grigore Rosu, Carolyn L. Talcott: Editorial. Higher-Order and Symbolic Computation 20(1-2): 1-2 (2007)
2006
91EECarolyn L. Talcott: Formal Executable Models of Cell Signaling Primitives. ISoLA 2006: 298-302
90EESebastian 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
89EESebastian Gutierrez-Nolasco, Nalini Venkatasubramanian, Carolyn L. Talcott: A semantic model for safe protocol interaction. SAC 2006: 1599-1600
88EECarolyn L. Talcott: Symbolic modeling of signal transduction in pathway logic. Winter Simulation Conference 2006: 1656-1665
87EECarolyn L. Talcott: Coordination Models Based on a Formal Model of Distributed Object Reflection. Electr. Notes Theor. Comput. Sci. 150(1): 143-157 (2006)
86EEPeter 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)
85EEFurio Honsell, Carolyn L. Talcott: Editorial. Higher-Order and Symbolic Computation 19(2-3): 167-168 (2006)
84EEOlivier 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)
83EECarolyn L. Talcott, David L. Dill: Multiple Representations of Biological Processes. T. Comp. Sys. Biology: 221-245 (2006)
2005
82EEMerrill 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
81EEMark-Oliver Stehr, Carolyn L. Talcott: Practical Techniques for Language Design and Prototyping. Foundations of Global Computing 2005
80EEDavid 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
79EEGrit Denker, Carolyn L. Talcott: Formal Checklists for Remote Agent Dependability. Electr. Notes Theor. Comput. Sci. 117: 229-248 (2005)
78EEIan A. Mason, Carolyn L. Talcott: IOP: The InterOperability Platform & IMaude: An Interactive Extension of Maude. Electr. Notes Theor. Comput. Sci. 117: 315-333 (2005)
77EEIan 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
75EEPrasanna Thati, Carolyn L. Talcott, Gul Agha: Techniques for Executing and Reasoning about Specification Diagrams. AMAST 2004: 521-536
74EESebastian 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
73EECarolyn 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
72EENalini 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
71EESteven 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
70EECarolyn L. Talcott, Steven Eker, Merrill Knapp, Patrick Lincoln, Keith Laderoute: Pathway Logic Modeling of Protein Functional Domains in Signal Transduction. CSB 2003: 618-619
69EESandeep Uttamchandani, Carolyn L. Talcott, David Pease: Eos: An Approach of Using Behavior Implications for Policy-Based Self-Management. DSOM 2003: 16-27
68EEManuel 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
66EEJosé 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
65EEJosé 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
63EESteven Eker, Merrill Knapp, Keith Laderoute, Patrick Lincoln, Carolyn L. Talcott: Pathway Logic: Executable Models of Biological Networks. Electr. Notes Theor. Comput. Sci. 71: (2002)
62EEMark-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)
58EECarolyn L. Talcott: Actor theories in rewriting logic. Theor. Comput. Sci. 285(2): 441-485 (2002)
2001
57EEPeter 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
56EENalini 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)
53EENalini 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
50EECarolyn 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
48EEGrit Denker, José Meseguer, Carolyn L. Talcott: Rewriting Semantics of Meta-Objects and Composable Distributed Services. Electr. Notes Theor. Comput. Sci. 36: (2000)
47EEIan 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)
43EEPaolo 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
42EEJosé 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)
36EEIan A. Mason, Carolyn L. Talcott: Actor Languages Their Syntax, Semantics, Translation, and Equivalence. Theor. Comput. Sci. 220(2): 409-467 (1999)
1998
35EECarolyn L. Talcott: Reasoning about Programs With Effects. Electr. Notes Theor. Comput. Sci. 14: (1998)
34EEJosé 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
31EEIan 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
29EEUgo Montanari, Carolyn L. Talcott: Can Actors and pi-Agents Live Together? Electr. Notes Theor. Comput. Sci. 10: (1997)
28EEAndrew 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
25EECarolyn 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
17EEGul Agha, Ian A. Mason, Scott F. Smith, Carolyn L. Talcott: Towards a Theory of Actor Computation. CONCUR 1992: 565-579
16EEFurio 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
7EECarolyn 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
5EEIan A. Mason, Carolyn L. Talcott: Reasoning About Programs with Effects. PLILP 1990: 189-203
1989
4EEAlexandre 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
3EEIan 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

Coauthor Index

1Alessandro Abate [101]
2Gul A. Agha (Gul Agha) [15] [17] [27] [56] [72] [75]
3Farhad Arbab [67]
4Yu Bai [101]
5Paolo Di Blasio [43]
6Christiano Braga (Christiano de O. Braga) [105]
7Mark van den Brand (M. G. J. van den Brand) [94]
8Linda Briesemeister [82] [95]
9Alexandre Bronstein [4]
10Marco Cadoli [32]
11Manuel Clavel [68] [102] [103] [104] [105] [106] [107] [108] [109] [110] [111] [112] [113] [114] [115] [116] [117] [118] [119] [120] [121] [122] [123] [124] [125] [127] [134]
12Alessandro Coglio [49]
13Olivier Danvy [37] [38] [39] [40] [44] [45] [46] [54] [55] [60] [61] [84]
14Grit Denker [48] [79] [94] [95] [96] [97]
15David L. Dill [80] [83]
16Francisco Durán [68] [102] [103] [104] [105] [106] [107] [108] [109] [110] [111] [112] [113] [114] [115] [116] [117] [118] [119] [120] [121] [122] [123] [124] [125] [127] [134]
17Nikil D. Dutt (Nikil Dutt) [98] [99] [132]
18Steven Eker [63] [68] [70] [71] [73] [82] [94] [102] [103] [104] [105] [106] [107] [108] [109] [110] [111] [112] [113] [114] [115] [116] [117] [118] [119] [120] [121] [122] [123] [124] [125] [127] [134]
19Daniel Elenius [97]
20Santiago Escobar [134]
21Azadeh Farzan [105]
22Andrzej Filinski [84]
23Kathleen Fisher [43]
24Pamela Gage [80]
25Louis Galbiati [8]
26Nirmalya Ghosh [100]
27Jean-Louis Giavitto [84]
28Fausto Giunchiglia [26] [49] [52]
29Andrew Gordon [28]
30Joe Gray [100]
31Sebastian Gutierrez-Nolasco [74] [89] [90]
32Laura Heiser [100]
33Joe Hendrix [105]
34Furio Honsell [16] [22] [85]
35Takayasu Ito [54] [61]
36Mark Keaton [57]
37Minyoung Kim [98] [99] [132]
38Andy King [84]
39Merrill Knapp [63] [70] [73] [80] [82] [100] [126]
40Keith Laderoute [63] [70] [71] [73] [80] [82] [100] [126]
41Patrick Lincoln [63] [68] [70] [71] [73] [80] [82] [102] [103] [104] [105] [106] [107] [108] [109] [110] [111] [112] [113] [114] [115] [116] [117] [118] [119] [120] [121] [122] [123] [124] [125] [126] [127] [134]
42Narciso Martí-Oliet [68] [92] [102] [103] [104] [105] [106] [107] [108] [109] [110] [111] [112] [113] [114] [115] [116] [117] [118] [119] [120] [121] [122] [123] [124] [125] [127] [134]
43Ian A. Mason [2] [3] [5] [9] [10] [12] [14] [16] [17] [19] [21] [22] [24] [27] [31] [36] [47] [77] [78]
44José Meseguer [34] [42] [48] [49] [57] [65] [66] [68] [86] [102] [103] [104] [105] [106] [107] [108] [109] [110] [111] [112] [113] [114] [115] [116] [117] [118] [119] [120] [121] [122] [123] [124] [125] [127] [134]
45Ugo Montanari [29]
46Pierre-Etienne Moreau [84]
47Peter Csaba Ölveczky [57] [66] [86] [105]
48Miguel Palomino [105] [119] [122]
49Bahram Parvin [100]
50David Pease [69]
51Paolo Pecchiari [26] [52]
52Andrew M. Pitts [28]
53Andy Poggio [82] [95]
54Shangping Ren [129]
55Adrián Riesco [111]
56Grigore Rosu [92] [94]
57Ralf Sasse [105]
58Rukman Senanayake [97]
59Traian-Florin Serbanuta (Traian Serbanuta) [94]
60Vitaly Shmatikov [76]
61Marjan Sirjani [129]
62Scott F. Smith [16] [17] [22] [24] [27] [41] [51] [59]
63Paul Spellman [100]
64M. G. Sriram [71]
65Mark-Oliver Stehr [62] [66] [74] [81] [90] [97] [98] [99] [105] [132]
66Nathalie Sznajder [101]
67Prasanna Thati (Prasannaa Thati) [75]
68Ashish Tiwari [101] [126] [133]
69Sandeep Uttamchandani [69]
70Nalini Venkatasubramanian [15] [23] [53] [56] [72] [74] [89] [90] [98] [99] [132]
71Alberto Verdejo [105] [111] [119] [122]
72Richard W. Weyhrauch [6] [20] [32]
73David Wilkins [97]
74Martin Wirsing [95]
75Steve Zabele [57]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)