Author of the publication

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.

 

Other publications of authors with the same name

Simultaneous Rigid Sorted Unification for Tableaux., and . Studia Logica, 72 (1): 31-59 (2002)Traversing a BVH Cut to Exploit Ray Coherence., , and . GRAPP, page 140-150. SciTePress, (2011)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)Improving Ray Traversal by using Several Specialized Kd-trees., , , and . GRAPP/IVAPP, page 215-226. SciTePress, (2012)Generating Coherent Ray Directions in Path Tracing., , and . CEIG, page 81-90. Eurographics Association, (2012)Free Variable Tableaux for a Logic with Term Declarations., , and . TABLEAUX, volume 1397 of Lecture Notes in Computer Science, page 202-216. Springer, (1998)Monotonic Preorders for Free Variable Tableaux., and . TABLEAUX, volume 1847 of Lecture Notes in Computer Science, page 309-323. Springer, (2000)CUDA Solutions for the SSSP Problem., , and . ICCS (1), volume 5544 of Lecture Notes in Computer Science, page 904-913. Springer, (2009)A tool for teaching interactions between design patterns., , , and . ITiCSE, page 371. ACM, (2008)