Tschiatschek, S.; Knobelsdorf, M.; Singla, A.: Equity and Fairness of Bayesian Knowledge Tracing. In: Proceedings of the 15th International Conference on Educational Data Mining, S. 578 - 582 (Hg. Mitrovic, A.; Bosch, N.). 15th International Conference on Educational Data Mining, Durham, UK, 24. Juli 2022 - 27. Juli 2022. International Educational Data Mining Society (2022)

Wang, L.; Joachims, T.; Gomez Rodriguez, M.: Improving Screening Processes via Calibrated Subset Selection. In: Proceedings of the 39th International Conference on Machine Learning, S. 22702 - 22726 (Hg. Chaudhuri, K.; Jegelka, S.; Le, S.; Csaba, S.; Gang, N. et al.). 39th International Conference on Machine Learning, Baltimore, MA, USA, 17. Juli 2022 - 23. Juli 2022. (2022)

Wesley, S.; Christakis, M.; Navas, J. A.; Trefler, R.; Wüstholz, V.; Gurfinkel, A.: Verifying Solidity Smart Contracts via Communication Abstraction in SmartACE. In: Verification, Model Checking, and Abstract Interpretation, S. 425 - 449 (Hg. Finkbeiner, B.; Wies, T.). 23rd International Conference on Verification, Model Checking, and Abstract Interpretation, Philadelphia, PA, USA, 16. Januar 2022 - 18. Januar 2022. Springer, Berlin (2022)

Xie, X.; Kersting, K.; Neider, D.: Neuro-Symbolic Verification of Deep Neural Networks. In: Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, S. 3622 - 3628 (Hg. de Raedt, L.). Thirty-First International Joint Conference on Artificial Intelligence, Vienna, Austria, 23. Juli 2022 - 29. Juli 2022. IJCAI (2022)

33rd Euromicro Conference on Real-Time Systems. In: 33nd Euromicro Conference on Real-Time Systems, S. 1 - 12. 33nd Euromicro Conference on Real-Time Systems, Virtual Conference, 07. Juli 2020 - 10. Juli 2020. Schloss Dagstuhl, Wadern (2021)

Abbasi, R.; Schiffl, J.; Darulova, E.; Ulbrich, M.; Ahrendt, W.: Deductive Verification of Floating-Point Java Programs in KeY. In: Tools and Algorithms for the Construction and Analysis of Systems, S. 242 - 261 (Hg. Groote, J. F.; Guldstrand Larsen, K.). 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Luxembourg City, Luxembourg, 27. März 2021 - 01. April 2021. Springer, Berlin (2021)

Abdulla, P. A.; Atig, M. F.; Godbole, A.; Krishna, S. N.; Vafeiadis, V.: The Decidability of Verification under PS 2.0. In: Programming Languages and Systems, S. 1 - 29 (Hg. Yoshida, N.). 24th European Joint Conferences on Theory and Practice of Software, Luxembourg City, Luxembourg, 27. März 2021 - 01. April 2021. Springer, Berlin (2021)

Akgul, O.; Abu-Salma, R.; Bai, W.; Redmiles, E. M.; Mazurek, M. L.; Ur, B.: From Secure to Military-Grade: Exploring the Effect of App Descriptions on User Perceptions of Secure Messaging. In: WPES '21, S. 119 - 135 (Hg. Livraga, G.). 20th Workshop on Workshop on Privacy in the Electronic Society, Virtual Event, Republic of Korea, 15. November 2021. ACM, New York, NY (2021)

Ali, J.; Lahoti, P.; Gummadi, K. P.: Accounting for Model Uncertainty in Algorithmic Discrimination. In: AIES '21, S. 336 - 345 (Hg. Fourcade, M.; Kuipers, B.; Lazar, S.; Mulligan, D.). Fourth AAAI/ACM Conference on Artificial Intelligence, Ethics and Society, Virtual Conference, 19. Mai 2021 - 21. Mai 2021. ACM, New York, NY (2021)

Anand, V.; De Viti, R.; Mace, J.: Systems Trivia Night. In: HotOS XVIII, S. 239 - 239. Workshop on Hot Topics in Operating Systems, Ann Arbor, MI, USA (Virtual Conference), 01. Juni 2021 - 03. Juni 2021. ACM, New York, NY (2021)

Baharisangari, N.; Gaglione, J.-R.; Neider, D.; Topcu, U.; Xu, Z.: Uncertainty-Aware Signal Temporal Logic Inference. In: Software Verification, S. 61 - 85 (Hg. Bloem, R.; Dimitrova, R.; Fan, C.; Sharygina, N.). 13th Working Conference on Verified Software: Theories, Tools, and Experiment, New Haven, CT, USA (Virtual), 18. Oktober 2021 - 19. Oktober 2021. Springer, Berlin (2021)

