Publications
Below you will find some information about the faculty's publications, which are provided by the research information system. In addition, you will find complete lists of publications on the websites of the respective institutes and chairs.
3370 Entries
2022
-
NEXAS: A Visual Tool for Navigating and Exploring Argumentation Solution Spaces , 1 Sep 2022, Proceedings of the 9th International Conference on Computational Models of Argument (COMMA 2022). Toni, F., Polberg, S., Booth, R., Caminada, M. & Kido, H. (eds.). IOS Press, Amsterdam [u. a.], Vol. 220146. p. 116–127, 12 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Parameter Synthesis for Parametric Probabilistic Dynamical Systems and Prefix-Independent Specifications , 1 Sep 2022, 33rd International Conference on Concurrency Theory, CONCUR 2022. Klin, B., Lasota, S. & Muscholl, A. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 10Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Tuple-Generating Dependencies Capture Complex Values (extended abstract) , 1 Sep 2022, Proceedings of the 4th International Workshop on the Resurgence of Datalog in Academia and Industry. Alviano, M. & Pieris, A. (eds.). CEUR-WS.org, p. 97–103Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Accessible Mobile Map Application and Interaction for People with Visual or Mobility Impairments , Sep 2022, Proceedings of Mensch und Computer 2022: Facing Realities, MuC 2022 - Proceedings. Muhlhauser, M., Reuter, C., Pfleging, B., Kosch, T., Matviienko, A., Gerling, K., Mayer, S., Heuten, W. & Doring, T. (eds.).p. 119-127, 9 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
CPrAA – A Checker for Probabilistic Abstract Argumentation , Sep 2022, Computational Models of Argument: Proceedings of COMMA 2022. IOS Press, Vol. 353. p. 359-360, 2 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Efficient Pareto Optimality-based Task Scheduling for Vehicular Edge Computing , Sep 2022, 2022 IEEE 96th Vehicular Technology Conference, VTC 2022-Fall 2022 - Proceedings. London, United Kingdom: IEEE, 6 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Energy-Efficient Instruction Delivery in Embedded Systems with Domain Wall Memory , Sep 2022, 71, 9, p. 2010-2021, 12 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
FLEXE: Investigating Federated Learning in Connected Autonomous Vehicle Simulations , Sep 2022, 2022 IEEE 96th Vehicular Technology Conference, VTC 2022-Fall 2022 - Proceedings. London, United Kingdom, 5 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Hamiltonian Monte Carlo with strict convergence criteria reduces run-to-run variability in forensic DNA mixture deconvolution , Sep 2022, 60, 9 p., 102744Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
Virtualization of Embedded Reconfigurable Systems , 30 Aug 2022, 2022 32nd International Conference on Field-Programmable Logic and Applications (FPL). IEEE Xplore, p. 460-461, 2 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
PANACA: An open-source configurable network-on-chip simulation platform , 26 Aug 2022, 2022 35th SBC/SBMicro/IEEE/ACM Symposium on Integrated Circuits and Systems Design (SBCCI). p. 1-6, 6 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Functional improvement in children and adolescents with primary headache after an interdisciplinary multimodal therapy program: the DreKiP study , 25 Aug 2022, 23, 1, p. 109, 109Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
Informatics Education in German Primary School Curricula , 25 Aug 2022, Informatics in Schools. A Step Beyond Digital Education - 15th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2022, Proceedings. Bollin, A. & Futschek, G. (eds.). Cham: Springer, Berlin [u. a.], p. 3-14, 12 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Haptic Force Feedback in Training for minimally invasive Surgery – Entwicklung und Validierung eines Laparoskopie-Simulators mit haptischem Vibrationsfeedback zum Training der adäquaten Kraftausübung. , 19 Aug 2022Research output: Contribution to journal > Letter
-
Optimal ABox Repair w.r.t. Static ℰℒ TBoxes: from Quantified ABoxes back to ABoxes (Extended Abstract) , 7 Aug 2022, Proceedings of the 35th International Workshop on Description Logics (DL 2022), Haifa, Israel, August 7-10, 2022. CEUR-WS.orgElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Optimal ABox Repair w.r.t. Static ℰℒ TBoxes: from Quantified ABoxes back to ABoxes (Extended Abstract) (Slides) , 7 Aug 2022Electronic (full-text) versionResearch output: Contribution to conferences > Presentation slides
-
Reconfigurable field effect transistors: A technology enablers perspective , Aug 2022, 2022, 194, 108381Electronic (full-text) versionResearch output: Contribution to journal > Review article
-
Understanding multi-modal brain network data: An immersive 3D visualization approach , Aug 2022, 106, p. 88-97, 10 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
Pushing Optimal ABox Repair from ℰℒ Towards More Expressive Horn-DLs , 31 Jul 2022, Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning (KR 2022), Haifa, Israel, July 31 - August 5, 2022. p. 22-32, 11 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Pushing Optimal ABox Repair from ℰℒ Towards More Expressive Horn-DLs (Extended Version) , 31 Jul 2022Electronic (full-text) versionResearch output: Contribution to conferences > Paper
-
Pushing Optimal ABox Repair from ℰℒ Towards More Expressive Horn-DLs (Slides) , 31 Jul 2022Electronic (full-text) versionResearch output: Contribution to conferences > Presentation slides
-
Adaptive Industrial IoT gateway using kafka streaming platform , 28 Jul 2022, 2022 IEEE 20th International Conference on Industrial Informatics (INDIN). IEEE, p. 600-605, 6 p., 9976153Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Comprehensive Management Function Model: Generality and Workflow , 28 Jul 2022, 2022 IEEE 20th International Conference on Industrial Informatics (INDIN). IEEE, p. 594-599, 6 p., 9976129Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Semi-Automatic Testing of Data-Focused Software Development Kits for Industrie 4.0 , 28 Jul 2022, 2022 IEEE 20th International Conference on Industrial Informatics (INDIN). IEEE, p. 269-274, 6 p., 9976069Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
DNA Pre-Alignment Filter Using Processing Near Racetrack Memory , 22 Jul 2022, 21 (2022), 2, p. 53-56, 4 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article