( en | de | ru )

 

Disambiguation of "Shin, Seung Woo"

Author of the publication

copydeleteadd this publication to your clipboard
Verifying Chemical Reaction Network Implementations: A Pathway Decomposition Approach.

, , and . CoRR, (2014)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Woo Seung Lee

Woo-Seung Lee

Seung-Chol Shin

Woo-Kyun Shin

Jung-Hun Seung

 

Other publications of authors with the same name

Quantum Hamiltonian Complexity., , , and . Found. Trends Theor. Comput. Sci., 10 (3): 159-282 (2015)Meteorological Phenomena Measurement System Using the Wireless Network., , , and . KES (1), volume 3681 of Lecture Notes in Computer Science, page 861-865. Springer, (2005)Classical Approaches to Understanding Quantum Systems.. University of California, Berkeley, USA, (2016)Verifying chemical reaction network implementations: A pathway decomposition approach., , and . Theor. Comput. Sci., (2019)A Framework for SOA-Based Application on Agile of Small and Medium Enterprise., and . Computer and Information Science, volume 131 of Studies in Computational Intelligence, Springer, (2008)Tensor network non-zero testing., , , and . Quantum Inf. Comput., 15 (9&10): 885-899 (2015)A domain-level DNA strand displacement reaction enumerator allowing arbitrary non-pseudoknotted secondary structures., , , , and . CoRR, (2015)Verifying Chemical Reaction Network Implementations: A Pathway Decomposition Approach., , and . CoRR, (2014)UC Berkeley's quantum computing group: Berkeley, CA.. ACM Crossroads, 23 (1): 64-65 (2016)Meteorological Phenomena Measurement System Based on Embedded System and Wireless Network., , , and . DCOSS, volume 3560 of Lecture Notes in Computer Science, page 414-414. Springer, (2005)