Publications

2019

• 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
• Fruit processing by-products as food ingredientsStruck, S. & Rohm, H., 2019, Valorization of Fruit Processing By-products. Galanakis, C. (ed.). LondonResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• Functionalization of fiber-reinforced plastic based on laser micro structuringGebauer, J., Klotzbach, U. & Lasagni, A. F., 2019, Laser-Based Micro- and Nanoprocessing XIII. Klotzbach, U., Watanabe, A. & Kling, R. (eds.). SPIE - The international society for optics and photonics, 109060CElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Fundamental studies of TiO₂ nanopowder filled PAN fibre by wet spinning.Kang, P., Richter, M., Gohs, U., Wolz, D., Richter, B., Helaß, T., Müller, P. & 3 others, 2019Research output: Contribution to conferences > Paper