Symbiotic 8: Beyond Symbolic Execution - (Competition Contribution). - Marek Chalupa; Tomás Jasek; Jakub Novák; Anna Rechtácková; Veronika Soková; Jan Strejcek (TACAS (2), 2021)

Symbiotic 9: String Analysis and Backward Symbolic Execution with Loop Folding - (Competition Contribution). - Marek Chalupa; Vincent Mihalkovic; Anna Rechtácková; Lukás Zaoral; Jan Strejcek (TACAS (2), 2022)

Developing Automatic Methods for Teaching Code Quality in Introductory Programming. - Anna Rechtácková (ITiCSE (2), 2024)

Catalog of Code Quality Defects in Introductory Programming. - Anna Rechtácková; Radek Pelánek; Tomás Effenberger (ITiCSE (1), 2024)

Finding Misleading Identifiers in Novice Code Using LLMs. - Anna Rechtácková; Alexandra Maximova; Griffin Pitts (SIGCSE (2), 2025)

Diagnosable Code Duplication in Introductory Programming. - Anna Rechtácková; Radek Pelánek (SIGCSE (1), 2025)