Non-Standard Inferences in Description Logics From Foundations and Definitions to Algorithms and Analysis Küsters, Ralf Heftet / 2001 / Engelsk
Principles of Security and Trust 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings Bauer, Lujo Heftet / 2018 / Engelsk
Progress in Cryptology – INDOCRYPT 2021 22nd International Conference on Cryptology in India, Jaipur, India, December 12–15, 2021, Proceedings Adhikari Avishek Heftet / 2021 / Engelsk
