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

Live-Structure Analysis for Logic Programming Languages with Declarations., , und . ICLP, Seite 33-47. MIT Press, (1997)Region-based memory management for Mercury programs, , und . CoRR, (2012)A Delta Debugger for ILP Query Execution, und . CoRR, (2007)Practical Aspects for a Working Compile Time Garbage Collection System for Mercury, , , und . CoRR, (2001)Compiling Input* FO(·) inductive definitions into tabled prolog rules for IDP3., , und . Theory Pract. Log. Program., 13 (4-5): 691-704 (2013)Fast Frequent Querying with Lazy Control Flow Compilation., , , und . Theory Pract. Log. Program., 7 (4): 481-498 (2007)Experience with widening based equivalence checking in realistic multimedia systems., , , , und . HLDVT, Seite 122-129. IEEE Computer Society, (2009)Analyzing & debugging ILP data mining query execution., und . AADEBUG, Seite 105-110. ACM, (2005)Transformation to Dynamic Single Assignment Using a Simple Data Flow Analysis., , , und . APLAS, Volume 3780 von Lecture Notes in Computer Science, Seite 330-346. Springer, (2005)ProbLog Technology for Inference in a Probabilistic First Order Logic., , , , , , und . ECAI, Volume 215 von Frontiers in Artificial Intelligence and Applications, Seite 719-724. IOS Press, (2010)