Publications

2021

• Probabilistic Causes in Markov ChainsBaier, C., Funke, F., Jantsch, S., Piribauer, J. & Ziemek, R., 2021, Automated Technology for Verification and Analysis: 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021, Proceedings. Hou, Z. & Ganesh, V. (eds.). Springer, Berlin [u. a.], p. 205–221, 17 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• Proceedings of the 9th International Workshop "What can FCA do for Artificial Intelligence?" co-located with the 30th International Joint Conference on Artificial Intelligence (IJCAI 2021), Montréal, Québec, Canada, August 21, 2021.Kuznetsov, S. O., Napoli, A. & Rudolph, S., 2021, CEUR-WS.org, (CEUR Workshop Proceedings)Electronic (full-text) versionResearch output: Book/Report/Anthology > Anthology
• Process identification in practice: Software-supported modeling for controller designBenesch, M., Dementyev, A., Kubin, H. & Ihlenfeldt, S., 2021, Proceedings - 2021 26th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2021. Institute of Electrical and Electronics Engineers Inc.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Programmiereinstieg mit Python interaktiv und grafisch mit der CMU CS Academy.Kazimiers, A., Leonhardt, T. & Bergner, N., 2021, p. 331, 1 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Ray-Tracing Based Inference Attacks on Physical Layer SecurityWalther, P., Richter, M. & Strufe, T., 2021, In: Electronic Communications of the EASST. 80, p. 1-4, 4 p.Electronic (full-text) versionResearch output: Contribution to journal > Conference article
• RECON: Resource-Efficient CORDIC-Based Neuron Architecture.Raut, G., Rai, S., Vishvakarma, S. K. & Kumar, A., 2021, In: IEEE Open Journal of Circuits and Systems. 2, p. 170-181, 12 p., 9335308Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Relevant Parts of Counter Models as Explanations for EL Non-Subsumptions (Extended Abstract)Alrabbaa, C., Hieke, W. & Turhan, A., 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). 7 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Restricted Unification in the DL 𝓔𝓛Baader, F. & Rostamigiv, M., 2021, Proceedings of the 34th International Workshop on Description Logics (DL 2021), Hybrid Event, Bratislava, Slovakia, September 19--22, 2021. Homola, M., Ryzhikov, V. & Schmidt, R. A. (eds.). CEUR-WS.org, Vol. 2954Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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. (eds.). Springer, Berlin [u. a.], Vol. 12941. p. 81-97, 17 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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.orgElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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. p. 1-9, 9 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Saving Energy Using the READEX MethodologyKumaraswamy, M., Chowdhury, A., Gocht, A., Zapletal, J., Diethelm, K., Říha, L., Sawley, M. & 10 others, 2021, p. 27-53, 27 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Schullogin - Der zentrale sächsische Zugangsweg zu Digitalen DienstenDamnik, G., Langer, T. M. & Friedrich, S., 2021, In: LVBS konkret. 2022, 1Research output: Contribution to journal > Letter
• 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. p. 1-10, 10 p.Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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, p. 1245, 1 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• 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. (eds.). 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 populationsDuso, L., Bianucci, T. & Zechner, C., 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
• 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. (ed.). AAAI Press, p. 1929-1935, 7 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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-WSResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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, Vol. 3009. p. 61-74, 14 p.Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Simplicity Done Right for Join Ordering.Hertzschuch, A., Hartmann, C., Habich, D. & Lehner, W., 2021Electronic (full-text) versionResearch output: Contribution to conferences > 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, 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Álvarez, L. G. & Rudolph, S., 2021, Proceedings of the 12th International Conference (FOIS 2021) Frontiers in Artificial Intelligence and Applications. Neuhaus, F. & Brodaric, B. (eds.). IOS Press, Amsterdam [u. a.], Vol. 3344. p. 3 - 17, 15 p., (Frontiers in Artificial Intelligence and Applications)Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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. p. 2923-2935, 13 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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. (eds.). Springer, Berlin [u. a.], p. 614-627, 14 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution