FB 4: Informatik
Universität Koblenz
- 0261/287-2501
- 0261/287-2502
Gnau-Franké, Birte C.; Mauthe, Andreas; Pätzold, Henning et al.
KI-Kompetenzmodell Grundlagen : „Wurzel & Stamm“ : WhitepaperKoblenz: Universität Koblenz 2025 6 S.
Theisen, Nick; Räder, Philipp; Müller, Daniel et al.
Lidar-based Missing Plant Detection in Steep VineyardsFelicitas Böhm; Benjamin Hohnhäuser; Markus Bauer (Hrsg). GFaI Tagungsband 2024 : AI4EA Workshop (Berlin Workshop on Artificial Intelligence for Engineering Applications), 3D-iSA (3D in Science & Applications). Berlin: GFaI Gesellschaft zur Förderung angewandter Informatik 2025 S. 45 - 48
Paulus, Dietrich; Theisen, Nick; Bartsch, Robin et al.
Nachhaltiges Robotersehen im WeinbauJörg Dörr; Thilo Steckel; Heinrich Prankl; Viktoria Kruder-Motsch; Sebastian Bosse; Peter Riegler-Nurscher; Helga Floto (Hrsg). Digitale Infrastrukturen für eine nachhaltige Land-, Forst- und Ernährungswirtschaft : Referate der 45. GIL-Jahrestagung 25. - 26. Februar 2025. Bonn: Gesellschaft für Informatik 2025 S. 363 - 368
Sajid, Sarah; Klironomos, Antonis; Kharlamov, Evgeny et al.
No-Code ML Pipeline Development: Leveraging Knowledge Graphs and Language ModelsEdward Curry; Maribel Acosta; María Poveda-Villalón; Marieke van Erp; Adegboyega Ojo; Katja Hose; Cogan Shimizu; Pasquale Lisena (Hrsg). The Semantic Web: 2025, Portoroz, Slovenia, June 1 - 5, 2025, Proceedings. Basel: Springer 2025
Nilles, Alexander Maximilian; Günther, Lars; Mueller, Stefan
Oasis: A Real-Time Hydraulic and Aeolian Erosion Simulation with Dynamic VegetationThomas Bashford-Rogers; Daniel Meneveaux; Mehdi Ammi; Mounia Ziat; Stefan Jänicke; Helen Purchase; Petia Radeva; Antonino Furnari; Kadi Bouatouch; A. Augusto Sousa (Hrsg). Proceedings of the 20th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications : VISAPP. Bd. 1-3. Setúbal: SciTePress-Science and Technology Publications 2025 S. 39 - 52
Sofronie-Stokkermans, Viorica
On Symbol Elimination and Uniform Interpolation in Theory Extensions.CoRR. Bd. abs/2506.01664. 2025
Sofronie-Stokkermans, Viorica
On Symbol Elimination and Uniform Interpolation in Theory Extensions.CADE. 2025 S. 35 - 55
Sofronie-Stokkermans, Viorica; Peuter, Dennis; Marohn, Philipp
On the Verification of Parametric SystemsFränzle, M.; Niehaus, J.; Westphal, B. (Hrsg). Engineering Safe and Trustworthy Cyber Physical Systems. Cham: Springer 2025 S. 201 - 221 (Lecture Notes in Computer Science, vol. 15471)
Sofronie-Stokkermans, Viorica; Marohn, Philipp
On verification and constraint generation for families of similar hybrid automata.CoRR. Bd. abs/2505.09244. 2025
Rieder, Florian; Aldenhoff, Timon; Acev, David et al.
SMEs aiming to operate as Data Trusts: A Reference ArchitectureMichael Myers; Rose Alinda Alias; Wai Fong Boh (Hrsg). PACIS 2025 Proceedings. Atlanta, Georgia: Association for Information Systems (AIS) 2025 15 S.