Institut für Informatik
FB 4: Informatik / Universität Koblenz
- 0261/287 - 2720
- 0261/287 - 2721
Kahl, Dominik; Kschischo, Maik
Searching for Errors in Models of Complex Dynamic SystemsFrontiers in Physiology. Bd. 11. Lausanne: Frontiers Research Foundation 2021
Marohn, Philipp; Sofronie-Stokkermans, Viorica
SEH-PILoT: A System for Property-Directed Symbol Elimination - Work in Progress (Short Paper).SOQE@KR. 2021 S. 75 - 82
Bente, Klaas; Bakenecker, Anna C.; von Gladiss, Anselm et al.
Selective Actuation and Tomographic Imaging of Swarming Magnetite NanoparticlesACS Applied Nano Materials. Bd. 4. H. 7. Washington, DC: ACS Publications 2021 S. 6752 - 6759
Buschek, Daniel; Loepp, Benedikt; Ziegler, Jürgen
Special Issue "User-Centered Artificial Intelligence"i-com : Journal of Interactive Media. Bd. 19. H. 3. Berlin: De Gruyter Oldenbourg 2021
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
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
Sadi, Muhammad Sheikh; Ahmed, Waseem; Jürjens, Jan
Towards Tolerating Soft Errors for Embedded SystemsSN Computer Science. Bd. 2. H. 2. Singapore: Springer 2021
Buschek, Daniel; Loepp, Benedikt; Hauptmann, Hanna et al.
UCAI 2021: Workshop on User-Centered Artificial IntelligenceStefan Schneegass;Bastian Pfleging;Dagmar Kern (Hrsg). Mensch und Computer MuC 2021 - Workshopband. 5. - 8. September 2021, Ingolstadt. Bonn: Gesellschaft für Informatik 2021 S. 1 - 3