FB 4: Informatik
Universität Koblenz
- 0261/287-2501
- 0261/287-2502
Memmesheimer, Raphael; Theisen, Nick; Paulus, Dietrich
SL-DML: Signal Level Deep Metric Learning for Multimodal One-Shot Action RecognitionS. 1 - 8
Matamoros, Mauricio; Harbusch, Karin; Paulus, Dietrich
From Commands to Goal-based Dialogs: A Roadmap to Achieve Natural Language Interaction in RoboCup@HomeS. 1 - 13
Paramita, Monica Lestari; Kasinidou, Maria; Kleanthous, Styliani et al.
BASE: a Bias-Aware news Search Engine for improving user awareness [Prototype]
Mu, Mu; Dohan, Murtada; Goodyear, Alison et al.
User Attention and Behaviour in Virtual Reality Art EncounterS. 1 - 22
Kaune, Sebastian; Rumín, Rubén Cuevas; Tyson, Gareth et al.
Unraveling BitTorrent’s File Unavailability: Measurements, Analysis and Solution ExplorationS. 1 - 12
Alahmadi, Amal A.; Musa, Mohamed O. I.; El-Gorashi, Taisir E. H. et al.
Fogbanks: Future Dynamic Vehicular Fog Banks for Processing, Sensing and Storage in 6GS. 1 - 6
Ivkic, Igor; Sailer, Patrizia; Gouglidis, Antonios et al.
A Security Cost Modelling Framework for Cyber-Physical SystemsS. 1 - 31
Sailer, Patrizia; Ivkic, Igor; Tauber, Markus et al.
Analysing Design Approaches for the Power Consumption in Cyber-Physical SystemsS. 1 - 6
Zhao, Zhixue; Zhang, Ziqi; Hopfgartner, Frank
Detecting Toxic Content Online and the Effect of Training Data on Classification PerformanceS. 1 - 14
Orphanou, Kalia; Christoforou, Evgenia; Otterbacher, Jahna et al.
Preserving the memory of the first wave of COVID-19 pandemic: Crowdsourcing a collection of image search queriesS. 1 - 10
Ihlemann, Carsten; Sofronie-Stokkermans, Viorica
System Description: H-PILoT (Version 1.9)S. 1 - 43
Sofronie-Stokkermans, Viorica
Sheaves and geometric logic and applications to the modular verification of complex systemsS. 1 - 30
Sofronie-Stokkermans, Viorica
Parametric Systems: Verification and SynthesisS. 1 - 39
Peuter, Dennis; Sofronie-Stokkermans, Viorica
On Invariant Synthesis for Parametric SystemsS. 1 - 33
Sofronie-Stokkermans, Viorica
On Interpolation and Symbol Elimination in Theory ExtensionsS. 1 - 41
Bonacina, Maria Paola; Furbach, Ulrich; Sofronie-Stokkermans, Viorica
On First-Order Model-Based ReasoningS. 1 - 24
Sofronie-Stokkermans, Viorica
Locality and applications to subsumption testing and interpolation in EL and some of its extensionsS. 1 - 42
Leinberger, Martin; Lämmel, Ralf; Staab, Steffen
LambdaDL: Syntax and Semantics (Preliminary Report)S. 1 - 15
Sofronie-Stokkermans, Viorica
Interpolation in local theory extensionsS. 1 - 31
Dupressoir, François; Gordon, Andrew D.; Jürjens, Jan et al.
Guiding a General-Purpose C Verifier to Prove Cryptographic ProtocolsS. 1 - 39
Damm, Werner; Horbach, Matthias; Sofronie-Stokkermans, Viorica
Decidability of Verification of Safety Properties of Spatial Families of Linear Hybrid AutomataS. 1 - 50
Faber, Johannes; Ihlemann, Carsten; Jacobs, Swen et al.
Automatic Verification of Parametric Specifications with Complex TopologiesS. 1 - 16
Großer, Katharina; Rukavitsyna, Marina; Jürjens, Jan
A Comparative Evaluation of Requirement Template Systems (Summary)Rick Rabiser;Manuel Wimmer;Iris Groher;Andreas Wortmann;Bianca Wiesmayr (Hrsg). Software Engineering 2024 SE Proceedings: 26. Februar-1. März, 2024; Linz, Österreich. Bonn: Gesellschaft für Informatik 2024 S. 47 - 48
Wolters, Anna; Arz von Straussenburg, Arnold; Riehle, Dennis
AI Literacy in Adult Education - A Literature ReviewTung X. Bui (Hrsg). Proceedings of the 57th Hawaii International Conference on System Sciences HICSS 2024: Hilton Hawaiian Village Waikiki Beach Resort, Honolulu January 3-6, 2024. Honolulu, HI: University of Hawaii at Manoa 2024 S. 6888 - 6897
Li, Yuelin; He, Pengfei; Yuan, Xiaojun et al.
Developing and evaluating a gamified information retrieval system for Generation ZLibrary & Information Science Research. Bd. 46. H. 1. Oxford: Elsevier 2024 S. 101270