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.

 

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

ERGO: a pilot study of ketogenic diet in recurrent glioblastoma, , , , , , , , , и 1 other автор(ы). Int J Oncol, 44 (6): 1843-1852 (июня 2014)A Formally Verified Model of Web Components., и . FACS, том 12018 из Lecture Notes in Computer Science, стр. 51-71. Springer, (2019)Interactive Testing with HOL-TestGen., и . FATES, том 3997 из Lecture Notes in Computer Science, стр. 87-102. Springer, (2005)Symbolic Test Case Generation for Primitive Recursive Functions., и . FATES, том 3395 из Lecture Notes in Computer Science, стр. 16-32. Springer, (2004)Integrating Security Aspects into Business Process Models.. it Inf. Technol., 55 (6): 239-246 (2013)Stateful Protocol Composition and Typing., , и . Arch. Formal Proofs, (2020)On the Security Cost of Using a Free and Open Source Component in a Proprietary Product., , и . ESSoS, том 9639 из Lecture Notes in Computer Science, стр. 190-206. Springer, (2016)A Denotational Semantics of Solidity in Isabelle/HOL., и . SEFM, том 13085 из Lecture Notes in Computer Science, стр. 403-422. Springer, (2021)Factors Impacting the Effort Required to Fix Security Vulnerabilities - An Industrial Case Study., , , , , и . ISC, том 9290 из Lecture Notes in Computer Science, стр. 102-119. Springer, (2015)Monadic Sequence Testing and Explicit Test-Refinements., и . TAP, том 9762 из Lecture Notes in Computer Science, стр. 17-36. Springer, (2016)