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.

3567 Einträge

2021

Where Are we with Inclusive Digital Further Education? Accessibility Through Digitalization.Branig, M., Engel, C., Schmalfuß-Schwarz, J., Müller, E. F. & Weber, G., Sept. 2021, International Conference on Interactive Collaborative Learning. Springer, Cham, S. 21-33, 13 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
Analyzing the Design of Tactile Indoor MapsEngel, C. & Weber, G., 26 Aug. 2021, Human-Computer Interaction – INTERACT 2021 - 18th IFIP TC 13 International Conference, Proceedings: 18th IFIP TC 13 International Conference, Bari, Italy, August 30 – September 3, 2021, Proceedings, Part I. Ardito, C., Lanzilotti, R., Malizia, A., Malizia, A., Petrie, H., Piccinno, A., Desolda, G. & Inkpen, K. (Hrsg.). Springer, Cham, S. 434-443, 10 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
Temporal Minimal-World Query Answering over Sparse ABoxesBorgwardt, S., Forkel, W. & Kovtunova, A., 11 Aug. 2021, in: Theory and practice of logic programming. 22, 2, S. 193-228, 36 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
A game-theoretic account of responsibility allocationBaier, C., Funke, F. & Majumdar, R., 1 Aug. 2021, Proceedings of the 30th International Joint Conference on Artificial Intelligence, IJCAI 2021. Zhou, Z. (Hrsg.). International Joint Conferences on Artificial Intelligence, S. 1773-1779, 7 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
Compositional matrix-space models of language: Definitions, properties, and learning methodsAsaadi, S., Giesbrecht, E. & Rudolph, S., 1 Aug. 2021, in: Natural Language Engineering. 29, 1, S. 32-80, 49 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
Double-Layer Energy Efficient Synchronous-Asynchronous Circuit-Switched NoCWasif, S. A., Hesham, S., Göhringer, D., Hofmann, K. & Abd El Ghany, M. A., 1 Aug. 2021, in: Electronics (Switzerland). 10, 15, 1821Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
Quantified Linear Temporal Logic over Probabilistic Systems with an Application to Vacuity CheckingPiribauer, J., Baier, C., Bertrand, N. & Sankur, O., 1 Aug. 2021, 32nd International Conference on Concurrency Theory, CONCUR 2021: CONCUR 2021, August 24–27, 2021, Virtual Conference. Haddad, S. & Varacca, D. (Hrsg.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, S. 7:1–7:18Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
Statistical EL is ExpTime-completeBednarczyk, B., 1 Aug. 2021, in: Information processing letters : devoted to the rapid publication of short contributions to information processing. 169, 106113, 106113Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
Causality-Based Game SolvingBaier, C., Coenen, N., Finkbeiner, B., Funke, F., Jantsch, S. & Siber, J., 15 Juli 2021, Computer Aided Verification - 33rd International Conference, CAV 2021, Proceedings: 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I. Silva, A. & Leino, K. R. M. (Hrsg.). Springer, Berlin [u. a.], S. 894–917, 24 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
An ALBERT-based Similarity Measure for Mathematical Answer RetrievalReusch, A., Thiele, M. & Lehner, W., 11 Juli 2021, SIGIR '21: Proceedings of the 44th International ACM SIGIR Conference on Research and Development in Information Retrieval. Association for Computing Machinery, Inc, S. 1593-1597, 5 S., 3463023Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
Computing Optimal Repairs of Quantified ABoxes w.r.t. Static ℰℒ TBoxesBaader, F., Koopmann, P., Kriegel, F. & Nuradiansyah, A., 11 Juli 2021, Automated Deduction – CADE 28 - 28th International Conference on Automated Deduction, 2021, Proceedings. Platzer, A. & Sutcliffe, G. (Hrsg.). Springer, Berlin [u. a.], S. 309-326, 18 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
Computing Optimal Repairs of Quantified ABoxes w.r.t. Static ℰℒ TBoxes (Extended Version)Baader, F., Koopmann, P., Kriegel, F. & Nuradiansyah, A., 11 Juli 2021Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
Computing Optimal Repairs of Quantified ABoxes w.r.t. Static ℰℒ TBoxes (Slides)Baader, F., Koopmann, P., Kriegel, F. & Nuradiansyah, A., 11 Juli 2021Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Wissenschaftliche Vortragsfolien
Resolving Synchronization Conflicts in Role-Based Multimodel-Synchronization EnvironmentsEbert, S., Kluge, T. & Götz, S., 11 Juli 2021, S. 1-8, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
FPGA-Based Acceleration of THz SAR ImagingBatra, A., Kamaleldin, A., Zhen, L. Y., Wiemler, M., Göhringer, D. & Kaiser, T., 5 Juli 2021, S. 1-6, 6 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
From Verification to Causality-Based Explications (Invited Talk)Baier, C., Dubslaff, C., Funke, F., Jantsch, S., Majumdar, R., Piribauer, J. & Ziemek, R., 2 Juli 2021, 48th International Colloquium on Automata, Languages, and Programming, ICALP 2021: ICALP 2021, July 12–16, 2021, Glasgow, Scotland (Virtual Conference). Bansal, N., Merelli, E. & Worrell, J. (Hrsg.). Schloss Dagstuhl – Leibniz-Zentrum für Informatik, S. 1:1–1:20, 1Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
Datalog-Expressibility for Monadic and Guarded Second-Order LogicBodirsky, M., Knäuer, S. & Rudolph, S., 1 Juli 2021, 48th International Colloquium on Automata, Languages, and Programming (ICALP 2021). Bansal, N., Merelli, E. & Worrell, J. (Hrsg.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, S. 120:1-120:17, 17 S., 120Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
Lecturers’ perceptions of supporting digital teaching scenarios by an adaptable learning environmentKubica, T., Damnik, G., Braun, I., Peine, R. & Schill, A., 1 Juli 2021, S. 12181-12190, 10 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
The Varieties of Ought-implies-Can and Deontic STIT LogicBerkel, K. V. & Lyon, T., 1 Juli 2021, Deontic Logic and Normative Systems: 15th International Conference, DEON 2020/2021. Liu, F., Marra, A., Portner, P. & Putte, F. V. D. (Hrsg.). College Publications, S. 57-76, 20 S.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
Advancing Design and Runtime Management of AI Applications with AI-SPRINT (Position Paper)Sedghani, H., Ardagna, D., Matteucci, M., Fontana, G., Verticale, G., Amarilli, F., M. Badia, R. & 4 weitere, Juli 2021, S. 1455-1462, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
A Guideline on Pseudorandom Number Generation (PRNG) in the IoTKietzmann, P., Schmidt, T. C. & Wählisch, M., Juli 2021, in: ACM Computing Surveys. 54, 6, S. 1-38, 112Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Übersichtsartikel (Review)
Characterization of Link Quality Fluctuation in Mobile Wireless Sensor NetworksWen, J. & Dargie, W., Juli 2021, in: ACM transactions on cyber-physical systems. 5, 3, 1 S., 28Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
Exploring Effects of Gamified Collaborative Face-to-Face Learning of Regular Expressions.Ehlenz, M., Küppers, B., Leonhardt, T. & Schroeder, U., Juli 2021, S. 114-118, 5 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
Finite Model Theory of the Triguarded Fragment and Related Logics.Kieronski, E. & Rudolph, S., 29 Juni 2021, 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2021. S. 1-13, 13 S., 9470734Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
On Logics and Homomorphism ClosureBodirsky, M., Feller, T., Knäuer, S. & Rudolph, S., 29 Juni 2021, 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2021. Wiley-IEEE Press, S. 1-13, 13 S., 9470511Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband

Publikationen

2021

Zu dieser Seite

Finden!