| 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 | 1609 | 2007 |
| A foundation for actor computation GA Agha, IA Mason, SF Smith, CL Talcott Journal of functional programming 7 (1), 1-72, 1997 | 704 | 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 | 405 | 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, ... Springer, 2007 | 322 | 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 | 290* | 2020 |
| Equivalence in functional languages with effects I Mason, C Talcott Journal of functional programming 1 (3), 287-327, 1991 | 244 | 1991 |
| Protocol specification and analysis in Maude G Denker, J Meseguer, C Talcott Proc. of Workshop on Formal Methods and Security Protocols 25, 1998 | 169 | 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 | 161 | 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 | 146 | 2004 |
| Cyber-physical systems and events C Talcott Software-Intensive Systems and New Computing Paradigms: Challenges and …, 2008 | 141 | 2008 |
| Reputation-based trust management V Shmatikov, C Talcott Journal of Computer Security 13 (1), 167-190, 2005 | 129 | 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 | 116 | 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 | 111 | 2016 |
| 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 |
| 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 | 99 | 2011 |
| A variable typed logic of effects F Honsell, IA Mason, S Smith, C Talcott Information and computation 119 (1), 55-90, 1995 | 99 | 1995 |
| 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 | 95 | 2007 |
| 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 | 94 | 2003 |
| From operational semantics to domain theory IA Mason, SF Smith, CL Talcott Information and Computation 128 (1), 26-47, 1996 | 89 | 1996 |
| Semantic models for distributed object reflection J Meseguer, C Talcott European Conference on Object-Oriented Programming, 1-36, 2002 | 84 | 2002 |
