Kwang Yi

According to our database, Kwang Yi authored at least 4 papers between 2000 and 2001.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2001

Unified Interprocedural Parallelism Detection.

Jay P. Hoeflinger, Yunheung Paek, Kwang Yi

Int. J. Parallel Program., 2001

How to Find a Coin: Propositional Program Logics Made Easy.

Nikolay V. Shilov, Kwang Yi

Bull. EATCS, 2001

On Expressive and Model Checking Power of Propositional Program Logics.

Nikolay V. Shilov, Kwang Yi

Proceedings of the Perspectives of System Informatics, 2001

2000

Puzzles for Learning Model Checking, Model Checking for Programming Puzzles, Puzzles for Testing Model Checkers.

Nikolay V. Shilov, Kwang Yi

Proceedings of the Formal Methods Elsewhere, 2000