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

Most Specific Logic Programs., , und . ICLP/SLP, Seite 909-923. MIT Press, (1988)Parallelizing NU-Prolog.. ICLP/SLP, Seite 1546-1564. MIT Press, (1988)An analysis of New South Wales electronic vote counting., , , und . CoRR, (2016)Stepwise Enhancement and Higher-Order Programming in Prolog., und . J. Funct. Log. Program., (2000)Coercion-Resistant Tallying for STV Voting., , und . EVT, USENIX Association, (2008)Heterogeneous SLD Resolution.. J. Log. Program., 1 (4): 297-303 (1984)Visual representations for recursive algorithms., und . SIGCSE, Seite 196-200. ACM, (2002)Declarative Diagnosis of Floundering in Prolog.. ACSC, Volume 122 von CRPIT, Seite 49-56. Australian Computer Society, (2012)Statements versus Predicates in Spectral Bug Localization., , und . APSEC, Seite 375-384. IEEE Computer Society, (2010)Spectral Debugging with Weights and Incremental Ranking., , und . APSEC, Seite 168-175. IEEE Computer Society, (2009)