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 for the special issue in homage to Martin Hofmann Part 1., , и . Math. Struct. Comput. Sci., 31 (9): 950-952 (2021)Automating Vehicle SOA Threat Analysis Using a Model-Based Methodology., , , , и . ICISSP, стр. 180-191. SciTePress, (2023)Toward Embodied Intelligence: Smart Things on the Rise., , , , , и . Computer, 54 (7): 57-68 (2021)Inferring Region Types via an Abstract Notion of Environment Transformation., и . APLAS, том 13658 из Lecture Notes in Computer Science, стр. 45-64. Springer, (2022)Static and Dynamic Analysis of a Usage Control System., , , , , , , и . SACMAT, ACM, (2024)Accountable Federated Machine Learning in Government: Engineering and Management Insights., , , , , , , , , и 1 other автор(ы). ePart, том 12849 из Lecture Notes in Computer Science, стр. 125-138. Springer, (2021)A Model-Based Systems Engineering Plugin for Cloud Security Architecture Design., , и . SN Comput. Sci., 5 (5): 553 (июня 2024)Preface for the special issue in homage to Martin Hofmann Part 2., , и . Math. Struct. Comput. Sci., 32 (6): 682-684 (июня 2022)Semantical Analysis of Contextual Types., и . FoSSaCS, том 12077 из Lecture Notes in Computer Science, стр. 502-521. Springer, (2020)A generic type system for featherweight Java., и . FTfJP@ECOOP, стр. 9-15. ACM, (2021)