Antonio Gavilanes

Publication Activity (10 Years)

Years Active: 1996-2012
Publications (10 Years): 0

Top Topics

Online Auctions

Parallel Hardware

Iterative Refinement

Top Venues

Publications

Roberto Torres, Pedro J. Martín, Antonio Gavilanes, Luis F. Ayuso
Improving Ray Traversal by using Several Specialized Kd-trees. GRAPP/IVAPP (2012)
Roberto Torres, Pedro J. Martín, Antonio Gavilanes
Generating Coherent Ray Directions in Path Tracing. CEIG (2012)
Pedro J. Martín, Luis F. Ayuso, Roberto Torres, Antonio Gavilanes
Algorithmic strategies for optimizing the parallel reduction primitive in CUDA. HPCS (2012)
Roberto Torres, Pedro J. Martín, Antonio Gavilanes
Traversing a BVH Cut to Exploit Ray Coherence. GRAPP (2011)
Antonio Gavilanes, Pedro J. Martín, Roberto Torres
A Tool for Automatic Code Generation from Schemas. ICCS (2) (2009)
Roberto Torres, Pedro J. Martín, Antonio Gavilanes
Ray casting using a roped BVH with CUDA. SCCG (2009)
Pedro J. Martín, Roberto Torres, Antonio Gavilanes
CUDA Solutions for the SSSP Problem. ICCS (1) (2009)
Álvaro del Monte, Roberto Torres, Pedro J. Martín, Antonio Gavilanes
A Fully GPU-Implemented Rigid Body Simulator. GRAPP (2008)
Ezequiel Denegri, Guillermo Frontera, Antonio Gavilanes, Pedro J. Martín
A tool for teaching interactions between design patterns. ITiCSE (2008)
J. García, Antonio Gavilanes, Ana Gil Luezas, Pedro J. Martín
CGR: a Tool for Programming Using Schemes. COMPSAC (2) (2007)
Pedro J. Martín, Antonio Gavilanes
Simultaneous Rigid Sorted Unification for Tableaux. Stud Logica 72 (1) (2002)
Pedro J. Martín, Antonio Gavilanes
Free-variable Tableaux for Monotonic PreordersI. Log. J. IGPL 9 (6) (2001)
Pedro J. Martín, Antonio Gavilanes
Simultaneous Rigid Sorted Unification. JELIA (2000)
Pedro J. Martín, Antonio Gavilanes
Monotonic Preorders for Free Variable Tableaux. TABLEAUX (2000)
Pedro J. Martín, Antonio Gavilanes, Javier Leach
Tableau Methods for a Logic with Term Declarations. J. Symb. Comput. 29 (2) (2000)
Pedro J. Martín, Antonio Gavilanes, Javier Leach
Free Variable Tableaux for a Logic with Term Declarations. TABLEAUX (1998)
Antonio Gavilanes, Javier Leach, Pedro J. Martín, Susana Nieva
Reasoning with Preorders and Dynamic Sorts Using Free Variable Tableaux. AISMC (1996)
Antonio Gavilanes, Javier Leach, Susana Nieva
Free Variable Tableaux for a Many Sorted Logic with Preorders. AMAST (1996)
Pedro J. Martín, Antonio Gavilanes
Semantic Tableaux for a Logic with Preorders and Dynamic Sorts. APPIA-GULP-PRODE (1996)