A Code Generation Framework for Actor-Oriented Models with Partial Evaluation. - Gang Zhou; Man-Kit Leung; Edward A. Lee (ICESS, 2007)

Scalable Semantic Annotation Using Lattice-Based Ontologies. - Man-Kit Leung; Thomas Mandl 002; Edward A. Lee; Elizabeth Latronico; Charles P. Shelton; Stavros Tripakis; Ben Lickly (MoDELS, 2009)