Pedro J. Martín

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