 | 2011 |
| 17 |  | Francisco Ortin,
Miguel García:
Separating different responsibilities into parallel hierarchies.
C3S2E 2011: 63-72 |
| 16 |  | Francisco Ortin,
Miguel García:
A Type Safe Design to Allow the Separation of Different Responsibilities into Parallel Hierarchies.
ENASE 2011: 15-25 |
| 15 |  | Sheila Mendez Nunez,
Francisco Ortin,
Miguel García,
Vicente García-Díaz:
Computational Reflection in order to support Context-Awareness in a Robotics Framework.
SEKE 2011: 533-538 |
| 14 |  | Francisco Ortin,
Miguel García:
Union and intersection types to support both dynamic and static typing.
Inf. Process. Lett. 111(6): 278-286 (2011) |
| 13 |  | Inés María Galván,
Jos M. Valls,
Miguel García,
Pedro Isasi:
A lazy learning approach for building classification models.
Int. J. Intell. Syst. 26(8): 773-786 (2011) |
| 2010 |
| 12 |  | Francisco Ortin,
Daniel Zapico Palacio,
Miguel García:
A Programming Language to Facilitate the Transition from Rapid Prototyping to Efficient Software Production.
ICSOFT (2) 2010: 40-50 |
| 11 |  | Francisco Ortin,
Daniel Zapico Palacio,
J. Baltasar García Perez-Schofield,
Miguel García:
Including both static and dynamic typing in the same programming language.
IET Software 4(4): 268-282 (2010) |
| 2009 |
| 10 |  | Miguel García,
Jesús Giménez,
Lluís Màrquez:
Enriching Statistical Translation Models Using a Domain-Independent Multilingual Lexical Knowledge Base.
CICLing 2009: 306-317 |
| 9 |  | Luis Álvarez,
Carlos A. Castaño-Moraga,
Miguel García,
Karl Krissian,
Luis Mazorra,
Agustín Salgado,
Javier Sánchez:
A new energy-based method for 3D motion estimation of incompressible PIV flows.
Computer Vision and Image Understanding 113(7): 802-810 (2009) |
| 2008 |
| 8 |  | Félix Cuadrado,
Juan C. Dueñas,
José L. Ruiz,
Jesús Bermejo,
Miguel García:
An Open Source Platform for the Integration of Distributed Services.
AINA Workshops 2008: 1422-1427 |
| 7 |  | Miguel García,
Ralf Möller:
Incremental Evaluation of OCL Invariants in the Essential MOF Object Model.
Modellierung 2008: 11-26 |
| 6 |  | Dinora Araceli Morales,
Endika Bengoetxea,
Pedro Larrañaga,
Miguel García,
Yosu Franco,
Mónica Fresnada,
Marisa Merino:
Bayesian classification for the selection of in vitro human embryos using morphological and clinical data.
Computer Methods and Programs in Biomedicine 90(2): 104-116 (2008) |
| 2007 |
| 5 |  | Luis Álvarez,
Carlos A. Castaño-Moraga,
Miguel García,
Karl Krissian,
Luis Mazorra,
Agustín Salgado,
Javier Sánchez:
3D Motion Estimation Using a Combination of Correlation and Variational Methods for PIV.
EUROCAST 2007: 612-620 |
| 4 |  | Luis Álvarez,
Carlos A. Castaño-Moraga,
Miguel García,
Karl Krissian,
Luis Mazorra,
Agustín Salgado,
Javier Sánchez:
Second Order Variational Optic Flow Estimation.
EUROCAST 2007: 646-653 |
| 3 |  | Luis Álvarez,
Carlos A. Castaño-Moraga,
Miguel García,
Karl Krissian,
Luis Mazorra,
Agustín Salgado,
Javier Sánchez:
Symmetric Optical Flow.
EUROCAST 2007: 676-683 |
| 2 |  | Luis Álvarez,
Carlos A. Castaño-Moraga,
Miguel García,
Karl Krissian,
Luis Mazorra,
Agustín Salgado,
Javier Sánchez:
A Variational Approach for 3D Motion Estimation of Incompressible PIV Flows.
SSVM 2007: 837-847 |
| 1 |  | Miguel García,
Ralf Möller:
Certification of transformation algorithms in model-driven software development.
Software Engineering 2007: 107-118 |