2007 |
6 | EE | Kent Lyons,
Helene Brashear,
Tracy L. Westeyn,
Jung Soo Kim,
Thad Starner:
GART: The Gesture and Activity Recognition Toolkit.
HCI (3) 2007: 718-727 |
2006 |
5 | EE | Jung Soo Kim,
David Garlan:
Analyzing architectural styles with alloy.
ROSATEA 2006: 70-80 |
2004 |
4 | EE | Christopher Nelson,
Jung Soo Kim:
Integration of Software Engineering Techniques Through the Use of Architecture, Process, and People Management: An Experience Report.
RISE 2004: 1-10 |
2003 |
3 | EE | David Garlan,
Serge Khersonsky,
Jung Soo Kim:
Model Checking Publish-Subscribe Systems.
SPIN 2003: 166-180 |
2 | EE | Jungmin Ahn,
Hyun Kwang Kim,
Jung Soo Kim,
Mina Kim:
Classification of perfect linear codes with crown poset structure.
Discrete Mathematics 268(1-3): 21-30 (2003) |
2002 |
1 | | Hyun Kwang Kim,
Jung Soo Kim:
Evaluation of zeta function of the simplest cubic field at negative odd integers.
Math. Comput. 71(239): 1243-1262 (2002) |