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.

 

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

Preface., , и . Theory and Formal Methods, Imperial College Press, (1994)Abstract Interpretation of Term Graph Rewriting Systems.. Functional Programming, стр. 54-65. Springer, (1990)A Parallel Programming Style and Its Algebra of Programs., , и . PARLE, том 694 из Lecture Notes in Computer Science, стр. 367-378. Springer, (1993)COBWEB-2: Structured Specification of a Wafer-Scale Supercomputer., , , , и . PARLE (1), том 258 из Lecture Notes in Computer Science, стр. 51-67. Springer, (1987)A Systematic Approach to Probabilistic Pointer Analysis., , и . APLAS, том 4807 из Lecture Notes in Computer Science, стр. 335-350. Springer, (2007)Adversarial Machine Learning Beyond the Image Domain., , , и . DAC, стр. 176. ACM, (2019)Optimal Security Hardening over a Probabilistic Attack Graph: A Case Study of an Industrial Control System using CySecTool., , , и . SAT-CPS@CODASPY, стр. 21-30. ACM, (2022)Ranking Twitter Influence by Combining Network Centrality and Influence Observables in an Evolutionary Model., , и . SITIS, стр. 491-498. IEEE Computer Society, (2013)Safety of Strictness Analysis via Term Graph Rewriting., , и . SAS, том 1824 из Lecture Notes in Computer Science, стр. 95-114. Springer, (2000)Abstract Interpretation for Worst and Average Case Analysis., , и . Program Analysis and Compilation, том 4444 из Lecture Notes in Computer Science, стр. 160-174. Springer, (2006)