Albert Rubio
Albert Rubio
Professor of Computer Science, Complutense University of Madrid (UCM)
Bestätigte E-Mail-Adresse bei
Zitiert von
Zitiert von
Paramodulation-Based Theorem Proving, chapter Handbook of Automated Reasoning, Volume I, Chapter 7
R Nieuwenhuis, A Rubio
Elsevier Science and MIT Press, 2001
The higher-order recursive path ordering
JP Jouannaud, A Rubio
Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158 …, 1999
Theorem proving with ordering and equality constrained clauses
R Nieuwenhuis, A Rubio
Journal of Symbolic Computation 19 (4), 321-351, 1995
The Barcelogic SMT Solver: Tool Paper
M Bofill, R Nieuwenhuis, A Oliveras, E Rodríguez-Carbonell, A Rubio
Computer Aided Verification: 20th International Conference, CAV 2008 …, 2008
Basic superposition is complete
R Nieuwenhuis, A Rubio
ESOP'92: 4th European Symposium on Programming Rennes, France, February 26 …, 2005
EthIR: A Framework for High-Level Analysis of Ethereum Bytecode
E Albert, P Gordillo, B Livshits, A Rubio, I Sergey
Automated Technology for Verification and Analysis: 16th International …, 2018
Theorem proving with ordering constrained clauses
R Nieuwenhuis, A Rubio
Automated Deduction—CADE-11: 11th International Conference on Automated …, 1992
Gasol: Gas analysis and optimization for ethereum smart contracts
E Albert, J Correas, P Gordillo, G Román-Díez, A Rubio
Tools and Algorithms for the Construction and Analysis of Systems: 26th …, 2020
Polymorphic higher-order recursive path orderings
JP Jouannaud, A Rubio
Journal of the ACM (JACM) 54 (1), 1-48, 2007
AC-superposition with constraints: no AC-uni ers needed
R Nieuwenhuis, A Rubio
12th International Conference on Automated Deduction, LNAI, Nancy, France, 1994
A precedence-based total AC-compatible ordering
A Rubio, R Nieuwenhuis
Rewriting Techniques and Applications: 5th International Conference, RTA-93 …, 1993
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
Running on fumes: Preventing out-of-gas vulnerabilities in Ethereum smart contracts using static resource analysis
E Albert, P Gordillo, A Rubio, I Sergey
Verification and Evaluation of Computer and Communication Systems: 13th …, 2019
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
The computability path ordering: the end of a quest
F Blanqui, JP Jouannaud, A Rubio
Computer Science Logic, 1-14, 2008
Complete monotonic semantic path orderings
C Borralleras, M Ferreira, A Rubio
Automated Deduction-CADE-17: 17th International Conference on Automated …, 2000
Proving non-termination using Max-SMT
D Larraz, K Nimkar, A Oliveras, E Rodríguez-Carbonell, A Rubio
Computer Aided Verification: 26th International Conference, CAV 2014, Held …, 2014
Solving non-linear polynomial arithmetic via SAT modulo linear arithmetic
C Borralleras, S Lucas, R Navarro-Marset, E Rodríguez-Carbonell, ...
Automated Deduction–CADE-22: 22nd International Conference on Automated …, 2009
Curso de programación
J Castro, F Cucker, X Messeguer, A Rubio, L Solano, B Valles
McGraw-Hill/Interamericana de España, 1994
A total AC-compatible ordering based on RPO
A Rubio, R Nieuwenhuis
Theoretical Computer Science 142 (2), 209-227, 1995
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20