Darulova, E.; Volkova, A.: Sound Approximation of Programs with Elementary Functions. In: Computer Aided Verification, pp. 174 - 183 (Eds. Dillig, I.; Tasiran, S.). 31st International Conference on Computer-Aided Verification, York City, NY, USA, July 15, 2019 - July 18, 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, November 09, 2019 - November 13, 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, pp. 509 - 516. Thirty-Third AAAI Conference on Artificial Intelligence, Honolulu, HI, USA, January 27, 2019 - February 01, 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, pp. 31 - 33 (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)

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

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, pp. 5836 - 5842 (Ed. Krais, S.). Twenty-Eighth International Joint Conference on Artificial Intelligence, Macao, August 10, 2019 - August 16, 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, pp. 162 - 180 (Ed. Chang, B.-Y. E.). 26th International Static Analysis Symposium, Porto, Portugal, October 08, 2019 - October 11, 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, pp. 77 - 86. 22nd ACM International Conference on Hybrid Systems: Computation and Control, Montreal, Canada, April 16, 2019 - April 18, 2019. ACM, New York, NY (2019)

Fischer, J. M.; Majumdar, R.: Programming Event Processors with Thingflow. In: ICCPS'19, pp. 67 - 76. ACM/IEEE International Conference on Cyber-Physical Systems, Montreal, Canada, April 16, 2019 - April 18, 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, November 09, 2019 - November 13, 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, October 13, 2019 - October 18, 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, pp. 1 - 23 (Ed. Quinton, S.). 31st Euromicro Conference on Real-Time Systems, Stuttgart, Germany, July 09, 2019 - July 12, 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, pp. 1301 - 1302. The Web Conference, San Francisco, CA, USA, May 13, 2019 - May 17, 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, pp. 1 - 14. 34th Annual ACM/IEEE Symposium on Logic in Computer Science, Vancouver, Canada, June 24, 2019 - June 27, 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, pp. 181 - 190. Conference on Fairness, Accountability, and Transparency, Atlanta, GA, USA, January 29, 2019 - January 31, 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, pp. 2692 - 2701 (Eds. Chaudhuri, K.; Salakhutdinov, R.). 36th International Conference on Machine Learning, Long Beach, CA, USA, June 09, 2019 - June 15, 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, pp. 455 - 474 (Eds. Dillig, I.; Tasiran, S.). 31st International Conference on Computer-Aided Verification, New York, NY, USA, July 15, 2019 - July 18, 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 (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)

Hsu, K.; Majumdar, R.; Mallik, K.; Schmuck, A.-K.: Lazy Abstraction-Based Controller Synthesis. In: Automated Technology for Verification and Analysis, pp. 2 - 47 (Eds. Fang, Y.; Cheng, C.-H.; Esparza, J.). 17th International Symposium on Automated Technology for Verification and Analysis, Taipei, Taiwan, October 28, 2019 - October 31, 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, pp. 85 - 100 (Eds. Zamani, M.; Zufferey, D.). 12th International Workshop on Numerical Software Verification, New York, NY, USA, July 13, 2019 - July 14, 2019. Springer, Berlin (2019)