James Chiang

Publication Activity (10 Years)

Years Active: 2011-2020
Publications (10 Years): 2

Top Topics

Formal Specification

Transaction Costs

Formal Analysis

Information Sources

Top Venues

J. Assoc. Inf. Sci. Technol.

Publications

James Chiang
Bitcoin Trace-Net: Formal Contract Verification at Signing Time. CoRR (2020)
Kyong Eun Oh, Daniel Halpern, Marilyn Tremaine, James Chiang, Deborah Silver, Karen G. Bemis
Blocked: When the information is hidden by the visualization. J. Assoc. Inf. Sci. Technol. 67 (5) (2016)
Kyong Eun Oh, Daniel Halpern, James Chiang, Marilyn Tremaine, Karen G. Bemis, Deborah Silver
Which properties in 3D visualizations cause comprehension difficulties? ASIST (2011)