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
Zhao, Mengyisong; Harvey, Morgan; Cameron, Dave et al.
An Analysis of Classification Approaches for Hit Song Prediction using Engineered Metadata Features with Lyrics and Audio FeaturesIsaac Sserwanga;Anne Goulding;Heather Moulaison-Sandy;Jia Tina Du;António Lucas Soares;Viviane Hessami;Rebecca D. Frank (Hrsg). Information for a Better World: Normality, Virtuality, Physicality, Inclusivity; 18th International Conference, iConference 2023, Virtual Event, March 13–17, 2023, Proceedings, Part I. Gorgan: Gorgan University of Agricultural Sciences and Natural Resources 2023 S. 303 - 311
Paramita, Monica Lestari; Kasinidou, Maria; Kleanthous, Styliani et al.
BASE: a Bias-Aware news Search Engine for improving user awareness [Prototype]Omar Alonso;Ricardo Baeza-Yates;Tracy Holloway King;Gianmaria Silvello (Hrsg). Proceedings of the Third International Conference on Design of Experimental Search & Information REtrieval Systems DESIRES 2022: San Jose, CA, USA, August 30-31, 2022. Aachen: CEUR/RWTH 2023 S. 76 - 82
Boukhers, Zeyd; Bouabdellah, Azeddine; Yang, Cong et al.
Beyond Trading Data: The Hidden Influence of Public Awareness and Interest on Cryptocurrency VolatilityIngo Frommholz;Frank Hopfgartner;Mark Lee;Michael Oakes;Mounia Lalmas;Min Zhang;Rodrygo Santos;Carl Yang;Chanyoung Park (Hrsg). CIKM 23: Proceedings of the 32nd International Conference on information and Knowledge Management; October 21–25, 2023 Birmingham, United Kingdom. New York, NY: ACM Association for Computing Machinery 2023 S. 142 - 151
Tuma, Katja; Peldszus, Sven; Strüber, Daniel et al.
Checking security compliance between models and codeSoftware and Systems Modeling. Bd. 22. H. 1. Berlin: Springer 2023 S. 273 - 296
Frommholz, Ingo; Hopfgartner, Frank; Lee, Mark et al.
CIKM 23: Proceedings of the 32nd International Conference on information and Knowledge Management; October 21–25, 2023 Birmingham, United KingdomNew York, NY: ACM Association for Computing Machinery 2023
Hasso, Hussein; Großer, Katharina; Aymaz, Iliass et al.
Enhanced abbreviation–expansion pair detection for glossary term extractionInformation and Software Technology. Bd. 159. Amsterdam: Elsevier 2023 S. 107203
Cao, Chen; Zhao, Xin; Hopfgartner, Frank
Enhancing Chinese International Students’ Motivation and Engagement in a STEM Subject in UK Higher Education: A Case of Gamification in ProgrammingJose Luis Rodriguez Illera;Piet Kommers;Zhong Sun;Mario Barajas Frutos;Baohui Zhang;Mike Joy;Núria Molas (Hrsg). Proceedings of the 14th International Conference on Education Technology and Computers ICETC 2022: October 28-30, 2022; University of Barcelona, Spain. New York, NY: ACM Association for Computing Machinery 2023 S. 6 - 11
Konersmann, Marco; Kaplan, Angelika; Kühn, Thomas et al.
Evaluation Methods and Replicability of Software Architecture Research ObjectsGregor Engels;Regina Hebig;Matthias Tichy (Hrsg). Software Engineering 2023: Fachtagung des GI-Fachbereichs Softwaretechnik; 20.-24. Februar 2023, Paderborn; Proceedings. Bonn: Gesellschaft für Informatik 2023 S. 75 - 76
Loepp, Benedikt; Ziegler, Jürgen
How Users Ride the Carousel: Exploring the Design of Multi-List Recommender Interfaces From a User PerspectiveJie Zhang;Li Chen;Shlomo Berkovsky;Min Zhang;Tommaso di Noia;Justin Basilico;Luiz Pizzato;Yang Song (Hrsg). Proceedings of the 17th ACM Conference on Recommender Systems RecSys 2023: September 18 - 22, 2023, Singapore, Singapore. New York, NY: ACM Association for Computing Machinery 2023 S. 1090 - 1095
Hasso, Hussein; Großer, Katharina; Aymaz, Iliass et al.
ILLOD Replication Package: An Open-Source Framework for Abbreviation-Expansion Pair Detection and Term Consolidation in RequirementsKurt 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. 369 - 370
Boukhers, Zeyd; Goswami, Prantik; Jürjens, Jan
Knowledge guided multi-filter residual convolutional neural network for ICD coding from clinical textNeural Computing and Applications. Bd. 35. H. 24. London: Springer 2023 S. 17633 - 17644
Glückler, Johannes; Panitz, Robert
Live Music in the Time of Corona: On the Resilience and Impact of a Philharmonic Orchestra on the Urban EconomySustainability. Bd. 15. H. 4. Basel: MDPI 2023
Wendland, Philipp; Schmitt, Vanessa; Zimmermann, Jörg et al.
Machine learning models for predicting severe COVID-19 outcomes in hospitalsInformatics in Medicine Unlocked. Bd. 37. Amsterdam: Elsevier 2023
Loepp, Benedikt
Multi-list interfaces for recommender systems: Survey and future directionsFrontiers in Big Data. Bd. 6. Lausanne: Frontiers Media 2023
Zibat, Arne; Zhang, Xiaoxiao; Dickmanns, Antje et al.
N4-hydroxycytidine, the active compound of Molnupiravir, promotes SARS-CoV-2 mutagenesis and escape from a neutralizing nanobodyiScience. Bd. 26. H. 10. Amsterdam: Elsevier 2023
Peuter, Dennis; Sofronie-Stokkermans, Viorica; Thunert, Sebastian
On P-Interpolation in Local Theory Extensions and Applications to the Study of Interpolation in the Description Logics EL, EL+arXiv. 2023 2307.08843
Peuter, Dennis; Sofronie-Stokkermans, Viorica; Thunert, Sebastian
On P-Interpolation in Local Theory Extensions and Applications to the Study of Interpolation in the Description Logics 𝓔𝓛, 𝓔𝓛+29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings. Bd. LNCS 14132. Springer 2023 S. 419 - 437
Peuter, Dennis; Marohn, Philipp; Sofronie-Stokkermans, Viorica
On the Verification of Parametric Systems.CoRR. Bd. abs/2310.18069. 2023
Böltz, Lucas; Sofronie-Stokkermans, Viorica; Frey, Hannes
On the Verification of the Correctness of a Subgraph Construction Algorithm.CoRR. Bd. abs/2311.17860. 2023
Cui, Cui; Pinfield, Stephen; Cox, Andrew et al.
Participatory Web Archiving: Multifaceted ChallengesIsaac Sserwanga;Anne Goulding;Heather Moulaison-Sandy;Jia Tina Du;António Lucas Soares;Viviane Hessami;Rebecca D. Frank (Hrsg). Information for a Better World: Normality, Virtuality, Physicality, Inclusivity; 18th International Conference, iConference 2023, Virtual Event, March 13–17, 2023, Proceedings, Part I. Gorgan: Gorgan University of Agricultural Sciences and Natural Resources 2023 S. 79 - 87
Panitz, Robert; Glückler, Johannes
Post-Brexit: Do board interlocks make banks take similar relocation decisions?ZFW – Advances in Economic Geography. Bd. 67. H. 2-3. Berlin: De Gruyter 2023 S. 127 - 141
Wendland, Philipp; Schmitt, Vanessa; Zimmermann, Jörg et al.
Preprint: Machine learning models for predicting severe COVID-19 outcomes in hospitals2023 S. 1 - 33
Großer, Katharina; Riediger, Volker; Jürjens, Jan
Requirements document relations: A reuse perspective on traceability through standardsGregor Engels;Regina Hebig;Matthias Tichy (Hrsg). Software Engineering 2023: Fachtagung des GI-Fachbereichs Softwaretechnik; 20.-24. Februar 2023, Paderborn; Proceedings. Bonn: Gesellschaft für Informatik 2023 S. 57 - 58
Paramita, Monica Lestari; Kasinidou, Maria; Kleanthous, Styliani et al.
Towards improving user awareness of search engine biases: A participatory design approachJournal of the Association for Information Science and Technology. Bd. 75. H. 5. Hoboken, NJ: John Wiley & Sons 2023 S. 581 - 599