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
A Coding Rule Conformance Checker Integrated into GCC
- ÁLVARO POLO
- Fredlund, Lars-Ake
- Moreno Navarro, Juan José
- HERRANZ NIEVA, ANGEL
- CARRO LIÑARES, MANUEL
- MARIÑO CARBALLO, JULIO
Electronic Notes In Theoretical Computer Science (p. 149-159) - 5/8/2009
10.1016/j.entcs.2009.07.065 Ver en origen
- ISSN 03044238
- iMarina
- iMarina
A Model-Driven Approach to Teaching Concurrency
- Carro, Manuel
- Herranz, Angel
- Marino, Julio;
Acm Transactions On Computing Education - 1/1/2013
10.1145/2414446.2414451 Ver en origen
- ISSN 19466226
A Survey on Service Quality Description
- Kritikos, Kyriakos
- Pernici, Barbara
- Plebani, Pierluigi
- Cappiello, Cinzia
- Comuzzi, Marco
- Benrernou, Salima
- Brandic, Ivona
- Kertesz, Attila
- Parkin, Michael
- Carro, Manuel;
Acm Computing Surveys - 1/1/2013
10.1145/2522968.2522969 Ver en origen
- ISSN 03600300
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
A generic persistence model for (C)LP systems
- Correas, J
- Gomez, JM
- Carro, M
- Cabeza, D
- Hermenegildo, M;
Lecture Notes In Computer Science (p. 481-482) - 1/12/2003
10.1007/978-3-540-24599-5_33 Ver en origen
- ISSN 03029743
A generic persistence model for (C)LP systems (and two useful implementations)
- Correas, J
- Gomez, JM
- Carro, M
- Cabeza, D
- Hermenegildo, M;
Lecture Notes In Computer Science (p. 104-119) - 1/1/2004
- ISSN 03029743
- iMarina
A sharing-based approach to supporting adaptation in service compositions
- Ivanovic, Dragan
- Carro, Manuel
- Hermenegildo, Manuel V.;
Computing (p. 453-492) - 1/6/2013
10.1007/s00607-012-0230-z Ver en origen
- ISSN 0010485X
Almejas gigantes e interfaces de usuario: (solución del Programa E)
- Pablo Sánchez Torralba
- Manuel Carro Liñares
- Angel Herranz Nieva
- Julio Mariño Carballo
Novática: Revista De La Asociación De Técnicos De Informática (p. 70-76) - 1/1/2003
- ISSN 02112124
- iMarina
An overview of Ciao and its design philosophy
- Hermenegildo, M. V.
- Bueno, F.
- Carro, M.
- Lopez-Garcia, P.
- Mera, E.
- Morales, J. F.
- Puebla, G.;
Theory And Practice Of Logic Programming (p. 219-252) - 1/1/2012
10.1017/s1471068411000457 Ver en origen
- ISSN 14710684
Analytical quality assurance
- Metzger A
- Benbernou S
- Carro M
- Driss M
- Kecskemeti G
- Kazhamiakin R
- Krytikos K
- Mocci A
- Di Nitto E
- Wetzstein B
- Silvestri F
Lecture Notes In Computer Science (p. 209-270) - 1/12/2010
10.1007/978-3-642-17599-2_7 Ver en origen
- ISSN 03029743
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
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
A Constraint-Based Approach to Quality Assurance in Service Choreographies
- Ivanović D
- Carro M
- Hermenegildo M
Service-Oriented Computing - 10th International Conference, Icsoc 2012, Shanghai, China, November 12-15, 2012. Proceedings (p. 252-267) - 12/11/2012
10.1007/978-3-642-34321-6_17 Ver en origen
- ISSN 03029743
A Haskell Implementation of a Rule-Based Program Transformation for C Programs
- Salvador Tamarit
- Guillermo Vigueras
- Manuel Carro
- Julio Mari{ñ}o
Practical Aspects Of Declarative Languages (p. 105-114) - 18/6/2015
10.1007/978-3-319-19686-2_8 Ver en origen
- ISSN 03029743
- iMarina
- iMarina
A High-Level Implementation of Non-deterministic, Unrestricted, Independent And-Parallelism
- Casas, Amadeo
- Carro, Manuel
- Hermenegildo, Manuel V.;
Lecture Notes In Computer Science (p. 651-+) - 1/12/2008
10.1007/978-3-540-89982-2_53 Ver en origen
- ISSN 03029743
A Sketch of a Complete Scheme for Tabled Execution Based on Program Transformation
- Chico de Guzman, Pablo
- Carro, Manuel
- Hermenegildo, Manuel V
Lecture Notes In Computer Science (p. 795-800) - 1/12/2008
10.1007/978-3-540-89982-2_79 Ver en origen
- ISSN 03029743
A Soft Constraint-Based Approach to QoS-Aware Service Selection
- Zemni M
- Benbernou S
- Carro M
A Soft Constraint-Based Approach To Qos-Aware Service Selection. (p. 6-6) - 7/12/2010
10.1007/978-3-642-17358-5_44 Ver en origen
- ISSN 03029743
- iMarina
- iMarina
A Tabling Implementation Based on Variables with Multiple Bindings
- CARRO LIÑARES, MANUEL
- HERMENEGILDO SALINAS, MANUEL DE
Lecture Notes In Computer Science (p. 190-204) - 14/9/2009
10.1007/978-3-642-02846-5_19 Ver en origen
- ISSN 03029743
- iMarina
- iMarina
A general implementation framework for tabled CLP
- CARRO LIÑARES, MANUEL
- HERMENEGILDO SALINAS, MANUEL DE
Lecture Notes In Computer Science (p. 104-119) - 6/6/2012
10.1007/978-3-642-29822-6_11 Ver en origen
- ISSN 03029743
- iMarina
- iMarina
A segment-swapping approach for executing trapped computations
- CARRO LIÑARES, MANUEL
- HERMENEGILDO SALINAS, MANUEL DE
Lecture Notes In Computer Science (p. 138-152) - 21/2/2012
10.1007/978-3-642-27694-1_11 Ver en origen
- ISSN 03029743
- iMarina
- iMarina
A short tutorial on s(CASP), a goal-directed execution of constraint answer set programs
- Arias J
- Gupta G
- Carro M
Ceur Workshop Proceedings - 1/1/2021
- ISSN 16130073
- iMarina
An Initial Proposal for Data-Aware Resource Analysis of Orchestrations with Applications to Predictive Monitoring
- CARRO LIÑARES, MANUEL
- HERMENEGILDO SALINAS, MANUEL DE
Lecture Notes In Computer Science (p. 414-424) - 19/11/2010
10.1007/978-3-642-16132-2_39 Ver en origen
- ISSN 03029743
- iMarina
- iMarina
Este/a investigador/a no tiene documentos de trabajo.
Este/a investigador/a no tiene informes técnicos.
ASISTENCIA CIENTÍFICA EN LA REALIZACIÓN DEL PROYECTO DE INVESTIGACIÓN FP7 POLCA
- CARRO LIÑARES, MANUEL (Investigador principal (IP))
Ejecución: 06-10-2014 - 02-11-2015
Tipo: Interno
- iMarina
Babel-Clip-UPM. Contratos inteligentes y blockchains escalables y seguros mediante verificación y análisis
- BUESO DE BARRIO, LUIS EDUARDO (Participante)
- BALLESTEROS GONZALEZ, IGNACIO (Participante)
- CARRO LIÑARES, MANUEL (Investigador principal (IP))
- MARIÑO CARBALLO, JULIO (Participante)
- HERRANZ NIEVA, ANGEL (Participante)
- Fredlund, Lars-Ake (Participante)
- BUENO CARRILLO, FRANCISCO (Participante)
- ROMAN DIEZ, GUILLERMO (Participante)
- Muñoz Hernández, Susana (Participante)
- HERMENEGILDO SALINAS, MANUEL DE (Participante)
- Benac Earle, Clara (Participante)
- ZANARDINI, DAMIANO (Participante)
Ejecución: 01-01-2019 - 30-04-2023
Tipo: Regional
Importe financiado: 74100,85 Euros.
- iMarina
CLIP. Next Generation Energy Efficient Secure Software
- MORALES CABALLERO, José Francisco (Participante)
- VIGUERAS GONZALEZ, GUILLERMO ANTONIO (Participante)
- Haemmerlé ., Rémy (Participante)
- HERMENEGILDO SALINAS, MANUEL DE (Participante)
- ARIAS HERRERO, JOAQUIN (Participante)
- CARRO LIÑARES, MANUEL (Investigador principal (IP))
Ejecución: 01-10-2014 - 30-09-2018
Tipo: Regional
Importe financiado: 101949,80 Euros.
- iMarina
CONSULTORIA Y ASISTENCIA EN LA DIRECCION CIENTÍFICA DEL INSTITUTO IMDEA SOFTWARE
- CARRO LIÑARES, MANUEL (Investigador principal (IP))
Ejecución: 21-08-2013 - 25-10-2016
Tipo: Interno
- iMarina
CONSULTORIA Y ASISTENCIA EN LA DIRECCION ESTRATÉGICA DEL INSTITUTO IMDEA SOFTWARE
- CARRO LIÑARES, MANUEL (Investigador principal (IP))
Ejecución: 21-08-2013 - 25-10-2016
Tipo: Interno
- iMarina
CONSULTORÍA Y ASISTENCIA CIENTÍFICO-ESTRATÉGICA PARA EL DESARROLLO DEL NODO ESPAÑOL DE EIT ICT LABS
- CARRO LIÑARES, MANUEL (Investigador principal (IP))
Ejecución: 06-10-2014 - 02-11-2015
Tipo: Interno
- iMarina
CONSULTORÍA Y ASISTENCIA EN EL DISEÑO E IMPLEMENTACIÓN DE LA ESTRATEGIA CIENTÍICA DE LA FUNDACIÓN IMDEA SOFTWARE
- CARRO LIÑARES, MANUEL (Investigador principal (IP))
Ejecución: 16-05-2017 - 01-04-2020
Tipo: Interno
- iMarina
CONSULTORÍA Y ASISTENCIA EN LA DIRECCIÓN CIENTÍFICA DEL IMDEA SOFTWARE INSTITUTE
- CARRO LIÑARES, MANUEL (Investigador principal (IP))
Ejecución: 06-10-2014 - 02-11-2015
Tipo: Interno
- iMarina
CONVENIO ESPECÍFICO DE COLABORACIÓN ENTRE LA FUNDACIÓN IMDEA SOFTWARE Y LA UNIVERSIDAD POLITÉCNICA DE MADRID PARA LA ADSCRIPCIÓN TEMPORAL DE D. MANUEL CARRO LIÑARES A LA CITADA FUNDACIÓN
- CARRO LIÑARES, MANUEL (Investigador principal (IP))
Ejecución: 01-01-2022 - 31-12-2022
Tipo: Interno
- 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
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
Advanced Evaluation Techniques for (Non)-Monotonic Reasoning Using Rules with Constraints
- Manuel Carro Liñares (Director) Doctorando: Arias Herrero, Joaquín
1/12/2019
- iMarina
Analysis of Service-Oriented Computing Systems.
- Manuel Carro Liñares (Director) Doctorando: Dragan Ivanovic
1/1/2013
- 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
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
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