Sofronie, Viorica; Sofronie-Stokkermans, Viorica
On Constructing Most General Solutions for Parametric Constraints.2026 S. 230 - 247
Peuter, Dennis; Marohn, Philipp; Sofronie-Stokkermans, Viorica
On the Verification of Parametric SystemsMartin Fränzle; Jürgen Niehaus; Bernd Westphal (Hrsg). Engineering Safe and Trustworthy Cyber Physical Systems : Essays Dedicated to Werner Damm on the Occasion of His 71st Birthday. Cham: Springer Nature Switzerland 2026 S. 201 - 221
Sofronie-Stokkermans, Viorica; Marohn, Philipp
On Verification and Constraint Generation for Families of Similar Hybrid AutomataRauh, Andreas, Finkbeiner, Bernd, Kröger, Paul (Hrsg). Lecture Notes in Computer Science. Springer Nature Switzerland 2026 S. 126 - 149 (Design and Verification of Cyber-Physical Systems : From Theory to Applications)
Tiwari, Balram; Oliveira, Italo Lopes; Firmansyah, Asep Fajar et al.
Ontology-Aware Prompting for Knowledge Graph Construction from TextCogan Shimizu; Annette ten Teije; Heiko Paulheim; Marta Sabou; Tassilo Pellegrini; Giray Havur; Blerina Spahiu; Sahar Vahdati; Angelo Salatino (Hrsg). Bridging the Gap Between Curated and Induced Semantics : Proceedings of the 22nd International Conference on Semantic Systems, 15–17 September 2026, Ghent, Belgium. Amsterdam: IOS Press 2026 S. 87 - 105
Teutemacher, Brit; Sudeck, Gorden; Hapke, Julia
Pedagogical approaches to health-related physical education (PE) in the context of digitalisation – a scoping reviewPhysical Education and Sport Pedagogy. Bd. 31. H. 3. London: Routledge 2026 S. 422 - 438
Saunders, Mirko; Quaiser-Pohl, Claudia
Performance Convergence as a Driver of Visual Strategy : A Study Focusing on Scanpath Similarities in Mental-Rotation TasksEmily Farran; Angela Schwering; Victor R. Schinazi; Jack Parkinson (Hrsg). Spatial Cognition XIV : 14th International Conference, Spatial Cognition 2026, Glasgow, UK, August 25–28, 2026 : Proceedings. Cham: Springer Nature Switzerland 2026 S. 63 - 76
Freudenthal, Jule; Bonkowski, Michael; Engelmann, Nele-Joelle Maria et al.
Physiological diversity and adaptation of Rhizaria revealed by phylogenomics and comparative transcriptomicsMolecular Phylogenetics and Evolution. Bd. 226. San Diego, CA: Elsevier 2026
Zhang, Guangliang; Hu, Xingyun; Bai, Junhong et al.
Plant invasion drives stage-dependent shifts in soil protistan diversity and community assembly in estuarine wetlandsJournal of plant ecology : JPE. Oxford: Oxford University Press 2026
Müller, Stefan; Reiners, Christiane; Hönnerscheid, Rebecca et al.
Playing your Way to UV protection – a Digital Learning Game for SchoolsAnke Reinacher-Schick (Hrsg). 37. Deutscher Krebskongress : zusammen – gezielt – zukunftsfähig : ABSTRACTS. Basel: Karger 2026 S. 155
Khalid, Rana; Zourlidou, Stefania; Hopfgartner, Frank
Plot-Grounded Feedback with Local Vision-Language Models for Clustering LabsEdmundo Tovar; Tania Di Mascio; Christoph Meinel (Hrsg). Proceedings of the 18th International Conference on Computer Supported Education, Volume 2. Bd. 2. Setúbal: SciTePress 2026 S. 1199 - 1206