Search the dblp DataBase
Kwang Yi :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Nikolay V. Shilov , Kwang Yi On Expressive and Model Checking Power of Propositional Program Logics. [Citation Graph (0, 0)][DBLP ] Ershov Memorial Conference, 2001, pp:39-46 [Conf ] Nikolay V. Shilov , Kwang Yi How to Find a Coin: Propositional Program Logics Made Easy. [Citation Graph (0, 0)][DBLP ] Bulletin of the EATCS, 2001, v:75, n:, pp:127-151 [Journal ] Nikolay V. Shilov , Kwang Yi Puzzles for Learning Model Checking, Model Checking for Programming Puzzles, Puzzles for Testing Model Checkers. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2001, v:43, n:, pp:- [Journal ] Jay Hoeflinger , Yunheung Paek , Kwang Yi Unified Interprocedural Parallelism Detection. [Citation Graph (0, 0)][DBLP ] International Journal of Parallel Programming, 2001, v:29, n:2, pp:185-215 [Journal ] Search in 0.001secs, Finished in 0.001secs