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

Automotive ADLS: a study on enforcing consistency through multiple architectural levels., , , und . QoSA, Seite 71-80. ACM, (2012)Termination Analysis of Logic Programs: Extended Abstract.. ICLP, Volume 2916 von Lecture Notes in Computer Science, Seite 507-508. Springer, (2003)Improving Prolog Programs: Refactoring for Prolog., und . ICLP, Volume 3132 von Lecture Notes in Computer Science, Seite 58-72. Springer, (2004)EquiX - A Search and Query Language for XML, , , , , und . CoRR, (2000)Termination analysis of logic programs using acceptability with general term orders, und . CoRR, (2000)Token History Petri Nets., , und . Fundam. Informaticae, 85 (1-4): 219-234 (2008)Suitability of Optical Character Recognition (OCR) for Multi-domain Model Management., , und . ICSMM, Volume 1262 von Communications in Computer and Information Science, Seite 149-162. Springer, (2020)Effects of Adopting Code Review Bots on Pull Requests to OSS Projects., , , , und . ICSME, Seite 1-11. IEEE, (2020)Inference of Termination Conditions for Numerical Loops in Prolog., und . LPAR, Volume 2250 von Lecture Notes in Computer Science, Seite 654-668. Springer, (2001)Emotional Labor of Software Engineers.. BENEVOL, Volume 2047 von CEUR Workshop Proceedings, Seite 1-6. CEUR-WS.org, (2017)