臺灣學術機構典藏系統 (Taiwan Academic Institutional Repository, TAIR)

About TAIR
	About TAIR

Browse By
	Institution
	Author
	Title
	Date
	Statistics Chart
	Institution Facts
	Trend

News
	2019臺灣學術機構典藏研討會
	機構典藏系統RC7版本已發佈

Copyright
	Publisher & Journal Policy
	TAIR Copyright Conference Minutes

Related Links
	機構典藏計畫網站
	ROAR
	OpenDOAR
	SHERPA
	OAIster
	JAIRO
	Ira
	DSPACE
	RWWR
	臺大學術典藏NTU Scholars

"j h r jiang"

Return to Browse by Author
Sorting by Title	Sort by Date

Showing items 1-30 of 30 (1 Page(s) Totally)
1
View [10|25|50] records per page

Institution	Date	Title	Author
臺大學術典藏	2019-10-24T07:45:23Z	Static Detection of API Call Vulnerabilities in iOS Executables	江介宏;JIE-HONG JIANG;T. Bultan;J.-H. R. Jiang;F. Yu;C.-H. Lin; C.-H. Lin; F. Yu; J.-H. R. Jiang; T. Bultan; JIE-HONG JIANG; 江介宏
臺大學術典藏	2019-10-24T07:45:23Z	Static Detection of API Call Vulnerabilities in iOS Executables	江介宏;JIE-HONG JIANG;T. Bultan;J.-H. R. Jiang;F. Yu;C.-H. Lin; C.-H. Lin; F. Yu; J.-H. R. Jiang; T. Bultan; JIE-HONG JIANG; 江介宏
臺大學術典藏	2019-10-24T07:45:23Z	Canonicalization of Threshold Logic Representation and its Applications	江介宏;JIE-HONG JIANG;J.-H. R. Jiang;N.-Z. Lee;S.-Y. Lee; S.-Y. Lee; N.-Z. Lee; J.-H. R. Jiang; JIE-HONG JIANG; 江介宏
臺大學術典藏	2019-10-24T07:45:23Z	Canonicalization of Threshold Logic Representation and its Applications	江介宏;JIE-HONG JIANG;J.-H. R. Jiang;N.-Z. Lee;S.-Y. Lee; S.-Y. Lee; N.-Z. Lee; J.-H. R. Jiang; JIE-HONG JIANG; 江介宏
臺大學術典藏	2019-10-24T07:45:23Z	Logic Synthesis of Binarized Neural Networks for Efficient Circuit Implementation	江介宏;JIE-HONG JIANG;J.-H. R. Jiang;C.-C. Chi; C.-C. Chi; J.-H. R. Jiang; JIE-HONG JIANG; 江介宏
臺大學術典藏	2019-10-24T07:45:23Z	Logic Synthesis of Binarized Neural Networks for Efficient Circuit Implementation	江介宏;JIE-HONG JIANG;J.-H. R. Jiang;C.-C. Chi; C.-C. Chi; J.-H. R. Jiang; JIE-HONG JIANG; 江介宏
臺大學術典藏	2019-10-24T07:45:23Z	Cost-Aware Patch Generation for Multi-Target Function Rectification of Engineering Change Orders	江介宏;JIE-HONG JIANG;J.-H. R. Jiang;H.-T. Zhang; H.-T. Zhang; J.-H. R. Jiang; JIE-HONG JIANG; 江介宏
臺大學術典藏	2019-10-24T07:45:23Z	Cost-Aware Patch Generation for Multi-Target Function Rectification of Engineering Change Orders	江介宏;JIE-HONG JIANG;J.-H. R. Jiang;H.-T. Zhang; H.-T. Zhang; J.-H. R. Jiang; JIE-HONG JIANG; 江介宏
臺大學術典藏	2019-10-24T07:45:23Z	Efficient Multi-Layer Obstacle-Avoiding Region-to-Region Rectilinear Steiner Tree Construction	江介宏;JIE-HONG JIANG;J.-H. R. Jiang;C.-M. Li;Y.-W. Chang;Y.-C. Pai;H.-T. Wen;J.-J. Wang;C.-C. Pai;R.-Y. Wang; R.-Y. Wang; C.-C. Pai; J.-J. Wang; H.-T. Wen; Y.-C. Pai; Y.-W. Chang; C.-M. Li; J.-H. R. Jiang; JIE-HONG JIANG; 江介宏
臺大學術典藏	2019-10-24T07:45:23Z	Efficient Multi-Layer Obstacle-Avoiding Region-to-Region Rectilinear Steiner Tree Construction	江介宏;JIE-HONG JIANG;J.-H. R. Jiang;C.-M. Li;Y.-W. Chang;Y.-C. Pai;H.-T. Wen;J.-J. Wang;C.-C. Pai;R.-Y. Wang; R.-Y. Wang; C.-C. Pai; J.-J. Wang; H.-T. Wen; Y.-C. Pai; Y.-W. Chang; C.-M. Li; J.-H. R. Jiang; JIE-HONG JIANG; 江介宏
臺大學術典藏	2019-10-24T07:45:22Z	A Symbolic Model Checking Approach to the Analysis of String and Length Constraints	江介宏;JIE-HONG JIANG;J.-H. R. Jiang;F. Yu;S.-Y. Chen;H.-E. Wang; H.-E. Wang; S.-Y. Chen; F. Yu; J.-H. R. Jiang; JIE-HONG JIANG; 江介宏
臺大學術典藏	2019-10-24T07:45:22Z	A Symbolic Model Checking Approach to the Analysis of String and Length Constraints	江介宏;JIE-HONG JIANG;J.-H. R. Jiang;F. Yu;S.-Y. Chen;H.-E. Wang; H.-E. Wang; S.-Y. Chen; F. Yu; J.-H. R. Jiang; JIE-HONG JIANG; 江介宏
臺大學術典藏	2019-10-24T07:45:22Z	Solving Exist-Random Quantified Stochastic Boolean Satisfiability via Clause Selection	江介宏;JIE-HONG JIANG;J.-H. R. Jiang;Y.-S. Wang;N.-Z. Lee; N.-Z. Lee; Y.-S. Wang; J.-H. R. Jiang; JIE-HONG JIANG; 江介宏
臺大學術典藏	2019-10-24T07:45:22Z	Solving Exist-Random Quantified Stochastic Boolean Satisfiability via Clause Selection	江介宏;JIE-HONG JIANG;J.-H. R. Jiang;Y.-S. Wang;N.-Z. Lee; N.-Z. Lee; Y.-S. Wang; J.-H. R. Jiang; JIE-HONG JIANG; 江介宏
臺大學術典藏	2019-10-24T07:43:11Z	Efficient Computation of ECO Patch Functions	JIE-HONG JIANG;R. K. Brayton;A. Mishchenko;J.-H. R. Jiang;P.-H. Lin;L.-C. Chen;N.-Z. Lee;A. Q. Dao; A. Q. Dao; N.-Z. Lee; L.-C. Chen; P.-H. Lin; J.-H. R. Jiang; A. Mishchenko; R. K. Brayton; JIE-HONG JIANG
臺大學術典藏	2019-10-24T07:43:11Z	Efficient Computation of ECO Patch Functions	JIE-HONG JIANG;R. K. Brayton;A. Mishchenko;J.-H. R. Jiang;P.-H. Lin;L.-C. Chen;N.-Z. Lee;A. Q. Dao; A. Q. Dao; N.-Z. Lee; L.-C. Chen; P.-H. Lin; J.-H. R. Jiang; A. Mishchenko; R. K. Brayton; JIE-HONG JIANG
臺大學術典藏	2019-10-24T07:43:11Z	Efficient Multi-Layer Obstacle-Avoiding Region-to-Region Rectilinear Steiner Tree Construction	JIE-HONG JIANG;J.-H. R. Jiang;C.-M. Li;Y.-W. Chang;Y.-C. Pai;H.-T. Wen;J.-J. Wang;C.-C. Pai;R.-Y. Wang; R.-Y. Wang; C.-C. Pai; J.-J. Wang; H.-T. Wen; Y.-C. Pai; Y.-W. Chang; C.-M. Li; J.-H. R. Jiang; JIE-HONG JIANG
臺大學術典藏	2019-10-24T07:43:11Z	Efficient Multi-Layer Obstacle-Avoiding Region-to-Region Rectilinear Steiner Tree Construction	JIE-HONG JIANG;J.-H. R. Jiang;C.-M. Li;Y.-W. Chang;Y.-C. Pai;H.-T. Wen;J.-J. Wang;C.-C. Pai;R.-Y. Wang; R.-Y. Wang; C.-C. Pai; J.-J. Wang; H.-T. Wen; Y.-C. Pai; Y.-W. Chang; C.-M. Li; J.-H. R. Jiang; JIE-HONG JIANG
臺大學術典藏	2019-10-24T07:43:09Z	A Symbolic Model Checking Approach to the Analysis of String and Length Constraints	JIE-HONG JIANG;J.-H. R. Jiang;F. Yu;S.-Y. Chen;H.-E. Wang; H.-E. Wang; S.-Y. Chen; F. Yu; J.-H. R. Jiang; JIE-HONG JIANG
臺大學術典藏	2019-10-24T07:43:09Z	A Symbolic Model Checking Approach to the Analysis of String and Length Constraints	JIE-HONG JIANG;J.-H. R. Jiang;F. Yu;S.-Y. Chen;H.-E. Wang; H.-E. Wang; S.-Y. Chen; F. Yu; J.-H. R. Jiang; JIE-HONG JIANG
臺大學術典藏	2019-10-24T07:43:09Z	Canonicalization of Threshold Logic Representation and its Applications	JIE-HONG JIANG;J.-H. R. Jiang;N.-Z. Lee;S.-Y. Lee; S.-Y. Lee; N.-Z. Lee; J.-H. R. Jiang; JIE-HONG JIANG
臺大學術典藏	2019-10-24T07:43:09Z	Canonicalization of Threshold Logic Representation and its Applications	JIE-HONG JIANG;J.-H. R. Jiang;N.-Z. Lee;S.-Y. Lee; S.-Y. Lee; N.-Z. Lee; J.-H. R. Jiang; JIE-HONG JIANG
臺大學術典藏	2019-10-24T07:43:09Z	Solving Exist-Random Quantified Stochastic Boolean Satisfiability via Clause Selection	JIE-HONG JIANG;J.-H. R. Jiang;Y.-S. Wang;N.-Z. Lee; N.-Z. Lee; Y.-S. Wang; J.-H. R. Jiang; JIE-HONG JIANG
臺大學術典藏	2019-10-24T07:43:09Z	Solving Exist-Random Quantified Stochastic Boolean Satisfiability via Clause Selection	JIE-HONG JIANG;J.-H. R. Jiang;Y.-S. Wang;N.-Z. Lee; N.-Z. Lee; Y.-S. Wang; J.-H. R. Jiang; JIE-HONG JIANG
臺大學術典藏	2019-10-24T07:43:09Z	Cost-Aware Patch Generation for Multi-Target Function Rectification of Engineering Change Orders	JIE-HONG JIANG;J.-H. R. Jiang;H.-T. Zhang; H.-T. Zhang; J.-H. R. Jiang; JIE-HONG JIANG
臺大學術典藏	2019-10-24T07:43:09Z	Cost-Aware Patch Generation for Multi-Target Function Rectification of Engineering Change Orders	JIE-HONG JIANG;J.-H. R. Jiang;H.-T. Zhang; H.-T. Zhang; J.-H. R. Jiang; JIE-HONG JIANG
臺大學術典藏	2018	Static Detection of API Call Vulnerabilities in iOS Executables	JIE-HONG JIANG;T. Bultan;J.-H. R. Jiang;F. Yu;C.-H. Lin; C.-H. Lin; F. Yu; J.-H. R. Jiang; T. Bultan; JIE-HONG JIANG
臺大學術典藏	2018	Static Detection of API Call Vulnerabilities in iOS Executables	JIE-HONG JIANG;T. Bultan;J.-H. R. Jiang;F. Yu;C.-H. Lin; C.-H. Lin; F. Yu; J.-H. R. Jiang; T. Bultan; JIE-HONG JIANG
臺大學術典藏	2018	Efficient Computation of ECO Patch Functions	江介宏;JIE-HONG JIANG;R. K. Brayton;A. Mishchenko;J.-H. R. Jiang;P.-H. Lin;L.-C. Chen;N.-Z. Lee;A. Q. Dao; A. Q. Dao; N.-Z. Lee; L.-C. Chen; P.-H. Lin; J.-H. R. Jiang; A. Mishchenko; R. K. Brayton; JIE-HONG JIANG; 江介宏
臺大學術典藏	2018	Efficient Computation of ECO Patch Functions	江介宏;JIE-HONG JIANG;R. K. Brayton;A. Mishchenko;J.-H. R. Jiang;P.-H. Lin;L.-C. Chen;N.-Z. Lee;A. Q. Dao; A. Q. Dao; N.-Z. Lee; L.-C. Chen; P.-H. Lin; J.-H. R. Jiang; A. Mishchenko; R. K. Brayton; JIE-HONG JIANG; 江介宏

Showing items 1-30 of 30 (1 Page(s) Totally)
1
View [10|25|50] records per page

	English \| 正體中文 \| 简体中文 \| Total items :0
	Visitors : 50717593 Online Users : 465 Project Commissioned by the Ministry of Education Project Executed by National Taiwan University Library