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

Parallelizing NU-Prolog.. ICLP/SLP, Seite 1546-1564. MIT Press, (1988)Most Specific Logic Programs., , und . ICLP/SLP, Seite 909-923. MIT Press, (1988)An analysis of New South Wales electronic vote counting., , , und . CoRR, (2016)Heterogeneous SLD Resolution.. J. Log. Program., 1 (4): 297-303 (1984)Coercion-Resistant Tallying for STV Voting., , und . EVT, USENIX Association, (2008)Stepwise Enhancement and Higher-Order Programming in Prolog., und . J. Funct. Log. Program., (2000)Declarative Diagnosis of Floundering in Prolog.. ACSC, Volume 122 von CRPIT, Seite 49-56. Australian Computer Society, (2012)Visual representations for recursive algorithms., und . SIGCSE, Seite 196-200. ACM, (2002)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)