Institut für Informatik
FB 4: Informatik / Universität Koblenz
- 0261/287 - 2720
- 0261/287 - 2721
Paramita, Monica Lestari; Kasinidou, Maria; Kleanthous, Styliani et al.
BASE: a Bias-Aware news Search Engine for improving user awareness [Prototype]
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
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
von Gladiss, Anselm; Ahmadian, Amir Shayan; Jürjens, Jan
Image reconstruction in a data space for MPIInternational Journal on Magnetic Particle Imaging. Bd. 10. H. 1 Suppl.1. Lübeck: Infinite Science Publishing 2024
Böltz, Lucas; Sofronie-Stokkermans, Viorica; Frey, Hannes
On the Verification of the Correctness of a Subgraph Construction Algorithm.VMCAI (1). 2024 S. 303 - 325
Clough, Paul; Harvey, Morgan; Hopfgartner, Frank
Proceedings of the 2024 Conference on Human Information Interaction and Retrieval. CHIIR 24. March 10-14, 2024. Sheffild, United KingdomNew York, NY: ACM Association for Computing Machinery 2024
Wegner, Franz; Friedrich, Thomas; Wattenberg, Maximilian et al.
Stent Tracking by Magnetic Particle ImagingInternational Journal on Magnetic Particle Imaging. Bd. 10. H. 1 Suppl. 1. Lübeck: Infinite Science Publishing 2024
Zhao, Mengyisong; Harvey, Morgan; Cameron, David et al.
The Effect of Simulated Contextual Factors on Recipe Rating and Nutritional Intake BehaviourPaul Clough;Morgan Harvey;Frank Hopfgartner (Hrsg). Proceedings of the 2024 Conference on Human Information Interaction and Retrieval. CHIIR 24. March 10-14, 2024. Sheffild, United Kingdom. New York, NY: ACM Association for Computing Machinery 2024 S. 97 - 107
Bartliff, Zoe; Kim, Yunhyong; Hopfgartner, Frank
Towards privacy-aware exploration of archived personal emailsInternational Journal on Digital Libraries. Heidelberg: Springer 2024 S. 1 - 35
Sofronie-Stokkermans, Viorica
Logic Colloquium 2023 - European Summer Meeting of the Association for Symbolic Logic, University of Milano, 5-9 June 2023, Book of Abstracts. On symbol elimination in theory extensions and applications to parametric verification.Logic Colloquium 2023 - European Summer Meeting of the Association for Symbolic Logic, University of Milano, 5-9 June 2023, Book of Abstracts. https://lc2023.unimi.it/wp-content/uploads/2023/06/book-of-abstracts-LC2023.pdf. 2023 S. 9
Großer, Katharina; Rukavitsyna, Marina; Jürjens, Jan
A Comparative Evaluation of Requirement Template SystemsKurt Schneider;Fabiano Dalpiaz;Jennifer Horkoff (Hrsg). Proceedings of the 31st International Requirements Engineering Conference RE 2023; 4 - 8 September 2023, Hannover, Germany. Los Alamitos, CA: IEEE Computer Society 2023 S. 41 - 52