| Issue Date | Title | Author(s) | Source | scopus | WOS | Fulltext/Archive link |
|---|---|---|---|---|---|---|
| 2020 | VENUS: Verifiable Range Query in Data Streaming | I. C. Tsai; C. M. Yu; H. Yokota; S. Y. Kuo; SY-YEN KUO | International Workshop on Cloud Computing Systems, Networks, and Applications (CCSNA 2018) within the IEEE INFOCOM | |||
| 2004 | Verifying Web applications using bounded model checking | Y. W. Huang; Y. Fang; C. Hang; C. H. Tsai; D. T. Lee; S. Y. Kuo; SY-YEN KUO | International Conference on Dependable Systems and Networks (DSN-2004) | |||
| 2009 | Xprobe2++: Low volume remote network information gathering tool | F. V. Yarochkin; O. Arkin; M. Kydyraliev; S. Y. Dai; Y. Huang; S. Y. Kuo; SY-YEN KUO | 39th IEEE/IFIP International Conference on Dependable Systems and Networks (DSN-2009) | |||
| 2008 | Yield Enhancement Techniques for Content-Addressable Memories | S. K. Lu; G. Q. Lin; S. Y. Kuo; SY-YEN KUO | 38th IEEE/IFIP International Conference on Dependable Systems and Networks (DSN-2008) |
