Diana Fischer

According to our database, Diana Fischer authored at least 13 papers between 2008 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2019

Crisis Warning Apps: Investigating the Factors Influencing Usage and Compliance with Recommendations for Action.

Diana Fischer, Johannes Putzke-Hattori, Kai Fischbach

Proceedings of the 52nd Hawaii International Conference on System Sciences, 2019

2018

Terror Management and Twitter: The Case of the 2016 Berlin Terrorist Attack.

Diana Fischer, Carsten Schwemmer, Kai Fischbach

Proceedings of the 15th International Conference on Information Systems for Crisis Response and Management, 2018

Social Networking Sites in the Aftermath of a Crisis - the Enabling Role for Self-organization.

Diana Fischer

Proceedings of the 51st Hawaii International Conference on System Sciences, 2018

2016

Applying Social Network Analysis and Centrality Measures to Improve Information Flow Analysis.

Stephan Kiesling, Jil Klünder, Diana Fischer, Kurt Schneider, Kai Fischbach

Proceedings of the Product-Focused Software Process Improvement, 2016

Usage Behavior of Social Network Sites in the Aftermath of Terrorist Attacks.

Diana Fischer, Kathrin Eismann, Kai Fischbach

Proceedings of the International Conference on Information Systems, 2016

Communication Barriers in Crisis Management: a literature Review.

Diana Fischer, Oliver Posegga, Kai Fischbach

Proceedings of the 24th European Conference on Information Systems, 2016

2013

The quantitative µ-calculus.

Diana Fischer

PhD thesis, 2013

2012

Model Checking the Quantitative mu-Calculus on Linear Hybrid Systems

Diana Fischer, Lukasz Kaiser

Log. Methods Comput. Sci., 2012

2011

Model Checking the Quantitative <i>μ</i>-Calculus on Linear Hybrid Systems.

Diana Fischer, Lukasz Kaiser

Proceedings of the Automata, Languages and Programming - 38th International Colloquium, 2011

2010

Model Checking Games for the Quantitative <i>µ</i>-Calculus.

Diana Fischer, Erich Grädel, Lukasz Kaiser

Theory Comput. Syst., 2010

Logics for Quantitative Systems.

Diana Fischer

Proceedings of the Joint Workshop of the German Research Training Groups in Computer Science, 2010

2008

Model Checking Games for the Quantitative mu-Calculus

Diana Fischer, Erich Grädel, Lukasz Kaiser

CoRR, 2008

Model Checking Games for the Quantitative µ-Calculus.

Diana Fischer, Erich Grädel, Lukasz Kaiser

Proceedings of the STACS 2008, 2008