External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Crowd-scale interactive formal reasoning and analytics

Ethan Fast, Colleen Lee, Alex Aiken, Michael S. Bernstein, Daphne Koller, Eric Smith. Crowd-scale interactive formal reasoning and analytics. In Shahram Izadi, Aaron J. Quigley, Ivan Poupyrev, Takeo Igarashi, editors, The 26th Annual ACM Symposium on User Interface Software and Technology, UIST'13, St. Andrews, United Kingdom, October 8-11, 2013. pages 363-372, ACM, 2013. [doi]

Authors

Ethan Fast

This author has not been identified. Look up 'Ethan Fast' in Google

Colleen Lee

This author has not been identified. Look up 'Colleen Lee' in Google

Alex Aiken

This author has not been identified. Look up 'Alex Aiken' in Google

Michael S. Bernstein

This author has not been identified. Look up 'Michael S. Bernstein' in Google

Daphne Koller

This author has not been identified. Look up 'Daphne Koller' in Google

Eric Smith

This author has not been identified. Look up 'Eric Smith' in Google
runs on