Towards a heterogeneous query language for mathematical knowledge (2020) Bercic K, Kohlhase M, Rabe F Conference contribution Are fast labeling methods reliable? a case study of computer-aided expert annotations on microscopy slides (2020) Marzahl C, Bertram CA, Aubreville M, Petrick A, Weiler K, Gläsel AC, Fragoso M, et al. Conference contribution Are Pathologist-Defined Labels Reproducible? Comparison of the TUPAC16 Mitotic Figure Dataset with an Alternative Set of Labels (2020) Bertram CA, Veta M, Marzahl C, Stathonikos N, Maier A, Klopfleisch R, Aubreville M Conference contribution User Experience of Alexa, Siri and Google Assistant When Controlling Music – Comparison of Four Questionnaires (2020) Brüggemeier B, Breiter M, Kurz M, Schiwy J Conference contribution Prototyping Controlled Mathematical Languages in Jupyter Notebooks (2020) Schäfer JF, Amann K, Kohlhase M Conference contribution Risk Assessment of Vehicle Sensor Data as a Vending Object or Service (2020) Bodendorf F, Franke J Conference contribution Explaining non-bisimilarity in a coalgebraic approach: Games and distinguishing formulas (2020) König B, Mika-Michalski C, Schröder L Conference contribution Database Semantics for Talking Autonomous Robots (2020) Hausser R Conference contribution Logic-Independent Proof Search in Logical Frameworks: (Short Paper) (2020) Kohlhase M, Rabe F, Sacerdoti Coen C, Schäfer JF Conference contribution ForeSight - An AI-driven Smart Living Platform, Approach to Add Access Control to openHAB (2020) Bauer J, Hechtel M, Konrad C, Holzwarth M, Hoffmann H, Feld T, Schneider S, et al. Conference contribution