|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 8 occurrences of 8 keywords
|
|
|
|
|
Results
Found 13 publication records. Showing 13 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Chun-Yu Lin, 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.  |
ECCTD  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yih-Kuen Tsay, Ming-Hsien Tsai, Jinn-Shu Chang, Yi-Wen Chang |
Büchi Store: An Open Repository of Büchi Automata. |
TACAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hsieh-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. |
CICC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen Magill, Ming-Hsien Tsai, Peter Lee, Yih-Kuen Tsay |
Automatic numeric abstractions for heap-manipulating programs. |
POPL |
2010 |
DBLP DOI BibTeX RDF |
abstraction, program verification, termination, shape analysis, separation logic |
| 1 | Yu-Fang Chen, Edmund M. Clarke, Azadeh Farzan, Ming-Hsien Tsai, Yih-Kuen Tsay, Bow-Yaw Wang |
Automated Assume-Guarantee Reasoning through Implicit Learning. |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Yu-Fang Chen, Edmund M. Clarke, Azadeh Farzan, Fei He, Ming-Hsien Tsai, Yih-Kuen Tsay, Bow-Yaw Wang, Lei Zhu |
Comparing Learning Algorithms in Automated Assume-Guarantee Reasoning. |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ming-Hsien Tsai, Seth Fogarty, Moshe Y. Vardi, Yih-Kuen Tsay |
State of Büchi Complementation. |
CIAA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Yih-Kuen Tsay, Yu-Fang Chen, 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. |
Formal Asp. Comput. |
2009 |
DBLP DOI BibTeX RDF |
Büchi automata, QPTL, Model checking, GOAL, Linear temporal logic |
| 1 | Yih-Kuen Tsay, Yu-Fang Chen, Ming-Hsien Tsai, Wen-Chin Chan, Chi-Jian Luo |
GOAL Extended: Towards a Research Tool for Omega Automata and Temporal Logic. |
TACAS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen Magill, Ming-Hsien Tsai, Peter Lee, Yih-Kuen Tsay |
THOR: A Tool for Reasoning about Shape and Arithmetic. |
CAV |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Yih-Kuen Tsay, Yu-Fang Chen, Ming-Hsien Tsai, Kang-Nien Wu, Wen-Chin Chan |
GOAL: A Graphical Tool for Manipulating Büchi Automata and Temporal Formulae. |
TACAS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ming-Hsien Tsai, Bow-Yaw Wang |
Formalization of CTL* in Calculus of Inductive Constructions. |
ASIAN |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ming-Hsien Tsai, Bow-Yaw Wang |
Modular Formalization of Reactive Modules in COQ. |
ASIAN |
2006 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #13 of 13 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")