| 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 |
| Towards a verification logic for rewriting logic JL Fiadeiro, T Maibaum, N Martí-Oliet, J Meseguer, I Pita Recent Trends in Algebraic Development Techniques: 14th International …, 2000 | 28 | 2000 |
| 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 |
| 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 | 19 | 2019 |
| Model checking strategy-controlled systems in rewriting logic R Rubio, N Martí-Oliet, I Pita, A Verdejo Automated Software Engineering 29 (1), 7, 2022 | 18 | 2022 |
| Specification and verification of the tree identify protocol of IEEE 1394 in rewriting logic A Verdejo, I Pita, N Martí-Oliet Formal Aspects of Computing 14, 228-246, 2003 | 16 | 2003 |
| Interactive Learning of Data Structures and Algorithmic Schemes C Segura, I Pita, R del Vado Vírseda, AI Saiz, P Soler Computational Science–ICCS 2008: 8th International Conference, Kraków …, 2008 | 15 | 2008 |
| Simulating and model checking membrane systems using strategies in Maude R Rubio, N Martí-Oliet, I Pita, A Verdejo Journal of Logical and Algebraic Methods in Programming 124, 100727, 2022 | 13 | 2022 |
| A Maude specification of an object-oriented database model for telecommunication networks I Pita, N Martí-Oliet Electronic Notes in Theoretical Computer Science 4, 405-423, 1996 | 13 | 1996 |
| Metalevel transformation of strategies R Rubio, N Martí-Oliet, I Pita, A Verdejo Journal of Logical and Algebraic Methods in Programming 124, 100728, 2022 | 10 | 2022 |
| Using reflection to specify transaction sequences in rewriting logic I Pita, N Martí-Oliet Recent Trends in Algebraic Development Techniques: 13th International …, 1999 | 10 | 1999 |
| Conditional narrowing modulo SMT and axioms L Aguirre, N Martí-Oliet, M Palomino, I Pita Proceedings of the 19th International Symposium on Principles and Practice …, 2017 | 9 | 2017 |
| Conditional narrowing modulo in rewriting logic and Maude L Aguirre, N Martí-Oliet, M Palomino, I Pita International Workshop on Rewriting Logic and its Applications, 80-96, 2014 | 9 | 2014 |
| Estudio de una experiencia de aprendizaje interactivo para la asignatura de estructura de datos I Pita, R Del Vado Jornada Campus Virtual UCM, 2007 | 9 | 2007 |
| A verification logic for rewriting logic N Martí-Oliet, I Pita, JL Fiadeiro, J Meseguer, T Maibaum Journal of Logic and Computation 15 (3), 317-352, 2005 | 9 | 2005 |
| The semantics of the Maude strategy language R Rubio, N Martí-Oliet, I Pita, A Verdejo Technical report 01/21, Departamento de Sistemas Informáticos y Computación …, 2021 | 8 | 2021 |
| Specifying and analyzing the kademlia protocol in maude I Pita, A Riesco Theoretical Aspects of Computing-ICTAC 2015: 12th International Colloquium …, 2015 | 8 | 2015 |
| Strategy language for Maude S Eker, N Martí-Oliet, J Meseguer, I Pita, R Rubio, A Verdejo URL: http://maude. ucm. es/strategies, 2021 | 7 | 2021 |
| Sentence-normalized conditional narrowing modulo in rewriting logic and maude L Aguirre, N Martí-Oliet, M Palomino, I Pita Logic, Rewriting, and Concurrency: Essays Dedicated to José Meseguer on the …, 2015 | 7 | 2015 |
| A formal specification of the Kademlia distributed hash table I Pita Proceedings of the 10 Spanish Workshop on Programming Languages, PROLE, 223-234, 2010 | 7 | 2010 |
