Geeng, C.; Harris, M.; Redmiles, E. M.; Roesner, F.: "Like Lesbians Walking the Perimeter": Experiences of U.S. LGBTQ+ Folks With Online Security, Safety, and Privacy Advice. In: 31st USENIX Security Symposium, S. 305 - 322. 31st USENIX Security Symposium, Boston, MA, USA, 10. August 2022 - 12. August 2022. USENIX Association (2022)

Ghosh, A.; Tschiatschek, S.; Devlin, S.; Singla, A.: Adaptive Scaffolding in Block-Based Programming via Synthesizing New Tasks as Pop Quizzes. In: Artificial Intelligence in Education, S. 28 - 40 (Hg. Rodrigo, M. M.; Matsuda, N.; Cristea, A. I.; Dimitroa, V.). 23rd International Conference on Artificial Intelligence in Education, Durham, UK, 27. Juli 2022 - 31. Juli 2022. Springer, Berlin (2022)

Grannan, Z.; Vazou, N.; Darulova, E.; Summers, A. J.: REST: Integrating Term Rewriting with Program Verification. In: 36th European Conference on Object-Oriented Programming, 13, S. 1 - 29 (Hg. Ali, K.; Vitek, J.). 36th European Conference on Object-Oriented Programming, Berlin, Germany, 06. Juni 2022 - 10. Juni 2022. Schloss Dagstuhl, Wadern (2022)

Grgić-Hlača, N.; Castelluccia, C.; Gummadi, K.: Taking Advice from (Dis)Similar Machines: The Impact of Human-Machine Similarity on Machine-Assisted Decision-Making. In: Proceedings of the Tenth AAAI Conference on Human Computation and Crowdsourcing, S. 74 - 88 (Hg. Hsu, J.; Yin, M.). Tenth AAAI Conference on Human Computation and Crowdsourcing, Virtual Conference, 06. November 2022 - 10. Juni 2022. AAAI, Palo Alto, CA (2022)

Grgić-Hlača, N.; Lima, G.; Weller, A.; Redmiles, E. M.: Dimensions of Diversity in Human Perceptions of Algorithmic Fairness. In: Proceedings of 2022 ACM Conference on Equity and Access in Algorithms, Mechanisms, and Optimization, 21, S. 1 - 12. ACM Conference on Equity and Access in Algorithms, Mechanisms, and Optimization, Arlington VA, USA, 06. Oktober 2022 - 09. Oktober 2022. ACM, New York, NY (2022)

Gujarati, A.; Yang, N.; Brandenburg, B.: In-ConcReTeS: Interactive Consistency meets Distributed Real-Time Systems, Again! In: RTSS 2022, S. 211 - 224. 43rd IEEE Real-Time Systems Symposium, Houston, TX, USA , 05. Dezember 2022 - 08. Dezember 2022. IEEE, Piscataway, NJ (2022)

Huang, Y.; Obada-Obieh, B.; Redmiles, E. M.; Lokam, S.; Beznosov, K.: COVID-19 Information-Tracking Solutions: A Qualitative Investigation of the Factors Influencing People's Adoption Intention. In: CHIIR '22, S. 12 - 24 (Hg. Elsweiler, D.; Kruschwitz, U.; Ludwig, B.). ACM SIGIR Conference on Human Information Interaction and Retrieval, Regensburg, Germany, 14. März 2022 - 18. März 2022. ACM, New York, NY (2022)

Khajehnejad, A.; Khajehnejad, M.; Babaei, M.; Gummadi, K.; Weller, A.; Mirzasoleiman, B.: CrossWalk: Fairness-enhanced Node Representation Learning. In: Proceedings of the 36th AAAI Conference on Artificial Intelligence, S. 11963 - 11970. 36th AAAI Conference on Artificial Intelligence, Virtual Conference, 22. Februar 2022 - 01. März 2022. AAAI, Palo Alto, CA (2022)

Kiefer, S.; Neuen, D.: A Study of Weisfeiler–Leman Colorings on Planar Graphs. In: 49th EATCS International Conference on Automata, Languages, and Programming, 81, S. 1 - 20 (Hg. Bojańczyk, M.; Merelli, E.; Woodruff, D. P.). 49th International Colloquium on Automata, Languages, and Programming, Paris, France, 04. Juli 2022 - 08. Juli 2022. Schloss Dagstuhl, Wadern (2022)

Krämer, J.; Blatter, L.; Darulova, E.; Ulbrich, M.: Inferring Interval-Valued Floating-Point Preconditions. In: Tools and Algorithms for the Construction and Analysis of Systems, S. 303 - 321 (Hg. Fisman, D.; Rosu, G.). 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Munich, Germany, 02. April 2022 - 07. April 2022. Springer, Berlin (2022)

