Lily Chang
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2002–2011
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2011 | SAC | A model transformation approach for verifying multi-agent systems using SPIN. | Lily Chang, Xudong He |
| 2010 | SEKE | A Multi-Agent Model for a Business Continuity Information Network. | Lily Chang, Xudong He |
| 2009 | SEKE | Towards Adaptable BDI Agent: A Formal Aspect-oriented Modeling Approach. | Lily Chang, Xudong He |
| 2002 | ICRA | The BlueDRAGON - A System for Measuring the Kinematics and the Dynamics of Minimally Invasive Surgical Tools In-Vivo. | Jacob Rosen, Jeffrey D. Brown, Lily Chang, Marco Barreca, Mika N. Sinanan, Blake Hannaford |