Miguel García

Publication Activity (10 Years)

Years Active: 2002-2024
Publications (10 Years): 9

Top Topics

Object Oriented

Top Venues

Softw. Pract. Exp.

IEEE Trans. Learn. Technol.

J. Ambient Intell. Smart Environ.

Publications

Marta Irene García Cid, Michail-Alexandros Kourtis, David Domingo Martín, Nikolay Tcholtchev, Evangelos K. Markakis, Marcin Niemiec, Javier Faba, Laura Ortiz, Vicente Martín, Diego R. López, George Xilouris, Maria Gagliardi, José González, Miguel García, Giovanni Comandé, Nikolai Stoianov
PQ-REACT: Post Quantum Cryptography Framework for Energy Aware Contexts. ARES (2024)
Naiara Goñi, Javier Marcos, Miguel García, Alberto García, Andoni Urtasun, Luis Marroyo
High-Fidelity Averaged Model of Grid-Following Inverter for Stability Analysis Considering the PLL Influence. ISIE (2023)
Francisco Ortin, Guillermo Facundo, Miguel García
Analyzing syntactic constructs of Java programs with machine learning. Expert Syst. Appl. 215 (2023)
Francisco Ortin, Miguel García, José Baltasar García Pérez-Schofield, José Quiroga
programming language. SoftwareX 20 (2022)
Miguel García, José Quiroga, Francisco Ortin
ProcessPerformance: A portable and easy-to-use tool to measure resource consumption of running processes. Softw. Impacts 11 (2022)
Miguel García, José Quiroga, Francisco Ortin
An Infrastructure to Deliver Synchronous Remote Programming Labs. IEEE Trans. Learn. Technol. 14 (2) (2021)
Francisco Ortin, Miguel García, Seán McSweeney
Rule-based program specialization to optimize gradually typed code. Knowl. Based Syst. 179 (2019)
Miguel García, Francisco Ortin, José Quiroga
Design and implementation of an efficient hybrid dynamic and static typing language. Softw. Pract. Exp. 46 (2) (2016)
José Quiroga, Francisco Ortin, David Llewellyn-Jones, Miguel García
Optimizing runtime performance of hybrid dynamically and statically typed languages for the .Net platform. J. Syst. Softw. 113 (2016)
Francisco Ortin, Sheila Mendez Nunez, Vicente García-Díaz, Miguel García
On the suitability of dynamic languages for hot-reprogramming a robotics framework: a Python case study. Softw. Pract. Exp. 44 (1) (2014)
Miguel García, Francisco Ortin
Efficient runtime adaptability to support context-awareness in a robotic framework. J. Ambient Intell. Smart Environ. 6 (1) (2014)
Francisco Ortin, Daniel Zapico Palacio, José Quiroga, Miguel García
TyS - A Framework to Facilitate the Implementation of Object-Oriented Type Checkers. SEKE (2014)
Francisco Ortin, Miguel García, Jose Manuel Redondo, José Quiroga
Achieving Multiple Dispatch in Hybrid Statically and Dynamically Typed Languages. WorldCIST (2013)
Miguel García, David Llewellyn-Jones, Francisco Ortin, Madjid Merabti
Applying dynamic separation of aspects to distributed systems security: A case study. IET Softw. 6 (3) (2012)
Francisco Ortin, Miguel García
Union and intersection types to support both dynamic and static typing. Inf. Process. Lett. 111 (6) (2011)
Francisco Ortin, Miguel García
Separating different responsibilities into parallel hierarchies. C3S2E (2011)
Inés María Galván, José María Valls, Miguel García, Pedro Isasi
A lazy learning approach for building classification models. Int. J. Intell. Syst. 26 (8) (2011)
Francisco Ortin, Miguel García
A Type Safe Design to Allow the Separation of Different Responsibilities into Parallel Hierarchies. ENASE (2011)
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)
Francisco Ortin, Miguel García
Modularizing Different Responsibilities into Separate Parallel Hierarchies. ENASE (Selected Papers) (2011)
Francisco Ortin, Miguel García
A Programming Language That Combines the Benefits of Static and Dynamic Typing. ICSOFT (Selected Papers) (2010)
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)
Francisco Ortin, Daniel Zapico Palacio, J. Baltasar García Pérez-Schofield, Miguel García
Including both static and dynamic typing in the same programming language. IET Softw. 4 (4) (2010)
Luis Álvarez, Carlos A. Castaño-Moraga, Miguel García, Karl Krissian, Luis Mazorra, Agustín Salgado, Javier Sánchez Pérez
A new energy-based method for 3D motion estimation of incompressible PIV flows. Comput. Vis. Image Underst. 113 (7) (2009)
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)
Félix Cuadrado, Juan C. Dueñas, José L. Ruiz, Jesús Bermejo Muñoz, Miguel García
An Open Source Platform for the Integration of Distributed Services. AINA Workshops (2008)
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. Comput. Methods Programs Biomed. 90 (2) (2008)
Miguel García, Ralf Möller
Incremental Evaluation of OCL Invariants in the Essential MOF Object Model. Modellierung (2008)
Luis Álvarez, Carlos A. Castaño-Moraga, Miguel García, Karl Krissian, Luis Mazorra, Agustín Salgado, Javier Sánchez Pérez
Symmetric Optical Flow. EUROCAST (2007)
Luis Álvarez, Carlos A. Castaño-Moraga, Miguel García, Karl Krissian, Luis Mazorra, Agustín Salgado, Javier Sánchez Pérez
Second Order Variational Optic Flow Estimation. EUROCAST (2007)
Luis Álvarez, Carlos A. Castaño-Moraga, Miguel García, Karl Krissian, Luis Mazorra, Agustín Salgado, Javier Sánchez Pérez
A Variational Approach for 3D Motion Estimation of Incompressible PIV Flows. SSVM (2007)
Luis Álvarez, Carlos A. Castaño-Moraga, Miguel García, Karl Krissian, Luis Mazorra, Agustín Salgado, Javier Sánchez Pérez
3D Motion Estimation Using a Combination of Correlation and Variational Methods for PIV. EUROCAST (2007)
Miguel García, Ralf Möller
Certification of transformation algorithms in model-driven software development. Software Engineering (2007)
Miguel García, Joseph Gelbard, Brooke Huston, Rochelle Jackson, Wendy Kuefer, Gwyn Lauber, Holming Lee, Margaret Miller, Bill Xie, Steven Alter
The Perils of Ignoring "Systems 101": Recovering from Mishaps at Two Small Companies. Commun. Assoc. Inf. Syst. 8 (2002)