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

A New Mode Declaration for Tabled Predicates., und . ICLP, Volume 2916 von Lecture Notes in Computer Science, Seite 485-486. Springer, (2003)Online Justification for Tabled Logic Programs., , , , und . ICLP, Volume 2916 von Lecture Notes in Computer Science, Seite 500-501. Springer, (2003)Automated Test Oracle Generation via Denotational Semantics., , , und . QSIC, Seite 139-144. IEEE, (2014)Mode-Directed Fixed Point Computation.. LPNMR, Volume 3662 von Lecture Notes in Computer Science, Seite 253-265. Springer, (2005)INSIGHT: A Comprehensive System for Converting Braille based Mathematical Documents to Latex., , , , und . HCI (4), Seite 1245-1249. Lawrence Erlbaum, (2003)UMA: a system for universal mathematics accessibility., , , , , , , , , und . ASSETS, Seite 55-62. ACM, (2004)The development of a tool to enhance communications between blind and sighted mathematicians, students and teachers: a global translation appliance., , , , und . HCI, Seite 929-933. Lawrence Erlbaum, (2001)Automatic Grammar-Based Test Generation., und . ICTSS, Volume 8254 von Lecture Notes in Computer Science, Seite 17-32. Springer, (2013)PALS: An Or-Parallel Implementation of Prolog on Beowulf Architectures., , , und . ICLP, Volume 2237 von Lecture Notes in Computer Science, Seite 27-42. Springer, (2001)A Memoized Strategy for Preference Logic Programs.. TASE, Seite 255-262. IEEE Computer Society, (2008)