D'Costa, J.; Lefaucheux, E.; Ouaknine, J.; Worrell, J.: How Fast Can You Escape a Compact Polytope? In: 37th International Symposium on Theoretical Aspects of Computer Science, 49, S. 1 - 11 (Hg. Paul, C.; Bläser, M.). 37th International Symposium on Theoretical Aspects of Computer Science, Montpellier, France, 10. März 2020 - 13. März 2020. Schloss Dagstuhl, Wadern (2020)

De, A.; Koley, P.; Ganguly, N.; Gomez Rodriguez, M.: Regression under Human Assistance. In: AAAI Technical Track: Humans and AI, S. 2611 - 2620. Thirty-Fourth AAAI Conference on Artificial Intelligence, New York, NY, USA, 07. Februar 2020 - 12. Februar 2020. AAAI, Palo Alto, CA (2020)

De, A.; Singla, A.; Upadhyay, U.; Gomez Rodriguez, M.: Can A User Guess What Her Followers Want? In: WSDM '20, S. 142 - 150 (Hg. Caverlee, J.; Hu, X. B.). 13th International Conference on Web Search and Data Mining, Houston, TX, USA, 03. Februar 2020 - 07. Februar 2020. ACM, New York, NY (2020)

Devidze, R.; Mansouri, F.; Haug, L.; Chen, Y.; Singla, A.: Understanding the Power and Limitations of Teaching with Imperfect Knowledge. In: Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, S. 2647 - 2654 (Hg. Bessiere, C.). Twenty-Ninth International Joint Conference on Artificial Intelligence, Yokohama, Japan (Virtual), 07. Januar 2021 - 15. Januar 2021. IJCAI (2020)

Efremov, A.; Ghosh, A.; Singla, A.: Zero-shot Learning of Hint Policy via Reinforcement Learning and Program Synthesis. In: Proceedings of the 13th International Conferenceon Educational Data Mining, S. 388 - 394 (Hg. Rafferty, A. N.; Whitehill, J.; Romero, C.; Cavalli-Sforza, V.). Thirteenth International Conference on Educational Data Mining, Virtual Conference, 10. Juli 2020 - 13. Juli 2020. educationaldatamining.org (2020)

Ehlers, R.; Gavran, I.; Neider, D.: Learning Properties in LTL ∩ ACTL from Positive Examples Only. In: Proceedings of the 20th Conference on Formal Methods in Computer Aided Design, S. 104 - 112 (Hg. Ivrii, A.; Strichman, O.). 20th Conference on Formal Methods in Computer Aided Design, Haifa, Israel, 22. Oktober 2019 - 25. Oktober 2019. IEEE, Piscataway, NJ (2020)

Emelianov, V.; Gast, N.; Gummadi, K. P.; Loiseau, P.: On Fair Selection in the Presence of Implicit Variance. In: EC '20, S. 649 - 675 (Hg. Biró, P.; Hartline, J.). 21st ACM Conference on Economics and Computation, Virtual Event, Hungary, 13. Juli 2020 - 17. Juli 2020. ACM, New York, NY (2020)

Figelius, M.; Ganardi, M.; Lohrey, M.; Zetzsche, G.: The Complexity of Knapsack Problems in Wreath Products. In: 47th International Colloquium on Automata, Languages, and Programming, 126, S. 1 - 18 (Hg. Czumaj, A.; Dawar, A.; Merelli, E.). 47th International Colloquium on Automata, Languages, and Programming, Saarbrücken, Germany (Virtual Conference), 08. Juli 2020 - 11. Juli 2020. Schloss Dagstuhl, Wadern (2020)

Ghosh, A.; Tschiatschek, S.; Mahdavi, H.; Singla, A.: Towards Deployment of Robust Cooperative AI Agents: An Algorithmic Framework for Learning Adaptive Policies. In: AAMAS'20, S. 447 - 455 (Hg. El Fallah Seghruchni, A.; Sukthankr, G.; An, B.; Yorke-Smith, N.). 19th International Conference on Autonomous Agents and MultiAgent Systems, Auckland, New Zealand (Virtual), 09. Mai 2020 - 13. Mai 2020. ACM, New York, NY (2020)

Gujarati, A.; Bozhko, S.; Brandenburg, B. B.: Real-Time Replica Consistency over Ethernet with Reliability Bounds. In: IEEE Real-Time and Embedded Technology and Applications Symposium, S. 376 - 389. IEEE Symposium on Real-Time and Embedded Technology and Applications, Sydney, Australia , 21. April 2020 - 24. April 2020. IEEE, Piscataway, NJ (2020)

Gujarati, A.; Karimi, R.; Alzayat, S.; Hao, W.; Kaufmann, A.; Vigfusson, Y.; Mace, J.: Serving DNNs like Clockwork: Performance Predictability from the Bottom Up. In: 14th USENIX Symposium on Operating Systems Design and Implementation, S. 443 - 462. 14th USENIX Symposium on Operating Systems Design and Implementation, Online, 04. November 2020 - 06. November 2020. USENIX Association (2020)

Hingston, L.; Mace, J.; Buzzatto, J.; Liarokapis, M. V.: Reconfigurable, Adaptive, Lightweight Grasping Mechanisms for Aerial Robotic Platforms. In: IEEE International Symposium on Safety,Security, and Rescue Robotics, S. 169 - 175 (Hg. Marques, L.; Khonji, M.; Dias, J.). IEEE International Symposium on Safety,Security, and Rescue Robotics , Abu Dhabi, United Arab Emirates , 04. November 2020 - 06. November 2020. IEEE, Piscataway, NJ (2020)

Izycheva, A.; Darulova, E.; Seidl, H.: Counterexample- and Simulation-Guided Floating-Point Loop Invariant Synthesis. In: Static Analysis, S. 156 - 177 (Hg. Pichardie, D.; Sighireanu, M.). 27th International Static Analysis Symposium, Virtual Event, 18. November 2020 - 20. November 2020. Springer, Berlin (2020)

Karimov, T.; Ouaknine, J.; Worrell, J.: On LTL Model Checking for Low-Dimensional Discrete Linear Dynamical Systems. In: 45th International Symposium on Mathematical Foundations of Computer Science, 54, S. 1 - 14 (Hg. Esparza, J.; Kràl', D.). 45th International Symposium on Mathematical Foundations of Computer Science, Prague, Czech Republic (Virtual Event), 25. August 2020 - 26. August 2020. Schloss Dagstuhl, Wadern (2020)

Kenison, G.; Lipton, R.; Ouaknine, J.; Worrell, J.: On the Skolem Problem and Prime Powers. In: ISSAC '20, S. 289 - 296 (Hg. Emiris, I. Z.; Zhi, L.; Leykin, A.; Mantzaflaris, A.). 45th International Symposium on Symbolic and Algebraic Computation, Kalamata, Greece (Virtual), 20. Juli 2020 - 23. Juli 2020. ACM, New York, NY (2020)

Kilbertus, N.; Gomez Rodriguez, M.; Schölkopf, B.; Muandet, K.; Valera, I.: Fair Decisions Despite Imperfect Predictions. In: Proceedings of the Twenty Third International Conference on Artificial Intelligence and Statistics, S. 277 - 287 (Hg. Chiappa, S.; Calandra, R.). 23rd International Conference on Artificial Intelligence and Statistics, Virtual Conference, 26. August 2020 - 28. August 2020. PMLR (2020)

Kokologiannakis, M.; Vafeiadis, V.: HMC: Model Checking for Hardware Memory Models. In: ASPLOS XXV, S. 1157 - 1171. Twenty-Fifth International Conference on Architectural Support for Programming Languages and Operating Systems, Lausanne, Switzerland (Virtual Conference), 16. März 2020 - 20. März 2020. ACM, New York, NY (2020)

Kumar, G.; Dukkipati, N.; Jang, K.; Wassel, H. M. G.; Wu, X.; Montazeri, B.; Wang, Y.; Springborn, K.; Alfeld, C.; Ryan, M. et al.; Wetherall, D.; Vahdat, A.: Swift: Delay is Simple and Effective for Congestion Control in the Datacenter. In: SIGCOMM '20, S. 514 - 528. Annual Conference of the ACM Special Interest Group on Data Communication on the Applications, Technologies, Architectures, and Protocols for Computer Communication, Virtual Event, NY, USA, 10. August 2020 - 14. August 2020. ACM, New York, NY (2020)

Lee, S.-H.; Cho, M.; Podkopaev, A.; Chakraborty, S.; Hur, C.-K.; Lahav, O.; Vafeiadis, V.: Promising 2.0: Global Optimizations in Relaxed Memory Concurrency. In: PLDI '20, S. 362 - 376 (Hg. Donaldson, A. F.; Torlak, E.). 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, London, UK (Virtual Event), 15. Juni 2020 - 20. Juni 2020. ACM, New York, NY (2020)

Lohrey, M.; Zetzsche, G.: Knapsack and the Power Word Problem in Solvable Baumslag-Solitar Groups. In: 45th International Symposium on Mathematical Foundations of Computer Science, 67, S. 1 - 15 (Hg. Esparza, J.; Kràl', D.). 45th International Symposium on Mathematical Foundations of Computer Science, Prague, Czech Republic (Virtual Event), 25. August 2020 - 26. August 2020. Schloss Dagstuhl, Wadern (2020)