​
Login / Signup
Luke West
ORCID
Publication Activity (10 Years)
Years Active: 2020-2024
Publications (10 Years): 4
Top Topics
Virtual Reality
Provably Correct
Mathematical Knowledge
Conversational Agents
Top Venues
J. Comput. Assist. Learn.
Proc. ACM Program. Lang.
ICLS
CHI Extended Abstracts
</>
Publications
</>
Chih-Pu Dai
,
Fengfeng Ke
,
Nuodi Zhang
,
Alex Barrett
,
Luke West
,
Saptarshi Bhowmik
,
Sherry A. Southerland
,
Xin Yuan
Designing Conversational Agents to Support Student Teacher Learning in Virtual Reality Simulation: A Case Study.
CHI Extended Abstracts
(2024)
Tim Nelson
,
Ben Greenman
,
Siddhartha Prasad
,
Tristan Dyer
,
Ethan Bove
,
Qianfan Chen
,
Charles Cutting
,
Thomas Del Vecchio
,
Sidney Levine
,
Julianne Rudner
,
Ben Ryjikov
,
Alexander Varga
,
Andrew Wagner
,
Luke West
,
Shriram Krishnamurthi
Forge: A Tool and Language for Teaching Formal Methods.
Proc. ACM Program. Lang.
8 (OOPSLA1) (2024)
Fengfeng Ke
,
Chih-Pu Dai
,
Luke West
Mathematical experience in game-based problem-solving.
J. Comput. Assist. Learn.
40 (3) (2024)
Chih-Pu Dai
,
Fengfeng Ke
,
Zhaihuan Dai
,
Luke West
Advocating Facilitators' Interdisciplinary Learning with Computer Science Teaching Assistants in a Virtual Reality Environment.
ICLS
(2020)