Darulova, E.; Izycheva, A.; Nasir, F.; Ritter, F.; Becker, H.; Bastian, R.: Daisy - Framework for Analysis and Optimization of Numerical Programs (Tool Paper). In: Tools and Algorithms for the Construction and Analysis of Systems, pp. 270 - 287 (Eds. Beyer, D.; Huisman, M.). 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Thessaloniki, Greece, April 14, 2018 - April 20, 2018. Springer, Berlin (2018)

Deshmukh, J. V.; Jin, X.; Majumdar, R.; Prabhu, V.: Parameter Optimization in Control Software using Statistical Fault Localization Techniques. In: 9th ACM/IEEE International Conference on Cyber-Physical Systems, pp. 220 - 231. 9th ACM/IEEE International Conference on Cyber-Physical Systems , Porto, Portugal, April 11, 2018 - April 13, 2018. IEEE, Piscataway, NJ (2018)

Erdélyi, V.; Le, T.-K.; Bhattacharjee, B.; Druschel, P.; Ono, N.: Sonoloc: Scalable Positioning of Commodity Mobile Devices. In: MobiSys'18, pp. 136 - 149. 16th Annual International Conference on Mobile Systems, Applications, and Services, Munich, Germany, June 10, 2018 - June 15, 2018. ACM, New York, NY (2018)

Esparza, J.; Ganty, P.; Majumdar, R.; Weil-Kennedy, C.: Verification of Immediate Observation Population Protocols. In: 29th International Conference on Concurrency Theory, 31, pp. 1 - 16 (Eds. Schewe, S.; Zhang, L.). 29th International Conference on Concurrency Theory, Beijing, China, September 04, 2018 - September 07, 2018. Schloss Dagstuhl, Wadern (2018)

Farajtabar, M.; Gomez Rodriguez, M.; Wang, Y.; Li, S.; Zha, H.; Song, L.: COEVOLVE: A Joint Point Process Model for Information Diffusion and Network Co-evolution. In: Companion of the World Wide Web Conference, pp. 473 - 477 (Eds. Champin, P.-A.; Gandon, F.; Médini, L.). The Web Conference, Lyon, France, April 23, 2018 - April 27, 2018. ACM, New York, NY (2018)

Fried, D.; Legay, A.; Ouaknine, J.; Vardi, M. Y.: Sequential Relational Decomposition. In: LICS'18, pp. 432 - 441. 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, Oxford, UK, July 09, 2018 - July 12, 2018. ACM, New York, NY (2018)

Ganardi, M.; König, D.; Lohrey, M.; Zetzsche, G.: Knapsack Problems for Wreath Products. In: 35th Symposium on Theoretical Aspects of Computer Science, 32, pp. 1 - 13 (Eds. Niedermeier, R.; Vallée, B.). 35th Symposium on Theoretical Aspects of Computer Science, Caen, France, February 28, 2018 - March 03, 2018. Schloss Dagstuhl, Wadern (2018)

Gavran, I.; Mailahn, O.; Müller, R.; Peifer, R.; Zufferey, D.: TOOL: Accessible Automated Reasoning for Human Robot Collaboration. In: Onward!'18, pp. 44 - 56. ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Boston, MA, USA, November 07, 2018 - November 08, 2018. ACM, New York, NY (2018)

Grgić-Hlača, N.; Zafar, M. B.; Gummadi, K.; Weller, A.: Beyond Distributive Fairness in Algorithmic Decision Making: Feature Selection for Procedurally Fair Learning. In: Thirty-Second AAAI Conference on Artificial Intelligence, 16523, pp. 51 - 60. Thirty-Second AAAI Conference on Artificial Intelligence, New Orleans, LA, USA, February 02, 2018 - February 07, 2018. AAAI, Palo Alto, CA (2018)

Grgic-Hlaca, N.; Redmiles, E. M.; Gummadi, K. P.; Weller, A.: Human Perceptions of Fairness in Algorithmic Decision Making: A Case Study of Criminal Risk Prediction. In: Proceedings of the World Wide Web Conference, pp. 903 - 912 (Eds. Champin, P.-A.; Gandon, F.; Médini, L.). The Web Conference, Lyon, France, April 23, 2018 - April 27, 2018. ACM, New York, NY (2018)

