Autor der Publikation

Partial Order Reduction for State/Event LTL.

, , , , , und . IFM, Volume 5423 von Lecture Notes in Computer Science, Seite 307-321. Springer, (2009)

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 facial landmark detection, comparison and visualization., , , und . SCCG, Seite 7-14. ACM, (2015)Comparison of Accelerating Techniques for Discontinuity Meshing., , und . WSCG, (2003)Fast Rendering of Complex Dynamic Scenes., und . TPCG, Seite 81-87. Eurographics Association, (2006)Velocity driven haptic rendering., und . GRAPHITE, Seite 389-394. ACM, (2005)CAVER Analyst 1.0: graphic tool for interactive visualization and analysis of tunnels and channels in protein structures., , , , , , , , , und 5 andere Autor(en). Bioinform., 30 (18): 2684-2685 (2014)Visibility-based approach to surface detection of tunnels in proteins., , , und . SCCG, Seite 65-72. ACM, (2015)Partial Order Reduction for State/Event LTL., , , , , und . IFM, Volume 5423 von Lecture Notes in Computer Science, Seite 307-321. Springer, (2009)An Improved Precise Multi-contact Haptic Visualization., , und . TPCG, Seite 1-8. Eurographics Association, (2009)Visibility driven BVH build up algorithm for ray tracing., , und . Comput. Graph., 36 (4): 283-296 (2012)CAVER Viewer - the explorer of behaviour of tunnels in proteins., und . Eurographics (Posters), Eurographics Association, (2010)