Publikationen

2021

• Finding Good Proofs for Description Logic Entailments using Recursive Quality MeasuresAlrabbaa, C., Baader, F., Borgwardt, S., Koopmann, P. & Kovtunova, A., 2021, Automated Deduction – CADE 28 - 28th International Conference on Automated Deduction, 2021, Proceedings. Platzer, A. & Sutcliffe, G. (Hrsg.).S. 291–308, 18 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Finding Good Proofs for Description Logic Entailments Using Recursive Quality Measures (Extended Abstract)Alrabbaa, C., Baader, F., Borgwardt, S., Koopmann, P. & Kovtunova, A., 2021, Proceedings of the 34th International Workshop on Description Logics (DL 2021) Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Finite Model Theory of the Triguarded Fragment and Related Logics (Extended Abstract).Kieronski, E. & Rudolph, S., 2021, Description LogicsElektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• FIRESTARTER 2: Dynamic Code Generation for Processor Stress TestsSchöne, R., Schmidl, M., Bielert, M. & Hackenberg, D., 2021, S. 582-590, 9 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > 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, S. 80-82Publikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Flash LiDAR aided-inertial Navigation on surfaces of small solar system bodies using error state Kalman FilteringLiu, B., Sazdovski, V., Chernykh, V. & Janschek, K., 2021Publikation: Beitrag zu Konferenzen > 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, S. 445-456, 12 S., 9494747Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• 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. (Hrsg.).S. 4919-5918Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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). Institute of Electrical and Electronics Engineers (IEEE), S. 759-766, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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. (Hrsg.). Springer, Berlin [u. a.], S. 1-7, 7 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband