FB 4: Informatik
Universität Koblenz
- 0261/287-2501
- 0261/287-2502
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
Drodt, Christoph; Weinzierl, Sven; Matzner, Martin et al.
The Recomminder: A decision support tool for Predictive Business Process MonitoringWil M. P. van der Aalst; Remco Dijkman; Akhil Kumar; Francesco Leotta; Fabrizio Maria Maggi; Jan Mendling; Brian Pentland; Arik Senderovich; Marcos Sepúlveda; Estefanía Serral Asensio; Mathias Weske (Hrsg). Proceedings of the Best Dissertation Award, Doctoral Consortium, and Demonstration & Resources Track at BPM 2021 co-located with 19th International Conference on Business Process Management BPM 2021: Rome, Italy; September 6th to 10th, 2021. Aachen: CEUR/RWTH 2021 S. 131 - 135
Drodt, Christoph; Weinzierl, Sven; Matzner, Martin et al.
The Recomminder: A decision support tool for Predictive Business Process Monitoring.BPM (PhD/Demos). 2021 S. 131 - 135
Alkhalili, Yassin; Weil, Jannis; Tahir, Anam et al.
Towards QoE-Driven Optimization of Multi-Dimensional Content StreamingElectronic Communications of the EASST. Bd. 80. Berlin: Technische Universität Berlin 2021 S. 1 - 15
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
Glückler, Johannes; Panitz, Robert
Unleashing the potential of relational research: A meta-analysis of network studies in human geographyProgress in Human Geography. Bd. 45. H. 6. London: SAGE 2021 S. 1531 - 1557