Login / Signup
Katherine Ye
Publication Activity (10 Years)
Years Active: 2017-2021
Publications (10 Years): 4
Top Topics
Class Diagram
Search Tools
Design Space
Domain Experts
Top Venues
ACM Trans. Graph.
CHI
Conference on Designing Interactive Systems
SNAPL
</>
Publications
</>
Rodrigo Ochigame
,
Katherine Ye
Search Atlas: Visualizing Divergent Search Results Across Geopolitical Borders.
Conference on Designing Interactive Systems
(2021)
Dor Ma'ayan
,
Wode Ni
,
Katherine Ye
,
Chinmay Kulkarni
,
Joshua Sunshine
How Domain Experts Create Conceptual Diagrams and Implications for Tool Design.
CHI
(2020)
Katherine Ye
,
Wode Ni
,
Max Krieger
,
Dor Ma'ayan
,
Jenna Wise
,
Jonathan Aldrich
,
Joshua Sunshine
,
Keenan Crane
Penrose: from mathematical notation to beautiful diagrams.
ACM Trans. Graph.
39 (4) (2020)
Adam Chlipala
,
Benjamin Delaware
,
Samuel Duchovni
,
Jason Gross
,
Clément Pit-Claudel
,
Sorawit Suriyakarn
,
Peng Wang
,
Katherine Ye
The End of History? Using a Proof Assistant to Replace Language Design with Library Design.
SNAPL
(2017)