From post

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

 

Другие публикации лиц с тем же именем

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