Institut für Informatik
FB 4: Informatik / Universität Koblenz
- 0261/287 - 2720
- 0261/287 - 2721
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 107786
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