Publications 2019

Conference Paper

  1. 1.
    Dimitrova, R.; Majumdar, R.; Prabhu, V.: Causality Analysis for Concurrent Reactive Systems (Extended Abstract). In: Proceedings 3rd Workshop on Formal Reasoning about Causation, Responsibility, and Explanations in Science and Technology (Eds. Finkbeiner, B.; Kleinberg, S.). 3rd Workshop on Formal Reasoning about Causation, Responsibility, and Explanations in Science and Technology , Thessaloniki, Greece, April 21, 2018. Open Publishing Association (2019)
  2. 2.
    Dörfler, J.; Ikenmeyer, C.; Panova, G.: On Geometric Complexity Theory: Multiplicity Obstructions Are Stronger Than Occurrence Obstructions. In: 46th International Colloquium on Automata, Languages, and Programming (Eds. Baier, C.; Chaztigiannakis, I.; Flocchini, P.; Leonardi, S.). 46th International Colloquium on Automata, Languages, and Programming, Patras, Greece, July 09, 2019 - July 12, 2019. Schloss Dagstuhl, Wadern (2019)

Thesis - PhD

  1. 3.
    Zafar, M. B.: Discrimination in Algorithmic Decision Making: From Principles to Measures and Mechanisms. Dissertation, 111 pp., Universität des Saarlandes, Saarbrücken (2019)
Go to Editor View