Autor der Publikation

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Automated and Scalable Verification of Integer Multipliers., , und . CAV (1), Volume 12224 von Lecture Notes in Computer Science, Seite 485-507. Springer, (2020)Resource Analysis for Question Answering., , und . ACL (Poster and Demonstration), ACL, (2004)Abstracts in software engineering - reports., , , , und . ACM SIGSOFT Softw. Eng. Notes, 11 (5): 92-94 (1986)Sound and Automated Verification of Real-World RTL Multipliers., und . FMCAD, Seite 53-62. IEEE, (2021)The area perspective transform: A homogeneous transform for efficient in-volume queries., und . ACM Trans. Graph., 30 (2): 8:1-8:6 (2011)Razor: An architecture for dynamic multiresolution ray tracing., , , , , und . ACM Trans. Graph., 30 (5): 115:1-115:26 (2011)IStar: A Raster Representation for Scalable Image and Volume Data., , , und . IEEE Trans. Vis. Comput. Graph., 13 (6): 1424-1431 (2007)Soft irregular shadow mapping: fast, high-quality, and robust soft shadows., , , , , und . SI3D, Seite 57-66. ACM, (2009)Accelerating shadow rays using volumetric occluders and modified kd-tree traversal., , und . High Performance Graphics, Seite 69-76. Eurographics Association, (2009)Formalization of the DE2 Language., und . CHARME, Volume 3725 von Lecture Notes in Computer Science, Seite 20-34. Springer, (2005)