Baier, C.; Christakis, M.; Gros, T. P.; Groß, D.; Gumhold, S.; Hermanns, H.; Hoffmann, J.; Klauck, M.: Lab Conditions for Research on Explainable Automated Decisions. In: Trustworthy AI -- Integrating Learning, Optimization and Reasoning, S. 83 - 90 (Hg. Heintz, F.; Milano, M.; O'Sullivan, M.). 1st TAILOR Workshop, Virtual Event, 04. September 2020 - 05. September 2020. Springer, Berlin (2021)

Baier, C.; Dubslaff, C.; Funke, F.; Jantsch, S.; Majumdar, R.; Piribauer, J.; Ziemek, R.: From Verification to Causality-Based Explications (Invited Talk). In: 48th International Colloquium on Automata, Languages, and Programming, 1, S. 1 - 20 (Hg. Bansal, N.; Merelli, E.; Worrell, J.). 48th International Colloquium on Automata, Languages, and Programming, Glasgow, UK (Virtual Conference), 12. Juli 2021 - 16. Juli 2020. Schloss Dagstuhl, Wadern (2021)

Baier, C.; Funke, F.; Jantsch, S.; Karimov, T.; Lefaucheux, E.; Luca, F.; Ouaknine, J.; Purser, D.; Whiteland, M.; Worrell, J.: The Orbit Problem for Parametric Linear Dynamical Systems. In: 32nd International Conference on Concurrency Theory, 28, S. 1 - 17 (Hg. Haddad, S.; Varacca, D.). 32nd International Conference on Concurrency Theory, Virtual Conference, 24. August 2021 - 27. August 2021. Schloss Dagstuhl, Wadern (2021)

Baier, C.; Funke, F.; Majumdar, R.: Responsibility Attribution in Parameterized Markovian Models. In: AAAI Technical Track on Planning, Routing, and Scheduling, S. 11734 - 11743. Thirty-Fifth AAAI Conference on Artificial Intelligence, Virtual Conference, 02. Februar 2021 - 09. Februar 2021. AAAI, Palo Alto, CA (2021)

Baier, C.; Funke, F.; Majumdar, R.: A Game-Theoretic Account of Responsibility Allocation. In: Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, S. 1773 - 1779 (Hg. Zhou, Z.-H.). Thirtieth International Joint Conference on Artificial Intelligence, Montreal, Canada, 19. August 2021 - 27. August 2021. IJCAI (2021)

Bakker, M. A.; Tu, D. P.; Gummadi, K.; Pentland, A. S.; Varshney, K. R.; Weller, A.: Beyond Reasonable Doubt: Improving Fairness in Budget-Constrained Decision Making Using Confidence Thresholds. In: AIES '21, S. 346 - 356 (Hg. Fourcade, M.; Kuipers, B.; Lazar, S.; Mulligan, D.). Fourth AAAI/ACM Conference on Artificial Intelligence, Ethics and Society, Virtual Conference, 19. Mai 2021 - 21. Mai 2021. ACM, New York, NY (2021)

Barbot, B.; Bollig, B.; Finkel, A.; Haddad, S.; Khmelnitsky, I.; Leucker, M.; Neider, D.; Roy, R.; Ye, L.: Extracting Context-Free Grammars from Recurrent. In: Proceedings of the Fifteenth International Conference on Grammatical Inference, S. 113 - 129 (Hg. Chandlee, J.; Eyraud, R.; Heinz, J.; Jardine, A.; van Zaanen, M.). Fifteenth International Conference on Grammatical Inference, Virtual Event, 23. August 2021 - 27. August 2021. MLR Press (2021)

Barwulor, C.; McDonald, A.; Hargittai, E.; Redmiles, E. M.: "Disadvantaged in the American-Dominated Internet": Sex, Work, and Technology. In: CHI '21, 563, S. 1 - 16 (Hg. Kitamura, Y.; Quigley, A.; Ikematsu, K.; Kosch, T.). CHI Conference on Human Factors in Computing Systems, Yokohama, Japan (Online Virtual Conference), 08. Mai 2021 - 13. Mai 2021. ACM, New York, NY (2021)

Becker, H.; Bos, N.; Gavran, I.; Darulova, E.; Majumdar, R.: Lassie: HOL4 Tactics by Example. In: CPP '21, S. 212 - 223 (Hg. Hriţcu, C.; Popescu, A.). 10th ACM SIGPLAN International Conference on Certified Programs and Proofs, Virtual, Denmark, 17. Januar 2021 - 19. Januar 2021. ACM, New York, NY (2021)