Sledovat
Albert Rubio
Albert Rubio
Professor of Computer Science, Complutense University of Madrid (UCM)
E-mailová adresa ověřena na: ucm.es
Název
Citace
Citace
Rok
Paramodulation-Based Theorem Proving, chapter Handbook of Automated Reasoning, Volume I, Chapter 7
R Nieuwenhuis, A Rubio
Elsevier Science and MIT Press, 2001
531*2001
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
1722018
Theorem proving with ordering and equality constrained clauses
R Nieuwenhuis, A Rubio
Journal of Symbolic Computation 19 (4), 321-351, 1995
1661995
The higher-order recursive path ordering
JP Jouannaud, A Rubio
Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158 …, 1999
1631999
Gasol: Gas analysis and optimization for ethereum smart contracts
E Albert, J Correas, P Gordillo, G Román-Díez, A Rubio
International Conference on Tools and Algorithms for the Construction and …, 2020
1502020
The Barcelogic SMT Solver: Tool Paper
M Bofill, R Nieuwenhuis, A Oliveras, E Rodríguez-Carbonell, A Rubio
International Conference on Computer Aided Verification, 294-298, 2008
1372008
Basic superposition is complete
R Nieuwenhuis, A Rubio
European Symposium on Programming, 371-389, 1992
1201992
Theorem proving with ordering constrained clauses
R Nieuwenhuis, A Rubio
International Conference on Automated Deduction, 477-491, 1992
1071992
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
83*2019
The termination and complexity competition
J Giesl, A Rubio, C Sternagel, J Waldmann, A Yamada
International Conference on Tools and Algorithms for the Construction and …, 2019
752019
Circom: A Circuit Description Language for Building Zero-Knowledge Applications
M Bellés-Muñoz, M Isabel, JL Muñoz-Tapia, A Rubio, J Baylina
IEEE Transactions on Dependable and Secure Computing 20 (6), 4733-4751, 2022
702022
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
692014
A precedence-based total AC-compatible ordering
A Rubio, R Nieuwenhuis
International Conference on Rewriting Techniques and Applications, 374-388, 1993
681993
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
672013
Polymorphic higher-order recursive path orderings
JP Jouannaud, A Rubio
Journal of the ACM (JACM) 54 (1), 1-48, 2007
662007
Complete monotonic semantic path orderings
C Borralleras, M Ferreira, A Rubio
Automated Deduction-CADE-17: 17th International Conference on Automated …, 2000
662000
AC-superposition with constraints: No AC-unifiers needed
R Nieuwenhuis, A Rubio
International Conference on Automated Deduction, 545-559, 1994
661994
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
642012
The computability path ordering: the end of a quest
F Blanqui, JP Jouannaud, A Rubio
Computer Science Logic, 1-14, 2008
582008
Jutge. org: Characteristics and experiences
J Petit, S Roura, J Carmona, J Cortadella, J Duch, O Gimnez, A Mani, ...
IEEE Transactions on Learning Technologies 11 (3), 321-333, 2017
552017
Systém momentálně nemůže danou operaci provést. Zkuste to znovu později.
Články 1–20