Rose Bohrer
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
16
Venues
12
Active years
2017–2026
Best venue rank
A*
Where they publish
Papers
16 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | FLOPS | Demonic Dynamic Logic Programming. | Rose Bohrer |
| 2026 | FM | Hybrid Spatiotemporal Logic for Automotive Applications: Modeling and Model-Checking. | Radu Florin Tulcan, Rose Bohrer, Yov Montacute, Kevin Zhou, Yusuke Kawamoto, Ichiro Hasuo |
| 2025 | CHI | 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 |
| 2025 | CHI | This Game SUX: Why & How to Design Sh@*!y User Experiences. | Michelle V. Cormier, Shano Liang, Bill Hamilton, Nicolas J. LaLone, Rose Bohrer, Phoebe O. Toups Dugas |
| 2025 | CHI | 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 |
| 2025 | CHI | Refeminizing Creative Computing through a Programming Language for Quilts. | Laura Pellowski, Abigail J. Haller, Rose Strobel, Edward Benjamin Tyler, Sakire Arslan Ay, Rose Bohrer |
| 2024 | FDG | Neurotype Cafe: A Case Study in Neurodiverse Self-Representation. | Lena Dias, Ben Schneider, Rose Bohrer |
| 2022 | FMICS | Chemical Case Studies in KeYmaera X. | Rose Bohrer |
| 2020 | CADE | Constructive Hybrid Games. | Rose Bohrer, Andr Platzer |
| 2020 | ESOP | Constructive Game Logic. | Rose Bohrer, Andr Platzer |
| 2020 | FSCD | Refining Constructive Hybrid Games. | Rose Bohrer, Andr Platzer |
| 2019 | CADE | dL | Rose Bohrer, Manuel Fernndez, Andr Platzer |
| 2018 | LICS | A Hybrid, Dynamic Logic for Hybrid-Dynamic Information Flow. | Rose Bohrer, Andr Platzer |
| 2018 | PLDI | VeriPhy: verified controller executables from verified cyber-physical system models. | Rose Bohrer, Yong Kiam Tan, Stefan Mitsch, Magnus O. Myreen, Andr Platzer |
| 2017 | CPP | Formally verified differential dynamic logic. | Rose Bohrer, Vincent Rahli, Ivana Vukotic, Marcus Vlp, Andr Platzer |
| 2017 | ITP | Bellerophon: Tactical Theorem Proving for Hybrid Systems. | Nathan Fulton, Stefan Mitsch, Rose Bohrer, Andr Platzer |