Miguel Isabel

Identifiers

No identifiers captured yet.

Papers (2)

1. An Effective Orchestral Approach to Satisfiability Modulo Prime Fields cs.LO · 2026 · author #1
2. On the Generation of Initial Contexts for Effective Deadlock Detection cs.PL · 2017 · author #3

Mentions

No mention provenance yet.

Frequent Coauthors

• Albert Rubio 1 shared papers
• Clara Rodr\'iguez-N\'u\~nez 1 shared papers
• Elvira Albert 1 shared papers
• Enric Rodr\'iguez-Carbonell 1 shared papers
• Miguel G\'omez-Zamalloa 1 shared papers