FB 4: Informatik
Universität Koblenz
- 0261/287-2501
- 0261/287-2502
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
Hofmann, Sara; Danneels, Lieselot; Dobbe, Roel et al.
PrefaceSara Hofmann; Lieselot Danneels; Roel Dobbe; Anna-Sophie Novak; Peter Parycek; Gerhard Schwabe; Vera Spitzer; Jolien Ubacht (Hrsg). Electronic Participation : 17th IFIP WG 8.5 International Conference, ePart 2025, Krems, Austria, August 31–September 4, 2025, Proceedings. Cham: Springer Nature Switzerland 2025 S. V - VII
Rajendran, Lovenigasri; Alsakka, Khaled
Risks and the Co-Movement of the Malaysian Unit Trust Funds with Shariah IndexInternational journal of academic research in economics and management sciences : IJ-AREMS. Bd. 14. H. 1. 2025 S. 140 - 156
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.