| 2025 | EDM | Assistant for the detection of potential cheating behavior in synchronous online programming exams. | Francisco Ortin, Alonso Gago, Jos Quiroga, Miguel Garca |
| 2022 | WorldCIST | Evaluation of the Use of Different Parser Generators in a Compiler Construction Course. | Francisco Ortin, Jos Quiroga, Oscar Rodriguez-Prieto, Miguel Garca |
| 2016 | IECON | Dynamic ramp-rate control to smooth short-term power fluctuations in large photovoltaic plants using battery storage systems. | igo de la Parra, Javier Marcos, Miguel Garca, Luis Marroyo |
| 2014 | SEKE | TyS - A Framework to Facilitate the Implementation of Object-Oriented Type Checkers. | Francisco Ortin, Daniel Zapico Palacio, Jos Quiroga, Miguel Garca |
| 2013 | WorldCIST | Achieving Multiple Dispatch in Hybrid Statically and Dynamically Typed Languages. | Francisco Ortin, Miguel Garca, Jose Manuel Redondo, Jos Quiroga |
| 2011 | ENASE | A Type Safe Design to Allow the Separation of Different Responsibilities into Parallel Hierarchies. | Francisco Ortin, Miguel Garca |
| 2011 | ENASE | Modularizing Different Responsibilities into Separate Parallel Hierarchies. | Francisco Ortin, Miguel Garca |
| 2011 | SEKE | Computational Reflection in order to support Context-Awareness in a Robotics Framework. | Sheila Mendez Nunez, Francisco Ortin, Miguel Garca, Vicente Garca-Daz |
| 2010 | ICSoft | A Programming Language That Combines the Benefits of Static and Dynamic Typing. | Francisco Ortin, Miguel Garca |
| 2010 | ICSoft | A Programming Language to Facilitate the Transition from Rapid Prototyping to Efficient Software Production. | Francisco Ortin, Daniel Zapico Palacio, Miguel Garca |
| 2009 | CICLING | Enriching Statistical Translation Models Using a Domain-Independent Multilingual Lexical Knowledge Base. | Miguel Garca, Jess Gimnez, Llus Mrquez |
| 2008 | AINA | An Open Source Platform for the Integration of Distributed Services. | Flix Cuadrado, Juan C. Dueas, Jos L. Ruiz, Jess Bermejo Muoz, Miguel Garca |