Isabel Pita
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2008–2023
Best venue rank
B
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | FM | QMaude: Quantitative Specification and Verification in Rewriting Logic. | Rubn Rubio, Narciso Mart-Oliet, Isabel Pita, Alberto Verdejo |
| 2017 | PPDP | Conditional narrowing modulo SMT and axioms. | Luis Aguirre, Narciso Mart-Oliet, Miguel Palomino, Isabel Pita |
| 2015 | ICTAC | Specifying and Analyzing the Kademlia Protocol in Maude. | Isabel Pita, Adrin Riesco |
| 2008 | ICCS | Interactive Learning of Data Structures and Algorithmic Schemes. | Clara Segura, Isabel Pita, Rafael del Vado Vrseda, Ana Isabel Saiz, Pablo Soler |