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.
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
Schlegel, Ulrike; Kleven, Heidi; Gillespie, Tom et al.
openMINDS SANDS: making brain atlases machine-actionable using Linked DataEBRAINS AISBL (Hrsg). EBRAINS Summit 2025 : Book of Abstracts. Watermael-Boitsfort: EBRAINS AISBL 2025 S. 48 - 50
Fürholzer, Katharina; Frisch, Katrin
Opportunistische Figuren in Literatur und Film : Einführende ReflexionenKomparatistik online : komparatistische Internet-Zeitschrift. Bd. 2025. Gießen: Justus-Liebig-Universität Gießen 2025
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
Liebert, Wolf-Andreas
Partizipatorischer DiskursForschungsgruppe Diskursmonitor und Diskursintervention (Hrsg). Diskursmonitor : Glossar zur strategischen Kommunikation in öffentlichen Diskursen. Siegen: Universität Siegen 2025