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 Σι, Σι+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
Sofronie-Stokkermans, Viorica
On symbol elimination in theory extensions and applications to parametric verificationUniversità degli Studi di Milano (Hrsg). Book of Abstracts : Logic Colloquium 2023 European Summer Meeting of the Association for Symbolic Logic : University of Milan, Italy, 5—9 June 2023. Mailand: Università degli Studi di Milano 2023 S. 9
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