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.

 

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

A logical duality for underspecified probabilistic systems., , и . Inf. Comput., 209 (5): 850-871 (2011)Bisimulation for Labelled Markov Processes., , , и . LICS, стр. 149-158. IEEE Computer Society, (1997)Beyond Labels: Permissiveness for Dynamic Information Flow Enforcement., , , , и . CSF, стр. 351-366. IEEE, (2019)Static Analysis of Programs Using Omega Algebra with Tests., и . RelMiCS, том 3929 из Lecture Notes in Computer Science, стр. 60-72. Springer, (2005)Labelled Markov Processes: Stronger and Faster Approximations., и . LICS, стр. 341-350. IEEE Computer Society, (2003)Enforcing Information Flow by Combining Static and Dynamic Analysis., , , и . FPS, том 8352 из Lecture Notes in Computer Science, стр. 83-101. Springer, (2013)Enforcing Information Flow Policies by a Three-Valued Analysis., , и . MMM-ACNS, том 7531 из Lecture Notes in Computer Science, стр. 114-129. Springer, (2012)Weak Bisimulation is Sound and Complete for PCTL*., , , и . CONCUR, том 2421 из Lecture Notes in Computer Science, стр. 355-370. Springer, (2002)Metrics for Labeled Markov Systems., , , и . CONCUR, том 1664 из Lecture Notes in Computer Science, стр. 258-273. Springer, (1999)A Demonic Approach to Information in Probabilistic Systems., , и . CONCUR, том 5710 из Lecture Notes in Computer Science, стр. 289-304. Springer, (2009)