Login / Signup
Kwang Yi
Publication Activity (10 Years)
Years Active: 2001-2001
Publications (10 Years): 0
</>
Publications
</>
Jay P. Hoeflinger
,
Yunheung Paek
,
Kwang Yi
Unified Interprocedural Parallelism Detection.
Int. J. Parallel Program.
29 (2) (2001)
Nikolay V. Shilov
,
Kwang Yi
Puzzles for Learning Model Checking, Model Checking for Programming Puzzles, Puzzles for Testing Model Checkers.
Electron. Notes Theor. Comput. Sci.
43 (2001)
Nikolay V. Shilov
,
Kwang Yi
On Expressive and Model Checking Power of Propositional Program Logics.
Ershov Memorial Conference
(2001)
Nikolay V. Shilov
,
Kwang Yi
How to Find a Coin: Propositional Program Logics Made Easy.
Bull. EATCS
75 (2001)