FB 4: Informatik
Universität Koblenz
- 0261/287-2501
- 0261/287-2502
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
Memmesheimer, Raphael
On the recognition of human activities and the evaluation of its imitation by robotic systemsKoblenz: Universität Koblenz 2023
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
Wolters, Anna; Blazevic, Mevludin; Riehle, Dennis M.
On-Premise Internet of Things (IoT) Data Storage: Comparison of Database Management SystemsGary Wills; Levente Buttyán; Péter Kacsuk; Victor Chang (Hrsg). Proceedings of the 8th International Conference on Internet of Things, Big Data and Security IoTBDS: Prague, Czech Republic; 21 to 23 April 2023. Setúbal: SciTePress 2023 S. 140 - 149
Pauken, Cedric; Hartmann, Matthias; Wimmer, Maria
Open Government Data Strategies in South Korea and Japan: A Comparative Case AnalysisJolien Ubacht; Csaba Csáki; Lieselot Danneels; Noella Edelmann; Marijn Janssen; Evangelos Kalampokis; Ida Lingren; Anna-Sophie Novak; Panos Panagiotopoulos; Peter Parycek; Gabriela Viale Pereira; Iryna Susha; Gerhard Schwabe; Shefali Virkar; Efthimios Tambouris; Anneke Zuiderwijk (Hrsg). Joint Proceedings of Ongoing Research, Practitioners, Posters, Workshops, and Projects at EGOV-CeDEM-ePart 2023 co-located with the International Conference EGOV-CeDEM-ePart (EGOV-CeDEM-ePart 2023) Corvinus University of Budapest, September 4-7, 2023. Aachen: CEUR/RWTH 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
Mints, Mark O.; Theisen, Nick; Neubert, Peer et al.
Point-Cloud-Based Change Detection for Steep Slope Vineyard AgricultureThilo Sauter; Ravinder Dahiya; Bernhard Jakoby; Jeong Bong Lee (Hrsg). 2023 IEEE SENSORS Conference Proceedings: October 29 - November 1, 2023. Vienna, Austria. Piscataway, NJ: IEEE Computer Society 2023 S. 1 - 4
Troitzsch, Klaus G.
Populism, Extremism and Cultural Change as Traceable in the European Value StudyMölder, Holger; Voinea, Camelia Florela; Sazonov, Vladimir (Hrsg). Producing Cultural Change in Political Communities. Cham: Springer 2023 S. 125 - 157 (Contributions to Political Science Series)
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