Folgen
Carolyn Talcott
Carolyn Talcott
SRI International
Keine bestätigte E-Mail-Adresse
Titel
Zitiert von
Zitiert von
Jahr
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
16282007
A foundation for actor computation
GA Agha, IA Mason, SF Smith, CL Talcott
Journal of functional programming 7 (1), 1-72, 1997
7041997
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
3232007
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
293*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
1721998
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
1432008
Reputation-based trust management
V Shmatikov, C Talcott
Journal of Computer Security 13 (1), 167-190, 2005
1292005
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
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
1082016
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
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
101*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
891996
Semantic models for distributed object reflection
J Meseguer, C Talcott
European Conference on Object-Oriented Programming, 1-36, 2002
842002
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20