Publikationen

2021

• Restricted Unification in the DL 𝓕𝓛₀Baader, F., Gil, O. F. & Rostamigiv, M., 2021, Frontiers of Combining Systems - 13th International Symposium, FroCoS 2021, Proceedings: 13th International Symposium, FroCoS 2021, Birmingham, UK, September 8–10, 2021, Proceedings. Konev, B. & Reger, G. (Hrsg.). Springer, Berlin [u. a.], Band 12941. S. 81-97, 17 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Restricted Unification in the DL 𝓕𝓛₀ (Extended Abstract)Fernandez Gil, O., Baader, F. & Rostamigiv, M., 2021, Proceedings of the 34th International Workshop on Description Logics (DL'21). CEUR-WS.orgElektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• RL-Guided Runtime-Constrained Heuristic Exploration for Logic Synthesis.Peruvemba, Y. V., Rai, S., Ahuja, K. & Kumar, A., 2021, 2021 40th IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2021 - Proceedings. S. 1-9, 9 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Saving Energy Using the READEX MethodologyKumaraswamy, M., Chowdhury, A., Gocht, A., Zapletal, J., Diethelm, K., Říha, L., Sawley, M. & 10 weitere, 2021, S. 27-53, 27 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• Schullogin - Der zentrale sächsische Zugangsweg zu Digitalen DienstenDamnik, G., Langer, T. M. & Friedrich, S., 2021, in: LVBS konkret. 2022, 1Publikation: Beitrag in Fachzeitschrift > Kurzartikel (Letter) / Leserbrief mit Originaldaten
• 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
• 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., Feller, T. & Stier, K., 2021, Language and Automata Theory and Applications: 15th International Conference, LATA 2021, Milan, Italy, March 1–5, 2021, Proceedings. Leporati, A., Martín-Vide, C., Shapira, D. & Zandron, C. (Hrsg.). 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 (IEEE), 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. Zhou, Z. (Hrsg.). AAAI Press, S. 1929-1935, 7 S.Elektronische (Volltext-)VersionPublikation: 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, 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
• 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: Human Language Technologies, Proceedings of the Conference. S. 2923-2935, 13 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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 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