Autor der Publikation

MU-CSeq 0.4: Individual Memory Location Unwindings - (Competition Contribution).

, , , , , und . TACAS, Volume 9636 von Lecture Notes in Computer Science, Seite 938-941. Springer, (2016)

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

Verbesserung der Symmetrie von Hirnaufnahmen entlang der Sagittalebene., , und . Bildverarbeitung für die Medizin, Seite 187-191. Springer, (2009)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)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)ALADIN: A Scanner Generator for Incremental Programming Environments., , und . Softw., Pract. Exper., 22 (11): 1011-1025 (1992)An ensemble approach to building Mercer Kernels with prior information., , und . SMC, Seite 2352-2359. IEEE, (2005)Bagging for Path-Based Clustering., und . IEEE Trans. Pattern Anal. Mach. Intell., 25 (11): 1411-1415 (2003)Highly accurate fast lung CT registration., , , und . Medical Imaging: Image Processing, Volume 8669 von SPIE Proceedings, Seite 86690Y. SPIE, (2013)Interpreting Abstract Interpretations in Membership Equational Logic., und . Electr. Notes Theor. Comput. Sci., 59 (4): 271-285 (2001)Single-Focus Broadening Navigation in Concept Lattices., und . CDUD@CLA, Volume 1625 von CEUR Workshop Proceedings, Seite 32-43. CEUR-WS.org, (2016)