The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Yih-Kuen Tsay" ( http://dblp.L3S.de/Authors/Yih-Kuen_Tsay )

URL (Homepage):  http://www.im.ntu.edu.tw/~tsay/  Author page on DBLP  Author page in RDF  Community of Yih-Kuen Tsay in ASPL-2

Publication years (Num. hits)
1992-2007 (16) 2008-2014 (15) 2021 (3)
Publication types (Num. hits)
article(11) inproceedings(22) proceedings(1)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 34 occurrences of 33 keywords

Results
Found 35 publication records. Showing 34 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Yong Li 0031, Yih-Kuen Tsay, Moshe Y. Vardi Congruence Relations for Büchi Automata. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
1Yong Li 0031, Yih-Kuen Tsay, Andrea Turrini, Moshe Y. Vardi, Lijun Zhang 0001 Congruence Relations for Büchi Automata. Search on Bibsonomy FM The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Yih-Kuen Tsay, Moshe Y. Vardi From Linear Temporal Logics to Büchi Automata: The Early and Simple Principle. Search on Bibsonomy Model Checking, Synthesis, and Learning The full citation details ... 2021 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
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
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
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
1Yih-Kuen Tsay, Bow-Yaw Wang Automated Compositional Reasoning of Intuitionistically Closed Regular Properties. Search on Bibsonomy Int. J. Found. Comput. Sci. The full citation details ... 2009 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
1Yu-Fang Chen 0001, Azadeh Farzan, Edmund M. Clarke, Yih-Kuen Tsay, Bow-Yaw Wang Learning Minimal Separating DFA's for Compositional Verification. Search on Bibsonomy TACAS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
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, Bow-Yaw Wang Automated Compositional Reasoning of Intuitionistically Closed Regular Properties. Search on Bibsonomy CIAA 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
1Azadeh Farzan, Yu-Fang Chen 0001, Edmund M. Clarke, Yih-Kuen Tsay, Bow-Yaw Wang Extending Automated Compositional Verification to the Full Class of Omega-Regular Languages. Search on Bibsonomy TACAS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Doron A. Peled, Yih-Kuen Tsay Preface. Search on Bibsonomy Int. J. Found. Comput. Sci. The full citation details ... 2007 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
1Doron A. Peled, Yih-Kuen Tsay (eds.) Automated Technology for Verification and Analysis, Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings Search on Bibsonomy ATVA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Jei-Wen Teng, Yih-Kuen Tsay Composing Temporal-Logic Specifications with Machine Assistance. Search on Bibsonomy FME The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Assumption-Guarantee, Compositional Specification, Formal Correctness, Temporal Logic, Theorem Proving, Concurrent Systems, PVS, Compositional Verification, Component-Based Software
1Parosh Aziz Abdulla, Karlis Cerans, Bengt Jonsson 0001, Yih-Kuen Tsay Algorithmic Analysis of Programs with Well Quasi-ordered Domains. Search on Bibsonomy Inf. Comput. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Yih-Kuen Tsay Compositional Verification in Linear-Time Temporal Logic. Search on Bibsonomy FoSSaCS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Yih-Kuen Tsay Deriving a Scalable Algorithm for Mutual Exclusion. Search on Bibsonomy DISC The full citation details ... 1998 DBLP  DOI  BibTeX  RDF read/write atomicity, scalability, refinement, mutual exclusion, local spins
1Bengt Jonsson 0001, Yih-Kuen Tsay Assumption/Guarantee Specifications in Linear-Time Temporal Logic. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Parosh Aziz Abdulla, Karlis Cerans, Bengt Jonsson 0001, Yih-Kuen Tsay General Decidability Theorems for Infinite-State Systems. Search on Bibsonomy LICS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Yih-Kuen Tsay, Rajive L. Bagrodia Deducing Fairness Properties in UNITY Logic - A New Completeness Result. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF fairness properties, temporal logic, completeness, UNITY
1Bengt Jonsson 0001, Yih-Kuen Tsay Assumption/Guarantee Specifications in Linear-Time Temporal Logic (Extended Abstract). Search on Bibsonomy TAPSOFT The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Yih-Kuen Tsay, Rajive L. Bagrodia Fault-Tolerant Algorithms for Fair Interprocess Synchronization. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF fair interprocess synchronization, binary interaction problem, strong fairness property, binary interactions, message cost, dining philosophers problem, distributed algorithms, fault tolerant computing, concurrency control, embedding, synchronisation, response time, fault-tolerant algorithms, asynchronous processes
1Yih-Kuen Tsay, Rajive L. Bagrodia An Algorithm with Optimal Failure Locality for the Dining Philosophers Problem. Search on Bibsonomy WDAG The full citation details ... 1994 DBLP  DOI  BibTeX  RDF Strong, Fault-Tolerance, Synchronization, Resource Allocation, Lower Bounds, Fairness
1Yih-Kuen Tsay, Rajive L. Bagrodia Operational Implication of Conditional Unity Properties. Search on Bibsonomy Specification of Parallel Algorithms The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Yih-Kuen Tsay, Rajive L. Bagrodia Some Impossibility Results in Interprocess Synchronization. Search on Bibsonomy Distributed Comput. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Yih-Kuen Tsay, Rajive L. Bagrodia A Real-Time Algorithm for Fair Interprocess Synchronization. Search on Bibsonomy ICDCS The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #34 of 34 (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