 | 2012 |
| 5 |  | Jun Inoue,
Walid Taha:
Reasoning about Multi-stage Programs.
ESOP 2012: 357-376 |
| 2011 |
| 4 |  | Naofumi Miura,
Yu Ikemoto,
Jose Gonzalez,
Jun Inoue,
Wenwei Yu:
Analyzing of compensated strategy in impaired walking using a humanoid robot.
ROBIO 2011: 62-67 |
| 2010 |
| 3 |  | Edwin M. Westbrook,
Mathias Ricken,
Jun Inoue,
Yilong Yao,
Tamer Abdelatif,
Walid Taha:
Mint: Java multi-stage programming using weak separability.
PLDI 2010: 400-411 |
| 2009 |
| 2 |  | Angela Yun Zhu,
Jun Inoue,
Marisa Linnea Peralta,
Walid Taha,
Marcia K. O'Malley,
Dane Powell:
Implementing Haptic Feedback Environments from High-Level Descriptions.
ICESS 2009: 482-489 |
| 2006 |
| 1 |  | Jun Inoue,
Akira Ishino,
Ayumi Shinohara:
Ball tracking with velocity based on Monte-Carlo localization.
IAS 2006: 686-693 |