ADEM: An Authentic Digital EMblem F Linker, D Basin Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications …, 2023 | 2 | 2023 |
AGM meets abstract argumentation: Contraction for Dung frameworks R Baumann, F Linker Logics in Artificial Intelligence: 16th European Conference, JELIA 2019 …, 2019 | 1 | 2019 |
SOAP: A Social Authentication Protocol F Linker, D Basin arXiv preprint arXiv:2402.03199, 2024 | | 2024 |
ADEM: An Authentic Digital EMblem D Basin, F Linker Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications …, 2023 | | 2023 |
Model Checking Information Flow Control Policies on Instruction Set Architectures F Linker, M Bogdan, J Hoffmann | | |
Erkenntnis und Normativität-Eine Auseinandersetzung mit Platon F Linker | | |
Industrial Benchmark for Fuzzy Particle Swarm Reinforcement Learning F Linker | | |
AGM-Style Contraction in Dung-Logics for Argumentation Frameworks F Linker, G Brewka, R Baumann | | |