Rafael Caballero
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
26
Venues
12
Active years
1999–2016
Best venue rank
National
Where they publish
Papers
26 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | TAP | Debugging Meets Testing in Erlang. | Salvador Tamarit, Adrin Riesco, Enrique Martin-Martin, Rafael Caballero |
| 2015 | LOPSTR | Checking Java Assertions Using Automated Test-Case Generation. | Rafael Caballero, Manuel Montenegro, Herbert Kuchen, Vincent von Hof |
| 2015 | PPDP | Debugging of wrong and missing answers for datalog programs with constraint handling rules. | Rafael Caballero, Yolanda Garca-Ruiz, Fernando Senz-Prez |
| 2014 | TACAS | EDD: A Declarative Debugger for Sequential Erlang Programs. | Rafael Caballero, Enrique Martin-Martin, Adrin Riesco, Salvador Tamarit |
| 2013 | PPDP | Finite type extensions in constraint programming. | Rafael Caballero, Peter J. Stuckey, Antonio Tenorio-Fornes |
| 2013 | TAP | A Declarative Debugger for Sequential Erlang Programs. | Rafael Caballero, Enrique Martin-Martin, Adrin Riesco, Salvador Tamarit |
| 2012 | FLOPS | Declarative Debugging of Wrong and Missing Answers for SQL Views. | Rafael Caballero, Yolanda Garca-Ruiz, Fernando Senz-Prez |
| 2011 | APLAS | A Deductive Database with Datalog and SQL Query Languages. | Fernando Senz-Prez, Rafael Caballero, Yolanda Garca-Ruiz |
| 2011 | LOPSTR | A Declarative Embedding of XQuery in a Functional-Logic Language. | Jess Manuel Almendros-Jimnez, Rafael Caballero, Yolanda Garca-Ruiz, Fernando Senz-Prez |
| 2011 | LOPSTR | Simplifying Questions in Maude Declarative Debugger by Transforming Proof Trees. | Rafael Caballero, Adrin Riesco, Alberto Verdejo, Narciso Mart-Oliet |
| 2011 | PADL | Integrating XPath with the Functional-Logic Language Toy. | Rafael Caballero, Yolanda Garca-Ruiz, Fernando Senz-Prez |
| 2011 | PEPM | A program transformation for returning states in functional-logic programs. | Rafael Caballero |
| 2010 | FLOPS | Applying Constraint Logic Programming to SQL Test Case Generation. | Rafael Caballero, Yolanda Garca-Ruiz, Fernando Senz-Prez |
| 2009 | ICLP | Qualified Computations in Functional Logic Programming. | Rafael Caballero, Mario Rodrguez-Artalejo, Carlos A. Romero-Daz |
| 2008 | CEC | Seeding the initial population of a multi-objective evolutionary algorithm using gradient-based information. | Alfredo Garca Hernndez-Daz, Carlos A. Coello Coello, Fatima Perez, Rafael Caballero, Julin Molina Luque, Luis V. Santana-Quintero |
| 2008 | FLOPS | Declarative Diagnosis of Missing Answers in Constraint Functional-Logic Programming. | Rafael Caballero, Mario Rodrguez-Artalejo, Rafael del Vado Vrseda |
| 2008 | PPDP | Similarity-based reasoning in qualified logic programming. | Rafael Caballero, Mario Rodrguez-Artalejo, Carlos A. Romero-Daz |
| 2008 | PPSN | On the Use of Projected Gradients for Constrained Multiobjective Optimization Problems. | Alfredo Garca Hernndez-Daz, Carlos A. Coello Coello, Luis V. Santana-Quintero, Fatima Perez, Julin Molina Luque, Rafael Caballero |
| 2007 | GECCO | Alternative techniques to solve hard multi-objective optimization problems. | Ricardo Landa Becerra, Carlos A. Coello Coello, Alfredo Garca Hernndez-Daz, Rafael Caballero, Julin Molina Luque |
| 2007 | ICLP | Declarative Debugging of Missing Answers in Constraint Functional-Logic Programming. | Rafael Caballero, Mario Rodrguez-Artalejo, Rafael del Vado Vrseda |
| 2006 | GECCO | A new proposal for multi-objective optimization using differential evolution and rough sets theory. | Alfredo Garca Hernndez-Daz, Luis V. Santana-Quintero, Carlos A. Coello Coello, Rafael Caballero, Julin Molina Luque |
| 2006 | ICLP | Declarative Diagnosis of Wrong Answers in Constraint Functional-Logic Programming. | Rafael Caballero, Mario Rodrguez-Artalejo, Rafael del Vado Vrseda |
| 2004 | FLOPS | DDT: a Declarative Debugging Tool for Functional-Logic Languages. | Rafael Caballero, Mario Rodrguez-Artalejo |
| 2002 | FLOPS | Dynamic-Cut with Definitional Trees. | Rafael Caballero, Francisco Javier Lpez-Fraguas |
| 2001 | FLOPS | Theoretical Foundations for the Declarative Debugging of Lazy Functional Logic Programs. | Rafael Caballero, Francisco Javier Lpez-Fraguas, Mario Rodrguez-Artalejo |
| 1999 | FLOPS | A Functional-Logic Perspective on Parsing. | Rafael Caballero, Francisco Javier Lpez-Fraguas |