Darulova, E.; Volkova, A.: Sound Approximation of Programs with Elementary Functions. In: Computer Aided Verification, S. 174 - 183 (Hg. Dillig, I.; Tasiran, S.). 31st International Conference on Computer-Aided Verification, York City, NY, USA, 15. Juli 2019 - 18. Juli 2019. Springer, Berlin (2019)

Dash, A.; Shandilya, A.; Biswas, A.; Ghosh, K.; Ghosh, S.; Chakraborty, A.: Summarizing User-generated Textual Content: Motivation and Methods for Fairness in Algorithmic Summaries. 22nd ACM Conference on Computer-Supported Cooperative Work and Social Computing, Austin, TX, USA, 09. November 2019 - 13. November 2019. Proceedings of the ACM Human-Computer Interaction 3, CSCW, 172, (2019)

Dimitrakakis, C.; Liu, Y.; Parkes, D. C.; Radanovic, G.: Bayesian Fairness. In: Proceedings of the AAAI Conference on Artificial Intelligence, S. 509 - 516. Thirty-Third AAAI Conference on Artificial Intelligence, Honolulu, HI, USA, 27. Januar 2019 - 01. Februar 2019. AAAI Press, Palo Alto, CA (2019)

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, S. 31 - 33 (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)

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, 51, S. 1 - 14 (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)

Emelianov, V.; Arvanitakis, G.; Gast, N.; Gummadi, K.; Loiseau, P.: The Price of Local Fairness in Multistage Selection. In: Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, S. 5836 - 5842 (Hg. Krais, S.). Twenty-Eighth International Joint Conference on Artificial Intelligence, Macao, 10. August 2019 - 16. August 2019. IJCAI (2019)

Fijalkow, N.; Lefaucheux, E.; Ohlmann, P.; Ouaknine, J.; Pouly, A.; Worrell, J.: On the Monniaux Problem in Abstract Interpretation. In: Static Analysis, S. 162 - 180 (Hg. Chang, B.-Y. E.). 26th International Static Analysis Symposium, Porto, Portugal, 08. Oktober 2019 - 11. Oktober 2019. Springer, Berlin (2019)

Fijalkow, N.; Ouaknine, J.; Pouly, A.; Sousa-Pinto, J.; Worrell, J.: On the Decidability of Reachability in Linear Time-invariant Systems. In: HSCC'19, S. 77 - 86. 22nd ACM International Conference on Hybrid Systems: Computation and Control, Montreal, Canada, 16. April 2019 - 18. April 2019. ACM, New York, NY (2019)

Fischer, J. M.; Majumdar, R.: Programming Event Processors with Thingflow. In: ICCPS'19, S. 67 - 76. ACM/IEEE International Conference on Cyber-Physical Systems, Montreal, Canada, 16. April 2019 - 18. April 2019. ACM, New York, NY (2019)

Grgić-Hlača, N.; Engel, C.; Gummadi, K.: Human Decision Making with Machine Assistance: An Experiment on Bailing and Jailing. 22nd ACM Conference on Computer-Supported Cooperative Work and Social Computing, Austin, TX, USA, 09. November 2019 - 13. November 2019. Proceedings of the ACM Human-Computer Interaction 3, CSCW, 178, (2019)

Gujarati, A.; Appel, M.; Brandenburg, B.: Achal: Building Highly Reliable Networked Control Systems. In: Proceedings of the International Conference on Embedded Software Companion, 9. International Conference on Embedded Software, New York, NY, USA, 13. Oktober 2019 - 18. Oktober 2019. ACM, New York, NY (2019)

Gujarati, A.; Nasri, M.; Majumdar, R.; Brandenburg, B.: From Iteration to System Failure: Characterizing the FITness of Periodic Weakly-Hard Systems. In: 31st Euromicro Conference on Real-Time Systems, 9, S. 1 - 23 (Hg. Quinton, S.). 31st Euromicro Conference on Real-Time Systems, Stuttgart, Germany, 09. Juli 2019 - 12. Juli 2019. Schloss Dagstuhl, Wadern (2019)

Gummadi, K.; Heidari, H.: Economic Theories of Distributive Justice for Fair Machine Learning. In: Proceedings of The World Wide Web Conference, S. 1301 - 1302. The Web Conference, San Francisco, CA, USA, 13. Mai 2019 - 17. Mai 2019. ACM, New York, NY (2019)

Haase, C.; Zetzsche, G.: Presburger Arithmetic with Stars, Rational Subsets of Graph Groups, and Nested Zero Tests. In: 34th Annual ACM/IEEE Symposium on Logic in Computer Science, S. 1 - 14. 34th Annual ACM/IEEE Symposium on Logic in Computer Science, Vancouver, Canada, 24. Juni 2019 - 27. Juni 2019. IEEE, Piscataway, NJ (2019)

Heidari, H.; Loi, M.; Gummadi, K.; Krause, A.: A Moral Framework for Understanding Fair ML through Economic Models of Equality of Opportunity. In: Proceedings of the 2019 Conference on Fairness, Accountability, and Transparency, S. 181 - 190. Conference on Fairness, Accountability, and Transparency, Atlanta, GA, USA, 29. Januar 2019 - 31. Januar 2019. ACM, New York, NY (2019)

Heidari, H.; Nanda, V.; Gummadi, K.: On the Long-term Impact of Algorithmic Decision Policies: Effort Unfairness and Feature Segregation through Social Learning. In: Proceedings of the 36th International Conference on Machine Learning, S. 2692 - 2701 (Hg. Chaudhuri, K.; Salakhutdinov, R.). 36th International Conference on Machine Learning, Long Beach, CA, USA, 09. Juni 2019 - 15. Juni 2019. (2019)

Hong, C.-D.; Lin, A. W.; Majumdar, R.; Rümmer, P.: Probabilistic Bisimulation for Parameterized Systems (with Applications to Verifying Anonymous Protocols). In: Computer Aided Verification, S. 455 - 474 (Hg. Dillig, I.; Tasiran, S.). 31st International Conference on Computer-Aided Verification, New York, NY, USA, 15. Juli 2019 - 18. Juli 2019. Springer, Berlin (2019)

Hosseini, M.; Ouaknine, J.; Worrell, J.: Termination of Linear Loops over the Integers. In: 46th International Colloquium on Automata, Languages, and Programming, 118 (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)

Hsu, K.; Majumdar, R.; Mallik, K.; Schmuck, A.-K.: Lazy Abstraction-Based Controller Synthesis. In: Automated Technology for Verification and Analysis, S. 2 - 47 (Hg. Fang, Y.; Cheng, C.-H.; Esparza, J.). 17th International Symposium on Automated Technology for Verification and Analysis, Taipei, Taiwan, 28. Oktober 2019 - 31. Oktober 2019. Springer, Berlin (2019)

Huang, C.; Kong, S.; Gao, S.; Zufferey, D.: Evaluating Branching Heuristics in Interval Constraint Propagation for Satisfiability. In: Numerical Software Verification, S. 85 - 100 (Hg. Zamani, M.; Zufferey, D.). 12th International Workshop on Numerical Software Verification, New York, NY, USA, 13. Juli 2019 - 14. Juli 2019. Springer, Berlin (2019)