FB 4: Informatik
Universität Koblenz
- 0261/287-2501
- 0261/287-2502
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
Thapliyal, Prerna; Zourlidou, Stefania; Hopfgartner, Frank
Predicting Performance, Risking Fairness: The Ethical Dilemma of Educational AnalyticsMichael E. Auer; Peter Toth (Hrsg). Innovation via Collaborative Learning in Engineering Education : Proceedings of the 28th International Conference on Interactive Collaborative Learning (ICL2025). Cham: Springer International Publishing 2025 S. 227 - 239
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
Acev, David; Arz Von Straussenburg, Arnold F.; Rieder, Florian et al.
Roles and Rights Management for Data TrustsAustralasian Conference on Information Systems (Hrsg). ACIS 2025 proceedings. Atlanta, Georgia: Association for Information Systems (AIS) 2025 16 S.
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.