Publications

2019

• Flow interactions with an aquatic macrophyte: a field study using stereoscopic particle image velocimetryBiggs, H., Nikora, V., Gibbins, C., Cameron, S., Papadopoulos, K., Stewart, M., Fraser, S. & 5 others, 2019, In: Journal of Ecohydraulics. 4, 2, p. 113-130, 18 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• 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, p. 85-89Research output: Contribution to journal > Research article
• Fog Seeding Strategies for Information-Centric Heterogeneous Vehicular Networks.Turcanu, I., Engel, T. & Sommer, C., 2019, 11th IEEE Vehicular Networking Conference (VNC 2019). p. 1-8, 8 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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. p. 314-319Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• FPGA-ROS: Methodology to Augment the Robot Operating System with FPGA DesignsPodlubne, A. & Göhringer, D., 2019, p. 1-5Electronic (full-text) versionResearch output: Contribution to conferences > 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, p. 25-30Electronic (full-text) versionResearch output: Contribution to journal > Research article
• 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 others, 2019, In: ACS Sustainable Chemistry and Engineering. 7, p. 8604-8612Electronic (full-text) versionResearch output: Contribution to journal > Research article
• 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. p. 2736-2743, 8 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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)Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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. (eds.). Springer, Berlin [u. a.], p. 262-279, 18 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution