Publications
Below you will find some information about the faculty's publications, which are provided by the research information system. In addition, you will find complete lists of publications on the websites of the respective institutes and chairs.
3640 Entries
2020
-
Introducing Mobile Device-Based Interactions to Users: An Investigation of Onboarding Tutorials , 2020, Human-Computer Interaction. Multimodal and Natural Interaction: Thematic Area, HCI 2020, Held as Part of the 22nd International Conference, HCII 2020, Proceedings. Kurosu, M. (ed.). Springer, p. 428-442, 15 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Investigating Mobile Device-Based Interaction Techniques for Collocated Merging , 2020, Learning and Collaboration Technologies. Designing, Developing and Deploying Learning Experiences: 7th International Conference, LCT 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Proceedings. Zaphiris, P. & Ioannou, A. (eds.). Springer, p. 92-108, 17 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
L2L: A Highly Accurate Log_2_Lead Quantization of Pre-trained Neural Networks. , 2020, DATE. p. 979-982, 4 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
LeAp: Leading-one Detection-based Softcore Approximate Multipliers with Tunable Accuracy. , 2020, ASP-DAC. p. 605-610, 6 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Learning Generalizable Locomotion Skills with Hierarchical Reinforcement Learning. , 2020, ICRA. p. 413-419, 7 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Lehramtsstudierende mit Mikrofortbildungen aktiv auf den Beruf vorbereiten , 2020, Seamless Learning – lebenslanges, durchgängiges Lernen ermöglichen. Müller Werder, C. & Erlemann, J. (eds.). Waxmann Verlag GMBH, p. 159-163, 5 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Lehren und Lernen in der digitalen Welt – ein Lernangebot für zukünftige Lehrkräfte im Blended-Learning-Format , 2020, Seamless Learning – lebenslanges, durchgängiges Lernen ermöglichen. Müller Werder, C. & Erlemann, J. (eds.). Münster: Waxmann, p. 49-57, 9 p.Research output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
-
LETHE: Forgetting and Uniform Interpolation for Expressive Description Logics , 2020, In: KI - Künstliche Intelligenz. 34, 3, p. 381–387Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
Lexicalization of Probabilistic Linear Context-free Rewriting Systems , 2020, Proceedings of the 16th International Conference on Parsing Technologies and the IWPT 2020 Shared Task on Parsing into Enhanced Universal Dependencies. p. 98-104, 7 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Low Power Scheduling of Periodic Hardware Tasks in Flash-Based FPGAs , 2020Electronic (full-text) versionResearch output: Contribution to conferences > Paper
-
Markov Chain-based Modeling and Analysis of Checkpointing with Rollback Recovery for Efficient DSE in Soft Real-time Systems. , 2020, DFT. p. 1-6, 6 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Maximizing the Serviceability of Partially Reconfigurable FPGA Systems in Multi-tenant Environment. , 2020, FPGA. p. 29-39, 11 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Metric Temporal Description Logics with Interval-Rigid Names , 2020, In: ACM transactions on computational logic. 21, 4, 46 p., 30Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
Minimal witnesses for probabilistic timed automata , 2020, Automated Technology for Verification and Analysis: 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020, Proceedings. Van Hung, D. & Sokolsky, O. (eds.). Springer, Berlin [u. a.], p. 501-517, 17 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Modelling the Polysemy of Spatial Prepositions in Referring Expressions , 2020, Proceedings of the 17th International Conference on the Principles of Knowledge Representation and Reasoning (KR'20). Calvanese, D., Erdem, E. & Thielscher, M. (eds.).Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
MorphStore: Analytical Query Engine with a Holistic Compression-Enabled Processing Model , 2020, In: Proceedings of the VLDB Endowment. 13, 12, p. 2396-2410Electronic (full-text) versionResearch output: Contribution to journal > Conference article
-
MTL and TPTL for One-Counter Machines: Expressiveness, Model Checking, and Satisfiability , 2020, In: ACM Transactions on Computational Logic : TOCL. 21, 2, p. 1-34, 34 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
Objective Mismatch in Model-based Reinforcement Learning , 2020, In: Proceedings of Machine Learning Research. 120, p. 761-770, 10 p.Research output: Contribution to journal > Conference article
-
OmniTact: A Multi-Directional High-Resolution Touch Sensor. , 2020, ICRA. p. 618-624, 7 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
On A Notion of Relevance , 2020, Proceedings of the 33rd International Workshop on Description Logics (DL 2020). CEUR-WSElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
On Deriving Nested Calculi for Intuitionistic Logics from Semantic Systems , 2020, Logical Foundations of Computer Science. Artemov, S. & Nerode, A. (eds.). Cham: Springer International Publishing AG, p. 177-194, 18 p.Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
On Skolem-Hardness and Saturation Points in Markov Decision Processes , 2020, 47th International Colloquium on Automata, Languages, and Programming (ICALP 2020). Czumaj, A., Dawar, A. & Merelli, E. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 138:1-138:17Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
On the Complexity of Finding Good Proofs for Description Logic Entailments , 2020, Proceedings of the 33rd International Workshop on Description Logics (DL 2020)Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
On the Lifted Multicut Polytope for Trees , 2020, Pattern Recognition: 42nd DAGM German Conference, DAGM GCPR 2020, Tübingen, Germany, September 28 – October 1, 2020, Proceedings. Akata, Z., Geiger, A. & Sattler, T. (eds.). Springer, Berlin [u. a.], p. 360–372Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Optimizing the Operational Time of Ambient Assisting Living Robots , 2020, In: IEEE Consumer Electronics Magazine. 9, 3, p. 97-104, 8 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article