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.
3179 Entries
2021
-
Grand Challenges in Immersive Analytics , 2021, CHI '21: Proceedings of the 2021 CHI Conference on Human Factors in Computing Systems. New York, NY, USA: Association for Computing Machinery (ACM), New YorkElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Graph Structures for Knowledge Representation and Reasoning - 6th International Workshop, GKR 2020, Virtual Event, September 5, 2020, Revised Selected Papers , 2021, Springer, Berlin [u. a.], (Lecture Notes in Computer Science)Electronic (full-text) versionResearch output: Book/Report/Anthology > Anthology
-
Improving the Timing Behaviour of Mixed-Criticality Systems Using Chebyshev's Theorem. , 2021, DATE. p. 264-269, 6 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Informatik und Barrierefreiheit, In: , Jörg Desel, Simone Opel, Juliane Siegeris (Hrsg.), Potsdam, Universitätsverlag Potsdam, 2023, S. 35–50. DOI https://doi.org/10.25932/publishup-61387 , 2021, Hochschuldidaktik Informatik HDI 2021. Desel, J., Opel, S. & Sieger, J. (eds.). Universitätsverlag Potsdam, p. 35–50Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/anthology/report
-
Inside the Router: Ein interaktives VR Lernspiel zur Vermittlung von Routing in Netzwerken im Informatikunterricht , 2021, DELFI 2021 - Die 19. Fachtagung Bildungstechnologien der Gesellschaft fur Informatik e.V.. Kienle, A., Harrer, A., Haake, J. M. & Lingnau, A. (eds.). Gesellschaft fur Informatik (GI), p. 383-384, 2 p.Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Integration informatischer Bildung ins Grundschullehramtsstudium , 2021, INFOS 2021 – 19. GI-Fachtagung Informatik und Schule. Humbert, L. (ed.). Gesellschaft für Informatik, Bonn, p. 103-112, 10 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Internet of Skills , 2021, Tactile Internet: with Human-in-the-Loop. Fitzek, F. H., Li, S., Speidel, S., Strufe, T., Simsek, M. & Reisslein, M. (eds.). London, p. 75-102, 28 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/anthology/report
-
In the Hand of the Beholder: Comparing Interactive Proof Visualizations , 2021, Proceedings of the 34th International Workshop on Description Logics (DL 2021)Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
In the Hand of the Beholder: Comparing Interactive Proof Visualizations (Extended Abstract) , 2021, Informal Proceedings of the 2nd Workshop on Explainable Logic-Based Knowledge Representation (XLoKR’21)Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Investigating the Impact of Real-World Environments on the Perception of 2D Visualizations in Augmented Reality , 2021, Proceedings of the 2021 CHI Conference on Human Factors in Computing Systems. New York, NY, USA: Association for Computing Machinery (ACM), New York, 15 p., 522Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Kleene and Büchi Theorems for Weighted Forest Languages over M-Monoids , 2021, In: Information and Computation. 281, 104765Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
Knowledge Distillation and Gradient Estimation for Active Error Compensation in Approximate Neural Networks. , 2021, DATE. p. 679-684, 6 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Lab Conditions for Research on Explainable Automated Decisions , 2021, Trustworthy AI – Integrating Learning, Optimization and Reasoning: First International Workshop, TAILOR 2020, Virtual Event, September 4–5, 2020, Revised Selected Papers. Heintz, F., Milano, M. & O’Sullivan, B. (eds.). Springer, Berlin [u. a.], p. 83-90, 8 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
LCTL - Lightweight Compression Template Library. , 2021, p. 2966-2975Electronic (full-text) versionResearch output: Contribution to conferences > Paper
-
Learning computable models from data , 2021, p. 1-6, 6 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
-
Learning Invariant Representations for Reinforcement Learning without Reconstruction. , 2021, ICLRElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Linear weighted tree automata with storage and inverse linear tree homomorphisms , 2021, In: Information and Computation. 281Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
Logic-Guided Neural Utterance Generation from Drone Sensory Data (Extended Abstract) , 2021, Proceedings of the 34th International Workshop on Description Logics (DL 2021) Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Long-Range Non-Line of Sight THz Sensing , 2021, 2021 46th International Conference on Infrared, Millimeter, and Terahertz Waves, IRMMW-THz 2021. IEEE Computer Society, p. 1-2Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Machine-Checking Unforgeability Proofs for Signature Schemes with Tight Reductions to the Computational Diffie-Hellman Problem , 2021, 15 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
-
Making DL-Lite Planning Practical , 2021, Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2021). p. 641-645, 5 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Making DL-Lite Planning Practical (Extended Abstract) , 2021, Proceedings of the 34th International Workshop on Description Logics (DL 2021) Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
MARVIS: Combining Mobile Devices and Augmented Reality for Visual Data Analysis , 2021, CHI '21: Proceedings of the 2021 CHI Conference on Human Factors in Computing Systems. New York, NY, USA: Association for Computing Machinery (ACM), New York, 17 p., 468Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Metastability with Emerging Reconfigurable Transistors: Exploiting Ambipolarity for Throughput. , 2021, VLSI-SoC. p. 1-6, 6 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
MigrOS: Transparent Live-Migration Support for Containerised RDMA Applications. , 2021, p. 47-63Electronic (full-text) versionResearch output: Contribution to conferences > Paper