Albert Rubio

Identifiers

• name variant Albert Rubio 0.60 · backfill

Papers (7)

1. An Effective Orchestral Approach to Satisfiability Modulo Prime Fields cs.LO · 2026 · author #4
2. SAFEVM: A Safety Verifier for Ethereum Smart Contracts cs.PL · 2019 · author #5
3. EthIR: A Framework for High-Level Analysis of Ethereum Bytecode cs.PL · 2018 · author #4
4. Compositional Safety Verification with Max-SMT cs.LO · 2015 · author #5
5. The computability path ordering: the end of a quest cs.LO · 2008 · author #4
6. HORPO with Computability Closure : A Reconstruction cs.LO · 2007 · author #3
7. Higher-Order Termination: from Kruskal to Computability cs.LO · 2006 · author #3

Mentions

• 1507.03851 #5 · backfill · confidence 0.70 Albert Rubio
• 0806.2517 #4 · backfill · confidence 0.70 Albert Rubio
• 0708.3582 #3 · backfill · confidence 0.70 Albert Rubio

Frequent Coauthors

• Fr\'ed\'eric Blanqui (INRIA Lorraine - LORIA) 3 shared papers
• Elvira Albert 2 shared papers
• Jean-Pierre Jouannaud (LIX) 2 shared papers
• Pablo Gordillo 2 shared papers
• Albert Oliveras 1 shared papers
• Benjamin Livshits 1 shared papers
• Clara Rodr\'iguez-N\'u\~nez 1 shared papers
• Daniel Larraz 1 shared papers
• Enric Rodr\'iguez-Carbonell 1 shared papers
• Enric Rodriguez-Carbonell 1 shared papers
• Guillermo Rom\'an-D\'iez 1 shared papers
• Ilya Sergey 1 shared papers
• INRIA Saclay Ile de France) 1 shared papers
• Jean-Pierre Jouannaud (LIX 1 shared papers
• Jes\'us Correas 1 shared papers
• Marc Brockschmidt 1 shared papers
• Miguel Isabel 1 shared papers