2019

• 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, Bellingham, 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
• Generative Fertigung als Mittel zur Hybridisierung und Funktionsintegration bei LeichtbaustrukturenLebelt, T., Maier, J. & Modler, N., 2019Research output: Contribution to conferences > Paper
• Generative Hybridisierung – Multi-Material-Strukturen effizient gefertigtGude, M., Vogel, C., Maier, J., Lebelt, T., Behnisch, T. & Krahl, M., 2019, Institut für Wissenschaftliche Veröffentlichungen (IWV), In: Jahresmagazin Kunststofftechnik. p. 36-39, 4 p.Electronic (full-text) versionResearch output: Contribution to specialist publication > Special issue article/Contribution
• Generic Emptiness Check for Fun and ProfitBaier, C., Blahoudek, F., Duret-Lutz, A., Klein, J., Müller, D. & Strejček, J., 2019, Automated Technology for Verification and Analysis: 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings. Chen, Y., Cheng, C. & Esparza, J. (eds.). Springer, Berlin [u. a.], p. 445–461Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Glucocorticoid Treatment Leads to Aberrant Ion and Macromolecular Transport in Regenerating Zebrafish FinsSchmidt, J. R., Geurtzen, K., von Bergen, M., Schubert, K. & Knopf, F., 2019, In: Frontiers in endocrinology. 10, 674Electronic (full-text) versionResearch output: Contribution to journal > Research article