Seung Woo Shin

Publication Activity (10 Years)

Years Active: 2014-2019
Publications (10 Years): 3

Top Topics

Secondary Structure Prediction

Chemical Reaction

Network Management

Top Venues

Quantum Inf. Comput.

Publications

Seung Woo Shin, Chris Thachuk, Erik Winfree
Verifying chemical reaction network implementations: A pathway decomposition approach. Theor. Comput. Sci. 765 (2019)
Stefan Badelt, Seung Woo Shin, Robert F. Johnson, Qing Dong, Chris Thachuk, Erik Winfree
A General-Purpose CRN-to-DSD Compiler with Formal Verification, Optimization, and Simulation Capabilities. DNA (2017)
Seung Woo Shin
UC Berkeley's quantum computing group: Berkeley, CA. XRDS 23 (1) (2016)
Sevag Gharibian, Yichen Huang, Zeph Landau, Seung Woo Shin
Quantum Hamiltonian Complexity. Found. Trends Theor. Comput. Sci. 10 (3) (2015)
Sevag Gharibian, Zeph Landau, Seung Woo Shin, Guoming Wang
Tensor network non-zero testing. Quantum Inf. Comput. 15 (9&10) (2015)
Casey Grun, Karthik Sarma, Brian Wolfe, Seung Woo Shin, Erik Winfree
A domain-level DNA strand displacement reaction enumerator allowing arbitrary non-pseudoknotted secondary structures. CoRR (2015)
Sevag Gharibian, Zeph Landau, Seung Woo Shin, Guoming Wang
Tensor network non-zero testing. CoRR (2014)
Seung Woo Shin, Chris Thachuk, Erik Winfree
Verifying Chemical Reaction Network Implementations: A Pathway Decomposition Approach. CoRR (2014)