Publikationen

2019

• Flow maldistribution in shell and tube heat exchangersSumsion, D., Dorau, T., Schab, R., Unz, S., Beckmann, M., Malayeri, M. R. & Watson, M., 2019, in: Petroleum Technology Quarterly : PTQ ; refining, gas processing, petrochemicals. 2019, Q4, S. 85-89Publikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Fog Seeding Strategies for Information-Centric Heterogeneous Vehicular Networks.Turcanu, I., Engel, T. & Sommer, C., 2019, 11th IEEE Vehicular Networking Conference (VNC 2019). S. 1-8, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Formal verification of local and global observability of polynomial systems using quantifier eliminationRöbenack, K. & Voßwinkel, R., 2019, 2019 23rd International Conference on System Theory, Control and Computing, ICSTCC 2019 - Proceedings. S. 314-319Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• FPGA-ROS: Methodology to Augment the Robot Operating System with FPGA DesignsPodlubne, A. & Göhringer, D., 2019, S. 1-5Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• Friction reduction in dry forming by using tetrahedral amorphous carbon coatings and laser micro-structuringJähnig, T., Mousavi, S. A., Steinhorst, M., Roch, T., Brosius, A. & Lasagni, A. F., 2019, in:  Dry metal forming open access journal : DMFOAJ ; fast manuscript track. 5, 5, S. 25-30Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• From Agricultural Byproducts to Value-Added Materials: Wheat Straw-Based Hydrogels as Soil Conditioners?Heise, K., Kirsten, M., Schneider, Y., Jaros, D., Keller, H., Rohm, H., Kalbitz, K. & 1 weitere, 2019, in: ACS Sustainable Chemistry and Engineering. 7, S. 8604-8612Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• From Horn-SRIQ to Datalog: A Data-Independent Transformation that Preserves Assertion EntailmentCarral, D., González, L. & Koopmann, P., 2019, The Thirty-Third AAAI Conference on Artificial Intelligence, AAAI 2019. S. 2736-2743, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• From Horn-SRIQ to Datalog: A Data-Independent Transformation that Preserves Assertion Entailment (Abstract)Carral, D., González, L. & Koopmann, P., 2019, Proceedings of the 32nd International Workshop on Description Logics (DL 2019)Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• From LTL to Unambiguous Büchi Automata via Disambiguation of Alternating AutomataJantsch, S., Müller, D., Baier, C. & Klein, J., 2019, Formal Methods – The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings. ter Beek, M. H., McIver, A. & Oliveira, J. N. (Hrsg.). Springer, Berlin [u. a.], S. 262-279, 18 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Fruit processing by-products as food ingredientsStruck, S. & Rohm, H., 2019, Valorization of Fruit Processing By-products. Galanakis, C. (Hrsg.). LondonPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten