Albert Rubio
Albert Rubio
Professor of Computer Science, Complutense University of Madrid (UCM)
Verified email at lsi.upc.edu
Title
Cited by
Cited by
Year
Paramodulation-Based Theorem Proving.
R Nieuwenhuis, A Rubio
Handbook of automated reasoning 1, 371-443, 2001
4352001
Theorem proving with ordering and equality constrained clauses
R Nieuwenhuis, A Rubio
J. Symb. Comput. 19 (4), 321-351, 1995
1531995
The higher-order recursive path ordering
JP Jouannaud, A Rubio
Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158 …, 1999
1521999
The barcelogic SMT solver
M Bofill, R Nieuwenhuis, A Oliveras, E Rodríguez-Carbonell, A Rubio
International Conference on Computer Aided Verification, 294-298, 2008
1102008
Basic superposition is complete
R Nieuwenhuis, A Rubio
European Symposium on Programming, 371-389, 1992
1041992
Theorem proving with ordering constrained clauses
R Nieuwenhuis, A Rubio
International Conference on Automated Deduction, 477-491, 1992
1001992
AC-superposition with constraints: No AC-unifiers needed
R Nieuwenhuis, A Rubio
International Conference on Automated Deduction, 545-559, 1994
651994
Polymorphic higher-order recursive path orderings
JP Jouannaud, A Rubio
Journal of the ACM (JACM) 54 (1), 1-48, 2007
602007
A precedence-based total AC-compatible ordering
A Rubio, R Nieuwenhuis
International Conference on Rewriting Techniques and Applications, 374-388, 1993
591993
Proving termination of imperative programs using Max-SMT
D Larraz, A Oliveras, E Rodríguez-Carbonell, A Rubio
2013 Formal Methods in Computer-Aided Design, 218-225, 2013
582013
The computability path ordering: the end of a quest
F Blanqui, JP Jouannaud, A Rubio
Computer Science Logic, 1-14, 2008
552008
Complete monotonic semantic path orderings
C Borralleras, M Ferreira, A Rubio
International Conference on Automated Deduction, 346-364, 2000
552000
SAT modulo linear arithmetic for solving polynomial constraints
C Borralleras, S Lucas, A Oliveras, E Rodríguez-Carbonell, A Rubio
Journal of Automated Reasoning 48 (1), 107-131, 2012
512012
Solving non-linear polynomial arithmetic via SAT modulo linear arithmetic
C Borralleras, S Lucas, R Navarro-Marset, E Rodríguez-Carbonell, ...
International Conference on Automated Deduction, 294-305, 2009
512009
Curso de programación
J Castro, F Cucker, X Messeguer, A Rubio, L Solano, B Valles
McGraw-Hill/Interamericana de España, 1994
491994
Challenges in satisfiability modulo theories
R Nieuwenhuis, A Oliveras, E Rodríguez-Carbonell, A Rubio
International Conference on Rewriting Techniques and Applications, 2-18, 2007
442007
A total AC-compatible ordering based on RPO
A Rubio, R Nieuwenhuis
Theoretical Computer Science 142 (2), 209-227, 1995
431995
EthIR: A Framework for High-Level Analysis of Ethereum Bytecode
E Albert, P Gordillo, B Livshits, A Rubio, I Sergey
International Symposium on Automated Technology for Verification and …, 2018
412018
SMT-based array invariant generation
D Larraz, E Rodríguez-Carbonell, A Rubio
International Workshop on Verification, Model Checking, and Abstract …, 2013
412013
Recursive path orderings can be context-sensitive
C Borralleras, S Lucas, A Rubio
International Conference on Automated Deduction, 314-331, 2002
382002
The system can't perform the operation now. Try again later.
Articles 1–20