Isabel Pita

Identifiers

• name variant Isabel Pita 0.60 · backfill

Papers (4)

1. Metalevel transformation of strategies cs.LO · 2024 · author #3
2. Simulating and model checking membrane systems using strategies in Maude cs.LO · 2024 · author #3
3. Strategies, model checking and branching-time properties in Maude cs.LO · 2024 · author #3
4. Model checking strategy-controlled systems in rewriting logic cs.LO · 2024 · author #3

Mentions

• 2401.07749 #3 · arxiv_oai · confidence 0.70 Isabel Pita
• 2401.07743 #3 · arxiv_oai · confidence 0.70 Isabel Pita
• 2401.07680 #3 · arxiv_oai · confidence 0.70 Isabel Pita
• 2401.07616 #3 · arxiv_oai · confidence 0.70 Isabel Pita

Frequent Coauthors

• Alberto Verdejo 4 shared papers
• Narciso Mart\'i-Oliet 4 shared papers
• Rub\'en Rubio 4 shared papers