Author of the publication

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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

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