×

zbMATH — the first resource for mathematics

Rubio, Albert

Compute Distance To:
Author ID: rubio.albert Recent zbMATH articles by "Rubio, Albert"
Published as: Rubio, A.; Rubio, Albert
Documents Indexed: 47 Publications since 1991

Publications by Year

Citations contained in zbMATH Open

33 Publications have been cited 193 times in 148 Documents Cited by Year
Paramodulation-based theorem proving. Zbl 0997.03012
Nieuwenhuis, Robert; Rubio, Albert
60
2001
Theorem proving with ordering and equality constrained clauses. Zbl 0844.68107
Nieuwenhuis, Robert; Rubio, Albert
21
1995
Theorem proving with ordering constrained clauses. Zbl 0925.03076
Nieuwenhuis, Robert; Rubio, Albert
13
1992
Recursive path orderings can be context-sensitive. Zbl 1072.68537
Borralleras, Cristina; Lucas, Salvador; Rubio, Albert
11
2002
Solving non-linear polynomial arithmetic via SAT modulo linear arithmetic. Zbl 1250.68184
Borralleras, Cristina; Lucas, Salvador; Navarro-Marset, Rafael; Rodríguez-Carbonell, Enric; Rubio, Albert
7
2009
Polymorphic higher-order recursive path orderings. Zbl 1312.68040
Jouannaud, Jean-Pierre; Rubio, Albert
7
2007
Complete monotonic semantic path orderings. Zbl 0963.68087
Borralleras, Cristina; Ferreira, Maria; Rubio, Albert
7
2000
A total AC-compatible ordering based on RPO. Zbl 0873.68102
Rubio, Albert; Nieuwenhuis, Robert
6
1995
Termination Competition (termCOMP 2015). Zbl 06515500
Giesl, Jürgen; Mesnard, Frédéric; Rubio, Albert; Thiemann, René; Waldmann, Johannes
5
2015
The computability path ordering: The end of a quest. Zbl 1156.68568
Blanqui, Frédéric; Jouannaud, Jean-Pierre; Rubio, Albert
5
2008
Challenges in satisfiability modulo theories. Zbl 1203.68189
Nieuwenhuis, Robert; Oliveras, Albert; Rodríguez-Carbonell, Enric; Rubio, Albert
5
2007
Minimal-model-guided approaches to solving polynomial constraints and extensions. Zbl 1423.68457
Larraz, Daniel; Oliveras, Albert; Rodríguez-Carbonell, Enric; Rubio, Albert
4
2014
Nominal completion for rewrite systems with binders. Zbl 1367.68130
Fernández, Maribel; Rubio, Albert
4
2012
A fully syntactic AC-RPO. Zbl 1049.68076
Rubio, Albert
4
2002
The computability path ordering. Zbl 1448.68253
Blanqui, Frédéric; Jouannaud, Jean-Pierre; Rubio, Albert
3
2015
SAT modulo linear arithmetic for solving polynomial constraints. Zbl 1243.68210
Borralleras, Cristina; Lucas, Salvador; Oliveras, Albert; Rodríguez-Carbonell, Enric; Rubio, Albert
3
2012
Higher-order orderings for normal rewriting. Zbl 1151.68449
Jouannaud, Jean-Pierre; Rubio, Albert
3
2006
A monotonic higher-order semantic path ordering. Zbl 1275.68082
Borralleras, Cristina; Rubio, Albert
3
2001
SMT-based array invariant generation. Zbl 1426.68056
Larraz, Daniel; Rodríguez-Carbonell, Enric; Rubio, Albert
2
2013
The recursive path and polynomial ordering for first-order and higher-order terms. Zbl 1284.68318
Bofill, Miquel; Borralleras, Cristina; Rodríguez-Carbonell, Enric; Rubio, Albert
2
2013
Orderings and constraints: Theory and practice of proving termination. Zbl 1186.68233
Borralleras, Cristina; Rubio, Albert
2
2007
HORPO with computability closure: A reconstruction. Zbl 1137.03307
Blanqui, Frédéric; Jouannaud, Jean-Pierre; Rubio, Albert
2
2007
A fully syntactic AC-RPO. Zbl 0943.68088
Rubio, Albert
2
1999
Paramodulation with built-in AC-theories and symbolic constraints. Zbl 0878.68074
Nieuwenhuis, Robert; Rubio, Albert
2
1997
Extension orderings. Zbl 1412.68117
Rubio, Albert
2
1995
Paramodulation with non-monotonic orderings and simplification. Zbl 1315.03017
Bofill, Miquel; Rubio, Albert
1
2013
Paramodulation with well-founded orderings. Zbl 1161.03007
Bofill, Miquel; Rubio, Albert
1
2009
Higher-order termination: From Kruskal to computability. Zbl 1165.03343
Blanqui, Frédéric; Jouannaud, Jean-Pierre; Rubio, Albert
1
2006
Orderings for innermost termination. Zbl 1078.68060
Fernández, Mirtha-Lina; Godoy, Guillem; Rubio, Albert
1
2005
Redundancy notions for paramodulation with non-monotonic orderings. Zbl 1126.68559
Bofill, Miquel; Rubio, Albert
1
2004
Monotonic AC-compatible semantic path orderings. Zbl 1038.68062
Borralleras, Cristina; Rubio, Albert
1
2003
Paramodulation and Knuth-Bendix completion with nontotal and nonmonotonic orderings. Zbl 1027.03010
Bofill, Miquel; Godoy, Guillem; Nieuwenhuis, Robert; Rubio, Albert
1
2003
Well-foundedness is sufficient for completeness of ordered paramodulation. Zbl 1072.68564
Bofill, Miquel; Rubio, Albert
1
2002
Termination Competition (termCOMP 2015). Zbl 06515500
Giesl, Jürgen; Mesnard, Frédéric; Rubio, Albert; Thiemann, René; Waldmann, Johannes
5
2015
The computability path ordering. Zbl 1448.68253
Blanqui, Frédéric; Jouannaud, Jean-Pierre; Rubio, Albert
3
2015
Minimal-model-guided approaches to solving polynomial constraints and extensions. Zbl 1423.68457
Larraz, Daniel; Oliveras, Albert; Rodríguez-Carbonell, Enric; Rubio, Albert
4
2014
SMT-based array invariant generation. Zbl 1426.68056
Larraz, Daniel; Rodríguez-Carbonell, Enric; Rubio, Albert
2
2013
The recursive path and polynomial ordering for first-order and higher-order terms. Zbl 1284.68318
Bofill, Miquel; Borralleras, Cristina; Rodríguez-Carbonell, Enric; Rubio, Albert
2
2013
Paramodulation with non-monotonic orderings and simplification. Zbl 1315.03017
Bofill, Miquel; Rubio, Albert
1
2013
Nominal completion for rewrite systems with binders. Zbl 1367.68130
Fernández, Maribel; Rubio, Albert
4
2012
SAT modulo linear arithmetic for solving polynomial constraints. Zbl 1243.68210
Borralleras, Cristina; Lucas, Salvador; Oliveras, Albert; Rodríguez-Carbonell, Enric; Rubio, Albert
3
2012
Solving non-linear polynomial arithmetic via SAT modulo linear arithmetic. Zbl 1250.68184
Borralleras, Cristina; Lucas, Salvador; Navarro-Marset, Rafael; Rodríguez-Carbonell, Enric; Rubio, Albert
7
2009
Paramodulation with well-founded orderings. Zbl 1161.03007
Bofill, Miquel; Rubio, Albert
1
2009
The computability path ordering: The end of a quest. Zbl 1156.68568
Blanqui, Frédéric; Jouannaud, Jean-Pierre; Rubio, Albert
5
2008
Polymorphic higher-order recursive path orderings. Zbl 1312.68040
Jouannaud, Jean-Pierre; Rubio, Albert
7
2007
Challenges in satisfiability modulo theories. Zbl 1203.68189
Nieuwenhuis, Robert; Oliveras, Albert; Rodríguez-Carbonell, Enric; Rubio, Albert
5
2007
Orderings and constraints: Theory and practice of proving termination. Zbl 1186.68233
Borralleras, Cristina; Rubio, Albert
2
2007
HORPO with computability closure: A reconstruction. Zbl 1137.03307
Blanqui, Frédéric; Jouannaud, Jean-Pierre; Rubio, Albert
2
2007
Higher-order orderings for normal rewriting. Zbl 1151.68449
Jouannaud, Jean-Pierre; Rubio, Albert
3
2006
Higher-order termination: From Kruskal to computability. Zbl 1165.03343
Blanqui, Frédéric; Jouannaud, Jean-Pierre; Rubio, Albert
1
2006
Orderings for innermost termination. Zbl 1078.68060
Fernández, Mirtha-Lina; Godoy, Guillem; Rubio, Albert
1
2005
Redundancy notions for paramodulation with non-monotonic orderings. Zbl 1126.68559
Bofill, Miquel; Rubio, Albert
1
2004
Monotonic AC-compatible semantic path orderings. Zbl 1038.68062
Borralleras, Cristina; Rubio, Albert
1
2003
Paramodulation and Knuth-Bendix completion with nontotal and nonmonotonic orderings. Zbl 1027.03010
Bofill, Miquel; Godoy, Guillem; Nieuwenhuis, Robert; Rubio, Albert
1
2003
Recursive path orderings can be context-sensitive. Zbl 1072.68537
Borralleras, Cristina; Lucas, Salvador; Rubio, Albert
11
2002
A fully syntactic AC-RPO. Zbl 1049.68076
Rubio, Albert
4
2002
Well-foundedness is sufficient for completeness of ordered paramodulation. Zbl 1072.68564
Bofill, Miquel; Rubio, Albert
1
2002
Paramodulation-based theorem proving. Zbl 0997.03012
Nieuwenhuis, Robert; Rubio, Albert
60
2001
A monotonic higher-order semantic path ordering. Zbl 1275.68082
Borralleras, Cristina; Rubio, Albert
3
2001
Complete monotonic semantic path orderings. Zbl 0963.68087
Borralleras, Cristina; Ferreira, Maria; Rubio, Albert
7
2000
A fully syntactic AC-RPO. Zbl 0943.68088
Rubio, Albert
2
1999
Paramodulation with built-in AC-theories and symbolic constraints. Zbl 0878.68074
Nieuwenhuis, Robert; Rubio, Albert
2
1997
Theorem proving with ordering and equality constrained clauses. Zbl 0844.68107
Nieuwenhuis, Robert; Rubio, Albert
21
1995
A total AC-compatible ordering based on RPO. Zbl 0873.68102
Rubio, Albert; Nieuwenhuis, Robert
6
1995
Extension orderings. Zbl 1412.68117
Rubio, Albert
2
1995
Theorem proving with ordering constrained clauses. Zbl 0925.03076
Nieuwenhuis, Robert; Rubio, Albert
13
1992
all top 5

