Publications

2021

• Human-inspired models for tactile computingBaier, C., Cuevas Rivera, D., Dubslaff, C. & Kiebel, S. J., 1 Jan 2021, Tactile Internet: with Human-in-the-Loop. Fitzek, F. H., Li, S., Speidel, S., Strufe, T., Simsek, M. & Reisslein, M. (eds.). Academic Press, p. 169-195, 27 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• Tactile computing: Essential building blocks for the Tactile InternetAßmann, U., Baier, C., Dubslaff, C., Grzelak, D., Hanisch, S., Hartono, A. P. P., Köpsell, S. & 2 others, 1 Jan 2021, Tactile Internet: with Human-in-the-Loop. Fitzek, F. H., Li, S., Speidel, S., Strufe, T., Simsek, M. & Reisslein, M. (eds.). Academic Press, p. 293-317, 25 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• PrefaceBaier, C. & Goubault-Larrecq, J., Jan 2021, 29th EACSL Annual Conference on Computer Science Logic. Baier, C. & Goubault-Larrecq, J. (eds.).2 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Foreword/Postscript
• 29th EACSL Annual Conference on Computer Science Logic: CSL 2021, January 25-28, 2021, Ljubljana, Slovenia (Virtual Conference)Baier, C. & Goubault-Larrecq, J., 2021, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 734 p.Electronic (full-text) versionResearch output: Book/Report/Anthology > Conference proceeding
• From Verification to Explanation (Track Introduction)Baier, C. & Hermanns, H., 2021, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Tools and Trends - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Proceedings. Margaria, T. & Steffen, B. (eds.). Springer, Berlin [u. a.], p. 1-7, 7 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Lab Conditions for Research on Explainable Automated DecisionsBaier, C., Christakis, M., Gros, T. P., Groß, D., Gumhold, S., Hermanns, H., Hoffmann, J. & 1 others, 2021, Trustworthy AI – Integrating Learning, Optimization and Reasoning: First International Workshop, TAILOR 2020, Virtual Event, September 4–5, 2020, Revised Selected Papers. Heintz, F., Milano, M. & O’Sullivan, B. (eds.). Springer, Berlin [u. a.], p. 83-90, 8 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Probabilistic Causes in Markov ChainsBaier, C., Funke, F., Jantsch, S., Piribauer, J. & Ziemek, R., 2021, Automated Technology for Verification and Analysis: 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021, Proceedings. Hou, Z. & Ganesh, V. (eds.). Springer, Berlin [u. a.], p. 205–221, 17 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report

2020

• On the probabilistic bisimulation spectrum with silent movesBaier, C., D’Argenio, P. R. & Hermanns, H., 1 Oct 2020, In: Acta informatica. 57, 3-5, p. 465-512, 48 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Parametric Markov chains: PCTL complexity and fraction-free Gaussian eliminationBaier, C., Hensel, C., Hutschenreiter, L., Junges, S., Katoen, J. P. & Klein, J., Jun 2020, In: Information and computation. 272, 104504Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Iterative variable reordering: Taming huge system familiesDubslaff, C., Morozov, A., Baier, C. & Janschek, K., 26 Apr 2020, Proceedings of the 4th Workshop on Models for Formal Analysis of Real Systems. Fehnker, A. & Garavel, H. (eds.).p. 121-133, 13 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution