Wang, C.; Singla, A.; Chen, Y.: Teaching an Active Learner with Contrastive Examples. In: Advances in Neural Information Processing Systems 34, S. 17968 - 17980 (Hg. Ranzato, M.; Beygelzimer, A.; Liang, P. S.; Vaughan, J. W.; Dauphin, Y.). 35th Conference on Neural Information Processing Systems, Virtual, 07. Dezember 2021. Curran Associates, Inc. (2021)

Wesley, S.; Christakis, M.; Navas, J. A.; Trefler, R. J.; Wüstholz, V.; Gurfinkel, A.: Compositional Verification of Smart Contracts Through Communication Abstraction. In: Static Analysis, S. 429 - 452 (Hg. Drăgoi, C.; Mukherjee, S.; Namjoshi, K.). 28th International Static Analysis Symposium, Chicago, IL, USA, 17. Oktober 2021 - 19. Oktober 2021. Springer, Berlin (2021)

Xu, Z.; Wu, B.; Ojha, A.; Neider, D.; Topcu, U.: Active Finite Reward Automaton Inference and Reinforcement Learning Using Queries and Counterexamples. In: Machine Learning and Knowledge Extraction, S. 115 - 135 (Hg. Holzinger, A.; Kieseberg, P.; Tjoa, A. M.). 5th IFIP TC 5, TC 12, WG 8.4, WG 8.9, WG 12.9 International Cross-Domain Conference for Machine Learning & Knowledge Extraction, Virtual Event, 17. August 2021 - 20. August 2021. Springer, Berlin (2021)

Yengera, G.; Devidze, R.; Kamalaruban, P.; Singla, A.: Curriculum Design for Teaching via Demonstrations. In: Advances in Neural Information Processing Systems 34, S. 10496 - 10509 (Hg. Ranzato, M.; Beygelzimer, A.; Liang, P. S.; Vaughan, J. W.; Dauphin, Y.). 35th Conference on Neural Information Processing Systems, Virtual, 07. Dezember 2021. Curran Associates, Inc. (2021)

Yong Wong, M.; Landen, M.; Antonakakis, M.; Blough, D. M.; Redmiles, E. M.; Ahamad, M.: An Inside Look into the Practice of Malware Analysis. In: CCS '21, S. 3053 - 3069 (Hg. Kim, Y.; Kim, J.; Vigna, G.; Shi, E.; Kim, H. et al.). ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, Republic of Korea, 15. November 2021 - 19. November 2021. ACM, New York, NY (2021)

Zetzsche, G.: Recent Advances on Reachability Problems for Valence Systems (Invited Talk). In: Reachability Problems, S. 52 - 65 (Hg. Bell, P. C.; Totzke, P.; Potapov, I.). 5th International Conference on Reachability Problems, Liverpool, UK, 25. Oktober 2021 - 27. Oktober 2021. Springer, Berlin (2021)

Zhang, X.; Bharti, S.; Ma, Y.; Singla, A.; Zhu, X.: The Sample Complexity of Teaching by Reinforcement on Q-Learning. In: AAAI Technical Track on Machine Learning V, S. 10939 - 10947. Thirty-Fifth AAAI Conference on Artificial Intelligence, Virtual, 02. Februar 2021 - 09. Februar 2021. AAAI, Palo Alto, CA (2021)

Abate, C.; Blanco, R.; Ciobâcă, Ş.; Durier, A.; Garg, D.; Hriţcu, C.; Patrignani, M.; Tanter, É.; Thibault, J.: Trace-Relating Compiler Correctness and Secure Compilation. In: Programming Languages and Systems, S. 1 - 28 (Hg. Müller, P.). 29th European Symposium on Programming, Dublin, Ireland (Online Event), 25. April 2020 - 30. April 2020. Springer, Berlin (2020)

Ahmed, U. Z.; Christakis, M.; Efremov, A.; Fernandez, N.; Ghosh, A.; Roychoudhury, A.; Singla, A.: Synthesizing Tasks for Block-based Programming. In: Advances in Neural Information Processing Systems 33, S. 22349 - 22360 (Hg. Larochelle, H.; Ranzato, M.; Hadsell, R.; Balcan, M. F.; Lin, H.). 34th Conference on Neural Information Processing Systems, Virtual Event, 06. Dezember 2020 - 12. Dezember 2020. Curran Associates, Inc. (2020)

Almagor, S.; Kelmendi, E.; Ouaknine, J.; Worrell, J.: Invariants for Continuous Linear Dynamical Systems. In: 47th International Colloquium on Automata, Languages, and Programming, 107, S. 1 - 15 (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)

Arun, V.; Kate, A.; Garg, D.; Druschel, P.; Bhattacharjee, B.: Finding Safety in Numbers with Secure Allegation Escrows. In: Network and Distributed System Security Symposium. The Network and Distributed System Security Symposium , San Diego, CA, USA, 23. Februar 2020 - 26. Februar 2020. Internet Society, Reston, VA (2020)

Baier, C.; Funke, F.; Jantsch, S.; Karimov, T.; Lefaucheux, E.; Ouaknine, J.; Pouly, A.; Purser, D.; Whiteland, M.: Reachability in Dynamical Systems with Rounding. In: 40th IARCS Annual Conferenceon Foundations of SoftwareTechnology and TheoreticalComputer Science, 36, S. 1 - 17 (Hg. Saxena, N.; Simon, S.). 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Goa, India (Virtual Conference), 14. Dezember 2020 - 18. Dezember 2020. Schloss Dagstuhl, Wadern (2020)

Bakker, M. A.; Riverón Valdés, H.; Tu, D. P.; Gummadi, K. P.; Varshney, K. R.; Weller, A.; Pentland, A.: Fair Enough: Improving Fairness in Budget-Constrained Decision Making Using Confidence Thresholds. In: Proceedings of the Workshop on Artificial Intelligence Safety co-located with 34th AAAI Conference on Artificial Intelligence, S. 41 - 53 (Hg. Espinoza, H.; Hernández-Orallo, J.; Chen, X. C.; ÓhÉigeartaigh, S. S.; Huang, X. et al.). Artificial Intelligence Safety, New York, NY, USA, 07. Februar 2020. CEUR-WS.org (2020)

Baumann, P.; Majumdar, R.; Thinniyam, R. S.; Zetzsche, G.: The Complexity of Bounded Context Switching with Dynamic Thread Creation. In: 47th International Colloquium on Automata, Languages, and Programming, 111, S. 1 - 16 (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)

Bilbeisi, G.; Ahmed, S.; Majumdar, R.: DeepEquaL: Deep Learning Based Mathematical Equation to Latex Generation. In: Neural Information Processing, S. 324 - 332 (Hg. Yang, H.; Pasupa, K.; Leung, A. C.-S.; Kwok, J. T.; Chan, J. H. et al.). 27th International Conference on Neural Information Processing, Bangkok, Thailand (Virtual), 18. November 2020 - 22. November 2020. Springer, Berlin (2020)

Bojańczyk, M.; Kelmendi, E.; Stefański, R.; Zetzsche, G.: Extensions of ω-Regular Languages. In: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science, S. 266 - 272. 35th Annual ACM/IEEE Symposium on Logic in Computer Science, Saarbrücken, Germany (Online), 08. Juli 2020 - 11. Juli 2020. ACM, New York, NY (2020)

Bozhko, S.; Brandenburg, B. B.: Abstract Response-Time Analysis: A Formal Foundation for the Busy-Window Principle. In: 32nd Euromicro Conference on Real-Time Systems, 22, S. 1 - 24 (Hg. Völp, M.). 32nd Euromicro Conference on Real-Time Systems, Virtual Conference, 07. Juli 2020 - 10. Juli 2020. Schloss Dagstuhl, Wadern (2020)

Cadilhac, M.; Chistikov, D.; Zetzsche, G.: Rational Subsets of Baumslag-Solitar Groups. In: 47th International Colloquium on Automata, Languages, and Programming, 116, S. 1 - 16 (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)

Chakraborty, A.; Gummadi, K. P.: Fairness in Algorithmic Decision Making. In: Proceedings of the 7th ACM IKDD CoDS and 25th COMAD, S. 367 - 368 (Hg. Bhattacharya, A.; Natarajan, S.; Saha Roy, R.). ACM India Joint International Conferenceon Data Science and Management of Data , Hyderabad, India, 05. Januar 2020 - 07. Januar 2020. ACM, New York, NY (2020)

Czerwiński, W.; Zetzsche, G.: An Approach to Regular Separability in Vector Addition Systems. In: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science, S. 341 - 354. 35th Annual ACM/IEEE Symposium on Logic in Computer Science, Saarbrücken, Germany (Online), 08. Juli 2020 - 11. Juli 2020. ACM, New York, NY (2020)