default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMiguel García
This is just a disambiguation page, and is not intended to be the bibliography of an actual person. Any publication listed on this page has not been assigned to an actual author yet. If you know the true author of one of the publications listed below, you are welcome to contact us.
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[c20]Marta Irene García Cid
, Michail-Alexandros Kourtis, David Domingo Martín, Nikolay Tcholtchev, Evangelos K. Markakis, Marcin Niemiec, Javier Faba, Laura Ortíz, 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: 65:1-65:7- 2023
- [j17]Francisco Ortin, Guillermo Facundo, Miguel García:
Analyzing syntactic constructs of Java programs with machine learning. Expert Syst. Appl. 215: 119398 (2023) - [c19]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: 1-4 - 2022
- [j16]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: 100220 (2022) - [j15]Francisco Ortin, Miguel García, José Baltasar García Pérez-Schofield, José Quiroga:
The StaDyn programming language. SoftwareX 20: 101211 (2022) - [c18]Francisco Ortin, José Quiroga, Oscar Rodriguez-Prieto, Miguel García:
Evaluation of the Use of Different Parser Generators in a Compiler Construction Course. WorldCIST (3) 2022: 338-346 - 2021
- [j14]Miguel García, José Quiroga, Francisco Ortin:
An Infrastructure to Deliver Synchronous Remote Programming Labs. IEEE Trans. Learn. Technol. 14(2): 161-172 (2021) - 2020
- [j13]Francisco Ortin, Oscar Rodriguez-Prieto, Nicolas Pascual, Miguel García:
Heterogeneous tree structure classification to label Java programmers according to their expertise level. Future Gener. Comput. Syst. 105: 380-394 (2020)
2010 – 2019
- 2019
- [j12]Francisco Ortin, Miguel García, Seán McSweeney:
Rule-based program specialization to optimize gradually typed code. Knowl. Based Syst. 179: 145-173 (2019) - 2016
- [j11]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: 114-129 (2016) - [j10]Miguel García, Francisco Ortin, José Quiroga:
Design and implementation of an efficient hybrid dynamic and static typing language. Softw. Pract. Exp. 46(2): 199-226 (2016) - [c17]Íñigo de la Parra, Javier Marcos, Miguel García, Luis Marroyo:
Dynamic ramp-rate control to smooth short-term power fluctuations in large photovoltaic plants using battery storage systems. IECON 2016: 3052-3057 - 2014
- [j9]Miguel García, Francisco Ortin:
Efficient runtime adaptability to support context-awareness in a robotic framework. J. Ambient Intell. Smart Environ. 6(1): 107-109 (2014) - [j8]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): 77-104 (2014) - [c16]Francisco Ortin, Daniel Zapico Palacio, José Quiroga, Miguel García:
TyS - A Framework to Facilitate the Implementation of Object-Oriented Type Checkers. SEKE 2014: 150-155 - 2013
- [c15]Francisco Ortin, Miguel García, Jose Manuel Redondo, José Quiroga:
Achieving Multiple Dispatch in Hybrid Statically and Dynamically Typed Languages. WorldCIST 2013: 703-713 - 2012
- [j7]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): 231-248 (2012) - 2011
- [j6]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): 773-786 (2011) - [j5]Francisco Ortin, Miguel García:
Union and intersection types to support both dynamic and static typing. Inf. Process. Lett. 111(6): 278-286 (2011) - [c14]Francisco Ortin, Miguel García:
Separating different responsibilities into parallel hierarchies. C3S2E 2011: 63-72 - [c13]Francisco Ortin, Miguel García:
A Type Safe Design to Allow the Separation of Different Responsibilities into Parallel Hierarchies. ENASE 2011: 15-25 - [c12]Francisco Ortin, Miguel García:
Modularizing Different Responsibilities into Separate Parallel Hierarchies. ENASE (Selected Papers) 2011: 16-31 - [c11]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 - 2010
- [j4]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): 268-282 (2010) - [c10]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 - [c9]Francisco Ortin, Miguel García:
A Programming Language That Combines the Benefits of Static and Dynamic Typing. ICSOFT (Selected Papers) 2010: 72-87
2000 – 2009
- 2009
- [j3]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): 802-810 (2009) - [c8]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 - 2008
- [j2]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): 104-116 (2008) - [c7]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: 1422-1427 - [c6]Miguel García, Ralf Möller:
Incremental Evaluation of OCL Invariants in the Essential MOF Object Model. Modellierung 2008: 11-26 - 2007
- [c5]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: 612-620 - [c4]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: 646-653 - [c3]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: 676-683 - [c2]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: 837-847 - [c1]Miguel García, Ralf Möller:
Certification of transformation algorithms in model-driven software development. Software Engineering 2007: 107-118 - 2002
- [j1]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: 24 (2002)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-14 22:04 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
