Search

Your search keyword '"Caballero, Rafael"' showing total 101 results
Start Over Author "Caballero, Rafael" Publisher springer berlin heidelberg

Refine your results

101 results on '"Caballero, Rafael"'

1. Collet-Sicard syndrome: a scoping review

Author

Aguilera-Pena, Maria Paula, Castiblanco, Maria A., Osejo-Arcos, Valentina, Aponte-Caballero, Rafael, Gutierrez-Gomez, Santiago, Abaunza-Camacho, Juan Felipe, Guevara-Moriones, Natalia, Benavides-Burbano, Camilo Armando, Riveros-Castillo, William M., and Saavedra, Javier M.

Published
2023
Full Text
View/download PDF

5. EDD: A Declarative Debugger for Sequential Erlang Programs

Author

Caballero, Rafael, Martin-Martin, Enrique, Riesco, Adrian, Tamarit, Salvador, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Ábrahám, Erika, editor, and Havelund, Klaus, editor

Published
2014
Full Text
View/download PDF

6. A Declarative Debugger for Sequential Erlang Programs

Author

Caballero, Rafael, Martin-Martin, Enrique, Riesco, Adrián, Tamarit, Salvador, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Veanes, Margus, editor, and Viganò, Luca, editor

Published
2013
Full Text
View/download PDF

7. Simplifying Questions in Maude Declarative Debugger by Transforming Proof Trees

Author

Caballero, Rafael, Riesco, Adrián, Verdejo, Alberto, Martí-Oliet, Narciso, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, and Vidal, Germán, editor

Published
2012
Full Text
View/download PDF

8. A Declarative Embedding of XQuery in a Functional-Logic Language

Author

Almendros-Jiménez, Jesús M., Caballero, Rafael, García-Ruiz, Yolanda, Sáenz-Pérez, Fernando, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, and Vidal, Germán, editor

Published
2012
Full Text
View/download PDF

9. Declarative Debugging of Wrong and Missing Answers for SQL Views

Author

Caballero, Rafael, García-Ruiz, Yolanda, Sáenz-Pérez, Fernando, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Schrijvers, Tom, editor, and Thiemann, Peter, editor

Published
2012
Full Text
View/download PDF

10. Algorithmic Debugging of SQL Views

Author

Caballero, Rafael, García-Ruiz, Yolanda, Sáenz-Pérez, Fernando, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Clarke, Edmund, editor, Virbitskaite, Irina, editor, and Voronkov, Andrei, editor

Published
2012
Full Text
View/download PDF

11. A Deductive Database with Datalog and SQL Query Languages

Author

Sáenz-Pérez, Fernando, Caballero, Rafael, García-Ruiz, Yolanda, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, and Yang, Hongseok, editor

Published
2011
Full Text
View/download PDF

12. XQuery in the Functional-Logic Language Toy

Author

Almendros-Jiménez, Jesus M., Caballero, Rafael, García-Ruiz, Yolanda, Sáenz-Pérez, Fernando, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, and Kuchen, Herbert, editor

Published
2011
Full Text
View/download PDF

13. Integrating XPath with the Functional-Logic Language Toy

Author

Caballero, Rafael, García-Ruiz, Yolanda, Sáenz-Pérez, Fernando, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Rocha, Ricardo, editor, and Launchbury, John, editor

Published
2011
Full Text
View/download PDF

14. Applying Constraint Logic Programming to SQL Test Case Generation

Author

Caballero, Rafael, García-Ruiz, Yolanda, Sáenz-Pérez, Fernando, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Blume, Matthias, editor, Kobayashi, Naoki, editor, and Vidal, Germán, editor

Published
2010
Full Text
View/download PDF

16. Declarative Debugging of Rewriting Logic Specifications

Author

Riesco, Adrian, Verdejo, Alberto, Caballero, Rafael, Martí-Oliet, Narciso, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Corradini, Andrea, editor, and Montanari, Ugo, editor

Published
2009
Full Text
View/download PDF

17. Qualified Computations in Functional Logic Programming

Author

Caballero, Rafael, Rodríguez-Artalejo, Mario, Romero-Díaz, Carlos A., Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Hill, Patricia M., editor, and Warren, David S., editor

Published
2009
Full Text
View/download PDF

19. Declarative Debugging of Membership Equational Logic Specifications

Author

Caballero, Rafael, Martí-Oliet, Narciso, Riesco, Adrián, Verdejo, Alberto, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Degano, Pierpaolo, editor, De Nicola, Rocco, editor, and Meseguer, José, editor

Published
2008
Full Text
View/download PDF

20. On the Use of Projected Gradients for Constrained Multiobjective Optimization Problems

Author

Hernandez-Diaz, Alfredo G., Coello, Carlos A. Coello, Santana-Quintero, Luis V., Perez, Fatima, Molina, Julian, Caballero, Rafael, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Kobsa, Alfred, Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Rudolph, Günter, editor, Jansen, Thomas, editor, Beume, Nicola, editor, Lucas, Simon, editor, and Poloni, Carlo, editor

Published
2008
Full Text
View/download PDF

21. A Declarative Debugger for Maude

Author

Riesco, Adrian, Verdejo, Alberto, Martí-Oliet, Narciso, Caballero, Rafael, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Meseguer, José, editor, and Roşu, Grigore, editor

Published
2008
Full Text
View/download PDF

22. Declarative Diagnosis of Missing Answers in Constraint Functional-Logic Programming

Author

Caballero, Rafael, Rodríguez Artalejo, Mario, del Vado Vírseda, Rafael, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Garrigue, Jacques, editor, and Hermenegildo, Manuel V., editor

Published
2008
Full Text
View/download PDF

24. Dynamic-Cut with Definitional Trees

Author

Caballero, Rafael, López-Fraguas, Francisco Javier, Goos, Gerhard, editor, Hartmanis, Juris, editor, van Leeuwen, Jan, editor, Hu, Zhenjiang, editor, and Rodríguez-Artalejo, Mario, editor

Published
2002
Full Text
View/download PDF

28. Declarative Debugging of Missing Answers in Constraint Functional-Logic Programming

Author

Caballero, Rafael, Rodríguez Artalejo, Mario, del Vado Vírseda, Rafael, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Dahl, Véronica, editor, and Niemelä, Ilkka, editor

Published
2007
Full Text
View/download PDF

32. Introduction

Author

Caballero, Rafael, Ruiz, Francisco, Steuer, Ralph E., Fandel, G., editor, Trockel, W., editor, Caballero, Rafael, editor, Ruiz, Francisco, editor, and Steuer, Ralph, editor

Published
1997
Full Text
View/download PDF

33. Declarative Diagnosis of Wrong Answers in Constraint Functional-Logic Programming

Author

Caballero, Rafael, Artalejo, Mario Rodríguez, del Vado Vírseda, Rafael, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Etalle, Sandro, editor, and Truszczyński, Mirosław, editor

Published
2006
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results