Publikationen

2021

• 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. 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, Proceedings of the 2021 IFIP/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2021. S. 1-6, 6 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
• 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
• 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
• 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 weitere, Dez. 2020, in: Informatik-Spektrum. 43, 6, S. 425-435, 11 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Inference Attacks on Physical Layer Channel State InformationWalther, P. & Strufe, T., Dez. 2020, 2020 IEEE 19th International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom). Wang, G., Ko, R., Bhuiyan, M. Z. A. & Pan, Y. (Hrsg.). IEEE TechRxiv, S. 935-942, 8 S., 9343072Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Modern WLAN for V2X Applications: Exploiting Beamforming for PlatooningHardes, T., Klingler, F. & Sommer, C., Dez. 2020, 12th IEEE Vehicular Networking Conference (VNC 2020). IEEE, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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. (Hrsg.). IEEE Computer Society, S. 365-368, 4 S., 9314854Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• An Architecture for Interactive in Situ Visualization and its Transparent Implementation in OpenFPMGupta, A., Incardona, P., Aydin, A. D., Gumhold, S., Gunther, U. & Sbalzarini, I. F., 12 Nov. 2020, Proceedings of ISAV 2020: In Situ Infrastructures for Enabling Extreme-Scale Analysis and Visualization. Association for Computing Machinery (ACM), New York, S. 20-26, 7 S., 3426472Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband