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, S. 270 - 287 (Hg. Beyer, D.; Huisman, M.). 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Thessaloniki, Greece, 14. April 2018 - 20. April 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, S. 220 - 231. 9th ACM/IEEE International Conference on Cyber-Physical Systems , Porto, Portugal, 11. April 2018 - 13. April 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, S. 136 - 149. 16th Annual International Conference on Mobile Systems, Applications, and Services, Munich, Germany, 10. Juni 2018 - 15. Juni 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, S. 1 - 16 (Hg. Schewe, S.; Zhang, L.). 29th International Conference on Concurrency Theory, Beijing, China, 04. September 2018 - 07. September 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, S. 473 - 477 (Hg. Champin, P.-A.; Gandon, F.; Médini, L.). The Web Conference, Lyon, France, 23. April 2018 - 27. April 2018. ACM, New York, NY (2018)

Fried, D.; Legay, A.; Ouaknine, J.; Vardi, M. Y.: Sequential Relational Decomposition. In: LICS'18, S. 432 - 441. 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, Oxford, UK, 09. Juli 2018 - 12. Juli 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, S. 1 - 13 (Hg. Niedermeier, R.; Vallée, B.). 35th Symposium on Theoretical Aspects of Computer Science, Caen, France, 28. Februar 2018 - 03. März 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, S. 44 - 56. ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Boston, MA, USA, 07. November 2018 - 08. November 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, S. 51 - 60. Thirty-Second AAAI Conference on Artificial Intelligence, New Orleans, LA, USA, 02. Februar 2018 - 07. Februar 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, S. 903 - 912 (Hg. Champin, P.-A.; Gandon, F.; Médini, L.). The Web Conference, Lyon, France, 23. April 2018 - 27. April 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, S. 1 - 24 (Hg. Altmeyer, S.). 30th Euromicro Conference on Real-Time Systems, Barcelona, Spain, 03. Juli 2018 - 06. Juli 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, S. 8464 - 8473 (Hg. Bengio, S.; Wallach, H.; Larochelle, H.; Graumann, K.; Cesa-Bianchi, N. et al.). Thirty-second Conference on Neural Information Processing Systems, Montréal, Canada, 02. Dezember 2018 - 08. Dezember 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, S. 1265 - 1276 (Hg. Bengio, S.; Wallach, H.; Larochelle, H.; Graumann, K.; Cesa-Bianchi, N. et al.). Thirty-second Conference on Neural Information Processing Systems, Montréal, Canada, 02. Dezember 2018 - 08. Dezember 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, 21. April 2018 - 26. April 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, S. 2248 - 2256. Thirty-Second AAAI Conference on Artificial Intelligence, New Orleans, LA, USA, 02. Februar 2018 - 07. Februar 2018. AAAI, Palo Alto, CA (2018)

Hrushovski, E.; Ouaknine, J.; Pouly, A.; Worrell, J.: Polynomial Invariants for Affine Programs. In: LICS'18, S. 530 - 539. 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, Oxford, UK, 09. Juli 2018 - 12. Juli 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, S. 4902 - 4907. 57th IEEE Conference on Decision and Control, Miami Beach, FL, USA, 17. Dezember 2018 - 19. Dezember 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, S. 120 - 129. 21st International Conference on Hybrid Systems: Computation and Control , Porto, Portugal, 11. April 2018 - 13. April 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, S. 2630 - 2639 (Hg. Dy, J.; Krause, A.). 35th International Conference on Machine Learning, Stockholm, Sweden, 10. Juli 2018 - 15. Juli 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, S. 324 - 332. 11th ACM International Conference on Web Search and Data Mining, Marina Del Rey, CA, USA, 05. Februar 2018 - 09. Februar 2018. ACM, New York, NY (2018)