Puzzles for Learning Model Checking, Model Checking for Programming Puzzles, Puzzles for Testing Model Checkers. - Nikolay V. Shilov 002; Kwang Yi (FM-Everywhere@FORTE/PSTV, 2000)

On Expressive and Model Checking Power of Propositional Program Logics. - Nikolay V. Shilov 002; Kwang Yi (Ershov Memorial Conference, 2001)

How to Find a Coin: Propositional Program Logics Made Easy. - Nikolay V. Shilov 002; Kwang Yi (Bull. EATCS, 2001)

Unified Interprocedural Parallelism Detection. - Jay P. Hoeflinger; Yunheung Paek; Kwang Yi (Int. J. Parallel Program., 2001)