Formally verified differential dynamic logic. - Rose Bohrer; Vincent Rahli; Ivana Vukotic; Marcus Völp; André Platzer (CPP, 2017)

Bellerophon: Tactical Theorem Proving for Hybrid Systems. - Nathan Fulton; Stefan Mitsch; Rose Bohrer; André Platzer (ITP, 2017)

Differential Dynamic Logic. - Rose Bohrer (Arch. Formal Proofs, 2017)

CoasterX: A Case Study in Component-Driven Hybrid Systems Proof Automation. - Rose Bohrer; Adriel Luo; Xue An Chuang; André Platzer (ADHS, 2018)

A Hybrid, Dynamic Logic for Hybrid-Dynamic Information Flow. - Rose Bohrer; André Platzer (LICS, 2018)

VeriPhy: verified controller executables from verified cyber-physical system models. - Rose Bohrer; Yong Kiam Tan; Stefan Mitsch; Magnus O. Myreen; André Platzer (PLDI, 2018)

TWAM: A Certifying Abstract Machine for Logic Programs. - Rose Bohrer; Karl Crary (VSTTE, 2018)

dLι: Definite Descriptions in Differential Dynamic Logic. - Rose Bohrer; Manuel Fernández 005; André Platzer (CADE, 2019)

Interval Arithmetic on 32-bit Words. - Rose Bohrer (Arch. Formal Proofs, 2019)

Toward Structured Proofs for Dynamic Logics. - Rose Bohrer; André Platzer (CoRR, 2019)

A Formal Safety Net for Waypoint-Following in Ground Robots. - Rose Bohrer; Yong Kiam Tan; Stefan Mitsch; Andrew Sogokon; André Platzer (IEEE Robotics Autom. Lett., 2019)

Constructive Hybrid Games. - Rose Bohrer; André Platzer (IJCAR (1), 2020)

Constructive Game Logic. - Rose Bohrer; André Platzer (ESOP, 2020)

Refining Constructive Hybrid Games. - Rose Bohrer; André Platzer (FSCD, 2020)

Structured Proofs for Adversarial Cyber-Physical Systems. - Rose Bohrer; André Platzer (ACM Trans. Embed. Comput. Syst., 2021)

Practical End-to-End Verification of Cyber-Physical Systems. - Rose Bohrer (2021)

Chemical Case Studies in KeYmaera X. - Rose Bohrer (FMICS, 2022)

Cyber-Physical Verification of Intermittently Powered Embedded Systems. - Rose Bohrer; Bashima Islam (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022)

Homotopy Type Theory for Sewn Quilts. - Charlotte Clark; Rose Bohrer (FARM, 2023)

Centering Humans in the Programming Languages Classroom: Building a Text for the Next Generation. - Rose Bohrer (SPLASH-E, 2023)

Analyzing Trans (Mis)Representation in Video Games to Remediate Gender Dysphoria Triggers. - Shano Liang; Michelle V. Cormier; Phoebe O. Toups Dugas; Rose Bohrer (Proc. ACM Hum. Comput. Interact., 2023)

Goal-Aware RSS for Complex Scenarios via Program Logic. - Ichiro Hasuo; Clovis Eberhart; James Haydon; Jérémy Dubut; Rose Bohrer; Tsutomu Kobayashi; Sasinee Pruekprasert; Xiao-Yi Zhang 005; Erik André Pallas; Akihisa Yamada 002; Kohei Suenaga; Fuyuki Ishikawa; et al. (IEEE Trans. Intell. Veh., 2023)

Neurotype Cafe: A Case Study in Neurodiverse Self-Representation. - Lena Dias; Ben Schneider; Rose Bohrer (FDG, 2024)

Programming Language Case Studies Can Be Deep. - Rose Bohrer (TFPIE, 2024)

Pronoun Logic. - Rose Bohrer; Ashe Neth (CoRR, 2024)

A Coq Formalization of Unification Modulo Exclusive-Or. - Yichi Xu; Daniel J. Dougherty; Rose Bohrer (ICLP, 2024)

Transnational lgbTq+ SIG. - Rose Bohrer; Shano Liang; Michelle V. Cormier; Takao Fujii; Phoebe O. Toups Dugas; Rua Mae Williams; Amy J. Ko; Katie Seaborn; Oliver L. Haimson (CHI Extended Abstracts, 2025)

This Game SUX: Why & How to Design Sh@*!y User Experiences. - Michelle V. Cormier; Shano Liang; Bill Hamilton 001; Nicolas J. LaLone; Rose Bohrer; Phoebe O. Toups Dugas (CHI, 2025)

Designed & Discovered Euphoria: Insights from Trans-Femme Players' Experiences of Gender Euphoria in Video Games. - Shano Liang; Michelle V. Cormier; Rose Bohrer; Phoebe O. Toups Dugas (CHI, 2025)

Refeminizing Creative Computing through a Programming Language for Quilts. - Laura Pellowski; Abigail J. Haller; Rose Strobel; Edward Benjamin Tyler; Sakire Arslan Ay; Rose Bohrer (CHI Extended Abstracts, 2025)

Proceedings 14th International Workshop on Trends in Functional Programming in Education. - Rose Bohrer (CoRR, 2025)