| 2018 | ICRA | Perception-Informed Autonomous Environment Augmentation with Modular Robots. | Tarik Tosun, Jonathan Daudelin, Gangyuan Jing, Hadas Kress-Gazit, Mark E. Campbell, Mark Yim |
| 2017 | IJCAI | An End-to-End System for Accomplishing Tasks with Modular Robots: Perspectives for the AI community. | Gangyuan Jing, Tarik Tosun, Mark Yim, Hadas Kress-Gazit |
| 2015 | ISRR | Computer-Aided Compositional Design and Verification for Modular Robots. | Tarik Tosun, Gangyuan Jing, Hadas Kress-Gazit, Mark Yim |
| 2013 | ICRA | Improving the continuous execution of reactive LTL-based controllers. | Gangyuan Jing, Hadas Kress-Gazit |
| 2013 | IROS | Shortcut through an evil door: Optimality of correct-by-construction controllers in adversarial environments. | Gangyuan Jing, Rdiger Ehlers, Hadas Kress-Gazit |
| 2012 | ICRA | Correct high-level robot control from structured English. | Gangyuan Jing, Cameron Finucane, Vasumathi Raman, Hadas Kress-Gazit |
| 2011 | AAAI | Designing Reactive Robot Controllers with LTLMoP. | Cameron Finucane, Gangyuan Jing, Hadas Kress-Gazit |
| 2010 | IROS | LTLMoP: Experimenting with language, Temporal Logic and robot control. | Cameron Finucane, Gangyuan Jing, Hadas Kress-Gazit |