Follow
Carolyn Talcott
Carolyn Talcott
SRI International
No verified email
Title
Cited by
Cited by
Year
Some tools
M Clavel, F Durán, S Eker, P Lincoln, N Martí-Oliet, J Meseguer, C Talcott, ...
All About Maude-A High-Performance Logical Framework: How to Specify …, 2007
16562007
A foundation for actor computation
GA Agha, IA Mason, SF Smith, CL Talcott
Journal of functional programming 7 (1), 1-72, 1997
7201997
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
4122003
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, ...
Springer, 2007
3272007
Maude manual (version 3.1)
M Clavel, F Durán, S Eker, S Escobar, P Lincoln, N Martı-Oliet, ...
SRI International University of Illinois at Urbana-Champaign http://maude …, 2020
300*2020
Equivalence in functional languages with effects
I Mason, C Talcott
Journal of functional programming 1 (3), 287-327, 1991
2441991
Protocol specification and analysis in Maude
G Denker, J Meseguer, C Talcott
Proc. of Workshop on Formal Methods and Security Protocols 25, 1998
1711998
Towards a theory of actor computation
G Agha, IA Mason, S Smith, C Talcott
CONCUR'92: Third International Conference on Concurrency Theory Stony Brook …, 1992
1651992
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
1482004
Cyber-physical systems and events
C Talcott
Software-Intensive Systems and New Computing Paradigms: Challenges and …, 2008
1462008
Reputation-based trust management
V Shmatikov, C Talcott
Journal of Computer Security 13 (1), 167-190, 2005
1312005
ADDSEN: Adaptive data processing and dissemination for drone swarms in urban sensing
D Wu, DI Arkhipov, M Kim, CL Talcott, AC Regan, JA McCann, ...
IEEE transactions on computers 66 (2), 183-198, 2016
1172016
Reasoning theories: Towards an architecture for open mechanized reasoning systems
F Giunchiglia, P Pecchiari, C Talcott
Frontiers of Combining Systems: First International Workshop, Munich, March …, 1996
1161996
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, 253-293, 2006
102*2006
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
1002011
A variable typed logic of effects
F Honsell, IA Mason, S Smith, C Talcott
Information and computation 119 (1), 55-90, 1995
991995
Reflection, metalevel computation, and strategies
M Clavel, F Durán, S Eker, P Lincoln, N Martí-Oliet, J Meseguer, C Talcott, ...
All About Maude-A High-Performance Logical Framework: How to Specify …, 2007
972007
Programming and symbolic computation in Maude
F Durán, S Eker, S Escobar, N Martí-Oliet, J Meseguer, R Rubio, C Talcott
Journal of Logical and Algebraic Methods in Programming 110, 100497, 2020
952020
Pathway logic modeling of protein functional domains in signal transduction
C Talcott, S Eker, M Knapp, P Lincoln, K Laderoute
Computational Systems Bioinformatics. CSB2003. Proceedings of the 2003 IEEE …, 2003
952003
Machine Learning Models and Pathway Genome Data Base for Trypanosoma cruzi Drug Discovery
S Ekins, J Lage de Siqueira-Neto, LI McCall, M Sarker, M Yadav, ...
PLoS neglected tropical diseases 9 (6), e0003878, 2015
902015
The system can't perform the operation now. Try again later.
Articles 1–20