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 case study in innovative process improvement: code synthesis from formal specifications., , , und . Microprocess. Microsystems, 23 (7): 417-424 (1999)On a time enriched OCL liveness template., und . Int. J. Softw. Tools Technol. Transf., 8 (2): 156-166 (2006)The Formalization and Analysis of a Communications Protocol., und . Formal Aspects Comput., 6 (1): 92-112 (1994)A Framework for Modelling Trojans and Computer Virus Infection., , und . Comput. J., 41 (7): 444-458 (1998)Problems of data mobility and reuse in the provision of computer-based training for screening mammography., , , , , , und . CHI, Seite 909-918. ACM, (2012)Euphonia: Reflecting on the Design of an AI-Powered Voice-Controlled Narrative Game., , , , und . CHI PLAY (Companion), Seite 204-208. ACM, (2020)OfGAN: Realistic Rendition of Synthetic Colonoscopy Videos., , , , , , und . MICCAI (3), Volume 12263 von Lecture Notes in Computer Science, Seite 732-741. Springer, (2020)Timed Knowledge-based Modelling and Analysis: On the Dependability of Socio-technical Systems, , und . International Conference on Human Aspects of Advanced Manufacturing: Agility & Hybrid Automation, Seite 321--328. (Mai 2003)Heterogeneous Modelling of Evolution for Socio-technical Systems, und . International Conference on Dependable Systems and Networks, Workshop on Interdisciplinary approaches to achieving and analysing system dependability, Seite 210--215. Florence, Italy, (Juni 2004)Towards web-based semantic enrichment of 3D insects., , , , , und . Web3D, Seite 163-164. ACM, (2015)