Narciso Mart\'i-Oliet

Identifiers

• name variant Narciso Mart\'i-Oliet 0.60 · backfill

Papers (9)

1. The Maude strategy language cs.LO · 2024 · author #2
2. Metalevel transformation of strategies cs.LO · 2024 · author #2
3. Simulating and model checking membrane systems using strategies in Maude cs.LO · 2024 · author #2
4. Strategies, model checking and branching-time properties in Maude cs.LO · 2024 · author #2
5. Model checking strategy-controlled systems in rewriting logic cs.LO · 2024 · author #2
6. Compositional Verification in Rewriting Logic cs.LO · 2023 · author #3
7. B Maude: A formal executable environment for Abstract Machine Notation Descriptions cs.SE · 2021 · author #2
8. Programming and Symbolic Computation in Maude cs.LO · 2019 · author #4
9. Compositional specification in rewriting logic cs.LO · 2019 · author #3

Mentions

• 2402.00275 #2 · arxiv_oai · confidence 0.70 Narciso Mart\'i-Oliet
• 2401.07749 #2 · arxiv_oai · confidence 0.70 Narciso Mart\'i-Oliet
• 2401.07743 #2 · arxiv_oai · confidence 0.70 Narciso Mart\'i-Oliet
• 2401.07680 #2 · arxiv_oai · confidence 0.70 Narciso Mart\'i-Oliet
• 2401.07616 #2 · arxiv_oai · confidence 0.70 Narciso Mart\'i-Oliet
• 2307.16537 #3 · arxiv_oai · confidence 0.70 Narciso Mart\'i-Oliet
• 2108.07878 #2 · arxiv_oai · confidence 0.70 Narciso Mart\'i-Oliet
• 1908.11769 #3 · arxiv_oai · confidence 0.70 Narciso Mart\'i-Oliet
• 1910.08416 #4 · arxiv_oai · confidence 0.70 Narciso Mart\'i-Oliet

Frequent Coauthors

• Alberto Verdejo 7 shared papers
• Rub\'en Rubio 6 shared papers
• Isabel Pita 4 shared papers
• Jos\'e Meseguer 2 shared papers
• \'Oscar Mart\'in 2 shared papers
• Steven Eker 2 shared papers
• Carolyn Talcott 1 shared papers
• Christiano Braga 1 shared papers
• Francisco Dur\'an 1 shared papers
• Santiago Escobar 1 shared papers