2019

• The 10,000 Facets of MDP Model Checking.Baier, C., Hermanns, H. & Katoen, J., 2019, Computing and Software Science: State of the Art and Perspectives. Steffen, B. & Woeginger, G. (eds.). Springer, Berlin [u. a.], p. 420-451Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• The 2019 Comparison of Tools for the Analysis of Quantitative Formal ModelsHensel, C., Klauck, M., Klein, J., Křetínský, J., Parker, D., Quatmann, T., Ruijters, E. & 3 others, 2019Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• The Complexity of the Consistency Problem in the Probabilistic Description Logic ALC^MEBaader, F., Ecke, A., Kern-Isberner, G. & Wilhelm, M., 2019, Frontiers of Combining Systems: 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings. Herzig, A. & Popescu, A. (eds.). Springer, p. 167-184, 18 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• The DEBS 2019 Grand ChallengeBodunov, O., Gulisano, V., Najdataei, H., Jerzak, Z., Martin, A., Smirnov, P., Strohbach, M. & 1 others, 2019, DEBS '19: Proceedings of the 13th ACM International Conference on Distributed and Event-based Systems. Association for Computing Machinery (ACM), New York, Vol. 2019. p. 205–208Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• The Earconizer - A Tool for constructing hierarchical EarconsHanke, M., Engeln, L., Auerswald, T., Kallenbach, F. & Groh, R., 2019, Proceedings of the Mensch und Computer 2019 Workshop on InnovativeComputer Music-Interfaces (ICMI)Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• The Effect of Elastic Feedback on the Perceived User Experience and Presence of Travel Methods in Immersive EnvironmentsGünther, T., Engeln, L., Busch, S. J. & Groh, R., 2019, Proceedings of the 26th Conference on Virtual Reality and 3D User Interfaces (IEEE VR)Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• The E.T.PACK Project: Towards a Fully Passive and Consumeable-Less Deorbit Kit based on Low Work-Function Tether TechnologySánchez-Arriaga, G., Naghdi, S., Wätzig, K., Schilm, J., Lorenzini, E., Tajmar, M., Urgoiti, E. & 3 others, 2019, 6th International Conference on Tethers in Space. Madrid, June 12-14Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• The impact of crystal size and temperature on the adsorption-induced flexibility of the Zr-based metal-organic framework DUT-98Krause, S., Bon, V., Du, H., Dunin-Borkowski, R. E., Stoeck, U., Senkovska, I. & Kaskel, S., 2019, In: Beilstein journal of nanotechnology. 10, p. 1737-1744, 8 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• The impact of psychopathology on the therapy outcome in patients with psoriasisWintermann, G., Abraham, S., Beissert, S. & Weidner, K., 2019Research output: Contribution to conferences > Poster
• The MASi repository service - comprehensive, metadata-driven and multi-community research data managementGrunzke, R., Hartmann, V., Jejkal, T., Kollai, H., Prabhune, A., Herold, H., Deicke, A. & 9 others, 2019, In: Future Generation Computer Systems. 94, p. 879-894, 16 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article