Login / Signup
Rose Bohrer
ORCID
Publication Activity (10 Years)
Years Active: 2022-2023
Publications (10 Years): 8
Top Topics
Chemical Reactions
Embedded Systems
Denotational Semantics
Video Games
Top Venues
CoRR
IEEE Trans. Intell. Veh.
FARM
SPLASH-E
</>
Publications
</>
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)