Chris Myers

Publication Activity (10 Years)

Years Active: 2000-2019
Publications (10 Years): 2

Top Topics

Provably Correct

Top Venues

Behav. Inf. Technol.

NII Shonan Meet. Rep.

Publications

François Fages, Katsumi Inoue, Heinz Koeppl, Chris Myers, Yoshihiro Shimizu
Formal methods for the synthesis of biomolecular circuits (NII Shonan Meeting 157). NII Shonan Meet. Rep. 2019 (2019)
Bo Han, Chris Myers
Perceptions of overuse, underuse, and change of use of a social media site: definition, measurement instrument, and their managerial impacts. Behav. Inf. Technol. 37 (3) (2018)
Eric Paulos, Chris Myers, Rundong Tian, Paxton Paulos
Sensory triptych: here, near, out there. UIST (2014)
Chris Myers, Michael D'Silva
eResearch environment for remote instrumentation: VBL, RLI, VisLabl & 2. eScience (2012)
Paul M. Aoki, R. J. Honicky, Alan M. Mainwaring, Chris Myers, Eric Paulos, Sushmita Subramanian, Allison Woodruff
A vehicle for research: using street sweepers to explore the landscape of environmental community action. CHI (2009)
Paul M. Aoki, R. J. Honicky, Alan M. Mainwaring, Chris Myers, Eric Paulos, Sushmita Subramanian, Allison Woodruff
A Vehicle for Research: Using Street Sweepers to Explore the Landscape of Environmental Community Action CoRR (2009)
Prabal Dutta, Paul M. Aoki, Neil Kumar, Alan M. Mainwaring, Chris Myers, Wesley Willett, Allison Woodruff
Common Sense: participatory urban sensing using a network of handheld air quality monitors. SenSys (2009)
Chris Myers
Solomon Grundy. SIGGRAPH Computer Animation Festival (2006)
Tomohiro Yoneda, Eric Mercer, Chris Myers
Modular Synthesis of Timed Circuits Using Partial Order Reduction. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (12) (2002)
Bruce Carter, Chuin-Shan Chen, L. Paul Chew, Nikos Chrisochoides, Guang R. Gao, Gerd Heber, Anthony R. Ingraffea, Roland Krause, Chris Myers, Démian Nave, Keshav Pingali, Paul Stodghill, Stephen A. Vavasis, Paul A. Wawrzynek
Parallel FEM Simulation of Crack Propagation - Challenges, Status, and Perspectives. IPDPS Workshops (2000)