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.

3539 Einträge

2021

Witnessing Subsystems for Probabilistic Systems with Low Tree WidthJantsch, S., Piribauer, J. & Baier, C., 17 Sept. 2021, Proceedings 12th International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2021, Padua, Italy, 20-22 September 2021. Ganty, P. & Bresolin, D. (Hrsg.).Band 346. S. 35-51, 17 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
CGRA-EAM - Rapid Energy and Area Estimation for Coarse-grained Reconfigurable Architectures.Wijtvliet, M., Corporaal, H. & Kumar, A., 14 Sept. 2021, in: ACM transactions on reconfigurable technology and Systems : TRETS. 14, 4, S. 19:1-19:28, 28 S., 19Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
Function call gateway for operational aspects in Industrie 4.0Braunisch, N., Schlesinger, S. & Lehmann, R., 10 Sept. 2021, 2021 26th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA ). IEEE, S. 1-8, 8 S., 9613179Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
Generative and Model-driven SDK development for the Industrie 4.0 Digital TwinBraunisch, N., Ristin-Kaufmann, M., Lehmann, R. & Venn, H. W. V. D., 10 Sept. 2021, 2021 26th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA ). IEEE, S. 1-4, 4 S., 9613164Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
Age-Related Differences in Preferences for Using Voice AssistantsGollasch, D. & Weber, G., 5 Sept. 2021, Mensch und Computer 2021. 12 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
Designing VUIs for Social Assistance Robots for People with DementiaStriegl - Freiherr von Hoverbeck, J. L., Gollasch, D., Loitsch, C. & Weber, G., 5 Sept. 2021, Mensch und Computer 2021. S. 145-155, 11 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
Finite-Controllability of Conjunctive Queries in the Z family of Description Logics (Extended Abstract)Bednarczyk, B. & Kieroński, E., 1 Sept. 2021, Proceedings of the 34th International Workshop on Description Logics (DL 2021). Homola, M., Ryzhikov, V. & Schmidt, R. A. (Hrsg.). CEUR-WS.org, (CEUR Workshop Proceedings)Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
Prospects of Robots in Assisted Living EnvironmentMahmood, S., Ampadu, K. O., Antonopoulos, K., Panagiotou, C., Pertuz, S., Podlubne, A., Antonopoulos, C. & 3 weitere, 1 Sept. 2021, in: Electronics (Switzerland). 10, 17, 2062Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
Reconfigurable Computing Systems as Component-oriented Designs for RoboticsPodlubne, A. & Göhringer, D., 1 Sept. 2021, 2 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
SARS-CoV-2 vaccination modelling for safe surgery to save lives: data from an international prospective cohort studyCOVIDSurg Collaborative, GlobalSurg Collaborative, Nepogodiev, D., Bhangu, A., Ahmed, A., Bork, U., Distler, M. & 12 weitere, 1 Sept. 2021, in: British journal of surgery. 108, 9, S. 1056-1063, 9 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
ReLAccS: A Multilevel Approach to Accelerator Design for Reinforcement Learning on FPGA-Based Systems.Baranwal, A. R., Ullah, S., Sahoo, S. S. & Kumar, A., Sept. 2021, in: IEEE transactions on computer-aided design of integrated circuits and systems : CAD. 40, 9, S. 1754-1767, 14 S., 9211770Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
Similarity Analysis of Visual Sketch-based Search for SoundsEngeln, L., Le, N. L., McGinity, M. & Groh, R., Sept. 2021, Audio Mostly 2021. Association for Computing Machinery (ACM), New York, S. 101-108, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
Towards opportunistic UAV relaying for smart citiesHardes, T., Boos, C. & Sommer, C., Sept. 2021, International Conference on Networked Systems (NetSys 2021). Band 80. 4 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
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

Publikationen

2021

Zu dieser Seite

Finden!