Carolyn Talcott
Carolyn Talcott
SRI International
No verified email
Title
Cited by
Cited by
Year
All About Maude-A High-Performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic
M Clavel, F Durán, S Eker, P Lincoln, N Martí-Oliet, J Meseguer, C Talcott
Springer, 2007
13402007
A foundation for actor computation
G Agha, IA Mason, SF Smith, CL Talcott
Journal of Functional Programming 7 (1), 1-72, 1997
6631997
The maude 2.0 system
M Clavel, F Durán, S Eker, P Lincoln, N Martí-Oliet, J Meseguer, C Talcott
International Conference on Rewriting Techniques and Applications, 76-87, 2003
3892003
All About Maude: A High-Performance Logical Framework, volume 4350 of Lecture Notes in Computer Science
M Clavel, F Durán, S Eker, P Lincoln, N Martı-Oliet, J Meseguer, C Talcott
Springer, 2007
2252007
Equivalence in Functional Languages with E ects
IA Mason, CL Talcott
Journal of functional programming 1, 287-327, 1991
2231991
Maude manual (version 2.1)
M Clavel, F Durán, S Eker, P Lincoln, N Martı-Oliet, J Meseguer, C Talcott
SRI International, Menlo Park, 2005
2212005
Protocol specification and analysis in Maude
G Denker, J Meseguer, C Talcott
Proc. of Workshop on Formal Methods and Security Protocols 25, 1998
1681998
Towards a theory of actor computation
G Agha, IA Mason, S Smith, C Talcott
International Conference on Concurrency Theory, 565-579, 1992
1511992
Pathway logic: Executable models of biological networks
S Eker, M Knapp, K Laderoute, P Lincoln, C Talcott
Electronic Notes in Theoretical Computer Science 71, 144-161, 2004
1342004
Reputation-based trust management
V Shmatikov, C Talcott
Journal of Computer Security 13 (1), 167-190, 2005
1192005
Cyber-physical systems and events
C Talcott
Software-Intensive Systems and New Computing Paradigms, 101-115, 2008
1132008
Reasoning Theories
F Giunchiglia, P Pecchiari, C Talcott
Frontiers of combining systems, 157-174, 1996
1081996
A variable typed logic of effects
F Honsell, IA Mason, S Smith, C Talcott
Information and Computation 119 (1), 55-90, 1995
931995
Specification and analysis of the AER/NCA active network protocol suite in Real-Time Maude
PC Ölveczky, J Meseguer, CL Talcott
Formal Methods in System Design 29 (3), 253-293, 2006
92*2006
Pathway logic modeling of protein functional domains in signal transduction
C Talcott, S Eker, M Knapp, P Lincoln, K Laderoute
Biocomputing 2004, 568-580, 2003
862003
Interaction semantics for components of distributed systems
C Talcott
Formal Methods for Open Object-based Distributed Systems, 154-169, 1997
841997
Semantic models for distributed object reflection
J Meseguer, C Talcott
European Conference on Object-Oriented Programming, 1-36, 2002
822002
From operational semantics to domain theory
IA Mason, SF Smith, CL Talcott
Information and Computation 128 (1), 26-47, 1996
811996
Computational databases, pathway and cheminformatics tools for tuberculosis drug discovery
S Ekins, JS Freundlich, I Choi, M Sarker, C Talcott
Trends in microbiology 19 (2), 65-74, 2011
792011
Policy-based cognitive radios
D Wilkins, G Denker, MO Stehr, D Elenius, R Senanayake, C Talcott
IEEE Wireless Communications 14 (4), 41-46, 2007
772007
The system can't perform the operation now. Try again later.
Articles 1–20