Yao-Tin Yu

Publication Activity (10 Years)

Years Active: 1980-1987
Publications (10 Years): 0

Publications

Hai-Yann Hwang, Yao-Tin Yu
An Analytical Method for Estimating and Interpreting Query Time. VLDB (1987)
Mohamed G. Gouda, Yao-Tin Yu
Synthesis of Communicating Finite-State Machines with Guaranteed Progress. IEEE Trans. Commun. 32 (7) (1984)
Mohamed G. Gouda, Yao-Tin Yu
Protocol Validation by Maximal Progress State Exploration. IEEE Trans. Commun. 32 (1) (1984)
Mohamed G. Gouda, Eric G. Manning, Yao-Tin Yu
On the Progress of Communications between Two Finite State Machines Inf. Control. 63 (3) (1984)
Yao-Tin Yu, Mohamed G. Gouda
Unboundedness Detection for a Class of Communicating Finite-State Machines. Inf. Process. Lett. 17 (5) (1983)
Mohamed G. Gouda, Yao-Tin Yu
Maximal progress state exploration. SIGCOMM (1983)
Yao-Tin Yu, Mohamed G. Gouda
Deadlock Detection for a Class of Communicating Finite State Machine. PSTV (1982)
Yao-Tin Yu, Mohamed G. Gouda
Deadlock Detection for a Class of Communicating Finite State Machines. IEEE Trans. Commun. 30 (12) (1982)
Mohamed G. Gouda, Eric G. Manning, Yao-Tin Yu
On the progress of communication between two machines. Operating Systems Engineering (1980)