Narciso Mart-Oliet
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
15
Venues
12
Active years
1994–2024
Best venue rank
A
Where they publish
Papers
15 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | PPDP | Programming Open Distributed Systems in Maude. | Francisco Durn, Steven Eker, Santiago Escobar, Narciso Mart-Oliet, Jos Meseguer, Rubn Rubio, Carolyn L. Talcott |
| 2024 | SMC | Learning Circuit Complexity of Boolean Functions. | Daniel Loscos, Narciso Mart-Oliet, Ismael Rodrguez, Jorge Villarrubia |
| 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 |
| 2017 | PPDP | Conditional narrowing modulo SMT and axioms. | Luis Aguirre, Narciso Mart-Oliet, Miguel Palomino, Isabel Pita |
| 2016 | ATVA | Synchronous Products of Rewrite Systems. | scar Martn, Alberto Verdejo, Narciso Mart-Oliet |
| 2016 | CADE | Built-in Variant Generation and Unification, and Their Applications in Maude 2.7. | Francisco Durn, Steven Eker, Santiago Escobar, Narciso Mart-Oliet, Jos Meseguer, Carolyn L. Talcott |
| 2011 | LOPSTR | Simplifying Questions in Maude Declarative Debugger by Transforming Proof Trees. | Rafael Caballero, Adrin Riesco, Alberto Verdejo, Narciso Mart-Oliet |
| 2010 | PADL | An Introduction to Maude and Some of Its Applications. | Narciso Mart-Oliet |
| 2005 | CALCO | A Categorical Approach to Simulations. | Miguel Palomino, Jos Meseguer, Narciso Mart-Oliet |
| 2003 | CADE | Equational Abstractions. | Jos Meseguer, Miguel Palomino, Narciso Mart-Oliet |
| 2000 | CONCUR | Bisimilarity Congruences for Open Terms and Term Graphs via Tile Logic. | Roberto Bruni, David de Frutos-Escrig, Narciso Mart-Oliet, Ugo Montanari |
| 2000 | FASE | Using Maude. | Manuel Clavel, Francisco Durn, Steven Eker, Patrick Lincoln, Narciso Mart-Oliet, Jos Meseguer, Jose F. Quesada |
| 2000 | FORTE | Implementing CCS in Maude. | Alberto Verdejo, Narciso Mart-Oliet |
| 1994 | COMPASS | From Abstract Data Types to Logical Frameworks. | Jos Meseguer, Narciso Mart-Oliet |