2021

• Finite Model Theory of the Triguarded Fragment and Related Logics (Extended Abstract).Kieronski, E. & Rudolph, S., 2021, Description LogicsElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• FIRESTARTER 2: Dynamic Code Generation for Processor Stress TestsSchöne, R., Schmidl, M., Bielert, M. & Hackenberg, D., 2021, p. 582-590, 9 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Flammschutzmittel auf der Basis nachwachsender Roh- und ReststoffeThümmler, K., Hofmann, L. & Tech, S., 2021, In: Feuer-Trutz : Brandschutz-Magazin für Fachplaner ; Problemlösungen, Planungshilfen, Insiderwissen. 2021, 5, p. 80-82Research output: Contribution to journal > Research article
• Flash LiDAR aided-inertial Navigation on surfaces of small solar system bodies using error state Kalmanfiltering.Janschek, K., Liu, B., Sazdovski, V. & Chernykh, V., 2021Research output: Contribution to conferences > Paper
• Flexible Multi-Channel Analog-Frontend for Ultra-Low Power Environmental SensingJotschke, M., Reichel, P., Ossa, W. C., Koh, J., Reich, T. & Mayr, C., 2021, In: IEEE Open Journal of Circuits and Systems. 2, p. 445-456, 12 p., 9494747Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Frequency dependence of vertical whole-body vibration perception - is your car rattling or humming?Schwendicke, A. & Altinsoy, M. E., 2021, Proceedings of INTER-NOISE 2021 - 2021 International Congress and Exposition of Noise Control Engineering. Dare, T., Bolton, S., Davies, P., Xue, Y. & Ebbitt, G. (eds.).p. 4919-5918Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• From Domain-Specific Languages to Memory-Optimized Accelerators for Fluid DynamicsFriebel, K. F., Soldavini, S., Hempel, G., Pilato, C. & Castrillon, J., 2021, 2021 IEEE International Conference on Cluster Computing (CLUSTER). IEEE Xplore, p. 759-766, 8 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• From Verification to Explanation (Track Introduction)Baier, C. & Hermanns, H., 2021, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Tools and Trends - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Proceedings. Margaria, T. & Steffen, B. (eds.). Springer, Berlin [u. a.], p. 1-7, 7 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Front Cover ImageZhang, S., Pang, J., Cheng, Q., Yang, F., Chen, Y., Liu, Y., Li, Y. & 8 others, 2021, In: Infomat. Vol. 3Electronic (full-text) versionResearch output: Contribution to specialist publication > Featured article/Feature cover
• Fundamental BackgroundBassoli, R., Boche, H., Deppe, C., Ferrara, R., Fitzek, F. H., Janssen, G. & Saeedinaeeni, S., 2021, Quantum Communication Networks. Springer Science and Business Media B.V., p. 13-67, 55 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report