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. (Hrsg.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, S. 7:1–7:18Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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). S. 1088-1091Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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, 106113Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• The effect of haptic feedback on movie experienceAlma, U. A., 1 Aug. 2021, Proceedings of the German Annual Conference on Acoustics (DAGA)Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• The Orbit Problem for Parametric Linear Dynamical SystemsBaier, C., Funke, F., Jantsch, S., Karimov, T., Lefaucheux, E., Luca, F., Ouaknine, J. & 3 weitere, 1 Aug. 2021, 32nd International Conference on Concurrency Theory: CONCUR 2021, August 24–27, 2021, Virtual Conference. Haddad, S. & Varacca, D. (Hrsg.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, S. 1-17, 28Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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, 111222Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• 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, S. 977–980, 4 S., 9438695Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• 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, 1110Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• 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, S. 222-230, 9 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• 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 BearingsElektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband