| 1. |
López García, Pedro; Hermenegildo, Manuel V.; Klemen, Maximiliano y Liqat, Umer
(2017).
Energy consumption analysis and verification
using CiaoPP.
"The ALP Newsletter", v. 30
(n. 3);
pp. 1-6.
|
 |
| 2. |
Casas, Amadeo; Carro Liñares, Manuel y Hermenegildo, Manuel V.
(2007).
Annotation algorithms for unrestricted independent
and-parallelism in logic programs.
Monografía (Informe Técnico).
Facultad de Informática (UPM) [antigua denominación], Madrid, España.
|
|
| 3. |
Torre Arnanz, Eduardo de la
(2018).
Self-Adaptation of Cyber Physical Systems: Flexible HW/SW computing.
En: "CPS Summer School 2018 Designing Cyber-Physical Systems – From concepts to implementation", 17 - 21 September, 2018, Alghero (Italia). pp. 1-7.
|
|
| 4. |
Casas, Amadeo; Carro Liñares, Manuel y Hermenegildo, Manuel V.
(2007).
Towards a high-level implementation of
execution primitives for non-restricted,
independent and-parallelism.
Monografía (Informe Técnico).
Facultad de Informática (UPM) [antigua denominación], Madrid, España.
|
|
| 5. |
Mera Menéndez, Edison Fernando; López García, Pedro; Carro Liñares, Manuel y Hermenegildo, Manuel V.
(2017).
Towards execution Time estimation in
abstract machine-based (Logic)
languages.
Monografía (Informe Técnico).
Facultad de Informática (UPM) [antigua denominación], Madrid, España.
|
|
| 6. |
Ivanovic, Dragan; Carro Liñares, Manuel y Hermenegildo, Manuel V.
(2010).
Automated attribute inference in complex
srvice workflows based on sharing analysis.
Monografía (Informe Técnico).
Facultad de Informática (UPM) [antigua denominación], Madrid, España.
|
|
| 7. |
Santos Berbel, César de y Castro Malpica, María
(2018).
Three-Dimensional Virtual Highway Model for Sight-Distance Evaluation of Highway Underpasses.
"Journal of Surveying Engineering", v. 144
(n. 4);
pp. 1-10.
ISSN 1943-5428.
https://doi.org/10.1061/(ASCE)SU.1943-5428.0000258.
Disponibilidad restringida.
|
|
| 8. |
Stulova, Nataliia; Morales Caballero, José Francisco y Hermenegildo, Manuel V.
(2017).
Term hiding and its impact
on run-time check simplification.
Monografía (Informe Técnico).
E.T.S. de Ingenieros Informáticos (UPM), Madrid, España.
|
|
| 9. |
Esposito, Floriana; Ghezzi, Carlo; Hermenegildo, Manuel V.; Kirchner, Helena y Ong, Luke
(2018).
Informatics research evaluation.
Monografía (Informe Técnico).
E.T.S. de Ingenieros Informáticos (UPM), Zurich, Suiza.
|
|
| 10. |
Klemen, Maximiliano; Stulova, Nataliia; López García, Pedro; Morales Caballero, José Francisco y Hermenegildo, Manuel V.
(2018).
An approach to static performance guarantees
for pograms with run-time checks.
Monografía (Informe Técnico).
E.T.S. de Ingenieros Informáticos (UPM), Madrid, España.
|
|
| 11. |
García Contreras, Isabel; Morales Caballero, José Francisco y Hermenegildo, Manuel V.
(2018).
An approach to icremental and modular
context-sensitive analysis.
Monografía (Informe Técnico).
E.T.S. de Ingenieros Informáticos (UPM), Madrid, España.
|
|
| 12. |
Porras Hermosos, Ángel Luis; Pindado Carrion, Santiago y Cubas Cano, Javier
(2018).
Lithium-ion battery performance modeling based on the energy discharge level.
"Measurement Science and Technology", v. 29
(n. 11);
ISSN 0957-0233.
https://doi.org/10.1088/1361-6501/aae231.
Disponibilidad restringida.
|
|
| 13. |
Esquembri, Sergio
(2018).
IoT with the Raspberry-Pi3.
Monografía (Manual).
E.T.S.I. y Sistemas de Telecomunicación (UPM), Madrid.
|
|
| 14. |
Martín Melgar, Miguel Ángel
(2018).
Coworking Cohousing: Plataforma logística Anillo Sur. Madrid Río-Calle 30.
Proyecto Fin de Carrera / Trabajo Fin de Grado, E.T.S. Arquitectura (UPM).
|
|
| 15. |
Pérez González, Ana
(2018).
Synthetic biology tools for the study of relevant factors in the control of transgene expression.
Tesis (Doctoral), E.T.S. de Ingeniería Agronómica, Alimentaria y de Biosistemas (UPM).
https://doi.org/10.20868/UPM.thesis.52923.
Disponibilidad restringida.
|
 |
| 16. |
Fernández Alonso, María José
(2018).
Soil functioning in the ecotone between Scots pine and Pyrenean oak forests: effects of tree species on the soil carbon and nitrogen cycling.
Tesis (Doctoral), E.T.S.I. Montes, Forestal y del Medio Natural (UPM).
https://doi.org/10.20868/UPM.thesis.53058.
Disponibilidad restringida.
|
|
| 17. |
Esquembri, Sergio
(2018).
Embedded Linux Systems: Using Buildroot for building Embedded Linux Systems on Raspberry Pi 3.
Monografía (Manual).
E.T.S.I. y Sistemas de Telecomunicación (UPM), Madrid.
|
|
| 18. |
López Gómez-Carreño, Sergio
(2018).
Diseño del proceso de virtualización de una arquitectura informática.
Proyecto Fin de Carrera / Trabajo Fin de Grado, E.T.S.I. y Sistemas de Telecomunicación (UPM), Madrid.
|
|
| 19. |
Ávila Serrano, Elena
(2013).
Una escuela de terapias alternativas en antigua cantera: activación paisajística y funcional de La Cantera Río Chíllar, Nerja, Málaga.
Proyecto Fin de Carrera / Trabajo Fin de Grado, E.T.S. Arquitectura (UPM).
|
|
| 20. |
Moreno Belinchón, Jesús
(2018).
Integración de la industria 4.0 en abas ERP.
Proyecto Fin de Carrera / Trabajo Fin de Grado, E.T.S.I. y Sistemas de Telecomunicación (UPM), Madrid.
Disponibilidad restringida.
|
|
