PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Gavilanes, Antonio"

Author of the publication

copydeleteadd this publication to your clipboard
Improving Ray Traversal by using Several Specialized Kd-trees.

, , , and . GRAPP/IVAPP, page 215-226. SciTePress, (2012)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Antonio Raiolo University of Stuttgart

Giuliano Antonio Giacoppo University of Stuttgart

Rafael Antonio Lainez Reyes University of Stuttgart

Jesus Antonio Martinez Zarate University of Stuttgart

 

Other publications of authors with the same name

Tableau Methods for a Logic with Term Declarations., , and . J. Symb. Comput., 29 (2): 343-372 (2000)Free-variable Tableaux for Monotonic PreordersI., and . Logic Journal of the IGPL, 9 (6): 813-844 (2001)Algorithmic strategies for optimizing the parallel reduction primitive in CUDA., , , and . HPCS, page 511-519. IEEE, (2012)A Fully GPU-Implemented Rigid Body Simulator., , , and . GRAPP, page 342-349. (2008)A Tool for Automatic Code Generation from Schemas., , and . ICCS (2), volume 5545 of Lecture Notes in Computer Science, page 63-73. Springer, (2009)Semantic Tableaux for a Logic with Preorders and Dynamic Sorts., and . APPIA-GULP-PRODE, page 139-154. (1996)Simultaneous Rigid Sorted Unification., and . JELIA, volume 1919 of Lecture Notes in Computer Science, page 193-208. Springer, (2000)CGR: a Tool for Programming Using Schemes., , , and . COMPSAC (2), page 347-354. IEEE Computer Society, (2007)978-0-7695-2870-0.Ray casting using a roped BVH with CUDA., , and . SCCG, page 95-102. ACM, (2009)Simultaneous Rigid Sorted Unification for Tableaux., and . Studia Logica, 72 (1): 31-59 (2002)