Scholar
Albert Rubio
Google Scholar ID: 0X32dLsAAAAJ
Professor of Computer Science, Complutense University of Madrid (UCM)
Programming Languages
Compilers
Program Analysis
Constraint Solving
Blockchain
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
3,886
H-index
35
i10-index
67
Publications
20
Co-authors
27
list available
Publications
1 items
An Effective Orchestral Approach to Satisfiability Modulo Prime Fields
2026
Cited
0
Co-authors
8 total
Albert Oliveras
Technical University of Catalonia
Guillermo Román Díez
Associate Professor (Profesor Titular) at Universidad Politécnica de Madrid
Ilya Sergey
Associate Professor, National University of Singapore
Salvador Lucas
DSIC & VRAIN, Universitat Politècnica de València
Benjamin Livshits
Associate Professor in Computer Science
Alexandra Silva
Cornell University
Matteo Sammartino
Royal Holloway University of London, University College London
Jürgen Giesl
Professor of Computer Science, RWTH Aachen University
