Search results for: Wonhong Nam
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Regular Papers > 170-185
Lecture Notes in Computer Science > Digital Libraries: Universal and Ubiquitous Access to Information > Full Papers > 1-11
Lecture Notes in Computer Science > Computer Aided Verification > Applications of Learning > 548-562
Computing in Science & Engineering > 2014 > 16 > 5 > 96 - 103
Theoretical Computer Science > 2011 > 412 > 48 > 6736-6749
IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics) > 2010 > 40 > 2 > 412 - 420
World Wide Web > 2009 > 12 > 3 > 321-343
Formal Methods in System Design > 2008 > 32 > 3 > 207-234
International Journal on Software Tools for Technology Transfer > 2005 > 7 > 2 > 118-128
International Journal on Software Tools for Technology Transfer > 2004 > 5 > 4 > 308-319
Electronic Notes in Theoretical Computer Science > 2003 > 89 > 4 > 578-592