Publikationen

2021

• Enhancing Probabilistic Model Checking with OntologiesDubslaff, C., Koopmann, P. & Turhan, A., 26 Mai 2021, in: Formal Aspects of Computing. 33, 6, S. 885–921, 37 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Responsibility Attribution in Parameterized Markovian ModelsBaier, C., Funke, F. & Majumdar, R., 18 Mai 2021, 35th AAAI Conference on Artificial Intelligence, AAAI 2021. 13 Aufl., AAAI Press, Band 35. S. 11734-11743, 10 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Development, characterisation, and deployment of the SNO plus liquid scintillatorAnderson, M. R., Andringa, S., Anselmo, L., Arushanova, E., Asahi, S., Askins, M., Auty, D. J. & 217 weitere, Mai 2021, in: Journal of instrumentation. 16, 5, 23 S., P05009Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• 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. (Hrsg.). Academic Press, S. 169-195, 27 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
• 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 weitere, 1 Jan. 2021, Tactile Internet: with Human-in-the-Loop. Fitzek, F. H., Li, S., Speidel, S., Strufe, T., Simsek, M. & Reisslein, M. (Hrsg.). Academic Press, S. 293-317, 25 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
• PrefaceBaier, C. & Goubault-Larrecq, J., Jan. 2021, 29th EACSL Annual Conference on Computer Science Logic. Baier, C. & Goubault-Larrecq, J. (Hrsg.).2 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Vor-/Nachwort
• 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 S.Elektronische (Volltext-)VersionPublikation: Buch/Gutachten/Sammelbände > Konferenz-/Tagungsband
• 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. (Hrsg.). Springer, Berlin [u. a.], S. 1-7, 7 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Lab Conditions for Research on Explainable Automated DecisionsBaier, C., Christakis, M., Gros, T. P., Groß, D., Gumhold, S., Hermanns, H., Hoffmann, J. & 1 weitere, 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. (Hrsg.). Springer, Berlin [u. a.], S. 83-90, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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. (Hrsg.). Springer, Berlin [u. a.], S. 205–221, 17 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten