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 | 103 | 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 | 92 | 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 | 75 | 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 | 41 | 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 distributed implementation of Mobile Maude F Durán, A Riesco, A Verdejo Electronic Notes in Theoretical Computer Science 176 (4), 113-131, 2007 | 17 | 2007 |
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 |
Modular structural operational semantics with strategies C Braga, A Verdejo Electronic Notes in Theoretical Computer Science 175 (1), 3-17, 2007 | 15 | 2007 |
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 |
Rewriting logic and its applications N Martí-Oliet, J Meseguer Theoretical Computer Science 285 (2), 2002 | 13 | 2002 |