Universität Koblenz
Universitätsstraße 1, 56070 Koblenz
- 0261/287-0
Publikationen
Ergebnisse pro Seite:
10
Götz, Thomas; Mohrmann, Silja; Rockenfeller, Robert et al.
Calculation of a local COVID-19 reproduction number for the northern Rhineland-Palatinate16 S.
Sofronie-Stokkermans, Viorica
On Symbol Elimination and Uniform Interpolation in Theory Extensions33 S.
Sofronie-Stokkermans, Viorica; Marohn, Philipp
On verification and constraint generation for families of similar hybrid automata33 S.
Bosse, Stefan; Bornemann, Sarah; Lüssem, Björn
Virtualization of Tiny Embedded Systems with a robust real-time capable and extensible Stack Virtual Machine REXAVM supporting Material-integrated Intelligent Systems and Tiny Machine Learning48 S.
Mühlenhaupt, Max; Hey, Rosalie; Starp, Michelle et al.
Citizen science data supports sexual dichromatism but rejects thermal melanism in the European fire salamander (Salamandra salamandra)51 S.
Dumack, Kenneth; Feng, Kai; Flues, Sebastian et al.
What drives the assembly of plant-associated protist microbiomes?23 S.