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

D. T. Lee (Selection)

Der-Tsai Lee

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


144Electronic 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
137Electronic 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
134Electronic 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 3 from 199 records - D. T. Lee has 181 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