Publications

2021

• 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. Vol. 3075. 6 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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. (eds.).Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Towards Ubiquitous Low-power Image Processing PlatformsJahre, M., Göhringer, D. & Millet, P., 2021, Springer International Publishing AG, 266 p.Electronic (full-text) versionResearch output: Book/Report/Anthology > Monograph
• 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. (eds.). Springer Science and Business Media B.V., p. 27-46, 20 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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. Vol. 2936. p. 107-124, 18 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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)Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• User Tracking and ReidentificationSommer, C., 2021, Encyclopedia of Cryptography, Security and Privacy. Jajodia, S., Samarati, P. & Yung, M. (eds.). 3 ed., Springer, p. 1-3, 3 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• 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. p. 1-6, 6 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Vector processing unit: A RISC-V based SIMD Co-processor for Embedded ProcessingAli, M., Von Ameln, M. & Göhringer, D., 2021, p. 30-34, 5 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Visualization of Statistical Information in Concept Lattice Diagrams.Klimpke, J. & Rudolph, S., 2021, ICFCA. p. 208-223, 16 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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. (ed.). Gesellschaft für Informatik, Bonn, p. 103-112, 10 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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 others, 2021, ICMI'21: International Conference on Multimodal Interaction. p. 308-317, 10 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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., p. 273-274, 2 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution

2020

• Operating systems for reconfigurable computing: Concepts and surveyWulf, C., Willig, M., Akgün, G. & Göhringer, D., 15 Dec 2020, Towards Ubiquitous Low-power Image Processing Platforms. Jahre, M., Göhringer, D. & Millet, P. (eds.). Cham: Springer International Publishing, p. 61-78, 18 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• PrefaceJahre, M., Göhringer, D. & Millet, P., 15 Dec 2020, Towards Ubiquitous Low-power Image Processing Platforms. Springer International Publishing, p. v-viElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Foreword/Postscript
• FuseVis: Interpreting Neural Networks for Image Fusion Using Per-Pixel Saliency VisualizationKumar, N. & Gumhold, S., 10 Dec 2020, In: Computers. 9, 4, 98Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Combined Selection and Parameter Control of Meta-heuristicsPukhkaiev, D., Semendiak, Y., Götz, S. & Aßmann, U., 4 Dec 2020, p. 3125-3132, 8 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• To Measure or not to Measure? Adaptive Repetition Management in Parameter TuningPukhkaiev, D., Semendiak, Y. & Aßmann, U., 4 Dec 2020, p. 1363-1370, 8 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Efficient confidentiality for network coded distributed storageFörster, N., Cabrera Guerrero, J. A., Franz, E., Pfennig, S. & Fitzek, F. H. P., 1 Dec 2020, GLOBECOM 2020 - 2020 IEEE Global Communications Conference. p. 1-6Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• On the correspondence between nested calculi and semantic systems for intuitionistic logicsLyon, T., 1 Dec 2020, In: Journal of logic and computation. 31, 1, p. 213-265, 53 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• 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 Dec 2020, In: EURASIP Journal on wireless communications and networking. 2020, 1, 114Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Immersives verteiltes Robotic Co-working: Der Festakt zum Informatik-Jubiläum 2019 mit Mixed-Reality-FallstudieSeiger, R., Aßmann, U., Grzelak, D., Belov, M., Riedel, P., Podlubne, A., Zhao, W. & 4 others, Dec 2020, In: Informatik-Spektrum. 43, 6, p. 425-435, 11 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Modern WLAN for V2X Applications: Exploiting Beamforming for PlatooningHardes, T., Klingler, F. & Sommer, C., Dec 2020, 12th IEEE Vehicular Networking Conference (VNC 2020). IEEE, 8 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Secure and Reliable Data Transmission in SDN-based Backend Networks of Industrial IoTLi, T., Hofmann, C. & Franz, E., 16 Nov 2020, Proceedings of the IEEE 45th Conference on Local Computer Networks, LCN 2020. Tan, H., Khoukhi, L. & Oteafy, S. (eds.). IEEE Computer Society, p. 365-368, 4 p., 9314854Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution