Suivre
Carolyn Talcott
Carolyn Talcott
SRI International
Aucune adresse e-mail validée
Titre
Citée par
Citée par
Année
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
15982007
A foundation for actor computation
GA Agha, IA Mason, SF Smith, CL Talcott
Journal of functional programming 7 (1), 1-72, 1997
7021997
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
4112003
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
3162007
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
290*2020
Equivalence in functional languages with effects
I Mason, C Talcott
Journal of functional programming 1 (3), 287-327, 1991
2431991
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
1611992
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
1462004
Cyber-physical systems and events
C Talcott
Software-Intensive Systems and New Computing Paradigms: Challenges and …, 2008
1412008
Reputation-based trust management
V Shmatikov, C Talcott
Journal of Computer Security 13 (1), 167-190, 2005
1282005
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
1141996
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
1072007
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
1052016
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
100*2006
A variable typed logic of effects
F Honsell, IA Mason, S Smith, C Talcott
Information and computation 119 (1), 55-90, 1995
1001995
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
982011
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
942003
From operational semantics to domain theory
IA Mason, SF Smith, CL Talcott
Information and Computation 128 (1), 26-47, 1996
881996
Semantic models for distributed object reflection
J Meseguer, C Talcott
European Conference on Object-Oriented Programming, 1-36, 2002
842002
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20