Lahoti, P.; Gummadi, K.; Weikum, G.: Detecting and Mitigating Test-time Failure Risks via Model-agnostic Uncertainty Learning. In: 21st IEEE International Conference on Data Mining, S. 1174 - 1179 (Hg. Bailey, J.; Miettinen, P.; Koh, Y. S.; Tao, D.; Wu, X.). 21st IEEE International Conference on Data Mining , Auckland, New Zealand (Virtual Conference), 07. Dezember 2021 - 10. Dezember 2021. IEEE, Piscataway, NJ (2022)

Li, H.; Li, J.; Kaufmann, A.: SimBricks: End-to-End Network System Evaluation with Modular Simulation. In: SIGCOMM '22, S. 380 - 396 (Hg. Kuipers, F.; Orda, A.). ACM SIGCOMM Conference, Amsterdam, Netherlands, 22. August 2022 - 26. August 2022. ACM, New York, NY (2022)

Lipton, R.; Luca, F.; Nieuwveld, J.; Ouaknine, J.; Purser, D.; Worrell, J.: On the Skolem Problem and the Skolem Conjecture. In: Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science, 5, S. 1 - 9 (Hg. Baier, C.; Fisman, D.). 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, 02. August 2022 - 05. August 2022. ACM, New York, NY (2022)

Lohrey, M.; Rosowski, A.; Zetzsche, G.: Membership Problems in Finite Groups. In: 47th International Symposium on Mathematical Foundations of Computer Science, 71, S. 1 - 16 (Hg. Szeider, S.; Ganian, R.; Silva, A.). 47th International Symposium on Mathematical Foundations of Computer Science , Vienna, Austria, 22. August 2022 - 26. August 2022. Schloss Dagstuhl, Wadern (2022)

Luca, F.; Ouaknine, J.; Worrell, J.: Algebraic Model Checking for Discrete Linear Dynamical Systems. In: Formal Modeling and Analysis of Timed Systems, S. 3 - 15 (Hg. Bogomolov, S.; Parker, D.). 20th International Conference on Formal Modeling and Analysis of Timed Systems, Warsaw, Poland, 13. September 2022 - 15. September 2022. Springer, Berlin (2022)

Luca, F.; Ouaknine, J.; Worrell, J.: A Universal Skolem Set of Positive Lower Density. In: 47th International Symposium on Mathematical Foundations of Computer Science, 73, S. 1 - 12 (Hg. Szeider, S.; Ganian, R.; Silva, A.). 47th International Symposium on Mathematical Foundations of Computer Science, Vienna, Austria, 22. August 2022 - 26. August 2022. Schloss Dagstuhl, Wadern (2022)

Maida, M.; Bozhko, S.; Brandenburg, B.: Foundational Response-Time Analysis as Explainable Evidence of Timeliness. In: 34th Euromicro Conference on Real-Time Systems, 19, S. 1 - 25 (Hg. Maggio, M.). 34th Euromicro Conference on Real-Time Systems, Modena, Italy, 05. Juli 2022 - 08. Juli 2022. Schloss Dagstuhl, Wadern (2022)

Mansouri, F.; Simon, H. U.; Singla, A.; Zilles, S.: On Batch Teaching with Sample Complexity Bounded by VCD. In: Advances in Neural Information Processing Systems 35, S. 15732 - 15742 (Hg. Koyejo, S.; Mohamed, S.; Agarwal, A.; Belgrave, D.; Cho, K. et al.). 36th Conference on Neural Information Processing Systems, New Orleans, LA, USA, 28. November 2022 - 09. Dezember 2022. Curran Associates, Inc (2022)

Marmanis, I.; Vafeiadis, V.: SMT-Based Verification of Persistency Invariants of Px86 Programs. In: Software Verification, S. 92 - 110 (Hg. Lal, A.; Tonetta, S.). 14th Working Conference on Verified Software: Theories, Tools, and Experiment, Trento, Italy, 17. Oktober 2022 - 18. Oktober 2022. Springer, Berlin (2022)

Matsushita, Y.; Denis, X.; Jourdan, J.-H.; Dreyer, D.: RustHornBelt: A Semantic Foundation for Functional Verification of Rust Programs with Unsafe Code. In: PLDI '22, S. 841 - 856 (Hg. Jhala, R.). 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, 13. Juni 2022 - 17. Juni 2022. ACM, New York, NY (2022)