Man-Kit Leung

Publication Activity (10 Years)

Years Active: 2007-2009
Publications (10 Years): 0

Publications

Man-Kit Leung, Thomas Mandl, Edward A. Lee, Elizabeth Latronico, Charles P. Shelton, Stavros Tripakis, Ben Lickly
Scalable Semantic Annotation Using Lattice-Based Ontologies. MoDELS (2009)
Gang Zhou, Man-Kit Leung, Edward A. Lee
A Code Generation Framework for Actor-Oriented Models with Partial Evaluation. ICESS (2007)