 | 2007 |
|---|
| 7 |       | 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 |
|---|
| 6 | | Jung Soo Kim,
David Garlan:
Analyzing architectural styles with alloy.
ROSATEA 2006: 70-80 |
| 2004 |
|---|
| 5 | | 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 |
|---|
| 4 | | David Garlan,
Serge Khersonsky,
Jung Soo Kim:
Model Checking Publish-Subscribe Systems.
SPIN 2003: 166-180 |
| 3 | | Rick Kazman,
Jai Asundi,
Jung Soo Kim,
Bhuricha Sethananda:
A simulation test-bed for mobile adaptive architectures.
Computer Standards & Interfaces 25(3): 291-298 (2003) |
| 2 | | 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) |
