Pedro J. Martín

According to our database1, Pedro J. Martín authored at least 18 papers between 1996 and 2012.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2012
Algorithmic strategies for optimizing the parallel reduction primitive in CUDA.
Proceedings of the 2012 International Conference on High Performance Computing & Simulation, 2012

Improving Ray Traversal by using Several Specialized Kd-trees.
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.
Proceedings of the XXII Spanish Computer Graphics Conference, 2012

2011
Traversing a BVH Cut to Exploit Ray Coherence.
Proceedings of the GRAPP 2011, 2011

2009
Ray casting using a roped BVH with CUDA.
Proceedings of the Spring Conference on Computer Graphics, 2009

CUDA Solutions for the SSSP Problem.
Proceedings of the Computational Science, 2009

A Tool for Automatic Code Generation from Schemas.
Proceedings of the Computational Science, 2009

2008
A tool for teaching interactions between design patterns.
Proceedings of the 13th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2008

A Fully GPU-Implemented Rigid Body Simulator.
Proceedings of the GRAPP 2008, 2008

2007
CGR: a Tool for Programming Using Schemes.
Proceedings of the 31st Annual International Computer Software and Applications Conference, 2007

2002
Simultaneous Rigid Sorted Unification for Tableaux.
Stud Logica, 2002

2001
Free-variable Tableaux for Monotonic PreordersI.
Log. J. IGPL, 2001

2000
Tableau Methods for a Logic with Term Declarations.
J. Symb. Comput., 2000

Monotonic Preorders for Free Variable Tableaux.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2000

Simultaneous Rigid Sorted Unification.
Proceedings of the Logics in Artificial Intelligence, European Workshop, 2000

1998
Free Variable Tableaux for a Logic with Term Declarations.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 1998

1996
Reasoning with Preorders and Dynamic Sorts Using Free Variable Tableaux.
Proceedings of the Artificial Intelligence and Symbolic Mathematical Computation, 1996

Semantic Tableaux for a Logic with Preorders and Dynamic Sorts.
Proceedings of the 1996 Joint Conf. on Declarative Programming, 1996


  Loading...