2021

• Quantified Linear Temporal Logic over Probabilistic Systems with an Application to Vacuity CheckingPiribauer, J., Baier, C., Bertrand, N. & Sankur, O., 1 Aug 2021, 32nd International Conference on Concurrency Theory, CONCUR 2021: CONCUR 2021, August 24–27, 2021, Virtual Conference. Haddad, S. & Varacca, D. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 7:1–7:18Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Quantifizierung erwarteter taktiler Wahrnehmungseigenschaften ohne Vibrationsdarbietung für taktiles DesignRosenkranz, R. & Altinsoy, M. E., 1 Aug 2021, Fortschritte der Akustik - DAGA 2021: 47. Jahrestagung für Akustik, 15.-18. August 2021 in Wien / online (hybrid). p. 1088-1091Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Statistical EL is ExpTime-completeBednarczyk, B., 1 Aug 2021, In:  Information processing letters : devoted to the rapid publication of short contributions to information processing. 169, 106113, 106113Electronic (full-text) versionResearch output: Contribution to journal > Research article
• The effect of haptic feedback on movie experienceAlma, U. A., 1 Aug 2021, Proceedings of the German Annual Conference on Acoustics (DAGA)Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• The Orbit Problem for Parametric Linear Dynamical SystemsBaier, C., Funke, F., Jantsch, S., Karimov, T., Lefaucheux, E., Luca, F., Ouaknine, J. & 3 others, 1 Aug 2021, 32nd International Conference on Concurrency Theory: CONCUR 2021, August 24–27, 2021, Virtual Conference. Haddad, S. & Varacca, D. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 1-17, 28Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• The role of structural symmetry on proton tautomerization: A DFTB/Meta-Dynamics computational studyRaptakis, A., Croy, A., Dianat, A., Gutierrez, R. & Cuniberti, G., 1 Aug 2021, In: Chemical physics. 548, 111222Electronic (full-text) versionResearch output: Contribution to journal > Research article
• A 3.6 mW 60 GHz Low-Noise Amplifier With 0.6 ns Settling Time for Duty-Cycled ReceiversMorath, H. P. E., Testa, P. V., Wagner, J. & Ellinger, F., Aug 2021, In: IEEE Microwave and Wireless Component Letters. 31, 8, p. 977–980, 4 p., 9438695Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Alteration of bending properties of wood due to ammonia treatment and additional densificationHackenberg, H., Zauer, M., Dietrich, T., Hackenberg, K. A. & Wagenführ, A., Aug 2021, In: Forests. 12, 8, 1110Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Brandverhalten von Dämmstoffen aus nachwachsenden Rohstoffen – Teil 1: Experimentelle Untersuchungen von Schwelprozessen und EmissionenSteeger, F., Kolb, T., Tech, S., Wichmann, H., Kampmeier, B., Zehfuß, J. & Kolb, M., Aug 2021, In: Bauphysik. 43, 4, p. 222-230, 9 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Design and Comparison of Dual-Purpose Stator Windings for Active Chatter Suppression in Milling SpindlesGuhl, D., Liebfried, R. & Hofmann, W., Aug 2021, Proceedings of the 17th International Symposium on Magnetic BearingsElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution