Publikationen 2019

Konferenzbeitrag

  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 (Hg. Finkbeiner, B.; Kleinberg, S.). 3rd Workshop on Formal Reasoning about Causation, Responsibility, and Explanations in Science and Technology , Thessaloniki, Greece, 21. April 2018. Open Publishing Association (2019)
  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 (Hg. Baier, C.; Chaztigiannakis, I.; Flocchini, P.; Leonardi, S.). 46th International Colloquium on Automata, Languages, and Programming, Patras, Greece, 09. Juli 2019 - 12. Juli 2019. Schloss Dagstuhl, Wadern (2019)

Hochschulschrift - Doktorarbeit

  1. Zafar, M. B.: Discrimination in Algorithmic Decision Making: From Principles to Measures and Mechanisms. Dissertation, 111 S., Universität des Saarlandes, Saarbrücken (2019)
Zur Redakteursansicht