Publikationen

2021

• Secure and Efficient Tunneling of MACsec for Modern Industrial Use CasesLackorzynski, T., Rehms, S., Li, T., Köpsell, S. & Härtig, H., 2021, Seventh Annual Industrial Control System Security (ICSS) Workshop. S. 1-10, 10 S.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Sensors and actuatorsAltinsoy, E., Hulin, T., Vogel, U., Bobbe, T., Dachselt, R., Klamka, K., Krzywinski, J. & 7 weitere, 2021, Tactile Internet: with Human-in-the-Loop. Fitzek, F. H., Li, S., Speidel, S., Strufe, T., Simsek, M. & Reisslein, M. (Hrsg.). London, S. 223-248, 26 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
• SeqL+: Secure Scan-Obfuscation with Theoretical and Empirical Validation.Potluri, S., Kundu, S., Kumar, A., Basu, K. & Aysu, A., 2021, in: Cryptology ePrint archive. 2021, S. 1245, 1 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Sequentiality of Group-weighted Tree AutomataDörband, F., Stier, K. & Feller, T., 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 populationsDuso, L., Bianucci, T. & Zechner, C., 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
• Signature-Based Abduction with Fresh Individuals and Complex Concepts for Description LogicsKoopmann, P., 2021, Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence Main Track. AAAI Press, S. 1929-1935, 7 S.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Signature-Based Abduction with Fresh Individuals and Complex Concepts for Description Logics (Extended Abstract)Koopmann, P., 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 HardKoopmann, P., 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, Band 3009. S. 61-74, 14 S.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Simplicity Done Right for Join Ordering.Hertzschuch, A., Hartmann, C., Habich, D. & Lehner, W., 2021Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• Small Selectivities Matter: Lifting the Burden of Empty SamplesHertzschuch, A., Moerkotte, G., Lehner, W., May, N., Wolf, F. & Fricke, L., 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Álvarez, L. G. & Rudolph, S., 2021, Proceedings of the 12th International Conference (FOIS 2021) Frontiers in Artificial Intelligence and Applications. Neuhaus, F. & Brodaric, B. (Hrsg.). IOS Press, Amsterdam [u. a.], Band 3344. S. 3 - 17, 15 S., (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 THzBatra, A., Wiemeler, M., Göhringer, D. & Kaiser, T., 2021, S. 1-5, 5 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• Supertagging-based Parsing with Linear Context-free Rewriting SystemsRuprecht, T. & Mörbitz, R., 2021, Proceedings of the 2021 Annual Conference of the North American Chapter of the Association for Computational Linguistics. S. 2923-2935, 13 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• The Case for SIMDified Analytical Query Processing on GPUs.Fett, J., Ungethüm, A., Habich, D. & Lehner, W., 2021, S. 14:1-14:5Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• The OpenPME Problem Solving Environment for Numerical SimulationsKhouzami, N., Schütze, L., Incardona, P., Kraatz, L., Subic, T., Castrillon, J. & Sbalzarini, I. F., 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 SystemsBaier, C., Funke, F., Jantsch, S., Karimov, T., Lefaucheux, E., Luca, F., Ouaknine, J. & 3 weitere, 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 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. Band 2936. 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, VLSI-SoC. S. 1-6, 6 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband