| Implementing ccs in maude 2 A Verdejo, N Martí-Oliet Electronic Notes in Theoretical Computer Science 71, 282-300, 2004 | 106 | 2004 |
| Towards a strategy language for Maude N Martí-Oliet, J Meseguer, A Verdejo Electronic Notes in Theoretical Computer Science 117, 417-441, 2005 | 102 | 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 | 89 | 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 | 74 | 2007 |
| 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 | 50* | 2012 |
| A rewriting semantics for Maude strategies N Martí-Oliet, J Meseguer, A Verdejo Electronic Notes in Theoretical Computer Science 238 (3), 227-247, 2009 | 40 | 2009 |
| Maude como marco semántico ejecutable A Verdejo PhD thesis, Facultad de Informática, Universidad Complutense, Madrid, Spain, 2003 | 28 | 2003 |
| Two case studies of semantics execution in Maude: CCS and LOTOS A Verdejo, N Martí-Oliet Formal Methods in System Design 27 (1-2), 113-172, 2005 | 26 | 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 | 22 | 2009 |
| 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 |
| Declarative debugging of missing answers for Maude A Riesco, A Verdejo, N Marti-Oliet Proceedings of the 21st International Conference on Rewriting Techniques and …, 2010 | 19 | 2010 |
| Typed Mobile Ambients in Maude F Rosa-Velardo, C Segura, A Verdejo Electronic Notes in Theoretical Computer Science 147 (1), 135-161, 2006 | 18 | 2006 |
| Executing and verifying CCS in Maude A Verdejo, N Martı-Oliet, DSI y Programación Technical Report 99-00, Departamento de Sistemas InformÃaticos y …, 2000 | 18 | 2000 |
| A tutorial on specifying data structures in Maude N Martí-Oliet, M Palomino, A Verdejo Electronic Notes in Theoretical Computer Science 137 (1), 105-132, 2005 | 16 | 2005 |
| A complete declarative debugger for Maude A Riesco, A Verdejo, N Martí-Oliet International Conference on Algebraic Methodology and Software Technology …, 2010 | 15 | 2010 |
| Building tools for LOTOS symbolic semantics in Maude A Verdejo International Conference on Formal Techniques for Networked and Distributed …, 2002 | 15 | 2002 |
| Rewriting logic bibliography by topic: 1990–2011 N Marti-Oliet, M Palomino, A Verdejo The Journal of Logic and Algebraic Programming 81 (7-8), 782-815, 2012 | 14 | 2012 |
| A distributed implementation of Mobile Maude F Durán, A Riesco, A Verdejo Electronic Notes in Theoretical Computer Science 176 (4), 113-131, 2007 | 14 | 2007 |
| Modular structural operational semantics with strategies C Braga, A Verdejo Electronic Notes in Theoretical Computer Science 175 (1), 3-17, 2007 | 14 | 2007 |
| Rewriting logic and its applications N Martí-Oliet, J Meseguer Theoretical Computer Science 285 (2), 2002 | 13 | 2002 |
Narciso Martí-OlietFull professor, Facultad de Informática, Universidad Complutense de MadridBestätigte E-Mail-Adresse bei ucm.es
