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 SystemsProceedings of the 8th International Conference on Internet of Things, Big Data and Security. Prague: Science and Technology Publications (SCITEPRESS ) 2023 S. 140 - 149
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
Cui, Cui; Pinfield, Stephen; Cox, Andrew et al.
Participatory Web Archiving: Multifaceted ChallengesLecture Notes in Computer Science. Cham: Springer 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