Model Checking Games for the Quantitative µ-Calculus. - Diana Fischer; Erich Grädel; Lukasz Kaiser (STACS, 2008)

Model Checking Games for the Quantitative mu-Calculus - Diana Fischer; Erich Grädel; Lukasz Kaiser (CoRR, 2008)

Logics for Quantitative Systems. - Diana Fischer (AlgoSyn, 2010)

Model Checking Games for the Quantitative µ-Calculus. - Diana Fischer; Erich Grädel; Lukasz Kaiser (Theory Comput. Syst., 2010)

Model Checking the Quantitative μ-Calculus on Linear Hybrid Systems. - Diana Fischer; Lukasz Kaiser (ICALP (2), 2011)

Model Checking the Quantitative mu-Calculus on Linear Hybrid Systems - Diana Fischer; Lukasz Kaiser (Log. Methods Comput. Sci., 2012)

The quantitative µ-calculus. - Diana Fischer (2013)

Communication Barriers in Crisis Management: a literature Review. - Diana Fischer; Oliver Posegga; Kai Fischbach (ECIS, 2016)

Usage Behavior of Social Network Sites in the Aftermath of Terrorist Attacks. - Diana Fischer; Kathrin Eismann; Kai Fischbach (ICIS, 2016)

Applying Social Network Analysis and Centrality Measures to Improve Information Flow Analysis. - Stephan Kiesling; Jil Klünder; Diana Fischer; Kurt Schneider; Kai Fischbach (PROFES, 2016)

Social Networking Sites in the Aftermath of a Crisis - the Enabling Role for Self-organization. - Diana Fischer (HICSS, 2018)

Terror Management and Twitter: The Case of the 2016 Berlin Terrorist Attack. - Diana Fischer; Carsten Schwemmer; Kai Fischbach (ISCRAM, 2018)

Crisis Warning Apps: Investigating the Factors Influencing Usage and Compliance with Recommendations for Action. - Diana Fischer; Johannes Putzke-Hattori; Kai Fischbach (HICSS, 2019)