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

Verification of Feature Coordination using the Fluent Calculus., und . ENASE, Seite 169-179. SciTePress, (2018)A process for facilitating interaction design through automated GUI generation., , , , und . SAC, Seite 1324-1330. ACM, (2014)Automated generation of device-specific WIMP UIs: weaving of structural and behavioral models., , , , und . EICS, Seite 41-46. ACM, (2011)What Happened with AI's Drosophila?. ÖGAI, Volume 106 von Informatik-Fachberichte, Seite 194-203. Springer, (1985)Feature Construction during Tree Learning., , und . GWAI, Volume 285 von Informatik-Fachberichte, Seite 50-61. Springer, (1991)Model transformation rules for customization of multi-device graphical user interfaces., , und . EICS, Seite 100-109. ACM, (2015)A case study of systematic top-down design of cyber-physical models with integrated validation and formal verification., und . SAC, Seite 1828-1836. ACM, (2019)Gradual transition towards autonomic software systems based on high-level communication specification., , , , und . SAC, Seite 84-89. ACM, (2007)Using Aspiration Windows for Minimax Algorithms., , und . IJCAI, Seite 192-197. Morgan Kaufmann, (1991)Switching from Bidirectional to Unidirectional Search., , , , und . IJCAI, Seite 1178-1183. Morgan Kaufmann, (1999)