FB 4: Informatik
Universität Koblenz
- 0261/287-2501
- 0261/287-2502
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.
Shakya, Sanjeev Sun; Ramadan, Qusai; Peikert, Alexander et al.
Support for Model-Based Data Sovereignty AnalysisRobbert Jongeling; Sébastien Mosser (Hrsg). JOT special issue on the 21st European Conference on Modelling Foundations and Applications (ECMFA 2025). Zürich: ETH Zürich 2025 14 S.