2020

• OmniTact: A Multi-Directional High-Resolution Touch Sensor.Padmanabha, A., Ebert, F., Tian, S., Calandra, R., Finn, C. & Levine, S., 2020, ICRA. S. 618-624, 7 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• On a generalized flat input definition and physical realizabilityFritzsche, K. & Röbenack, K., 2020, in:  IFAC-PapersOnLine. 53, 2, S. 5994-5999Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Konferenzartikel
• On A Notion of RelevanceHaifani, F., Koopmann, P., Tourret, S. & Weidenbach, C., 2020, Proceedings of the 33rd International Workshop on Description Logics (DL 2020). CEUR-WSElektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• On Deriving Nested Calculi for Intuitionistic Logics from Semantic SystemsLyon, T. S., 2020, Logical Foundations of Computer Science. Artemov, S. & Nerode, A. (Hrsg.). Cham: Springer International Publishing AG, S. 177-194, 18 S.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• One-shot roughness measurements based on dispersion-encoded low coherence interferometryTaudt, C., Baselt, T., Nelsen, B., Koch, E. & Hartmann, P., 2020, Optics and Photonics for Advanced Dimensional Metrology. de Groot, P. J., Leach, R. K. & Picart, P. (Hrsg.). SPIE - The international society for optics and photonics, Bellingham, 1135212Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• On global and local observability of nonlinear polynomial systems: A decidable criterionGerbet, D. & Röbenack, K., 2020, in: At-Automatisierungstechnik. 68, 6, S. 395-409Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• On real stable pole placement for structured systems using Sturm and Sturm-Habicht sequencesRöbenack, K. & Voßwinkel, R., 2020, IFAC-PapersOnLine. S. 4546-4552Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• On Skolem-Hardness and Saturation Points in Markov Decision ProcessesPiribauer, J. & Baier, C., 2020, 47th International Colloquium on Automata, Languages, and Programming (ICALP 2020). Czumaj, A., Dawar, A. & Merelli, E. (Hrsg.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, S. 138:1-138:17Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• On the Complexity of Finding Good Proofs for Description Logic EntailmentsAlrabbaa, C., Baader, F., Borgwardt, S., Koopmann, P. & Kovtunova, A., 2020, Proceedings of the 33rd International Workshop on Description Logics (DL 2020)Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• On the influence of gear backlash in speed controlled slewing drivesSpiegelhauer, M. & Schlecht, B., 2020, in:  World of mining, surface & underground : internationale Fachzeitschrift für den Bergbau. 2020, 4, S. 200-204, 5 S.Publikation: Beitrag in Fachzeitschrift > Forschungsartikel