IPIsabel Pita
Isabel Pita
*This is an algorithmically generated author record based on publicly available information.
Current Organizations / Institutes
The organizations/institutes from the scholar's latest article
Research Subjects
Isabel Pita has a total of 17 co-authors. Here are the top co-authors by number of shared publications:
- Narciso Martí-Oliet
Universidad Complutense de Madrid
18 shared publications - Alberto Verdejo
Universidad Complutense de Madrid
8 shared publications - Rubén Rubio
Universidad Complutense de Madrid
6 shared publications - Luis Aguirre
Universidad Complutense de Madrid
5 shared publications - Miguel Palomino
Universidad Complutense de Madrid
5 shared publications - Adrián Riesco
Universidad Complutense de Madrid
2 shared publications
Latest Publications
- 2 August 2024
- Published by Springer Nature
- p. 145-162
Specifying Fairness Constraints and Model Checking with Non-intensional Strategies
- 2 August 2024
- Published by Springer Nature
- p. 145-162
Specifying Fairness Constraints and Model Checking with Non-intensional Strategies
- 17 May 2023
- Published by Springer Nature
- p. 1-20
Strategies in Conditional Narrowing Modulo SMT Plus Axioms
- 17 May 2023
- Published by Springer Nature
- p. 1-20
Strategies in Conditional Narrowing Modulo SMT Plus Axioms
- 3 March 2023
- Published by Springer Nature
- p. 240-259
QMaude: Quantitative Specification and Verification in Rewriting Logic
- 3 March 2023
- Published by Springer Nature
- p. 240-259
QMaude: Quantitative Specification and Verification in Rewriting Logic
- 1 January 2022
- Published by Elsevier in Journal of Logical and Algebraic Methods in Programming
- Vol. 124
Metalevel transformation of strategies
- 1 January 2022
- Published by Elsevier in Journal of Logical and Algebraic Methods in Programming
- Vol. 124
Metalevel transformation of strategies
- 1 January 2022
- Published by Elsevier in Journal of Logical and Algebraic Methods in Programming
- Vol. 124
Simulating and model checking membrane systems using strategies in Maude
- 1 January 2022
- Published by Elsevier in Journal of Logical and Algebraic Methods in Programming
- Vol. 124
Simulating and model checking membrane systems using strategies in Maude
- 8 December 2021
- Published by Springer Nature in Automated Software Engineering
- Vol. 29 (1) , 1-62
Model checking strategy-controlled systems in rewriting logic
- 8 December 2021
- Published by Springer Nature in Automated Software Engineering
- Vol. 29 (1) , 1-62
Model checking strategy-controlled systems in rewriting logic
- Open Access
- 9 October 2017
- Published by Association for Computing Machinery (ACM)
- p. 17-28
Conditional narrowing modulo SMT and axioms
- 9 October 2017
- Published by Association for Computing Machinery (ACM)
- p. 17-28
Open AccessConditional narrowing modulo SMT and axioms
- 6 June 2017
- Published by Springer Nature in Journal of Automated Reasoning
- Vol. 60 (4) , 421-463
Sentence-Normalized Conditional Narrowing Modulo in Rewriting Logic and Maude
- 6 June 2017
- Published by Springer Nature in Journal of Automated Reasoning
- Vol. 60 (4) , 421-463
Sentence-Normalized Conditional Narrowing Modulo in Rewriting Logic and Maude
- 25 December 2015
- Published by Springer Nature
- p. 524-541
Specifying and Analyzing the Kademlia Protocol in Maude
- 25 December 2015
- Published by Springer Nature
- p. 524-541
Specifying and Analyzing the Kademlia Protocol in Maude