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

The SCR Method for Formally Specifying, Verifying, and Validating Requirements: Tool Support., , und . ICSE, Seite 610-611. ACM, (1997)Using Abstraction and Model Checking to Detect Safety Violations in Requirements Specifications., , , , und . IEEE Trans. Software Eng., 24 (11): 927-948 (1998)The Xenon separation VMM: Secure virtualization infrastructure for military clouds., , , , und . MILCOM, Seite 1-6. IEEE, (2012)Separation virtual machine monitors., , , , und . ACSAC, Seite 419-428. ACM, (2012)Inducing a lexicon of sociolinguistic variables from code-mixed text., , und . NUT@EMNLP, Seite 1-6. Association for Computational Linguistics, (2018)Towards robust cross-linguistic comparisons of phonological networks., , , und . SIGMORPHON, Seite 110-120. Association for Computational Linguistics, (2016)Production of the antimalarial drug precursor artemisinic acid in engineered yeast, , , , , , , , , und 5 andere Autor(en). Nature, 440 (7086): 940--943 (13.04.2006)Object Oriented Policy Conflict Checking Framework in Cloud Networks (OOPC)., , , , und . IEEE Trans. Dependable Secur. Comput., 19 (5): 2890-2906 (2022)Re-engineering Xen internals for higher-assurance security., , , , und . Inf. Secur. Tech. Rep., 13 (1): 17-24 (2008)Applying the SCR requirements method to a weapons control panel: an experience report., , und . FMSP, Seite 92-102. ACM, (1998)