The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Ming-Hsien Tsai" ( http://dblp.L3S.de/Authors/Ming-Hsien_Tsai )

  Author page on DBLP  Author page in RDF  Community of Ming-Hsien Tsai in ASPL-2

Publication years (Num. hits)
2006-2011 (16) 2012-2018 (16) 2019-2022 (6)
Publication types (Num. hits)
article(6) inproceedings(32)
Venues (Conferences, Journals, ...)
TACAS(5) CAV(3) CCS(3) ASIAN(2) EMBC(2) ISCAS(2) ASE(1) BIODEVICES(1) CAV (2)(1) CIAA(1) CICC(1) CONCUR(1) CoRR(1) ECCTD(1) Formal Aspects Comput.(1) IACR Cryptol. ePrint Arch.(1) More (+10 of total 27)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 8 occurrences of 8 keywords

Results
Found 39 publication records. Showing 38 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Vincent Hwang, Jiaxiang Liu 0001, Gregor Seiler, Xiaomu Shi, Ming-Hsien Tsai, Bow-Yaw Wang, Bo-Yin Yang Verified NTT Multiplications for NISTPQC KEM Lattice Finalists: Kyber, SABER, and NTRU. Search on Bibsonomy IACR Trans. Cryptogr. Hardw. Embed. Syst. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Ming-Hsien Tsai, Yu-Fu Fu, Xiaomu Shi, Jiaxiang Liu 0001, Bow-Yaw Wang, Bo-Yin Yang Automatic Certified Verification of Cryptographic Programs with COQCRYPTOLINE. Search on Bibsonomy IACR Cryptol. ePrint Arch. The full citation details ... 2022 DBLP  BibTeX  RDF
1Xiaomu Shi, Yu-Fu Fu, Jiaxiang Liu 0001, Ming-Hsien Tsai, Bow-Yaw Wang, Bo-Yin Yang CoqQFBV: A Scalable Certified SMT Quantifier-Free Bit-Vector Solver. Search on Bibsonomy CAV (2) The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Yu-Fu Fu, Jiaxiang Liu 0001, Xiaomu Shi, Ming-Hsien Tsai, Bow-Yaw Wang, Bo-Yin Yang Signed Cryptographic Program Verification with Typed CryptoLine. Search on Bibsonomy CCS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Yu-Fang Chen 0001, Hsiao-chen Chung, Wen-Chi Hung, Ming-Hsien Tsai, Bow-Yaw Wang, Farn Wang Synthesize Models for Quantitative Analysis Using Automata Learning. Search on Bibsonomy NETYS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jiaxiang Liu 0001, Xiaomu Shi, Ming-Hsien Tsai, Bow-Yaw Wang, Bo-Yin Yang Verifying Arithmetic in Cryptographic C Programs. Search on Bibsonomy ASE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Yu-Fang Chen 0001, Matthias Heizmann, Ondrej Lengál, Yong Li 0031, Ming-Hsien Tsai, Andrea Turrini, Lijun Zhang 0001 Advanced automata-based algorithms for program termination checking. Search on Bibsonomy PLDI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Andy Polyakov, Ming-Hsien Tsai, Bow-Yaw Wang, Bo-Yin Yang Verifying Arithmetic Assembly Programs in Cryptographic Primitives (Invited Talk). Search on Bibsonomy CONCUR The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ming-Hsien Tsai, Bow-Yaw Wang, Bo-Yin Yang Certified Verification of Algebraic Properties on Low-Level Mathematical Constructs in Cryptographic Programs. Search on Bibsonomy CCS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ming-Hsien Tsai, Ming-Jium Shieh, Cheng-Liang Peng A Targeting Self-breakable Agent for Increased Efficacy of Chemotherapeutic Drugs against Caco2 Cells. Search on Bibsonomy BIODEVICES The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Frantisek Blahoudek, Matthias Heizmann, Sven Schewe, Jan Strejcek, Ming-Hsien Tsai Complementing Semi-deterministic Büchi Automata. Search on Bibsonomy TACAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Yu-Fang Chen 0001, Chiao Hsieh, Ondrej Lengál, Tsung-Ju Lii, Ming-Hsien Tsai, Bow-Yaw Wang, Farn Wang PAC learning-based verification and model synthesis. Search on Bibsonomy ICSE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Yu-Fang Chen 0001, Chiao Hsieh, Ondrej Lengál, Tsung-Ju Lii, Ming-Hsien Tsai, Bow-Yaw Wang, Farn Wang PAC Learning-Based Verification and Model Synthesis. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Zuow-Zun Chen, Yen-Hsiang Wang, Jaewook Shin, Yan Zhao 0002, Seyed Arash Mirhaj, Yen-Cheng Kuan, Huan-Neng Ron Chen, Chewnpu Jou, Ming-Hsien Tsai, Fu-Lung Hsueh, Mau-Chung Frank Chang 14.9 Sub-sampling all-digital fractional-N frequency synthesizer with -111dBc/Hz in-band phase noise and an FOM of -242dB. Search on Bibsonomy ISSCC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Yu-Fang Chen 0001, Chiao Hsieh, Ming-Hsien Tsai, Bow-Yaw Wang, Farn Wang CPArec: Verifying Recursive Programs via Source-to-Source Program Transformation - (Competition Contribution). Search on Bibsonomy TACAS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ming-Hsien Tsai, Seth Fogarty, Moshe Y. Vardi, Yih-Kuen Tsay State of Büchi Complementation. Search on Bibsonomy Log. Methods Comput. Sci. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Yu-Fang Chen 0001, Chang-Hong Hsu, Hsin-Hung Lin, Peter Schwabe, Ming-Hsien Tsai, Bow-Yaw Wang, Bo-Yin Yang, Shang-Yi Yang Verifying Curve25519 Software. Search on Bibsonomy CCS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Yu-Fang Chen 0001, Chiao Hsieh, Ming-Hsien Tsai, Bow-Yaw Wang, Farn Wang Verifying Recursive Programs Using Intraprocedural Analyzers. Search on Bibsonomy SAS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Li-Wei Chu, Chun-Yu Lin 0001, Ming-Dou Ker, Ming-Hsiang Song, Jeng-Chou Tseng, Chewnpu Jou, Ming-Hsien Tsai ESD protection design for wideband RF applications in 65-nm CMOS process. Search on Bibsonomy ISCAS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Yih-Kuen Tsay, Ming-Hsien Tsai, Jinn-Shu Chang, Yi-Wen Chang, Chi-Shiang Liu Büchi Store: an open repository of $$\omega $$ -automata. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Ming-Hsien Tsai, Yih-Kuen Tsay, Yu-Shiang Hwang GOAL for Games, Omega-Automata, and Logics. Search on Bibsonomy CAV The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Li-Wei Chu, Chun-Yu Lin 0001, Shiang-Yu Tsai, Ming-Dou Ker, Ming-Hsiang Song, Chewnpu Jou, Tse-Hua Lu, Jeng-Chou Tseng, Ming-Hsien Tsai, Tsun-Lai Hsu, Ping-Fang Hung, Tzu-Heng Chang Compact and low-loss ESD protection design for V-band RF applications in a 65-nm CMOS technology. Search on Bibsonomy ISCAS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Yi-Kai Lo, Wentai Liu, Kuanfu Chen, Ming-Hsien Tsai, Fu-Lung Hsueh A 64-channel neuron recording system. Search on Bibsonomy EMBC The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Kuanfu Chen, Ming-Hsien Tsai, Fu-Lung Hsueh, Wentai Liu Analysis and design of data transmission protocol for 1024-channel retinal prosthesis. Search on Bibsonomy EMBC The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Chun-Yu Lin 0001, Li-Wei Chu, Shiang-Yu Tsai, Ming-Dou Ker, Tse-Hua Lu, Tsun-Lai Hsu, Ping-Fang Hung, Ming-Hsiang Song, Jeng-Chou Tseng, Tzu-Heng Chang, Ming-Hsien Tsai Modified LC-tank ESD protection design for 60-GHz RF applications. Search on Bibsonomy ECCTD The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Yih-Kuen Tsay, Ming-Hsien Tsai, Jinn-Shu Chang, Yi-Wen Chang Büchi Store: An Open Repository of Büchi Automata. Search on Bibsonomy TACAS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Shawn S. H. Hsu, Ming-Hsien Tsai Low-noise amplifiers with robust ESD protection for RF SOC. Search on Bibsonomy ISOCC The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Yu-Fang Chen 0001, Edmund M. Clarke, Azadeh Farzan, Ming-Hsien Tsai, Yih-Kuen Tsay, Bow-Yaw Wang Automated Assume-Guarantee Reasoning through Implicit Learning. Search on Bibsonomy CAV The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Yu-Fang Chen 0001, Edmund M. Clarke, Azadeh Farzan, Fei He 0001, Ming-Hsien Tsai, Yih-Kuen Tsay, Bow-Yaw Wang, Lei Zhu Comparing Learning Algorithms in Automated Assume-Guarantee Reasoning. Search on Bibsonomy ISoLA (1) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Stephen Magill, Ming-Hsien Tsai, Peter Lee 0001, Yih-Kuen Tsay Automatic numeric abstractions for heap-manipulating programs. Search on Bibsonomy POPL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF abstraction, program verification, termination, shape analysis, separation logic
1Ming-Hsien Tsai, Seth Fogarty, Moshe Y. Vardi, Yih-Kuen Tsay State of Büchi Complementation. Search on Bibsonomy CIAA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Hsieh-Hung Hsieh, Fu-Lung Hsueh, Chewnpu Jou, Fred Kuo, Sean Chen, Tzu-Jin Yeh, Kevin Kai-Wen Tan, Po-Yi Wu, Yu-Ling Lin, Ming-Hsien Tsai A V-band divide-by-three differential direct injection-locked frequency divider in 65-nm CMOS. Search on Bibsonomy CICC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Yih-Kuen Tsay, Yu-Fang Chen 0001, Ming-Hsien Tsai, Kang-Nien Wu, Wen-Chin Chan, Chi-Jian Luo, Jinn-Shu Chang Tool support for learning Büchi automata and linear temporal logic. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Büchi automata, QPTL, Model checking, GOAL, Linear temporal logic
1Stephen Magill, Ming-Hsien Tsai, Peter Lee 0001, Yih-Kuen Tsay THOR: A Tool for Reasoning about Shape and Arithmetic. Search on Bibsonomy CAV The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Yih-Kuen Tsay, Yu-Fang Chen 0001, Ming-Hsien Tsai, Wen-Chin Chan, Chi-Jian Luo GOAL Extended: Towards a Research Tool for Omega Automata and Temporal Logic. Search on Bibsonomy TACAS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Yih-Kuen Tsay, Yu-Fang Chen 0001, Ming-Hsien Tsai, Kang-Nien Wu, Wen-Chin Chan GOAL: A Graphical Tool for Manipulating Büchi Automata and Temporal Formulae. Search on Bibsonomy TACAS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Ming-Hsien Tsai, Bow-Yaw Wang Formalization of CTL* in Calculus of Inductive Constructions. Search on Bibsonomy ASIAN The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Ming-Hsien Tsai, Bow-Yaw Wang Modular Formalization of Reactive Modules in COQ. Search on Bibsonomy ASIAN The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #38 of 38 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license