Universität Koblenz
- 0261/287-0
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
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
Diederichs, Tamara
Open Peer Review : Wissenssoziologische Reflexionen über kollektive Erkenntnisprozesse und erwachsenenbildungswissenschaftliche ImplikationenMalte Ebner von Eschenbach; Stephanie Freide; Stefan Rundel (Hrsg). Schreiben, begutachten, veröffentlichen : Praktiken wissenschaftlichen Publizierens. 1. Aufl. Opladen, Berlin, Toronto: Verlag Barbara Budrich 2025 S. 87 - 98
Pätzold, Henning
Organisationen als Akteure kollektiven LernensMarc-André Heidelmann; Susanne Maria Weber (Hrsg). Organisationspädagogisches Denken und Forschen verstehen : ein Studienbuch. 1. Aufl. Münster ; New York: Waxmann 2025 S. 101 - 118
Buck, Marc Fabian
Pädagogische Verantwortung: Generative KI, Irreversibilität und Genetisches ZeigenVierteljahrsschrift für wissenschaftliche Pädagogik. Bd. 101. H. 2. Paderborn: Ferdinand Schöningh 2025 S. 179 - 196