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.
3179 Entries
2021
-
Sequentiality of Group-weighted Tree Automata , 2021, Language and Automata Theory and Applications: 15th International Conference, LATA 2021, Milan, Italy, March 1–5, 2021, Proceedings. Springer, Berlin [u. a.], p. 267-278, 12 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Shared antithetic integral control for dynamic cell populations , 2021, 60th IEEE Conference on Decision and Control, CDC 2021. Institute of Electrical and Electronics Engineers Inc., p. 2053-2058, 6 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Short-Range SAR Imaging From GHz to THz Waves , 2021, In: IEEE Journal of Microwaves. 1, 2, p. 574-585, 12 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
Signature-Based Abduction with Fresh Individuals and Complex Concepts for Description Logics , 2021, Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence Main Track. AAAI Press, p. 1929-1935Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Signature-Based Abduction with Fresh Individuals and Complex Concepts for Description Logics (Extended Abstract) , 2021, Proceedings of the 34th International Workshop on Description Logics (DL 2021). CEUR-WSResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Signature-Based ABox Abduction in ALC is Hard , 2021, Proceedings of the Second Workshop on Second-Order Quantifier Elimination and Related Topics (SOQE 2021) associated with the 18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2021). CEUR-WS, p. 61-74Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
SIMD-MIMD cocktail in a hybrid memory glass - shaken, not stirred. , 2021, p. 17:1-17:12Electronic (full-text) versionResearch output: Contribution to conferences > Paper
-
Simplicity Done Right for Join Ordering. , 2021Electronic (full-text) versionResearch output: Contribution to conferences > Paper
-
Small Selectivities Matter: Lifting the Burden of Empty Samples , 2021, SIGMOD '21: Proceedings of the 2021 International Conference on Management of Data. Association for Computing Machinery, Inc, p. 697-709, 13 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Standpoint Logic: Multi-Perspective Knowledge Representation , 2021, Proceedings of the 12th International Conference (FOIS 2021) Frontiers in Artificial Intelligence and Applications. F, N. & B, B. (eds.). IOS Press, Amsterdam [u. a.], Vol. 3344. p. 3 - 17, (Frontiers in Artificial Intelligence and Applications)Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Sub-mm Resolution 3D SAR Imaging at 1.5 THz , 2021, p. 1-5, 5 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
-
Supertagging-based Parsing with Linear Context-free Rewriting Systems , 2021, Proceedings of the 2021 Annual Conference of the North American Chapter of the Association for Computational Linguistics. p. 2923-2935Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
The Case for SIMDified Analytical Query Processing on GPUs. , 2021, p. 14:1-14:5Electronic (full-text) versionResearch output: Contribution to conferences > Paper
-
The Impact of Networking Protocols on Massive M2M Communication in the Industrial IoT , 2021, In: IEEE Transactions on Network and Service Management. 18, 4, p. 4814-4828, 15 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
The OpenPME Problem Solving Environment for Numerical Simulations , 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. (eds.). Springer, Berlin [u. a.], p. 614-627, 14 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
The Orbit Problem for Parametric Linear Dynamical Systems , 2021, 32nd International Conference on Concurrency Theory: CONCUR 2021, August 24–27, 2021, Virtual Conference. Haddad, S. & Varacca, D. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 1-17, 28Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
The Price of Selfishness: Conjunctive Query Entailment for ALCSelf is 2ExpTime-hard (Extended Abstract). , 2021, Description LogicsElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Towards Porting Hardware-Oblivious Vectorized Query Operators to GPUs , 2021, Proceedings of the 32nd GI-Workshop Grundlagen von Datenbanken: Online Event, Germany, September 01-03, 2021. 6 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Towards Ubiquitous Low-power Image Processing Platforms , 2021, Springer International Publishing AG, 266 p.Electronic (full-text) versionResearch output: Book/Report/Anthology > Monograph
-
TraceVis: Towards Visualization for Deep Statistical Model Checking , 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, CLEF , 2021, Proceedings of the Working Notes of CLEF 2021 - Conference and Labs of the Evaluation Forum, Bucharest, Romania, September 21st - to - 24th, 2021. p. 107-124, 18 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Universal Horn Sentences and the Joint Embedding Property. , 2021, In: Discrete mathematics & theoretical computer science. abs/2104.11123Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
User Tracking and Reidentification , 2021, Encyclopedia of Cryptography, Security and Privacy. Jajodia, S., Samarati, P. & Yung, M. (eds.). 3 ed., SpringerElectronic (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. , 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? , 2021, Springer Proceedings in Mathematics & StatisticsElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution