Kamp, Jan; Dierkes, Georg; Range, David et al.
Occurrence, Temporal Variability, and Loads of Poly(vinyl chloride) in the Rhine and MoselleEnvironmental Science and Technology. Bd. 59. H. 28. New York: Dekker 2025 S. 14649 - 14659
Buck, Marc Fabian
Ökonomisierung der Bildung : Triebfeder sozialer UngleichheitVorgänge : Zeitschrift für Bürgerrechte und Gesellschaftspolitik. H. 247/248. Berlin: BWV Berlin Wissenschafts-Verlag 2025 S. 49 - 61
Thimm, Matthias; Ribeiro, Jandson S.; Peuter, Dennis et al.
On Minimal Inconsistent Signatures and their Application to Inconsistency MeasurementAnna Rapberger; Sebastian Rudolph (Hrsg). NMR 2025 Non-Monotonic Reasoning 2025 : Proceedings of the 23rd International Workshop on Non-Monotonic Reasoning (NMR 2025) co-located with the 22nd International Conference on Principles of Knowledge Representation and Reasoning (KR 2025). Aachen: CEUR/RWTH 2025 S. 267 - 280
Waburg, Wiebke; Quaiser-Pohl, Claudia; Boettger, Lars et al.
On playfulness in a board game project in primary education in Tanzania – insights from a 360 degree video study (EN)Simone Seitz; Francesca Berti (Hrsg). School as a Playful Space 2025, 09–10 October : International Conference : Book of Abstracts. Bozen-Bolzano: Freie Universität Bozen-Bolzano 2025 S. 4
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
Unger, Marcel; Schlegel, Kenny; Protzel, Peter et al.
On the choice of Vector Symbolic Architectures for Time Series Classification with HDC-MiniROCKETPetia Georgieva; Danilo Comminiello; Chrisina Jaynen (Hrsg). International Joint Conference on Neural Networks : IJCNN 2025 : 30 June - 5 July 2025, Rome, Italy : Conference Proceedings. Piscataway, NJ: IEEE Computer Society 2025 8 S.
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
Vashishth, Devesh; Sasikumar, Kavya; Wagner, Marco et al.
On-device Fault Classification for industrial environments : leveraging hierarchical CNNs for energy efficiencyLuis Almeida; Marina Indria; Mario de Sousa; Antonio Visioli; Mohammad Ashjaei; Pedro Santos (Hrsg). 2025 IEEE 30th International Conference on Emerging Technologies and Factory Automation : ETFA 2025 : 09-12 September 2025, Porto, Portugal. Piscataway, NJ: IEEE Computer Society 2025 4 S.