Follow
ISABEL PITA
ISABEL PITA
Profesor de Informática, Universidad Complutense de Madrid
Verified email at ucm.es
Title
Cited by
Cited by
Year
Towards a verification logic for rewriting logic
JL Fiadeiro, T Maibaum, N Martí-Oliet, J Meseguer, I Pita
International Workshop on Algebraic Development Techniques, 438-458, 1999
281999
Parameterized strategies specification in Maude
R Rubio, N Martí-Oliet, I Pita, A Verdejo
International Workshop on Algebraic Development Techniques, 27-44, 2018
152018
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
141996
Interactive Learning of Data Structures and Algorithmic Schemes
C Segura, I Pita, R Vado Vírseda, AI Saiz, P Soler
International Conference on Computational Science, 800-809, 2008
132008
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 (3), 228-246, 2003
132003
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
122019
Using reflection to specify transaction sequences in rewriting logic
I Pita, N Martí-Oliet
Recent Trends in Algebraic Development Techniques, 261-276, 1999
121999
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
112021
Model checking strategy-controlled systems in rewriting logic
R Rubio, N Martí-Oliet, I Pita, A Verdejo
Automated Software Engineering 29 (1), 1-62, 2022
92022
Estudio de una experiencia de aprendizaje interactivo para la asignatura de estructura de datos
I Pita, R Del Vado
Jornada Campus Virtual UCM, 2007
92007
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
92005
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
82014
Specifying and analyzing the kademlia protocol in maude
I Pita, A Riesco
International Colloquium on Theoretical Aspects of Computing, 524-541, 2015
72015
A Maude specification of an object-oriented model for telecommunication networks
I Pita, N Martí-Oliet
Theoretical Computer Science 285 (2), 407-439, 2002
72002
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
62022
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
62017
Sentence-normalized conditional narrowing modulo in rewriting logic and maude
L Aguirre, N Martí-Oliet, M Palomino, I Pita
Logic, Rewriting, and Concurrency, 48-71, 2015
62015
A formal specification of the Kademlia distributed hash table
I Pita
Proceedings of the 10 Spanish Workshop on Programming Languages, PROLE, 223-234, 2010
62010
The leader election protocol of IEEE 1394 in Maude
A Verdejo, I Pita, N Martí-Oliet
Electronic Notes in Theoretical Computer Science 36, 383-404, 2000
62000
Metalevel transformation of strategies
R Rubio, N Martí-Oliet, I Pita, A Verdejo
Journal of Logical and Algebraic Methods in Programming 124, 100728, 2022
52022
The system can't perform the operation now. Try again later.
Articles 1–20