Antonio Gavilanes

According to our database, Antonio Gavilanes authored at least 19 papers between 1996 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2012

Algorithmic strategies for optimizing the parallel reduction primitive in CUDA.

Pedro J. Martín, Luis F. Ayuso, Roberto Torres, Antonio Gavilanes

Proceedings of the 2012 International Conference on High Performance Computing & Simulation, 2012

Improving Ray Traversal by using Several Specialized Kd-trees.

Roberto Torres, Pedro J. Martín, Antonio Gavilanes, Luis F. Ayuso

Proceedings of the GRAPP & IVAPP 2012: Proceedings of the International Conference on Computer Graphics Theory and Applications and International Conference on Information Visualization Theory and Applications, 2012

Generating Coherent Ray Directions in Path Tracing.

Roberto Torres, Pedro J. Martín, Antonio Gavilanes

Proceedings of the XXII Spanish Computer Graphics Conference, 2012

2011

Traversing a BVH Cut to Exploit Ray Coherence.

Roberto Torres, Pedro J. Martín, Antonio Gavilanes

Proceedings of the GRAPP 2011, 2011

2009

Ray casting using a roped BVH with CUDA.

Roberto Torres, Pedro J. Martín, Antonio Gavilanes

Proceedings of the Spring Conference on Computer Graphics, 2009

CUDA Solutions for the SSSP Problem.

Pedro J. Martín, Roberto Torres, Antonio Gavilanes

Proceedings of the Computational Science, 2009

A Tool for Automatic Code Generation from Schemas.

Antonio Gavilanes, Pedro J. Martín, Roberto Torres

Proceedings of the Computational Science, 2009

2008

A tool for teaching interactions between design patterns.

Ezequiel Denegri, Guillermo Frontera, Antonio Gavilanes, Pedro J. Martín

Proceedings of the 13th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2008

A Fully GPU-Implemented Rigid Body Simulator.

Álvaro del Monte, Roberto Torres, Pedro J. Martín, Antonio Gavilanes

Proceedings of the GRAPP 2008, 2008

2007

CGR: a Tool for Programming Using Schemes.

J. García, Antonio Gavilanes, Ana Gil Luezas, Pedro J. Martín

Proceedings of the 31st Annual International Computer Software and Applications Conference, 2007

2002

Simultaneous Rigid Sorted Unification for Tableaux.

Pedro J. Martín, Antonio Gavilanes

Stud Logica, 2002

2001

Free-variable Tableaux for Monotonic PreordersI.

Pedro J. Martín, Antonio Gavilanes

Log. J. IGPL, 2001

2000

Tableau Methods for a Logic with Term Declarations.

Pedro J. Martín, Antonio Gavilanes, Javier Leach

J. Symb. Comput., 2000

Monotonic Preorders for Free Variable Tableaux.

Pedro J. Martín, Antonio Gavilanes

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2000

Simultaneous Rigid Sorted Unification.

Pedro J. Martín, Antonio Gavilanes

Proceedings of the Logics in Artificial Intelligence, European Workshop, 2000

1998

Free Variable Tableaux for a Logic with Term Declarations.

Pedro J. Martín, Antonio Gavilanes, Javier Leach

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 1998

1996

Free Variable Tableaux for a Many Sorted Logic with Preorders.

Antonio Gavilanes, Javier Leach, Susana Nieva

Proceedings of the Algebraic Methodology and Software Technology, 1996

Reasoning with Preorders and Dynamic Sorts Using Free Variable Tableaux.

Antonio Gavilanes, Javier Leach, Pedro J. Martín, Susana Nieva

Proceedings of the Artificial Intelligence and Symbolic Mathematical Computation, 1996

Semantic Tableaux for a Logic with Preorders and Dynamic Sorts.

Pedro J. Martín, Antonio Gavilanes

Proceedings of the 1996 Joint Conf. on Declarative Programming, 1996