Alberto Verdejo

Identifiers

• name variant Alberto Verdejo 0.60 · backfill

Papers (7)

1. The Maude strategy language cs.LO · 2024 · author #5
2. Metalevel transformation of strategies cs.LO · 2024 · author #4
3. Simulating and model checking membrane systems using strategies in Maude cs.LO · 2024 · author #4
4. Strategies, model checking and branching-time properties in Maude cs.LO · 2024 · author #4
5. Model checking strategy-controlled systems in rewriting logic cs.LO · 2024 · author #4
6. Compositional Verification in Rewriting Logic cs.LO · 2023 · author #2
7. Compositional specification in rewriting logic cs.LO · 2019 · author #2

Mentions

• 2402.00275 #5 · arxiv_oai · confidence 0.70 Alberto Verdejo
• 2401.07749 #4 · arxiv_oai · confidence 0.70 Alberto Verdejo
• 2401.07743 #4 · arxiv_oai · confidence 0.70 Alberto Verdejo
• 2401.07680 #4 · arxiv_oai · confidence 0.70 Alberto Verdejo
• 2401.07616 #4 · arxiv_oai · confidence 0.70 Alberto Verdejo
• 2307.16537 #2 · arxiv_oai · confidence 0.70 Alberto Verdejo
• 1908.11769 #2 · arxiv_oai · confidence 0.70 Alberto Verdejo

Frequent Coauthors

• Narciso Mart\'i-Oliet 7 shared papers
• Rub\'en Rubio 5 shared papers
• Isabel Pita 4 shared papers
• \'Oscar Mart\'in 2 shared papers
• Jos\'e Meseguer 1 shared papers
• Steven Eker 1 shared papers