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 | 1357 | 2007 |
A foundation for actor computation G Agha, IA Mason, SF Smith, CL Talcott Journal of Functional Programming 7 (1), 1-72, 1997 | 672 | 1997 |
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 | 393 | 2003 |
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 | 225 | 2007 |
Equivalence in Functional Languages with E ects IA Mason, CL Talcott Journal of functional programming 1, 287-327, 1991 | 224 | 1991 |
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 | 223 | 2005 |
Protocol specification and analysis in Maude G Denker, J Meseguer, C Talcott Proc. of Workshop on Formal Methods and Security Protocols 25, 1998 | 168 | 1998 |
Towards a theory of actor computation G Agha, IA Mason, S Smith, C Talcott International Conference on Concurrency Theory, 565-579, 1992 | 154 | 1992 |
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 | 137 | 2004 |
Reputation-based trust management V Shmatikov, C Talcott Journal of Computer Security 13 (1), 167-190, 2005 | 120 | 2005 |
Cyber-physical systems and events C Talcott Software-Intensive Systems and New Computing Paradigms, 101-115, 2008 | 115 | 2008 |
Reasoning Theories F Giunchiglia, P Pecchiari, C Talcott Frontiers of combining systems, 157-174, 1996 | 108 | 1996 |
A variable typed logic of effects F Honsell, IA Mason, S Smith, C Talcott Information and Computation 119 (1), 55-90, 1995 | 94 | 1995 |
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 | 93* | 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 | 86 | 2003 |
Interaction semantics for components of distributed systems C Talcott Formal Methods for Open Object-based Distributed Systems, 154-169, 1997 | 84 | 1997 |
Semantic models for distributed object reflection J Meseguer, C Talcott European Conference on Object-Oriented Programming, 1-36, 2002 | 83 | 2002 |
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 | 81 | 2011 |
From operational semantics to domain theory IA Mason, SF Smith, CL Talcott Information and Computation 128 (1), 26-47, 1996 | 81 | 1996 |
Policy-based cognitive radios D Wilkins, G Denker, MO Stehr, D Elenius, R Senanayake, C Talcott IEEE Wireless Communications 14 (4), 41-46, 2007 | 78 | 2007 |