Gujarati, A.; Nasri, M.; Brandenburg, B.: Quantifying the Resiliency of Fail-Operational Real-Time Networked Control Systems. In: 30th Euromicro Conference on Real-Time Systems, 16, pp. 1 - 24 (Ed. Altmeyer, S.). 30th Euromicro Conference on Real-Time Systems, Barcelona, Spain, July 03, 2018 - July 06, 2018. Schloss Dagstuhl, Wadern (2018)

Haug, L.; Tschiatschek, S.; Singla, A.: Teaching Inverse Reinforcement Learners via Features and Demonstrations. In: Advances in Neural Information Processing Systems 31, pp. 8464 - 8473 (Eds. Bengio, S.; Wallach, H.; Larochelle, H.; Graumann, K.; Cesa-Bianchi, N. et al.). Thirty-second Conference on Neural Information Processing Systems, Montréal, Canada, December 02, 2018 - December 08, 2018. Curran Associates (2018)

Heidari, H.; Ferrari, C.; Gummadi, K.; Krause, A.: Fairness Behind a Veil of Ignorance: A Welfare Analysis for Automated Decision Making. In: Advances in Neural Information Processing Systems 31, pp. 1265 - 1276 (Eds. Bengio, S.; Wallach, H.; Larochelle, H.; Graumann, K.; Cesa-Bianchi, N. et al.). Thirty-second Conference on Neural Information Processing Systems, Montréal, Canada, December 02, 2018 - December 08, 2018. Curran Associates (2018)

Henley, A. Z.; Muçlu, K.; Christakis, M.; Fleming, S. D.; Bird, C.: CFar: A Tool to Increase Communication, Productivity, and Review Quality in Collaborative Code Reviews. In: CHI 2018, 154. CHI Conference on Human Factors in Computing Systems, Montréal, Canada, April 21, 2018 - April 26, 2018. ACM, New York, NY (2018)

Hirnschall, C.; Singla, A.; Tschiatschek, S.; Krause, A.: Learning User Preferences to Incentivize Exploration in the Sharing Economy. In: Thirty-Second AAAI Conference on Artificial Intelligence, 16636, pp. 2248 - 2256. Thirty-Second AAAI Conference on Artificial Intelligence, New Orleans, LA, USA, February 02, 2018 - February 07, 2018. AAAI, Palo Alto, CA (2018)

Hrushovski, E.; Ouaknine, J.; Pouly, A.; Worrell, J.: Polynomial Invariants for Affine Programs. In: LICS'18, pp. 530 - 539. 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, Oxford, UK, July 09, 2018 - July 12, 2018. ACM, New York, NY (2018)

Hsu, K.; Majumdar, R.; Mallik, K.; Schmuck, A.-K.: Lazy Abstraction-Based Control for Safety Specifications. In: IEEE Conference on Decision and Control, pp. 4902 - 4907. 57th IEEE Conference on Decision and Control, Miami Beach, FL, USA, December 17, 2018 - December 19, 2018. IEEE, Piscataway, NJ (2018)

Hsu, K.; Majumdar, R.; Mallik, K.; Schmuck, A.-K.: Multi-Layered Abstraction-Based Controller Synthesis for Continuous-Time Systems. In: HSCC 2018, pp. 120 - 129. 21st International Conference on Hybrid Systems: Computation and Control , Porto, Portugal, April 11, 2018 - April 13, 2018. ACM, New York, NY (2018)

Kilbertus, N.; Gascon, A.; Kusner, M.; Veale, M.; Gummadi, K. P.; Weller, A.: Blind Justice: Fairness with Encrypted Sensitive Attributes. In: Proceedings of the 35th International Conference on Machine Learning, pp. 2630 - 2639 (Eds. Dy, J.; Krause, A.). 35th International Conference on Machine Learning, Stockholm, Sweden, July 10, 2018 - July 15, 2018. PMLR (2018)

Kim, J.; Tabibian, B.; Oh, A.; Schölkopf, B.; Gomez Rodriguez, M.: Leveraging the Crowd to Detect and Reduce the Spread of Fake News and Misinformation. In: WSDM'18, pp. 324 - 332. 11th ACM International Conference on Web Search and Data Mining, Marina Del Rey, CA, USA, February 05, 2018 - February 09, 2018. ACM, New York, NY (2018)