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.

 

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

Parameterized Structured Operational Semantics., и . Fundam. Informaticae, 34 (1-2): 1-31 (1998)Static Analysis for Stack Inspection., , и . ConCoord, том 54 из Electronic Notes in Theoretical Computer Science, стр. 69-80. Elsevier, (2001)A Language-Based Approach to Autonomic Computing., , , и . FMCO, том 7542 из Lecture Notes in Computer Science, стр. 25-48. Springer, (2011)Model Checking Usage Policies., , , и . TGC, том 5474 из Lecture Notes in Computer Science, стр. 19-35. Springer, (2008)Secure Apps in the Fog: Anything to Declare?, , и . ESOCC Workshops, том 1115 из Communications in Computer and Information Science, стр. 46-61. Springer, (2018)Secure Partitioning of Composite Cloud Applications., , , , и . ESOCC, том 13226 из Lecture Notes in Computer Science, стр. 47-64. Springer, (2022)Secure and Unfailing Services., , и . PaCT, том 7979 из Lecture Notes in Computer Science, стр. 167-181. Springer, (2013)From Theory to Practice in Transactional Composition of Web Services., , , , , и . EPEW/WS-FM, том 3670 из Lecture Notes in Computer Science, стр. 272-286. Springer, (2005)Security-Aware Program Transformations., , и . ICTCS, том 2841 из Lecture Notes in Computer Science, стр. 355-368. Springer, (2003)Formalising Security in Ubiquitous and Cloud Scenarios., , , , и . CISIM, том 7564 из Lecture Notes in Computer Science, стр. 1-29. Springer, (2012)