Seung Woo Shin

According to our database, Seung Woo Shin authored at least 8 papers between 2008 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Verifying chemical reaction network implementations: A pathway decomposition approach.

Seung Woo Shin, Chris Thachuk, Erik Winfree

Theor. Comput. Sci., 2019

2017

A General-Purpose CRN-to-DSD Compiler with Formal Verification, Optimization, and Simulation Capabilities.

Stefan Badelt, Seung Woo Shin, Robert F. Johnson, Qing Dong, Chris Thachuk, Erik Winfree

Proceedings of the DNA Computing and Molecular Programming - 23rd International Conference, 2017

2016

Classical Approaches to Understanding Quantum Systems.

Seung Woo Shin

PhD thesis, 2016

UC Berkeley's quantum computing group: Berkeley, CA.

Seung Woo Shin

XRDS, 2016

2015

Tensor network non-zero testing.

Sevag Gharibian, Zeph Landau, Seung Woo Shin, Guoming Wang

Quantum Inf. Comput., 2015

Quantum Hamiltonian Complexity.

Sevag Gharibian, Yichen Huang, Zeph Landau, Seung Woo Shin

Found. Trends Theor. Comput. Sci., 2015

A domain-level DNA strand displacement reaction enumerator allowing arbitrary non-pseudoknotted secondary structures.

Casey Grun, Karthik Sarma, Brian Wolfe, Seung Woo Shin, Erik Winfree

CoRR, 2015

2008

A Framework for SOA-Based Application on Agile of Small and Medium Enterprise.

Seung Woo Shin, Haeng-Kon Kim

Proceedings of the Computer and Information Science [outstanding papers from IEEE/ACIS ICIS/IWEA 2008], 2008