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.

 

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

Hets for Common Logic Users, , , , и . (2013)Translating Haskell to Isabelle, , , и . Theorem Proving in Higher-Order Logic: Emerging Trends Proceedings, стр. 178–193. Uni Kaiserslautern, (2007)Creating a HasCASL library, , , и . 14th Brazilian Symposium on Programming Languages (SBLP 2010), (2010)Modeling and Validating Role-Based Authorization Policies for a Port Communication System with UML and OCL., , , , и . J. Object Technol., 19 (3): 3:1-14 (2020)Hets User Guide, , и . Department of Computer Science; Universität Bremen; http://www.informatik.uni-bremen.de/, (2006)Towards a Secure and Reliable IT-Ecosystem in Seaports., , , и . CoRR, (2021)Hets: The Heterogeneous Tool Set, , и . Maya: Maintaining Structured Developments, том 4180 из Lecture Notes in Artificial Intelligence, Springer, (2006)Ontology-based Cybersecurity and Resilience Framework., , , и . ICISSP, стр. 458-466. SCITEPRESS, (2021)A Framework For Intelligent DDoS Attack Detection and Response using SIEM and Ontology., , , и . ICC Workshops, стр. 1-6. IEEE, (2021)The Heterogeneous Tool Set, , и . VERIFY 2007, 4th International Verification Workshop, том 259 из CEUR Workshop Proceedings, (2007)