Publikationen

2021

• The OpenPME Problem Solving Environment for Numerical SimulationsKhouzami, N., Schütze, L., Incardona, P., Kraatz, L., Subic, T., Castrillon, J. & Sbalzarini, I. F., 2021, Computational Science – ICCS 2021: 21st International Conference, Krakow, Poland, June 16–18, 2021, Proceedings, Part I. Paszynski, M., Kranzlmüller, D., Krzhizhanovskaya, V. V., Dongarra, J. J. & Sloot, P. M. (Hrsg.). Springer, Berlin [u. a.], S. 614-627, 14 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• The Orbit Problem for Parametric Linear Dynamical SystemsBaier, C., Funke, F., Jantsch, S., Karimov, T., Lefaucheux, E., Luca, F., Ouaknine, J. & 3 weitere, 2021, 32nd International Conference on Concurrency Theory: CONCUR 2021, August 24–27, 2021, Virtual Conference. Haddad, S. & Varacca, D. (Hrsg.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, S. 1-17, 28Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• The Price of Selfishness: Conjunctive Query Entailment for ALC_Self is 2ExpTime-hard (Extended Abstract)Bednarczyk, B. & Rudolph, S., 2021, Proceedings of the 34th International Workshop on Description Logics (DL 2021): part of Bratislava Knowledge September (BAKS 2021), Bratislava, Slovakia, September 19th to 22nd, 2021. 3 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Towards Porting Hardware-Oblivious Vectorized Query Operators to GPUsFett, J., Ungethüm, A., Habich, D. & Lehner, W., 2021, Proceedings of the 32nd GI-Workshop Grundlagen von Datenbanken: Online Event, Germany, September 01-03, 2021. Band 3075. 6 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Towards Reverse Engineering Temporal Queries: Generalizing EL Concepts with Next and GlobalTirtarasa, S. & Turhan, A., 2021, Informal proceedings of the Stream Reasoning Workshop. Valle, E. D., Eiter, T., Phuoc, D. L. & Schekotihin, K. (Hrsg.).Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Towards Ubiquitous Low-power Image Processing PlatformsJahre, M., Göhringer, D. & Millet, P., 2021, Springer International Publishing AG, 266 S.Elektronische (Volltext-)VersionPublikation: Buch/Gutachten/Sammelbände > Monographie
• TraceVis: Towards Visualization for Deep Statistical Model CheckingGros, T. P., Groß, D., Gumhold, S., Hoffmann, J., Klauck, M. & Steinmetz, M., 2021, Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Proceedings. Margaria, T. & Steffen, B. (Hrsg.). Springer Science and Business Media B.V., S. 27-46, 20 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• TU_DBS in the ARQMath Lab 2021, CLEFReusch, A., Thiele, M. & Lehner, W., 2021, Proceedings of the Working Notes of CLEF 2021 - Conference and Labs of the Evaluation Forum, Bucharest, Romania, September 21st - to - 24th, 2021. Band 2936. S. 107-124, 18 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Two Ways of Explaining Negative Entailments in Description Logics Using AbductionKoopmann, P., 2021, Informal Proceedings of the 2nd Workshop on Explainable Logic-Based Knowledge Representation (XLoKR-2021): co-located with the 18th international Conference on Principles of Knowledge Representation and Reasoning (KR-2021)Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• User Tracking and ReidentificationSommer, C., 2021, Encyclopedia of Cryptography, Security and Privacy. Jajodia, S., Samarati, P. & Yung, M. (Hrsg.). 3 Aufl., Springer, S. 1-3, 3 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
• Using Monte Carlo Tree Search for EDA - A Case-study with Designing Cross-layer Reliability for Heterogeneous Embedded Systems.Sahoo, S. S. & Kumar, A., 2021, VLSI-SoC. S. 1-6, 6 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Using Performance Analysis Tools for a Parallel-in-Time Integrator: Does My Time-Parallel Code Do What I Think It Does?Speck, R., Gocht, A., Knobloch, M. & Lührs, S., 2021, Springer Proceedings in Mathematics & Statistics. 30 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Vector processing unit: A RISC-V based SIMD Co-processor for Embedded ProcessingAli, M., Von Ameln, M. & Göhringer, D., 2021, S. 30-34, 5 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• Visualization of Statistical Information in Concept Lattice Diagrams.Klimpke, J. & Rudolph, S., 2021, ICFCA. S. 208-223, 16 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Weil informatische Bildung nicht erst in der Sekundarstufe beginnen darf: Integration informatischer Bildung ins GrundschullehramtsstudiumNenner, C., Damnik, G. & Bergner, N., 2021, INFOS 2021 – 19. GI-Fachtagung Informatik und Schule. Humbert, L. (Hrsg.). Gesellschaft für Informatik, Bonn, S. 103-112, 10 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Why Do I Have to Take Over Control? Evaluating Safe Handovers with Advance Notice and Explanations in HADWiehr, F., Hirsch, A., Schmitz, L., Knieriemen, N., Krüger, A., Kovtunova, A., Borgwardt, S. & 4 weitere, 2021, ICMI'21: International Conference on Multimodal Interaction. S. 308-317, 10 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Wormhole computing in networks-on-chipRettkowski, J. & Gohringer, D., 2021, Proceedings - 2021 31st International Conference on Field-Programmable Logic and Applications, FPL 2021. Institute of Electrical and Electronics Engineers Inc., S. 273-274, 2 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband

2020

• Operating systems for reconfigurable computing: Concepts and surveyWulf, C., Willig, M., Akgün, G. & Göhringer, D., 15 Dez. 2020, Towards Ubiquitous Low-power Image Processing Platforms. Jahre, M., Göhringer, D. & Millet, P. (Hrsg.). Cham: Springer International Publishing, S. 61-78, 18 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
• PrefaceJahre, M., Göhringer, D. & Millet, P., 15 Dez. 2020, Towards Ubiquitous Low-power Image Processing Platforms. Springer International Publishing, S. v-viElektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Vor-/Nachwort
• FuseVis: Interpreting Neural Networks for Image Fusion Using Per-Pixel Saliency VisualizationKumar, N. & Gumhold, S., 10 Dez. 2020, in: Computers. 9, 4, 98Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Combined Selection and Parameter Control of Meta-heuristicsPukhkaiev, D., Semendiak, Y., Götz, S. & Aßmann, U., 4 Dez. 2020, S. 3125-3132, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• To Measure or not to Measure? Adaptive Repetition Management in Parameter TuningPukhkaiev, D., Semendiak, Y. & Aßmann, U., 4 Dez. 2020, S. 1363-1370, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• Efficient confidentiality for network coded distributed storageFörster, N., Cabrera Guerrero, J. A., Franz, E., Pfennig, S. & Fitzek, F. H. P., 1 Dez. 2020, GLOBECOM 2020 - 2020 IEEE Global Communications Conference. S. 1-6Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• On the correspondence between nested calculi and semantic systems for intuitionistic logicsLyon, T., 1 Dez. 2020, in: Journal of logic and computation. 31, 1, S. 213-265, 53 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Physical-Layer-Security Box: a concept for time-frequency channel-reciprocity key generationZoli, M., Barreto, A. N., Köpsell, S., Sen, P. & Fettweis, G., 1 Dez. 2020, in: EURASIP Journal on wireless communications and networking. 2020, 1, 114Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel