Peuter, Dennis; Sofronie-Stokkermans, Viorica
Symbol Elimination and Applications to Parametric Entailment ProblemsKonev, Boris ; Reger, Giles (Hrsg). Frontiers of Combining Systems : 13th International Symposium, FroCoS 2021, Birmingham, UK, September 8–10, 2021, Proceedings. Cham: Springer International Publishing AG 2021 S. 43 - 62 (Lecture Notes in Artificial Intelligence ; 12941)
Peuter, Dennis; Sofronie-Stokkermans, Viorica
Symbol Elimination and Applications to Parametric Entailment Problems (Abstract).SOQE@KR. 2021 S. 83 - 91
Peuter, Dennis; Marohn, Philipp; Sofronie-Stokkermans, Viorica
Symbol Elimination for Parametric Second-Order Entailment Problems (with Applications to Problems in Wireless Network Theory).CoRR. Bd. abs/2107.02333. 2021
Engel, Max; Dotterweich, Markus; Fülling, Alexander et al.
Syn- and post-eruptive gully formation near the Laacher See volcanoEarth Surface Processes and Landforms. Bd. 46. H. 9. New York, NY: Wiley 2021 S. 1783 - 1796
Schink, Carina; Spielvogel, Sandra; Imhof, Wolfgang
Synthesis of ¹³C-labelled cutin and suberin monomeric dicarboxylic acids of the general formula HO₂¹³C-(CH₂)n-¹³CO₂H(n= 10, 12, 14, 16, 18, 20, 22, 24, 26, 28)Journal of Labelled Compounds and Radiopharmaceuticals. Bd. 64. H. 1. New York, NY: Wiley 2021 S. 14 - 29
Schink, Carina; Spielvogel, Sandra; Imhof, Wolfgang
Synthesis of ¹³C-labelled ω-hydroxy carboxylic acids of the general formula HO₂¹³C-(CH₂)ₙ-CH₂OH or HO₂C-(CH₂)ₙ-¹³CH₂OH (n = 12, 16, 20, 28)Journal of Labelled Compounds and Radiopharmaceuticals. Bd. 64. H. 10. New York, NY: Wiley 2021 S. 385 - 402
Wandinger, Nikolaus; Olszynski, David Johannes
Systematische Anmerkungen aus der Dramatischen Theologie Raymund SchwagersDavid Olszynski; Ulli Roth (Hrsg). Soteriologie in der hochmittelalterlichen Theologie; Tagungsband zum Symposion, 12. - 14. März 2020, Koblenz. Münster: Aschendorff 2021 S. 363 - 387
Chunduri, Narendra Kumar; Menges, Paul; Zhang, Xiaoxiao et al.
Systems approaches identify the consequences of monosomy in somatic human cellsNature Communications. Bd. 12. London: Nature Publishing Group UK 2021
Khanipour Roshan, Samira; Dumack, Kenneth; Bonkowski, Michael et al.
Taxonomic and Functional Diversity of Heterotrophic Protists (Cercozoa and Endomyxa) from Biological Soil CrustsMicroorganisms. Bd. 9. H. 2. Basel: MDPI 2021
Wolff, Fabian; Jens, Möller
Telepräsenzroboter in der Hochschullehre: Erste Befunde einer Längsschnittstudie sprechen für hohe AkzeptanzDie Hochschullehre. Bd. 7. Bielefeld: wbv 2021 S. 162 - 173