| Towards a strategy language for Maude N Martí-Oliet, J Meseguer, A Verdejo Electronic Notes in Theoretical Computer Science 117, 417-441, 2005 | 125 | 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 | 109 | 2006 |
| Implementing CCS in maude 2 A Verdejo, N Martí-Oliet Electronic Notes in Theoretical Computer Science 71, 282-300, 2004 | 101 | 2004 |
| 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 |
| A rewriting semantics for Maude strategies N Martí-Oliet, J Meseguer, A Verdejo Electronic Notes in Theoretical Computer Science 238 (3), 227-247, 2009 | 59 | 2009 |
| 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 | 51 | 2021 |
| 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 |
| Model checking strategy-controlled systems in rewriting logic R Rubio, N Martí-Oliet, I Pita, A Verdejo Automated Software Engineering 29 (1), 7, 2022 | 36 | 2022 |
| Implementing CCS in Maude A Verdejo, N Marti-Oliet International Conference on Protocol Specification, Testing and Verification …, 2000 | 35 | 2000 |
| Maude como marco semántico ejecutable A Verdejo PhD thesis, Facultad de Informática, Universidad Complutense, Madrid, Spain, 2003 | 33 | 2003 |
| Typed mobile ambients in Maude F Rosa-Velardo, C Segura, A Verdejo Electronic Notes in Theoretical Computer Science 147 (1), 135-161, 2006 | 31 | 2006 |
| Two case studies of semantics execution in Maude: CCS and LOTOS A Verdejo, N Martí-Oliet Formal Methods in System Design 27 (1), 113-172, 2005 | 29 | 2005 |
| Parameterized strategies specification in Maude R Rubio, N Martí-Oliet, I Pita, A Verdejo International Workshop on Algebraic Development Techniques, 27-44, 2018 | 25 | 2018 |
| 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 | 25 | 2009 |
| 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 | 25 | 2007 |
| Declarative debugging of rewriting logic specifications A Riesco, A Verdejo, R Caballero, N Martí-Oliet International Workshop on Algebraic Development Techniques, 308-325, 2008 | 22 | 2008 |
| 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 | 21 | 2009 |
| Model checking strategy-controlled rewriting systems (system description) R Rubio, N Martí-Oliet, I Pita, A Verdejo 4th International Conference on Formal Structures for Computation and …, 2019 | 20 | 2019 |
| Modular structural operational semantics with strategies C Braga, A Verdejo Electronic Notes in Theoretical Computer Science 175 (1), 3-17, 2007 | 20 | 2007 |
| Executing and verifying CCS in Maude A Verdejo, N Martı-Oliet Tech-nical Report, 99-00, 2000 | 20 | 2000 |
Narciso Martí-OlietFull professor, Facultad de Informática, Universidad Complutense de MadridVerified email at ucm.es
