| 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 | 1571 | 2007 |
| Towards a strategy language for Maude N Martí-Oliet, J Meseguer, A Verdejo Electronic Notes in Theoretical Computer Science 117, 417-441, 2005 | 119 | 2005 |
| Executable structural operational semantics in Maude A Verdejo, N Martí-Oliet The Journal of Logic and Algebraic Programming 67 (1-2), 226-293, 2006 | 104 | 2006 |
| Deduction, strategies, and rewriting S Eker, N Martí-Oliet, J Meseguer, A Verdejo Electronic Notes in Theoretical Computer Science 174 (11), 3-25, 2007 | 98 | 2007 |
| Implementing ccs in maude 2 A Verdejo, N Martí-Oliet Electronic Notes in Theoretical Computer Science 71, 282-300, 2004 | 91 | 2004 |
| A rewriting semantics for Maude strategies N Martí-Oliet, J Meseguer, A Verdejo Electronic Notes in Theoretical Computer Science 238 (3), 227-247, 2009 | 57 | 2009 |
| Declarative debugging of rewriting logic specifications A Riesco, A Verdejo, N Martí-Oliet, R Caballero The Journal of Logic and Algebraic Programming 81 (7-8), 851-897, 2012 | 38 | 2012 |
| Implementing CCS in Maude A Verdejo, N Marti-Oliet International Conference on Protocol Specification, Testing and Verification …, 2000 | 34 | 2000 |
| Strategies, model checking and branching-time properties in Maude R Rubio, N Martí-Oliet, I Pita, A Verdejo Journal of Logical and Algebraic Methods in Programming 123, 100700, 2021 | 33 | 2021 |
| Maude como marco semántico ejecutable A Verdejo PhD thesis, Facultad de Informática, Universidad Complutense, Madrid, Spain, 2003 | 30 | 2003 |
| Typed mobile ambients in Maude F Rosa-Velardo, C Segura, A Verdejo Electronic Notes in Theoretical Computer Science 147 (1), 135-161, 2006 | 27 | 2006 |
| Two case studies of semantics execution in Maude: CCS and LOTOS A Verdejo, N Martí-Oliet Formal Methods in System Design 27, 113-172, 2005 | 27 | 2005 |
| A declarative debugger for Maude functional modules R Caballero, N Martí-Oliet, A Riesco, A Verdejo Electronic Notes in Theoretical Computer Science 238 (3), 63-81, 2009 | 24 | 2009 |
| Declarative debugging of rewriting logic specifications A Riesco, A Verdejo, R Caballero, N Martí-Oliet International Workshop on Algebraic Development Techniques, 308-325, 2008 | 23 | 2008 |
| Using Maude and its strategies for defining a framework for analyzing Eden semantics M Hidalgo-Herrero, A Verdejo, Y Ortega-Mallén Electronic Notes in Theoretical Computer Science 174 (10), 119-137, 2007 | 23 | 2007 |
| Parameterized strategies specification in Maude R Rubio, N Martí-Oliet, I Pita, A Verdejo Recent Trends in Algebraic Development Techniques: 24th IFIP WG 1.3 …, 2019 | 22 | 2019 |
| Implementing and analyzing in Maude the enhanced interior gateway routing protocol A Riesco, A Verdejo Electronic notes in theoretical computer science 238 (3), 249-266, 2009 | 22 | 2009 |
| Modular structural operational semantics with strategies C Braga, A Verdejo Electronic Notes in Theoretical Computer Science 175 (1), 3-17, 2007 | 21 | 2007 |
| A distributed implementation of Mobile Maude F Durán, A Riesco, A Verdejo Electronic Notes in Theoretical Computer Science 176 (4), 113-131, 2007 | 20 | 2007 |
| Executing and verifying CCS in Maude A Verdejo, N Martı-Oliet Technical Report, 2000 | 20 | 2000 |
Narciso Martí-OlietFull professor, Facultad de Informática, Universidad Complutense de MadridVerified email at ucm.es
