| 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 | 1543 | 2007 |
| A foundation for actor computation GA Agha, IA Mason, SF Smith, CL Talcott Journal of functional programming 7 (1), 1-72, 1997 | 698 | 1997 |
| The maude 2.0 system M Clavel, F Durán, S Eker, P Lincoln, N Martí-Oliet, J Meseguer, C Talcott Rewriting Techniques and Applications: 14th International Conference, RTA …, 2003 | 407 | 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 | 306 | 2007 |
| 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 | 271* | 2020 |
| Equivalence in functional languages with effects I Mason, C Talcott Journal of functional programming 1 (3), 287-327, 1991 | 239 | 1991 |
| Protocol specification and analysis in Maude G Denker, J Meseguer, C Talcott Proc. of Workshop on Formal Methods and Security Protocols 25, 1998 | 175 | 1998 |
| 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 | 159 | 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 | 148 | 2004 |
| Cyber-physical systems and events C Talcott Software-Intensive Systems and New Computing Paradigms: Challenges and …, 2008 | 133 | 2008 |
| Reputation-based trust management V Shmatikov, C Talcott Journal of Computer Security 13 (1), 167-190, 2005 | 125 | 2005 |
| 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 | 114 | 1996 |
| 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 | 100 | 2016 |
| A variable typed logic of effects F Honsell, IA Mason, S Smith, C Talcott Information and computation 119 (1), 55-90, 1995 | 100 | 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, 253-293, 2006 | 98* | 2006 |
| 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 | 92 | 2003 |
| 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 | 90 | 2011 |
| Interaction semantics for components of distributed systems C Talcott Formal Methods for Open Object-based Distributed Systems, 154-169, 1997 | 85 | 1997 |
| Semantic models for distributed object reflection J Meseguer, C Talcott ECOOP 2002—Object-Oriented Programming: 16th European Conference Málaga …, 2002 | 84 | 2002 |
| From operational semantics to domain theory IA Mason, SF Smith, CL Talcott Information and Computation 128 (1), 26-47, 1996 | 84 | 1996 |
