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

Safety, reliability and security of industrial computer systems., und . Reliab. Eng. Syst. Saf., 89 (1): 1-5 (2005)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)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)Problems of data mobility and reuse in the provision of computer-based training for screening mammography., , , , , , und . CHI, Seite 909-918. ACM, (2012)OfGAN: Realistic Rendition of Synthetic Colonoscopy Videos., , , , , , und . MICCAI (3), Volume 12263 von Lecture Notes in Computer Science, Seite 732-741. Springer, (2020)Euphonia: Reflecting on the Design of an AI-Powered Voice-Controlled Narrative Game., , , , und . CHI PLAY (Companion), Seite 204-208. ACM, (2020)