| 2011 | DATE | Power optimization in heterogenous datapaths. | Alberto A. Del Barrio, Seda Ogrenci Memik, Mara C. Molina, Jos M. Mendas, Romn Hermida |
| 2006 | DATE | Pre-synthesis optimization of multiplications to improve circuit performance. | Rafael Ruiz-Sautua, Mara C. Molina, Jos M. Mendas, Romn Hermida |
| 2005 | ASPDAC | Arrival time aware scheduling to minimize clock cycle length. | Rafael Ruiz-Sautua, Mara C. Molina, Jos M. Mendas, Romn Hermida |
| 2005 | DATE | Behavioural Transformation to Improve Circuit Performance in High-Level Synthesis. | Rafael Ruiz-Sautua, Mara C. Molina, Jos M. Mendas, Romn Hermida |
| 2004 | DATE | Behavioural Bitwise Scheduling Based on Computational Effort Balancing. | Mara C. Molina, Rafael Ruiz-Sautua, Jos M. Mendas, Romn Hermida |
| 2003 | DATE | High-Level Allocation to Minimize Internal Hardware Wastage. | Mara C. Molina, Jos M. Mendas, Romn Hermida |
| 2002 | DAC | High-level synthesis of multiple-precision circuitsindependent of data-objects length. | Mara C. Molina, Jos M. Mendas, Romn Hermida |
| 2002 | DATE | Multiple-Precision Circuits Allocation Independent of Data-Objects Length. | Mara C. Molina, Jos M. Mendas, Romn Hermida |
| 2002 | DATE | Maximizing Conditonal Reuse by Pre-Synthesis Transformations. | Olga Pealba, Jos M. Mendas, Romn Hermida |
| 2002 | DSD | Optimization of Equational Specifications Using Genetic Techniques. | Aitor Ibarra, Jos M. Mendas, Juan Lanchares, Jos Ignacio Hidalgo, Romn Hermida |
| 2002 | DSD | Efficient Verification of Scheduling, Allocation and Binding in High-Level Synthesis. | Jos M. Mendas, Romn Hermida, Mara C. Molina, Olga Pealba |
| 2002 | DSD | Bit-Level Allocation of Multiple-Precision Specifications. | Mara C. Molina, Jos M. Mendas, Romn Hermida |
| 2002 | DSD | Source Code Transformation to Improve Conditional Hardware Reuse. | Olga Pealba, Jos M. Mendas, Romn Hermida |
| 2002 | ICCAD | Bit-level scheduling of heterogeneous behavioural specifications. | Mara C. Molina, Jos M. Mendas, Romn Hermida |
| 1998 | DATE | Correct High-Level Synthesis: a Formal Perspective. | Jos M. Mendas, Romn Hermida |
| 1997 | VLSID | Formal Techniques for Hardware Allocation. | Jos M. Mendas, Romn Hermida, Milagros Fernndez |
| 1996 | DATE | Algebraic Support for Transformational Hardware Allocation. | Jos M. Mendas, Romn Hermida, Milagros Fernndez |