Seguir
Mercedes Hidalgo Herrero
Título
Citado por
Citado por
Año
An operational semantics for the parallel language Eden
M Hidalgo-Herrero, Y Ortega-Mallén
Parallel Processing Letters 12 (02), 211-228, 2002
392002
Comparing problem solving strategies for NP-hard optimization problems
M Hidalgo-Herrero, P Rabanal, I Rodriguez, F Rubio
Fundamenta Informaticae 124 (1-2), 1-25, 2013
292013
Using Maude and its strategies for defining a framework for analyzing Eden semantics
M Hidalgo-Herrero, A Verdejo, Y Ortega-Mallén
Electronic Notes in Theoretical Computer Science 174 (10), 119-137, 2007
232007
Continutation Semantics for Parallel Haskell Dialects.
M Hidalgo-Herrero, Y Ortega-Mallén
Springer, 2003
182003
Testing learning strategies
M Hidalgo-Herrero, I Rodriguez, F Rubio
Fourth IEEE Conference on Cognitive Informatics, 2005.(ICCI 2005)., 212-221, 2005
172005
Semánticas formales para un lenguaje funcional paralelo
M Hidalgo-Herrero
Universidad Complutense de Madrid, 2004
172004
Analyzing the influence of mixed evaluation on the performance of Eden skeletons
M Hidalgo-Herrero, Y Ortega-Mallén, F Rubio
Parallel Computing 32 (7-8), 523-538, 2006
162006
An Operational Semantics for Distributed Lazy Evaluation.
L Sánchez-Gil, M Hidalgo-Herrero, Y Ortega-Mallén
Trends in Functional Programming 10, 65-80, 2009
122009
La modelización a través de los recorridos de estudio e investigación: el caso de la comparación de tarifas de telefonía móvil
E Rodríguez, M Hidalgo, T Sierra
CONGRESO INTERNACIONAL SOBRE LA TAD 4, 421-452, 2013
102013
A distributed operational semantics for a parallel functional language.
M Hidalgo-Herrero, Y Ortega-Mallén
Scottish Functional Programming Workshop, 89-102, 2000
92000
A parallel skeleton for genetic algorithms
A de la Encina, M Hidalgo-Herrero, P Rabanal, F Rubio
Advances in Computational Intelligence: 11th International Work-Conference …, 2011
82011
Observing intermediate structures in a parallel lazy functional language
A de la Encina, L Llana, F Rubio, M Hidalgo-Herrero
Proceedings of the 9th ACM SIGPLAN international conference on Principles …, 2007
82007
Looking for Eden through Maude and its strategies
M Hidalgo-Herrero, A Verdejo, Y Ortega-Mallén
V Jornadas sobre Programación y Lenguajes, PROLE, 13-23, 2005
72005
The role of indirections in lazy natural semantics. Perspectives of System Informatics (PSI) 2014. Vol. 8974. LNCS
L Sánchez-Gil, M Hidalgo-Herrero, Y Ortega-Mallén
Springer, 2015
6*2015
A locally nameless representation for a natural semantics for lazy evaluation
L Sánchez-Gil, M Hidalgo-Herrero, Y Ortega-Mallén
Theoretical Aspects of Computing–ICTAC 2012: 9th International Colloquium …, 2012
62012
Comparing alternative evaluation strategies for stream-based parallel functional languages
M Hidalgo-Herrero, Y Ortega-Mallén, F Rubio
Implementation and Application of Functional Languages: 18th International …, 2007
62007
Relating function spaces to resourced function spaces
L Sánchez-Gil, M Hidalgo-Herrero, Y Ortega-Mallén
Proceedings of the 2011 ACM Symposium on Applied Computing, 1301-1308, 2011
52011
Comparing learning methods
M Hidalgo-Herrero, I Rodríguez, F Rubio
International Journal of Cognitive Informatics and Natural Intelligence …, 2009
52009
The education of prospective early childhood teachers within the paradigm of questioning the world
FJ García, TÁ Sierra, M Hidalgo, E Rodríguez
Working with the anthropological theory of the didactic in mathematics …, 2019
32019
Launchbury’s semantics revisited: On the equivalence of context-heap semantics (Work in progress)
L Sánchez-Gil, M Hidalgo-Herrero, Y Ortega-Mallén
XIV Jornadas sobre Programación y Lenguajes, 203-217, 2014
32014
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20