Cited by 205 Authors

15 Lucas, Salvador
9 Nieuwenhuis, Robert
8 Rubio, Albert
7 Lynch, Christopher A.
7 Voronkov, Andrei
7 Weidenbach, Christoph
6 Middeldorp, Aart
6 Ranise, Silvio
5 Alarcón, Beatriz
5 Baumgartner, Peter
5 Echenim, Mnacho
5 Ghilardi, Silvio
5 Gutiérrez, Raúl
5 Hirokawa, Nao
5 Ringeissen, Christophe
5 Rusinowitch, Michaël
5 Waldmann, Uwe
4 Bonacina, Maria Paola
4 Giesl, Jürgen
4 Hustadt, Ullrich
4 Nicolini, Enrica
4 Thiemann, René
4 Tran, Duc-Khanh
3 Degtyarev, Anatoli Ivanovich
3 Dershowitz, Nachum
3 Meseguer Guaita, José
3 Motik, Boris
3 Oliveras, Albert
3 Peltier, Nicolas
3 Rodríguez-Carbonell, Enric
3 Schmidt, Renate A.
3 Urbain, Xavier
2 Ábrahám, Erika
2 Ayala-Rincón, Mauricio
2 Blanchette, Jasmin Christian
2 Blanqui, Frédéric
2 Bofill, Miquel
2 Borralleras, Cristina
2 Comon, Hubert
2 Durán, Francisco
2 Escobar, Santiago
2 Fernández, Maribel
2 Fietzke, Arnaud
2 Ganzinger, Harald
2 Hillenbrand, Thomas
2 Horbach, Matthias
2 Kirchner, Hélène
2 Kop, Cynthia
2 Kovács, Laura Ildikó
2 Larraz, Daniel
2 Marché, Claude
2 Rocha-Oliveira, Ana Cristina
2 Sattler, Ulrike
2 Schneider-Kamp, Peter
2 Sebastiani, Roberto
2 Stuber, Jürgen
2 Vigneron, Laurent
2 Winkler, Sarah
2 Yamada, Akihisa
2 Zantema, Hans
1 Abbott, John A.
1 Akama, Yohji
1 Alagi, Gábor
1 Alberti, Francesco
1 Alpuente, María
1 Aoto, Takahito
1 Areces, Carlos
1 Armando, Alessandro
1 Asperti, Andrea
1 Avenhaus, Jürgen
1 Baader, Franz
1 Banković, Milan
1 Becker, Bernd
1 Bensaid, Hicham
1 Bergenti, Federico
1 Bigatti, Anna Maria
1 Boudol, Gérard
1 Brain, Martin
1 Brockschmidt, Marc
1 Bruttomesso, Roberto
1 Buchberger, Bruno
1 Calvanese, Diego
1 Candeago, Lorenzo
1 Chen, Shuwei
1 Cimatti, Alessandro
1 Codish, Michael
1 Collavizza, Hélène
1 Conchon, Sylvain
1 Contejean, Evelyne
1 Corzilius, Florian
1 Davenport, James Harold
1 de Moura, Leonardo
1 de Nivelle, Hans
1 Déharbe, David
1 Dixon, Clare
1 Drescher, Conrad
1 Du, Jianfeng
1 Endrullis, Jörg
1 England, Matthew
1 Falke, Stephan
...and 105 more Authors

Citations by Year