Rubn Rubio
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
6
Active years
2022–2024
Best venue rank
B
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | CONCUR | Validity of Contextual Formulas. | Javier Esparza, Rubn Rubio |
| 2024 | PPDP | Programming Open Distributed Systems in Maude. | Francisco Durn, Steven Eker, Santiago Escobar, Narciso Mart-Oliet, Jos Meseguer, Rubn Rubio, Carolyn L. Talcott |
| 2023 | FM | QMaude: Quantitative Specification and Verification in Rewriting Logic. | Rubn Rubio, Narciso Mart-Oliet, Isabel Pita, Alberto Verdejo |
| 2022 | CADE | Equational Unification and Matching, and Symbolic Reachability Analysis in Maude 3.2 (System Description). | Francisco Durn, Steven Eker, Santiago Escobar, Narciso Mart-Oliet, Jos Meseguer, Rubn Rubio, Carolyn L. Talcott |
| 2022 | ICFEM | Theorem Proving for Maude Specifications Using Lean. | Rubn Rubio, Adrin Riesco |
| 2022 | SEKE | Improving Database Learning with an Automatic Judge. | Enrique Martin-Martin, Manuel Montenegro, Adrin Riesco, Rubn Rubio |