Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

A Parallel and Distributed Quantum SAT Solver Based on Entanglement and Teleportation.

S. Lin, T. Wang, Y. Chen, Z. Hou, D. Sanán, and Y. Teo. TACAS (2), volume 14571 of Lecture Notes in Computer Science, page 363-382. Springer, (2024)

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.

Wei Lin

Shing-Shang Lin

Shang-Hsuan Lin

Yu-Wei Lin

Other publications of authors with the same name

Oracle-Supported Dynamic Exploit Generation for Smart Contracts.H. Wang, Y. Li, S. Lin, C. Artho, L. Ma, and Y. Liu. CoRR, (2019)Pasadena: Perceptually Aware and Stealthy Adversarial Denoise Attack.Y. Cheng, Q. Guo, F. Juefei-Xu, X. Xie, S. Lin, W. Lin, W. Feng, and Y. Liu. CoRR, (2020)A Quantum interpretation of separating conjunction for local reasoning of Quantum programs based on separation logic.X. Le, S. Lin, J. Sun, and D. Sanán. Proc. ACM Program. Lang., 6 (POPL): 1-27 (2022)CSim2: Compositional Top-down Verification of Concurrent Systems using Rely-Guarantee.D. Sanán, Y. Zhao, S. Lin, and Y. Liu. ACM Trans. Program. Lang. Syst., 43 (1): 2:1-2:46 (2021)SeqMobile: A Sequence Based Efficient Android Malware Detection System Using RNN on Mobile Devices.R. Feng, J. Lim, S. Chen, S. Lin, and Y. Liu. CoRR, (2020)A Holistic Automated Software Structure Exploration Framework for Testing.Y. Cao, Y. Teo, Y. Zheng, Y. Toh, and S. Lin. SoMeT, volume 355 of Frontiers in Artificial Intelligence and Applications, page 286-297. IOS Press, (2022)VERTAF: An Application Framework for the Design and Verification of Embedded Real-Time Software.P. Hsiung, S. Lin, C. Tseng, T. Lee, J. Fu, and W. See. IEEE Trans. Software Eng., 30 (10): 656-674 (2004)Automatic synthesis and verification of real-time embedded software for mobile and ubiquitous systems.P. Hsiung, and S. Lin. Comput. Lang. Syst. Struct., 34 (4): 153-169 (2008)Model Checking Prioritized Timed Automata.S. Lin, P. Hsiung, C. Huang, and Y. Chen. ATVA, volume 3707 of Lecture Notes in Computer Science, page 370-384. Springer, (2005)Model Checking Timed Systems with Urgencies.P. Hsiung, S. Lin, Y. Chen, C. Huang, J. Yeh, H. Sun, C. Lin, and H. Liao. ATVA, volume 4218 of Lecture Notes in Computer Science, page 67-81. Springer, (2006)

BibSonomy

Disambiguation of "Lin, Shang-Wei"

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

A Parallel and Distributed Quantum SAT Solver Based on Entanglement and Teleportation.

Please choose a person to relate this publication to

Wei Lin

Wei Lin

Shing-Shang Lin

Shang-Hsuan Lin

Yu-Wei Lin

Other publications of authors with the same name

Disambiguation

BibSonomy

Disambiguation of "Lin, Shang-Wei"

copydeleteadd this publication to your clipboardcommunity posthistory of this postURLDOIBibTeXEndNoteAPAChicagoDIN 1505HarvardMSOffice XML A Parallel and Distributed Quantum SAT Solver Based on Entanglement and Teleportation.

Please choose a person to relate this publication to

Wei Lin

Wei Lin

Shing-Shang Lin

Shang-Hsuan Lin

Yu-Wei Lin

Other publications of authors with the same name

Disambiguation

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

A Parallel and Distributed Quantum SAT Solver Based on Entanglement and Teleportation.