dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Yao-Wen Huang (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFang Yu, Chung-Hung Tsai, Yao-Wen Huang, D. T. Lee, Hung-Yau Lin, Sy-Yen Kuo: Efficient Exact Spare Allocation via Boolean Satisfiability. DFT 2005: 361-370
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYao-Wen Huang, Fang Yu, Christian Hang, Chung-Hung Tsai, D. T. Lee, Sy-Yen Kuo: Verifying Web Applications Using Bounded Model Checking. DSN 2004: 199-208
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFang Yu, Bow-Yaw Wang, Yao-Wen Huang: Bounded Model Checking for Region Automata. FORMATS/FTRTFT 2004: 246-262
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYao-Wen Huang, Fang Yu, Christian Hang, Chung-Hung Tsai, Der-Tsai Lee, Sy-Yen Kuo: Securing web application code by static analysis and runtime protection. WWW 2004: 40-52

Selection of 4 from 8 records - Yao-Wen Huang has 10 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page