Publikationen
Im Folgenden finden Sie einige Informationen zu Publikationen der Fakultät, welche über das Forschungsinformationssystem zur Verfügung gestellt werden. Darüber hinaus finden Sie vollständige Listen der Publikationen und Veröffentlichungen auch über die Webseiten der jeweiligen Institute und Professuren.
3178 Einträge
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.], S. 267-278, 12 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
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., S. 2053-2058, 6 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Short-Range SAR Imaging From GHz to THz Waves , 2021, in: IEEE Journal of Microwaves. 1, 2, S. 574-585, 12 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
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, S. 1929-1935Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
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-WSPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
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, S. 61-74Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
SIMD-MIMD cocktail in a hybrid memory glass - shaken, not stirred. , 2021, S. 17:1-17:12Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
-
Simplicity Done Right for Join Ordering. , 2021Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > 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, S. 697-709, 13 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
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. (Hrsg.). IOS Press, Amsterdam [u. a.], Band 3344. S. 3 - 17, (Frontiers in Artificial Intelligence and Applications)Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Sub-mm Resolution 3D SAR Imaging at 1.5 THz , 2021, S. 1-5, 5 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > 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. S. 2923-2935Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
The Case for SIMDified Analytical Query Processing on GPUs. , 2021, S. 14:1-14:5Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > 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, S. 4814-4828, 15 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
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. (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 Systems , 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 ALCSelf is 2ExpTime-hard (Extended Abstract). , 2021, Description LogicsElektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
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 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Towards Ubiquitous Low-power Image Processing Platforms , 2021, Springer International Publishing AG, 266 S.Elektronische (Volltext-)VersionPublikation: Buch/Gutachten/Sammelbände > Monographie
-
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. (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, CLEF , 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
-
Universal Horn Sentences and the Joint Embedding Property. , 2021, in: Discrete mathematics & theoretical computer science. abs/2104.11123Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
User Tracking and Reidentification , 2021, Encyclopedia of Cryptography, Security and Privacy. Jajodia, S., Samarati, P. & Yung, M. (Hrsg.). 3 Aufl., SpringerElektronische (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. , 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? , 2021, Springer Proceedings in Mathematics & StatisticsElektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband