Publications

2020

• Proving Asymptotic Stability with LaSalle's Invariance Principle: On the Automatic Computation of Invariant Sets Using Quantifier EliminationGerbet, D. & Röbenack, K., 2020, 7th International Conference on Control, Decision and Information Technologies, CoDIT 2020Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• ProxSim: GPU-based Simulation Framework for Cross-Layer Approximate DNN Optimization.Parra, C. D. L., Guntoro, A. & Kumar, A., 2020, DATE. p. 1193-1198, 6 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Prozessorchestrierung in verteilten Automatisierungssystemen - EKA 2020 - Entwurf komplexer Automatisierungssysteme, 16. FachtagungSchweizer, H., Braunisch, N. & Wollschlaeger, M., 2020, p. 15-24, 10 p.Research output: Contribution to conferences > Paper
• Psychophysical comparison of the auditory and tactile perception: a surveyMerchel, S. & Altinsoy, M. E., 2020, In: Journal on Multimodal User Interfaces. 14, p. 271–283Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Put Strong Limits on all Proposed Theories so far Assessing Electrostatic Propulsion: Does a Charged High-Voltage Capacitor Produce Thrust?Tajmar, M. & Schreiber, T., 2020, In: Journal of electrostatics : fundamentals, applications and hazards. 107, p. 103477, 1 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• QR-SDN: Towards reinforcement learning states, actions, and rewards for direct flow routing in software-defined networksRischke, J., Sossalla, P., Salah, H., Fitzek, F. H. & Reisslein, M., 2020, In: IEEE access. 8, p. 174773-174791, 19 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Quantitative Characterization of Reconfigurable Transistor Logic Gates.Raitza, M., Märcker, S., Trommer, J., Heinzig, A., Klüppelholz, S., Baier, C. & Kumar, A., 2020, In: IEEE access. 8, p. 112598-112614, 17 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Quantitative measurement of density fluctuations with a full-field laser interferometric vibrometerGreiffenhagen, F., Woisetschläger, J., Gürtler, J. & Czarske, J., 2020, In: Experiments in fluids. 61, 1, 9Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Rapid Iron-On User Interfaces: Hands-on Fabrication of Interactive Textile PrototypesKlamka, K., Dachselt, R. & Steimle, J., 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 RoundingBaier, C., Funke, F., Jantsch, S., Karimov, T., Lefaucheux, E., Ouaknine, J., Pouly, A. & 2 others, 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 fur Informatik GmbH, Dagstuhl Publishing, p. 36:1-36:17Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution