Publications

2020

• Energy Efficient Synchronous- Asynchronous Circuit-Switched NoCWasif, S. A., Hesham, S., Göhringer, D., Hofmann, K. & Abd El Ghany, M., 2020, 4 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Experimental Analysis of High Resolution Indoor THz SAR ImagingBatra, A., Zantah, Y., Vu, V. T., Wiemeler, M., Pettersson, M., Göhringer, D. & Kaiser, T., 2020, p. 1-5, 5 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Exploring user profiles based on their explainability requirements in interactive systems.Louzada, H., Chaves, G. & Ponciano, L., 2020, XIX Brazilian Symposium on Human Factors in Computing Systems. Association for Computing Machinery (ACM), New York, p. 48:1-48:6, 6 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Extensions of Unification Modulo ACUIBaader, F., Marantidis, P., Mottet, A. & Okhotin, A., 2020, In: Mathematical Structures in Computer Science. 30, 6, p. 597-626, 30 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• FANTOM: Fault Tolerant Task-Drop Aware Scheduling for Mixed-Criticality Systems.Ranjbar, B., Safaei, B., Ejlali, A. & Kumar, A., 2020, In: IEEE access. 8, p. 187232-187248, 17 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Farkas Certificates and Minimal Witnesses for Probabilistic Reachability ConstraintsFunke, F., Jantsch, S. & Baier, C., 2020, Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I. Biere, A. & Parker, D. (eds.). Springer, Berlin [u. a.], p. 324–345Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• Faszination sprechende Maschinen: Technologischer Wandel der Sprachsynthese über zwei JahrhunderteEngeln, L., Groh, R., Gabriel, F., Birkholz, P., Jäckel, R., Hoffmann, R., Felten, J. & 6 others, 2020Research output: Contribution to conferences > Paper
• FFMK: A Fast and Fault-Tolerant Microkernel-Based System for Exascale ComputingWeinhold, C., Lackorzynski, A., Bierbaum, J., Küttler, M., Planeta, M., Weisbach, H., Hille, M. & 12 others, 2020, Software for Exascale Computing - SPPEXA 2016-2019. Springer Verlag, p. 483-516, 34 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Finding New Diamonds: Temporal Minimal-World Query Answering over Sparse ABoxes (Extended Abstract)Borgwardt, S., Forkel, W. & Kovtunova, A., 2020, Proceedings of the 33rd International Workshop on Description Logics (DL 2020)Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Finding Proofs for Description Logic Entailments in Practice (Extended Abstract)Alrabbaa, C., Borgwardt, S., Koopmann, P. & Kovtunova, A., 2020, Informal Proceedings of the 1st Workshop on Explainable Logic-Based Knowledge Representation (XLoKR 2020)Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Finding Small Proofs for Description Logic Entailments: Theory and PracticeAlrabbaa, C., Baader, F., Borgwardt, S., Koopmann, P. & Kovtunova, A., 2020, LPAR 2020: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning. p. 32-67, 36 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• First Results on How to Certify Subsumptions Computed by the 𝓔𝓛 Reasoner ELK Using the Logical Framework with Side ConditionsBaader, F., Koopmann, P. & Tinelli, C., 2020, Proceedings of the 33rd International Workshop on Description Logics (DL 2020). CEUR-WSElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• From Features to RolesChrszon, P., Dubslaff, C., Klüppelholz, S. & Baier, C., 2020, SPLC '20: Proceedings of the 24th ACM Conference on Systems and Software Product Line. Ali, S., Assunção, W. K. G., Berger, T., Cetina, C., Collet, P., Galindo, J., Gazzillo, P., Linsbauer, L., Lopez-Herrejon, R. E., Nadi, S., Schulze, S. & Trujillo, S. (eds.). Association for Computing Machinery (ACM), New York, Vol. A. 19Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Full Approximation of Deep Neural Networks through Efficient Optimization.Parra, C. D. L., Guntoro, A. & Kumar, A., 2020, 2020 IEEE International Symposium on Circuits and Systems (ISCAS). IEEE Xplore, 5 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Give Inconsistency a Chance: Semantics for Ontology-Mediated VerificationDubslaff, C., Koopmann, P. & Turhan, A., 2020, Proceedings of the 33rd International Workshop on Description Logics (DL 2020). CEUR-WSElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Hardness of Network Satisfaction for Relation Algebras with Normal Representations.Bodirsky, M. & Knäuer, S., 2020, RAMiCS. p. 31-46, 16 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Hardware-Oblivious SIMD Parallelism for In-Memory Column-Stores.Ungethüm, A., Pietrzyk, J., Damme, P., Krause, A., Habich, D., Lehner, W. & Focht, E., 2020Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Hardware/Software Co-design for the Signal Processing of Dielectric Materials CharacterizationKamaleldin, A., Wagner, J., Rolfes, I., Barowski, J. & Göhringer, D., 2020, p. 1-6, 6 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Improving approximate neural networks for perception tasks through specialized optimization.Parra, C. D. L., Guntoro, A. & Kumar, A., 2020, In: Future generation computer systems. 113, p. 597-606, 10 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Indoor THz SAR Trajectory Deviations Effects and Compensation With Passive Sub-mm Localization SystemBatra, A., El-Absi, M., Wiemeler, M., Göhringer, D. & Kaiser, T., 2020, In: IEEE Access. p. 177519-177533, 15 p.Research output: Contribution to journal > Research article
• Inklusion benötigt verschiedene Prozesse: Aktivitäten und Strategien an der TU DresdenHähne, C., Marquardt, G., Rudolph, E., Schmidt, H. J., Weber, G. & Wegner, G., 2020, In: Zeitschrift für Hochschulentwicklung. 15, 3, p. 363-376, 14 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Input & Output Standardization EffortsHuebl, A., Lehe, R., Vay, J. -., Thevenet, M., Grote, D. P., Sbalzarini, I. F., Kuschel, S. & 5 others, 2020Electronic (full-text) versionResearch output: Contribution to conferences > Abstract
• In Situ Visualization of Performance-Related Data in Parallel CFD ApplicationsAlves, R. F. & Knüpfer, A., 2020, Euro-Par 2019: Parallel Processing Workshops - International Workshops, Revised Selected Papers. Schwardmann, U., Boehme, C., B. Heras, D., Cardellini, V., Jeannot, E., Salis, A., Schifanella, C., Manumachu, R. R., Schwamborn, D., Ricci, L., Sangyoon, O., Gruber, T., Antonelli, L. & Scott, S. L. (eds.). Springer, p. 400-412, 13 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Integrating Haptic Signals with V2X-based Safety Systems for Vulnerable Road UsersOczko, M., Stratmann, L., Franke, M., Heinovski, J., Buse, D. S., Klingler, F. & Dressler, F., 2020, IEEE International Conference on Computing, Networking and Communications (ICNC 2020). Big Island, HI: IEEE, p. 692-697, 6 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Integrating Lightweight Compression Capabilities into Apache ArrowHildebrandt, J., Habich, D. & Lehner, W., 2020, DATA 2020 - Proceedings of the 9th International Conference on Data Science, Technology and Applications. Hammoudi, S., Quix, C. & Bernardino, J. (eds.). SCITEPRESS - Science and Technology Publications, p. 55-66, 12 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution