Formalizing the Well-Formedness Rules of EJB3QL in UML + OCL. - Miguel Garcia 003 (MoDELS (Workshops), 2006)

Rules for type-checking of parametric polymorphism in EMF generics. - Miguel Garcia 003 (Software Engineering (Workshops), 2007)

Bidirectional Synchronization of Multiple Views of Software Models. - Miguel Garcia 003 (DSML, 2008)

Efficient Integrity Checking for Essential MOF + OCL in Software Repositories. - Miguel Garcia 003 (J. Object Technol., 2008)

Compiler Plugins Can Handle Nested Languages: AST-Level Expansion of LINQ Queries for Java. - Miguel Garcia 003 (ICOODB, 2009)

Extending Scala with Database Query Capability. - Miguel Garcia 003; Anastasia Izmaylova; Sibylle Schupp (J. Object Technol., 2010)