Carro Liñares, Manuel manuel.carro@upm.es
Actividades
- Artículos 44
- Libros 0
- Capítulos de libro 3
- Congresos 65
- Documentos de trabajo 0
- Informes técnicos 0
- Proyectos de investigación 29
- Tesis dirigidas 6
- Patentes o licencias de software 0
Teaching how to derive correct concurrent programs from state-based specifications and code patterns
- Carro, M
- Marino, J
- Herranz, A
- Moreno-Navarro, JJ;
Lecture Notes In Computer Science (p. 85-106) - 1/1/2004
- ISSN 03029743
- iMarina
Subcadenas en la secuencia mira-y-dí (CUPCAM 2003, problema C, solución)
- Oscar Martín Sánchez, Manuel Carro Liñares
Novática: Revista De La Asociación De Técnicos De Informática - 1/1/2004
- ISSN 02112124
- iMarina
A generator of efficient abstract machine implementations and its application to emulator minimization
- Morales, JF
- Carro, M
- Puebla, G
- Hermenegildo, MV;
Lecture Notes In Computer Science (p. 21-36) - 1/1/2005
10.1007/11562931_5 Ver en origen
- ISSN 03029743
The interest of the Spanish network of investigators in back pain for rehabilitation physician
- Arrebola A
- Kovacs F
- Gestoso M
- Vecchierini N
- Del Real Calvo M
- Pino M
- Castell M
- Ortega J
- Berstein S
- Burls A
- Villar A
- Kleinbaum D
- Sánchez J
- Herranz A
- Rodríguez S
- Gil P
- Santos V
- García A
- Zamora J
- Sánchez D
- Hernández J
- Pérez J
- Castillo J
- Torres A
- Mancebo A
- Rodríguez M
- Ruiz J
- Abela A
- Linares M
- Sierra A
- De Los Monteros M
- Del Castillo M
- Osuna R
- Romano E
- Moreno A
- Reyes M
- Jaume M
- Estela G
- Rosselló J
- Escudero A
Rehabilitacion (p. 185-191) - 1/12/2005
10.1016/s0048-7120(05)74344-9 Ver en origen
- ISSN 00487120
Using combined static analysis and profiling for logic program execution time estimation
- Mera, Edison
- Lopez-Garcia, Pedro
- Puebla, German
- Carro, Manuel
- Hermenegildo, Manuel;
Lecture Notes In Computer Science (p. 431-432) - 1/1/2006
10.1007/11799573_36 Ver en origen
- ISSN 03029743
Subexpresiones (CUPCAM 2005, problema H, solución)
- Angel Herranz Nieva, Manuel Carro Liñares
Novática: Revista De La Asociación De Técnicos De Informática - 1/1/2006
- ISSN 02112124
- iMarina
Subexpresiones (CUPCAM 2005, problema H, enunciado)
- Manuel Carro Liñares, Angel Herranz Nieva
Novática: Revista De La Asociación De Técnicos De Informática - 1/1/2006
- ISSN 02112124
- iMarina
Programas equivalentes (CUPCAM 2005, problema E, solución)
- Manuel Carro Liñares
- Manuel Freire Morán
Novática: Revista De La Asociación De Técnicos De Informática - 1/1/2006
- ISSN 02112124
- iMarina
Saldando cuentas (CUPCAM, problema C, solución)
- Manuel Carro Liñares
- Manuel Freire Morán
Novática: Revista De La Asociación De Técnicos De Informática - 1/1/2007
- ISSN 02112124
- iMarina
Este/a investigador/a no tiene libros.
Internet Abuse: Emerging Trends and Lingering Questions
- ;
Psychological Aspects Of Cyberspace: Theory, Research, Applications (p. 32-69) - 1/1/2008
Types, Modes and so Much More – The Prolog Way
- Hermenegildo MV
- Morales JF
- Lopez-Garcia P
- Carro M
Lecture Notes In Computer Science (p. 23-37) - 1/1/2023
10.1007/978-3-031-35254-6_2 Ver en origen
- ISSN 03029743
Prolog: Past, Present, and Future
- Gupta G
- Salazar E
- Shakerin F
- Arias J
- Varanasi SC
- Basu K
- Wang H
- Li F
- Erbatur S
- Padalkar P
- Rajasekharan A
- Zeng Y
- Carro M
Lecture Notes In Computer Science (p. 48-61) - 1/1/2023
10.1007/978-3-031-35254-6_4 Ver en origen
- ISSN 03029743
SOME PARADIGMS FOR VISUALIZING PARALLEL EXECUTION OF LOGIC PROGRAMS
- CARRO, M
- GOMEZ, L
- HERMENEGILDO, M;
Logic Programming - Proceedings Of The 1997 International Symposium (p. 184-200) - 1/1/1993
- ISSN 10610464
- iMarina
IDRA (IDeal resource allocation): Computing ideal speedups in parallel logic programming
- Fernández M
- Carro M
- Hermenegildo M
Lecture Notes In Computer Science (p. 724-733) - 1/1/1996
- ISSN 03029743
- iMarina
Concurrency in prolog using threads and a shared database
- Carro, M
- Hermenegildo, M;
Logic Programming - Proceedings Of The 1997 International Symposium (p. 320-334) - 1/1/1999
- ISSN 10610464
- iMarina
Electronic Notes in Theoretical Computer Science: Preface
- Dutra I
- Santos Costa V
- Gupta G
- Pontelli E
- Carro M
- Kacsuk P
Electronic Notes In Theoretical Computer Science (p. 1-2) - 1/12/2000
10.1016/s1571-0661(05)80113-6 Ver en origen
- ISSN 15710661
High-level languages for small devices: A case study
- Carro M
- Morales J
- Muller H
- Puebla G
- Hermenegildo M
Cases 2006: International Conference On Compilers, Architecture And Synthesis For Embedded Systems (p. 271-281) - 1/1/2006
Towards execution time estimation for logic programs via static analysis and profiling
- Mera E
- López-García P
- Puebla G
- Carro M
- Hermenegildo M
1/12/2006
- iMarina
Towards description and optimization of abstract machines in an extension of prolog
- Morales, Jose F.
- Carro, Manuel
- Hermenegildo, Manuel;
Lecture Notes In Computer Science (p. 77-93) - 1/1/2007
10.1007/978-3-540-71410-1_7 Ver en origen
- ISSN 03029743
PROLE'07, revisión de artículos
- CARRO LIÑARES, MANUEL
1/1/2007
- iMarina
Some Improvements over the Continuation Call Tabling Implementation Technique
- Ricardo Rocha
- Pablo Chico de Guzman
- Claudio Silva
- CARRO LIÑARES, MANUEL
- HERMENEGILDO SALINAS, MANUEL DE
1/1/2007
- iMarina
Este/a investigador/a no tiene documentos de trabajo.
Este/a investigador/a no tiene informes técnicos.
GRIDCOORD: ERA Pilot on a co-ordinated Europe-wide initiative in Grid Research
- Carro, Manuel (Investigador principal (IP))
- Moreno Navarro, Juan José (Participante)
Ejecución: 01-07-2004 - 30-06-2006
Tipo: Internacional
- iMarina
Programa en métodos para el desarrollo de software, fiable, de alta calidad y seguro de la Comunidad de Madrid
- Muñoz Hernández, Susana (Participante)
- Fredlund, Lars-Ake (Participante)
- HERRANZ NIEVA, ANGEL (Participante)
- Moreno Navarro, Juan José (Participante)
- MARIÑO CARBALLO, JULIO (Investigador principal (IP))
Ejecución: 01-12-2005 - 01-01-2010
Tipo: Regional
- iMarina
Computación móvil verificable y consciente de los recursos
- MORALES CABALLERO, José Francisco (Participante)
- GALLAGHER ., JOHN PATRICK (Participante)
- MERA MENENDEZ, EDISON FERNANDO (Participante)
- SWOBODA, NIKOLAUS GUYON (Participante)
- BUENO CARRILLO, FRANCISCO (Participante)
- CARRO LIÑARES, MANUEL (Participante)
- PUEBLA SANCHEZ, Alvaro Germán (Participante)
- HERMENEGILDO SALINAS, MANUEL DE (Investigador principal (IP))
Ejecución: 31-12-2005 - 30-06-2009
Tipo: Nacional
- iMarina
Red de sistemas y servicios software
- PUEBLA SANCHEZ, Alvaro Germán (Participante)
- HERMENEGILDO SALINAS, MANUEL DE (Participante)
- CARRO LIÑARES, MANUEL (Investigador principal (IP))
Ejecución: 15-02-2007 - 31-12-2007
Tipo: Nacional
Importe financiado: 2400,00 Euros.
- iMarina
Software Services and Systems Network
- CARRO LIÑARES, MANUEL (Investigador principal (IP))
- Moreno Navarro, Juan José (Participante)
- HERMENEGILDO SALINAS, MANUEL DE (Participante)
- IVANOVIC, DRAGAN (Participante)
Ejecución: 01-03-2008 - 29-02-2012
Tipo: Internacional
Importe financiado: 238618,00 Euros.
- iMarina
Protección y Transformación de Código basadas en Interpretación Abstracta
- VISENTINI ., ENRICO (Participante)
- SPOTO ., FAUSTO (Participante)
- MASTROENI ., ISABELLA (Participante)
- GIACOBAZZI ., ROBERTO (Participante)
- ALBERT ALBIOL, ELVIRA (Participante)
- CARRO LIÑARES, MANUEL (Participante)
- ARENAS SÁNCHEZ, PURIFICACIÓN (Participante)
- HERMENEGILDO SALINAS, MANUEL DE (Participante)
- ZANARDINI, DAMIANO (Investigador principal (IP))
Ejecución: 01-01-2009 - 31-12-2010
Tipo: Nacional
- iMarina
Desarrollo de Software Verificable y Eficiente (DOVES)
- MORALES CABALLERO, José Francisco (Participante)
- NAVAS LASEMA, JORGE A. (Participante)
- MASTROENI ., ISABELLA (Participante)
- GALLAGHER ., JOHN (Participante)
- King ., Andy (Participante)
- Codish ., Michael (Participante)
- GIACOBAZZI ., ROBERTO (Participante)
- MENDEZ LOJO, MARIO (Participante)
- CASAS CUADRADO, AMADEO (Participante)
- GOMEZ-ZAMALLOA GIL, Miguel (Participante)
- PUEBLA SANCHEZ, Alvaro Germán (Participante)
- GIL QUIRÓS, VÍCTOR (Participante)
- SWOBODA, NIKOLAUS GUYON (Participante)
- MERA MENENDEZ, EDISON FERNANDO (Participante)
- CARRO LIÑARES, MANUEL (Participante)
- BUENO CARRILLO, FRANCISCO (Participante)
- HERMENEGILDO SALINAS, MANUEL DE (Investigador principal (IP))
Ejecución: 01-01-2009 - 31-12-2014
Tipo: Nacional
- iMarina
Software and Service Engineering for the Converged Future Internet (SOFI)
- CARRO LIÑARES, MANUEL (Investigador principal (IP))
- IVANOVIC, DRAGAN (Participante)
Ejecución: 14-03-2011 - 13-03-2012
Tipo: Nacional
- iMarina
ESTUDIO DE LA VIABILIDAD Y CORRESPONDIENTE DISEÑO DE UN LENGUAJE Y SISTEMA DE TABULACIÓN CON RESTRICCIONES PARA PROGRAMACIÓN LÓGICA
- CARRO LIÑARES, MANUEL (Investigador principal (IP))
Ejecución: 25-07-2012 - 25-10-2012
Tipo: Interno
- iMarina
DISEÑO Y DIRECCIÓN DE IMPLEMENTACIÓN DE MÉTODOS DE ANÁLISIS PROBABILÍSTICO DE USO DE RECURSOS EN SISTEMAS BASADOS EN SERVICIOS USANDO INFORMACIÓN PARCIAL SOBRE SUS COMPONENTES
- CARRO LIÑARES, MANUEL (Investigador principal (IP))
Ejecución: 25-07-2012 - 02-11-2015
Tipo: Interno
- iMarina
Técnicas avanzadas de compilación para programación lógica.
- Manuel Carro Liñares (Director)
- Manuel de Hermenegildo Salinas (Director) Doctorando: José Francisco Morales Caballero
1/1/2010
- iMarina
Advanced Compilation Techniques for Logic Programming = Técnicas Avanzadas de Compilación para Programación Lógica
- CARRO LIÑARES, MANUEL (Director)
- HERMENEGILDO SALINAS, MANUEL DE (Director) Doctorando: Morales Caballero, José Francisco
1/3/2010
- iMarina
Estrategias Avanzadas de Tabulación y Paralelismo en Programas Lógicos.
- CARRO LIÑARES, MANUEL (Director)
- HERMENEGILDO SALINAS, MANUEL DE (Director) Doctorando: CHICO DE GUZMAN HUERTA, Pablo
1/1/2012
- iMarina
Estrategias Avanzadas de Tabulación y Paralelismo en Programas Lógicos = Advanced Evaluation Strategies for Tabling and Parallelism in Logic Programs
- Manuel Carro Liñares (Director)
- Manuel de Hermenegildo Salinas (Director) Doctorando: Pablo Chico de Guzmán Huerta
1/1/2012
- iMarina
Analysis of Service-Oriented Computing Systems.
- Manuel Carro Liñares (Director) Doctorando: Dragan Ivanovic
1/1/2013
- iMarina
Este/a investigador/a no tiene patentes o licencias de software.
Grupos de investigación
Perfiles de investigador/a
-
ORCID
-
Publons
-
Scopus Author ID
-
Dialnet id