| 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 | 1665 | 2007 |
| A foundation for actor computation GA Agha, IA Mason, SF Smith, CL Talcott Journal of functional programming 7 (1), 1-72, 1997 | 721 | 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 | 412 | 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 | 327 | 2007 |
| Maude manual (version 3.1) M Clavel, F Durán, S Eker, S Escobar, P Lincoln, N Martı-Oliet, ... SRI International, 2020 | 267* | 2020 |
| Equivalence in functional languages with effects I Mason, C Talcott Journal of functional programming 1 (3), 287-327, 1991 | 245 | 1991 |
| Protocol specification and analysis in Maude G Denker, J Meseguer, C Talcott Proc. of Workshop on Formal Methods and Security Protocols 25, 1998 | 171 | 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 | 167 | 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 | 151 | 2004 |
| Cyber-physical systems and events C Talcott Software-Intensive Systems and New Computing Paradigms: Challenges and …, 2008 | 150 | 2008 |
| Reputation-based trust management V Shmatikov, C Talcott Journal of Computer Security 13 (1), 167-190, 2005 | 131 | 2005 |
| 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 | 118 | 2016 |
| 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 |
| 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 | 105* | 2006 |
| A variable typed logic of effects F Honsell, IA Mason, S Smith, C Talcott Information and computation 119 (1), 55-90, 1995 | 99 | 1995 |
| 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 | 98 | 2011 |
| 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 | 97 | 2007 |
| Programming and symbolic computation in Maude F Durán, S Eker, S Escobar, N Martí-Oliet, J Meseguer, R Rubio, C Talcott Journal of Logical and Algebraic Methods in Programming 110, 100497, 2020 | 96 | 2020 |
| 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 | 96 | 2003 |
| From operational semantics to domain theory IA Mason, SF Smith, CL Talcott Information and Computation 128 (1), 26-47, 1996 | 90 | 1996 |