Следене
Felix Linker
Felix Linker
Department of Computer Science, ETH Zurich
Потвърден имейл адрес: inf.ethz.ch - Начална страница
Заглавие
Позовавания
Позовавания
Година
ADEM: An Authentic Digital EMblem
F Linker, D Basin
Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications …, 2023
22023
AGM meets abstract argumentation: Contraction for Dung frameworks
R Baumann, F Linker
Logics in Artificial Intelligence: 16th European Conference, JELIA 2019 …, 2019
12019
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
Системата не може да изпълни операцията сега. Опитайте отново по-късно.
Статии 1–8