Alberto Verdejo
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2000–2023
Best venue rank
C
Where they publish
Papers
6 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 |
| 2016 | ATVA | Synchronous Products of Rewrite Systems. | scar Martn, Alberto Verdejo, Narciso Mart-Oliet |
| 2011 | LOPSTR | Simplifying Questions in Maude Declarative Debugger by Transforming Proof Trees. | Rafael Caballero, Adrin Riesco, Alberto Verdejo, Narciso Mart-Oliet |
| 2008 | DCAI | Rewriting Logic Using Strategies for Neural Networks: An Implementation in Maude. | Gustavo Santos-Garca, Miguel Palomino, Alberto Verdejo |
| 2002 | FORTE | Building Tools for LOTOS Symbolic Semantics in Maude. | Alberto Verdejo |
| 2000 | FORTE | Implementing CCS in Maude. | Alberto Verdejo, Narciso Mart-Oliet |