2020

• Offset-Compensation Systems for Multi-Gbit/s Optical ReceiversSzilágyi, L., Pliva, J. & Henker, R., 2020, VLSI-SoC: New Technology Enabler - 27th IFIP/IEEE WG 10.5 International Conference on Very Large Scale Integration, VLSI-SoC 2019, Revised and Extended Selected Papers. Metzler, C., Reis, R., Gaillardon, P., De Micheli, G. & Silva-Cardenas, C. (eds.). Springer, p. 235-255, 21 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• OmniTact: A Multi-Directional High-Resolution Touch Sensor.Padmanabha, A., Ebert, F., Tian, S., Calandra, R., Finn, C. & Levine, S., 2020, ICRA. p. 618-624, 7 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• On a generalized flat input definition and physical realizabilityFritzsche, K. & Röbenack, K., 2020, In:  IFAC-PapersOnLine. 53, 2, p. 5994-5999Electronic (full-text) versionResearch output: Contribution to journal > Conference article
• 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-WSElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• On Deriving Nested Calculi for Intuitionistic Logics from Semantic SystemsLyon, T. S., 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
• 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. (eds.). SPIE - The international society for optics and photonics, Bellingham, 1135212Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• On global and local observability of nonlinear polynomial systems: A decidable criterionGerbet, D. & Röbenack, K., 2020, In: At-Automatisierungstechnik. 68, 6, p. 395-409Electronic (full-text) versionResearch output: Contribution to journal > Research article
• On real stable pole placement for structured systems using Sturm and Sturm-Habicht sequencesRöbenack, K. & Voßwinkel, R., 2020, IFAC-PapersOnLine. p. 4546-4552Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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. (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 EntailmentsAlrabbaa, C., Baader, F., Borgwardt, S., Koopmann, P. & Kovtunova, A., 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