Institut für Informatik
FB 4: Informatik / Universität Koblenz
- 0261/287 - 2720
- 0261/287 - 2721
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 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 Σι, Σι+Brigitte Pientka; Cesare Tinelli (Hrsg). Automated Deduction CADE 29 : 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings. Cham: Springer Nature Switzerland 2023 S. 419 - 437
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