Abonnieren Sie diese Sammlung, um täglich per E-Mail über Neuerscheinungen informiert zu werden.

Erscheinungsjahr	Titel	VerfasserIn	OpenAccess
2021	Manifesto for Digital Social Touch in Crisis	Jewitt, Carey; Price, Sara; Steimle, Jürgen, u.a.
2021	Combining Dynamic Passive Haptics and Haptic Retargeting for Enhanced Haptic Feedback in Virtual Reality	Zenner, André; Ullmann, Kristin; Krüger, Antonio
2021	What do we want from Explainable Artificial Intelligence (XAI)? – A stakeholder perspective on XAI and a conceptual model guiding interdisciplinary XAI research	Langer, Markus; Oster, Daniel; Speith, Timo, u.a.
2021	Doping Tests for Cyber-physical Systems	Biewer, Sebastian; D’argenio, Pedro R.; Hermanns, Holger
2021	A Modest Approach to Markov Automata	Butkova, Yuliya; Hartmanns, Arnd; Hermanns, Holger
2021	Uplink Transmission Probability Functions for LoRa-Based Direct-to-Satellite IoT: A Case Study	Vogelgesang, Kai; Fraire, Juan A.; Hermanns, Holger
2021	Controller verification meets controller code: a case study	Freiberger, Felix; Schupp, Stefan; Hermanns, Holger, u.a.
2021	Automated Safety Verification of Programs Invoking Neural Networks	Christakis, Maria; Eniser, Hasan Ferit; Hermanns, Holger, u.a.
2021	A Modest Approach to Dynamic Heuristic Search in Probabilistic Model Checking	Klauck, Michaela; Hermanns, Holger
2021	RTLola on Board: Testing Real Driving Emissions on your Phone	Biewer, Sebastian; Finkbeiner, Bernd; Hermanns, Holger, u.a.
2021	Momba: JANI Meets Python	Köhl, Maximilian A.; Klauck, Michaela; Hermanns, Holger
2021	Towards Perspicuity Requirements	Sterz, Sarah; Baum, Kevin; Lauber-Ronsberg, Anne, u.a.
2021	Lab Conditions for Research on Explainable Automated Decisions	Baier, Christel; Christakis, Maria; Gros, Timo P., u.a.
2021	Analyse des Managements von Patienten mit primärer Nephroblastomatose anhand Daten der Therapieoptimierungsstudien SIOP 93-01/GPOH und SIOP 2001/GPOH	Müller, Marina
2021	Striped patterns in radially driven suspensions with open boundaries	Mohammadi, Mahdieh; Maleki, Maniya; Wysocki, Adam, u.a.
2021	Faster Stackelberg Planning via Symbolic Search and Information Sharing	Torralba, Álvaro; Speicher, Patrick; Künnemann, Robert, u.a.
2021	Pattern Databases for Goal-Probability Maximization in Probabilistic Planning	Klößner, Thorsten; Hoffmann, Jörg; Steinmetz, Marcel, u.a.
2021	Choosing the Initial State for Online Replanning	Fickert, Maximilian; Gavran, Ivan; Fedotov, Ivan, u.a.
2021	Polynomial-Time in PDDL Input Size: Making the Delete Relaxation Feasible for Lifted Planning	Lauer, Pascal; Torralba, Alvaro; Fišer, Daniel, u.a.
2021	Model Checking w-Regular Properties with Decoupled Search	Gnad, Daniel; Eisenhut, Jan; Lluch Lafuente, Alberto, u.a.