Rose Bohrer

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 11

Top Topics

Programming Language

Chemical Reactions

Denotational Semantics

Top Venues

IEEE Trans. Intell. Veh.

Publications

Lena Dias, Ben Schneider, Rose Bohrer
Neurotype Cafe: A Case Study in Neurodiverse Self-Representation. FDG (2024)
Ichiro Hasuo, Clovis Eberhart, James Haydon, Jérémy Dubut, Rose Bohrer, Tsutomu Kobayashi, Sasinee Pruekprasert, Xiao-Yi Zhang, Erik André Pallas, Akihisa Yamada, Kohei Suenaga, Fuyuki Ishikawa, Kenji Kamijo, Yoshiyuki Shinya, Takamasa Suetomi
Goal-Aware RSS for Complex Scenarios via Program Logic. IV (2024)
Rose Bohrer
Programming Language Case Studies Can Be Deep. CoRR (2024)
Charlotte Clark, Rose Bohrer
Homotopy Type Theory for Sewn Quilts. FARM (2023)
Ichiro Hasuo, Clovis Eberhart, James Haydon, Jérémy Dubut, Rose Bohrer, Tsutomu Kobayashi, Sasinee Pruekprasert, Xiao-Yi Zhang, Erik André Pallas, Akihisa Yamada, Kohei Suenaga, Fuyuki Ishikawa, Kenji Kamijo, Yoshiyuki Shinya, Takamasa Suetomi
Goal-Aware RSS for Complex Scenarios via Program Logic. IEEE Trans. Intell. Veh. 8 (4) (2023)
Shano Liang, Michelle V. Cormier, Phoebe O. Toups Dugas, Rose Bohrer
Analyzing Trans (Mis)Representation in Video Games to Remediate Gender Dysphoria Triggers. Proc. ACM Hum. Comput. Interact. 7 (CHI) (2023)
Rose Bohrer
Centering Humans in the Programming Languages Classroom: Building a Text for the Next Generation. SPLASH-E (2023)
Rose Bohrer, Bashima Islam
Cyber-Physical Verification of Intermittently Powered Embedded Systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41 (11) (2022)
Rose Bohrer
Chemical Case Studies in KeYmaera X. CoRR (2022)
Ichiro Hasuo, Clovis Eberhart, James Haydon, Jérémy Dubut, Rose Bohrer, Tsutomu Kobayashi, Sasinee Pruekprasert, Xiao-Yi Zhang, Erik André Pallas, Akihisa Yamada, Kohei Suenaga, Fuyuki Ishikawa, Kenji Kamijo, Yoshiyuki Shinya, Takamasa Suetomi
Goal-Aware RSS for Complex Scenarios via Program Logic. CoRR (2022)
Rose Bohrer
Chemical Case Studies in KeYmaera X. FMICS (2022)