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.
3178 Entries
2020
-
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
-
Passive Angriffe auf kanalbasierten Schlüsselaustausch. , 2020, p. 41-51Electronic (full-text) versionResearch output: Contribution to conferences > Paper
-
Plan2Vec: Unsupervised Representation Learning by Latent Plans. , 2020, L4DC. p. 935-946, 12 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Polymorphic Compressed Replication of Columnar Data in Scale-Up Hybrid Memory Systems. , 2020, p. 98-110Electronic (full-text) versionResearch output: Contribution to conferences > Paper
-
Preparatory reflections on safe context-adaptive software (Position Paper) , 2020, IoTBDS 2020 - Proceedings of the 5th International Conference on Internet of Things, Big Data and Security. Wills, G., Kacsuk, P. & Chang, V. (eds.). SCITEPRESS - Science and Technology Publications, p. 382-391, 10 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Principal Abstract Families of Weighted Tree Languages , 2020, In: Information and Computation. 282Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
Proceedings of the 33rd International Workshop on Description Logics (DL 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), Online Event [Rhodes, Greece], September 12th to 14th, 2020 , 2020, CEUR-WS.orgElectronic (full-text) versionResearch output: Book/Report/Anthology > Anthology
-
ProMACs: Progressive and Resynchronizing MACs for Continuous Efficient Authentication of Message Streams. , 2020, p. 211-223Electronic (full-text) versionResearch output: Contribution to conferences > Paper
-
Promoting Prospective Teacher Competencies for Designing, Implementing, Evaluating, and Adapting Interactive Formative Feedback Strategies , 2020, In: Psychology learning and teaching. 20, 2, p. 261-278, 18 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
ProxSim: GPU-based Simulation Framework for Cross-Layer Approximate DNN Optimization. , 2020, DATE. p. 1193-1198, 6 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Quantitative Characterization of Reconfigurable Transistor Logic Gates. , 2020, In: IEEE access. 8, p. 112598-112614, 17 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
Rapid Iron-On User Interfaces: Hands-on Fabrication of Interactive Textile Prototypes , 2020, Proceedings of the 2020 CHI Conference on Human Factors in Computing Systems. New York, NY, USA: Association for Computing Machinery (ACM), New York, p. 1–14Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Reachability in Dynamical Systems with Rounding , 2020, 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2020). Saxena, N. & Simon, S. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 36:1-36:17Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Reactors: A Deterministic Model for Composable Reactive Systems , 2020, Cyber Physical Systems. Model-Based Design - 9th International Workshop, CyPhy 2019, and 15th International Workshop, WESE 2019, Revised Selected Papers. Chamberlain, R., Edin Grimheden, M. & Taha, W. (eds.). Springer, Berlin [u. a.], p. 59-85, 27 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Reasoner = Logical Calculus + Rule Engine , 2020, In: KI - Kunstliche Intelligenz. 34, p. 453–463Electronic (full-text) versionResearch output: Contribution to journal > Research article