Furbach, Ulrich; Schon, Claudia
Semantically Guided Evolution of SHI AboxesCoRR. S. 1 - 15
Sofronie-Stokkermans, Viorica
Sheaves and geometric logic and applications to the modular verification of complex systemsCoRR. S. 1 - 30
Memmesheimer, Raphael; Kramer, Ivanna; Seib, Viktor et al.
Simitate: A Hybrid Imitation Learning Benchmark2019 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS). IEEE S. 1 - 7
Gräßle, Carmen; Hintermüller, Michael; Hinze, Michael et al.
Simulation and control of a nonsmooth Cahn-Hilliard Navier-Stokes systemS. 1 - 25
Memmesheimer, Raphael; Theisen, Nick; Paulus, Dietrich
SL-DML: Signal Level Deep Metric Learning for Multimodal One-Shot Action RecognitionS. 1 - 8
Dünker, Daniel; Kunegis, Jérôme
Social Networking by Proxy: A Case Study of Catster, Dogster and HamstersterCoRR. S. 1 - 11
Thimm, Matthias; Kern-Isberner, Gabriele
Stratified Labelings for Abstract ArgumentationCoRR. S. 1 - 17
Ihlemann, Carsten; Sofronie-Stokkermans, Viorica
System Description: H-PILoT (Version 1.9)CoRR. S. 1 - 43
Thimm, Matthias; Villata, Serena
System Descriptions of the First International Competition on Computational Models of Argumentation (ICCMA'15)CoRR. S. 1 - 71
Eichhorn-Remmel, Friederike
Taugt Maria zur Revolte? Feministisch-Exegetische Blicke auf medial kommunizierte MarienkonstruktionenJournal of the European Society of Women in Theological Research 29. Leuven. Leuven S. 85 - 111