Autor der Publikation

Lazy-CSeq: A Lazy Sequentialization Tool for C - (Competition Contribution).

, , , , und . TACAS, Volume 8413 von Lecture Notes in Computer Science, Seite 398-401. Springer, (2014)

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

Highly accurate fast lung CT registration., , , und . Medical Imaging: Image Processing, Volume 8669 von SPIE Proceedings, Seite 86690Y. SPIE, (2013)The 2002 AAAI Spring Symposium Series., , , , , , , , , und 8 andere Autor(en). AI Magazine, 23 (4): 101-106 (2002)Wavelets based on orthogonal polynomials., und . Math. Comput., 66 (220): 1593-1618 (1997)ALADIN: A Scanner Generator for Incremental Programming Environments., , und . Softw., Pract. Exper., 22 (11): 1011-1025 (1992)Bagging for Path-Based Clustering., und . IEEE Trans. Pattern Anal. Mach. Intell., 25 (11): 1411-1415 (2003)An ensemble approach to building Mercer Kernels with prior information., , und . SMC, Seite 2352-2359. IEEE, (2005)Ein PASCAL-Compiler für das DIETZ-System 621x2., , , und . PASCAL, Volume 1 von Berichte des German Chapter of the ACM, Seite 84-94. Teubner, (1979)Verbesserung der Symmetrie von Hirnaufnahmen entlang der Sagittalebene., , und . Bildverarbeitung für die Medizin, Seite 187-191. Springer, (2009)Deduction-based software component retrieval.. University of Passau, Germany, (2002)Beitrag zur Verbesserung der numerischen Magnetfeldberechnung durch einen grafikorientierten Preprozessor für das Multigridverfahren.. Technische Hochschule Karl-Marx-Stadt, Germany, (1988)