The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Albert Rubio" ( http://dblp.L3S.de/Authors/Albert_Rubio )

  Author page on DBLP  Author page in RDF  Community of Albert Rubio in ASPL-2

Publication years (Num. hits)
1990-1999 (16) 2000-2006 (15) 2007-2013 (17) 2014-2019 (21)
Publication types (Num. hits)
article(23) incollection(1) inproceedings(45)
Venues (Conferences, Journals, ...)
CADE(8) CoRR(8) RTA(7) LPAR(4) FMCAD(3) J. Autom. Reasoning(3) LICS(3) ACM Trans. Comput. Log.(2) CAV(2) CSL(2) J. Log. Comput.(2) J. Symb. Comput.(2) SAT(2) Theor. Comput. Sci.(2) ATVA(1) CAV (2)(1) More (+10 of total 33)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 6 occurrences of 6 keywords

Results
Found 70 publication records. Showing 69 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Cristina Borralleras, Daniel Larraz, Enric Rodríguez-Carbonell, Albert Oliveras, Albert Rubio Incomplete SMT Techniques for Solving Non-Linear Formulas over the Integers. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Miquel Bofill, Cristina Borralleras, Enrique Martin-Martin, Albert Rubio Resource Analysis driven by (Conditional) Termination Proofs. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio SAFEVM: A Safety Verifier for Ethereum Smart Contracts. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Elvira Albert, Miquel Bofill, Cristina Borralleras, Enrique Martin-Martin, Albert Rubio Resource Analysis driven by (Conditional) Termination Proofs. Search on Bibsonomy TPLP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio SAFEVM: a safety verifier for Ethereum smart contracts. Search on Bibsonomy ISSTA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jürgen Giesl, Albert Rubio, Christian Sternagel, Johannes Waldmann, Akihisa Yamada 0002 The Termination and Complexity Competition. Search on Bibsonomy TACAS (3) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Pablo Gordillo, Albert Rubio, Ilya Sergey Running on Fumes - Preventing Out-of-Gas Vulnerabilities in Ethereum Smart Contracts Using Static Resource Analysis. Search on Bibsonomy VECoS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Pablo Gordillo, Albert Rubio, Ilya Sergey GASTAP: A Gas Analyzer for Smart Contracts. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Elvira Albert, Pablo Gordillo, Benjamin Livshits, Albert Rubio, Ilya Sergey EthIR: A Framework for High-Level Analysis of Ethereum Bytecode. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Elvira Albert, Miguel Gómez-Zamalloa, Miguel Isabel, Albert Rubio Constrained Dynamic Partial Order Reduction. Search on Bibsonomy CAV (2) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Miguel Gómez-Zamalloa, Albert Rubio, Matteo Sammartino, Alexandra Silva 0001 SDN-Actors: Modeling and Verification of SDN Programs. Search on Bibsonomy FM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Pablo Gordillo, Benjamin Livshits, Albert Rubio, Ilya Sergey EthIR: A Framework for High-Level Analysis of Ethereum Bytecode. Search on Bibsonomy ATVA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Cristina Borralleras, Marc Brockschmidt, Daniel Larraz, Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio Proving Termination Through Conditional Termination. Search on Bibsonomy TACAS (1) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Lorenzo Candeago, Daniel Larraz, Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio Speeding up the Constraint-Based Method in Difference Logic. Search on Bibsonomy SAT The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jean-Pierre Jouannaud, Albert Rubio Normal Higher-Order Termination. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Marc Brockschmidt, Daniel Larraz, Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio Compositional Safety Verification with Max-SMT. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Frédéric Blanqui, Jean-Pierre Jouannaud, Albert Rubio The computability path ordering. Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Jürgen Giesl, Frédéric Mesnard, Albert Rubio, René Thiemann, Johannes Waldmann Termination Competition (termCOMP 2015). Search on Bibsonomy CADE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Marc Brockschmidt, Daniel Larraz, Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio Compositional Safety Verification with Max-SMT. Search on Bibsonomy FMCAD The full citation details ... 2015 DBLP  BibTeX  RDF
1Daniel Larraz, Kaustubh Nimkar, Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio Proving Non-termination Using Max-SMT. Search on Bibsonomy CAV The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Daniel Larraz, Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio Minimal-Model-Guided Approaches to Solving Polynomial Constraints and Extensions. Search on Bibsonomy SAT The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Miquel Bofill, Albert Rubio Paramodulation with Non-Monotonic Orderings and Simplification. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Miquel Bofill, Cristina Borralleras, Enric Rodríguez-Carbonell, Albert Rubio The recursive path and polynomial ordering for first-order and higher-order terms. Search on Bibsonomy J. Log. Comput. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Daniel Larraz, Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio Proving termination of imperative programs using Max-SMT. Search on Bibsonomy FMCAD The full citation details ... 2013 DBLP  BibTeX  RDF
1Daniel Larraz, Enric Rodríguez-Carbonell, Albert Rubio SMT-Based Array Invariant Generation. Search on Bibsonomy VMCAI The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Cristina Borralleras, Salvador Lucas, Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio SAT Modulo Linear Arithmetic for Solving Polynomial Constraints. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Maribel Fernández, Albert Rubio Nominal Completion for Rewrite Systems with Binders. Search on Bibsonomy ICALP (2) The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Miquel Bofill, Albert Rubio Paramodulation with Well-founded Orderings. Search on Bibsonomy J. Log. Comput. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Cristina Borralleras, Salvador Lucas, Rafael Navarro-Marset, Enric Rodríguez-Carbonell, Albert Rubio Solving Non-linear Polynomial Arithmetic via SAT Modulo Linear Arithmetic. Search on Bibsonomy CADE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF polynomial constraints, SAT modulo theories, program analysis, termination, Constraint solving
1Frédéric Blanqui, Jean-Pierre Jouannaud, Albert Rubio The computability path ordering: the end of a quest Search on Bibsonomy CoRR The full citation details ... 2008 DBLP  BibTeX  RDF
1Miquel Bofill, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio The Barcelogic SMT Solver. Search on Bibsonomy CAV The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Miquel Bofill, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio A Write-Based Solver for SAT Modulo the Theory of Arrays. Search on Bibsonomy FMCAD The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Frédéric Blanqui, Jean-Pierre Jouannaud, Albert Rubio The Computability Path Ordering: The End of a Quest. Search on Bibsonomy CSL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Jean-Pierre Jouannaud, Albert Rubio Polymorphic higher-order recursive path orderings. Search on Bibsonomy J. ACM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Automated termination prover tool, Gödel's polymorphic recursor, higher-order rewriting, termination orderings, typed lambda calculus
1Frédéric Blanqui, Jean-Pierre Jouannaud, Albert Rubio HORPO with Computability Closure : A Reconstruction Search on Bibsonomy CoRR The full citation details ... 2007 DBLP  BibTeX  RDF
1Frédéric Blanqui, Jean-Pierre Jouannaud, Albert Rubio HORPO with Computability Closure: A Reconstruction. Search on Bibsonomy LPAR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Cristina Borralleras, Albert Rubio Orderings and Constraints: Theory and Practice of Proving Termination. Search on Bibsonomy Rewriting, Computation and Proof The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio Challenges in Satisfiability Modulo Theories. Search on Bibsonomy RTA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Frédéric Blanqui, Jean-Pierre Jouannaud, Albert Rubio Higher-Order Termination: from Kruskal to Computability Search on Bibsonomy CoRR The full citation details ... 2006 DBLP  BibTeX  RDF
1Frédéric Blanqui, Jean-Pierre Jouannaud, Albert Rubio Higher-Order Termination: From Kruskal to Computability. Search on Bibsonomy LPAR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Jean-Pierre Jouannaud, Albert Rubio Higher-Order Orderings for Normal Rewriting. Search on Bibsonomy RTA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Mirtha-Lina Fernández, Guillem Godoy, Albert Rubio Recursive Path Orderings Can Also Be Incremental. Search on Bibsonomy LPAR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Mirtha-Lina Fernández, Guillem Godoy, Albert Rubio Orderings for Innermost Termination. Search on Bibsonomy RTA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Miquel Bofill, Albert Rubio Redundancy Notions for Paramodulation with Non-monotonic Orderings. Search on Bibsonomy IJCAR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Miquel Bofill, Guillem Godoy, Robert Nieuwenhuis, Albert Rubio Paramodulation and Knuth-Bendix Completion with Nontotal and Nonmonotonic Orderings. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Cristina Borralleras, Albert Rubio Monotonic AC-Compatible Semantic Path Orderings. Search on Bibsonomy RTA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Albert Rubio A Fully Syntactic AC-RPO. Search on Bibsonomy Inf. Comput. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Miquel Bofill, Albert Rubio Well-Foundedness Is Sufficient for Completeness of Ordered Paramodulation. Search on Bibsonomy CADE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Cristina Borralleras, Salvador Lucas, Albert Rubio Recursive Path Orderings Can Be Context-Sensitive. Search on Bibsonomy CADE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Robert Nieuwenhuis, Albert Rubio Paramodulation-Based Theorem Proving. Search on Bibsonomy Handbook of Automated Reasoning The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Cristina Borralleras, Albert Rubio A Monotonic Higher-Order Semantic Path Ordering. Search on Bibsonomy LPAR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Cristina Borralleras, Maria Ferreira, Albert Rubio Complete Monotonic Semantic Path Orderings. Search on Bibsonomy CADE The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Miquel Bofill, Guillem Godoy, Robert Nieuwenhuis, Albert Rubio Modular Redundancy for Theorem Proving. Search on Bibsonomy FroCoS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Jean-Pierre Jouannaud, Albert Rubio The Higher-Order Recursive Path Ordering. Search on Bibsonomy LICS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Miquel Bofill, Guillem Godoy, Robert Nieuwenhuis, Albert Rubio Paramodulation with Non-Monotonic Orderings. Search on Bibsonomy LICS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF term rewriting, automated deduction
1Albert Rubio A Fully Syntactic AC-RPO. Search on Bibsonomy RTA The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Jean-Pierre Jouannaud, Albert Rubio Rewrite Orderings for Higher-Order Terms in eta-Long beta-Normal Form and Recursive Path Ordering. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Robert Nieuwenhuis, Albert Rubio Paramodulation with Built-in AC-Theories and Symbolic Constraints. Search on Bibsonomy J. Symb. Comput. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Jean-Pierre Jouannaud, Albert Rubio A Recursive Path Ordering for Higher-Order Terms in eta-Long beta-Normal Form. Search on Bibsonomy RTA The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Albert Rubio, Robert Nieuwenhuis A Total AC-Compatible Ordering Based on RPO. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Robert Nieuwenhuis, Albert Rubio Theorem Proving with Ordering and Equality Constrained Clauses. Search on Bibsonomy J. Symb. Comput. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Hubert Comon, Robert Nieuwenhuis, Albert Rubio Orderings, AC-Theories and Symbolic Constraint Solving (Extended Abstract) Search on Bibsonomy LICS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Albert Rubio Extension Orderings. Search on Bibsonomy ICALP The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Albert Rubio Theorem Proving modulo Associativity. Search on Bibsonomy CSL The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Robert Nieuwenhuis, Albert Rubio AC-Superposition with Constraints: No AC-Unifiers Needed. Search on Bibsonomy CADE The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Albert Rubio, Robert Nieuwenhuis A Precedence-Based Total AC-Compatible Ordering. Search on Bibsonomy RTA The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Robert Nieuwenhuis, Albert Rubio Basic Superposition is Complete. Search on Bibsonomy ESOP The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Robert Nieuwenhuis, Albert Rubio Theorem Proving with Ordering Constrained Clauses. Search on Bibsonomy CADE The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Robert Nieuwenhuis, Fernando Orejas, Albert Rubio TRIP: An Implementation of Clausal Rewriting. Search on Bibsonomy CADE The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #69 of 69 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license