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

The Temporal Precedence Problem., , , und . Algorithmica, 28 (3): 288-306 (2000)HygeiaTel: an intelligent telemedicine system with cognitive support., , , und . mHealthSys@SenSys, Seite 9:1-9:2. ACM, (2011)A virtual sleep laboratory., , , und . mHealthSys@SenSys, Seite 10:1-10:2. ACM, (2011)FOLD-SE: Scalable Explainable AI., und . CoRR, (2022)Extended Dynamic Dependent And-Parallelism in ACE., und . J. Funct. Log. Program., (1999)ACE: And/Or-parallel Copying-based Execution of Logic Programs., und . ICLP Workshop on Parallel Execution of Logic Programs, Volume 569 von Lecture Notes in Computer Science, Seite 146-158. Springer, (1991)Modelling and Verification of Timed Systems with the Event Calculus and s(CASP)., , , , , , , und . ICLP Workshops, Volume 2970 von CEUR Workshop Proceedings, CEUR-WS.org, (2021)Towards a Universal Maths Conversion Library., , , , , und . ICCHP, Volume 3118 von Lecture Notes in Computer Science, Seite 664-669. Springer, (2004)Infinite Computation, Co-induction and Computational Logic., , , , , und . CALCO, Volume 6859 von Lecture Notes in Computer Science, Seite 40-54. Springer, (2011)Automatic Composition of SemanticWeb Services., , und . ICWS, Seite 150-158. IEEE Computer Society, (2007)