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

On the Correctness of the Replacement Operation for CLP Modules., und . J. Funct. Log. Program., (1996)New Semantic Tools for Logic Programming., , und . REX Workshop, Volume 666 von Lecture Notes in Computer Science, Seite 204-235. Springer, (1992)On the expressive power of recursion, replication and iteration in process calculi., , und . Math. Struct. Comput. Sci., 19 (6): 1191-1222 (2009)Hybrid Models for Knowledge Tracing: A Systematic Literature Review., , , und . IEEE Trans. Learn. Technol., (2024)A Compositional Semantics for Logic Programs., , , und . Theor. Comput. Sci., 122 (1&2): 3-47 (1994)Denotational semantics for Concurrent Constraint Programs analyses., , , und . ICLP Workshop: Verification and Analysis of (Concurrent) Logic Languages, (1994)Nested Guarded Horn Clauses., , , und . Int. J. Found. Comput. Sci., 1 (3): 249-264 (1990)Modular Transformations of CLP Programs., und . ILPS Workshop: Constraints and Databases, (1994)Student Dropout Prediction., , , und . AIED (1), Volume 12163 von Lecture Notes in Computer Science, Seite 129-140. Springer, (2020)Student Low Achievement Prediction., , und . AIED (1), Volume 13355 von Lecture Notes in Computer Science, Seite 737-742. Springer, (2022)