| 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 | 1358 | 2007 |
| Maude: Specification and programming in rewriting logic M Clavel, F Durán, S Eker, P Lincoln, N Martı-Oliet, J Meseguer, ... Theoretical Computer Science 285 (2), 187-243, 2002 | 1050 | 2002 |
| 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 |
| Principles of maude M Clavel, S Eker, P Lincoln, J Meseguer Electronic Notes in Theoretical Computer Science 4, 65-89, 1996 | 368 | 1996 |
| 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 | 226 | 2007 |
| Maude Manual (Version 2.7. 1) M Clavel, F Durán, S Eker, S Escobar, P Lincoln, N Martı-Oliet, ... SRI International, 2016 | 223* | 2016 |
| 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 |
| Automated analysis of security-design models D Basin, M Clavel, J Doser, M Egea Information and Software Technology 51 (5), 815-831, 2009 | 151 | 2009 |
| Reflection and Strategies in Rewriting Logic M Clavel Electronic Notes in Theoretical Computer Science 4, 126-148, 1996 | 151 | 1996 |
| Maude as a formal meta-tool M Clavel, F Durán, S Eker, J Meseguer, MO Stehr International Symposium on Formal Methods, 1684-1703, 1999 | 112 | 1999 |
| Building equational proving tools by reflection in rewriting logic M Clavel, F Durán, S Eker, J Meseguer | 110 | 1998 |
| A decade of model-driven security D Basin, M Clavel, M Egea Proceedings of the 16th ACM symposium on Access control models and …, 2011 | 105 | 2011 |
| The maude system M Clavel, F Duran, S Eker, P Lincoln, N Martí-Oliet, J Meseguer, ... International Conference on Rewriting Techniques and Applications, 240-243, 1999 | 104 | 1999 |
| Reflection in Rewriting Logic Metalogical Foundations and Metaprogramming Applications M Clavel | 99 | 2000 |
| Axiomatizing reflective logics and languages M Clavel, J Meseguer Proceedings of Reflection 96, 263-288, 1996 | 94 | 1996 |
| Checking unsatisfiability for OCL constraints M Clavel, M Egea, MAG de Dios Electronic Communications of the EASST 24, 2009 | 84 | 2009 |
| Reflection in conditional rewriting logic M Clavel, J Meseguer Theoretical Computer Science 285 (2), 245-288, 2002 | 81 | 2002 |
| ITP/OCL: A rewriting-based validation tool for UML+ OCL static class diagrams M Clavel, M Egea International Conference on Algebraic Methodology and Software Technology …, 2006 | 65 | 2006 |
| Maude 2.0 Manual M Clavel, F Durán, S Eker, P Lincoln, N Martı-Oliet, J Meseguer, C Talcott Available in http://maude. cs. uiuc. edu, 2003 | 65 | 2003 |
| Reflection in general logics and in rewriting logic with applications to the Maude languaje MG Clavel | 60 | 1998 |
