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. (Hrsg.). Springer, S. 235-255, 21 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
• 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 für Informatik, 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