Publicaciones en las que colabora con ANTONIO GAVILANES FRANCO (16)

2012

  1. Algorithmic strategies for optimizing the parallel reduction primitive in CUDA

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

  2. Generating coherent ray directions in path tracing

    22nd Spanish Computer Graphics Conference, CEIG 2012

  3. Improving ray traversal by using several specialized kd-trees

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

2011

  1. Traversing a BVH cut to exploit ray coherence

    GRAPP 2011 - Proceedings of the International Conference on Computer Graphics Theory and Applications

2009

  1. A tool for automatic code generation from schemas

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  2. CUDA solutions for the sssp problem

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  3. Ray casting using a roped BVH with CUDA

    Proceedings - SCCG 2009: 25th Spring Conference on Computer Graphics

2008

  1. A fully CPU-implemented rigid body simulator

    GRAPP 2008 - Proceedings of the 3rd International Conference on Computer Graphics Theory and Applications

  2. A tool for teaching interactions between design patterns

    Proceedings of the Conference on Integrating Technology into Computer Science Education, ITiCSE

2007

  1. CGR: A tool for programming using schemes

    Proceedings - International Computer Software and Applications Conference

2002

  1. Simultaneous rigid sorted unification for tableaux

    Studia Logica, Vol. 72, Núm. 1, pp. 31-59

2000

  1. Monotonic preorders for free variable tableaux

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  2. Simultaneous rigid sorted unification

    Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

  3. Tableau Methods for a Logic with Term Declarations

    Journal of Symbolic Computation, Vol. 29, Núm. 2, pp. 343-372

1998

  1. Free variable tableaux for a logic with term declarations

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

1996

  1. Reasoning with preorders and dynamic sorts using free variable tableaux

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)