Carro Liñares, Manuel manuel.carro@upm.es
Publications
- Articles 44
- Books 0
- Book chapters 3
- Conferences 65
- Working papers 0
- Technical reports 0
- Research projects 29
- Supervised theses 6
- Patent or software license 0
¿Dónde está mi interrupción? - (CUPCAM 2003, problema A)
- Manuel Carro Liñares, Óscar Martín Llorente
Novática: Revista De La Asociación De Técnicos De Informática - 1/1/2003
- ISSN 02112124
- iMarina
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 View at source
- ISSN 03029743
Towards a high-level implementation of flexible parallelism primitives for symbolic languages
- Amadeo Casas
- CARRO LIÑARES, MANUEL
- HERMENEGILDO SALINAS, MANUEL DE
Pensee (p. 93-94) - 14/12/2007
10.1145/1278177.1278193 View at source
- ISSN 00314773
- iMarina
- iMarina
Towards a Semantics-Aware Code Transformation Toolchain for Heterogeneous Systems
- Salvador Tamarit
- Julio Mari{ñ}o
- Guillermo Vigueras
- Manuel Carro
Electronic Proceedings In Theoretical Computer Science (p. 34-51) - 11/1/2017
10.4204/eptcs.237.3 View at source
- ISSN 20752180
- iMarina
- iMarina
Towards Automatic Learning of Heuristics for Mechanical Transformations of Procedural Code
- Guillermo Vigueras
- Manuel Carro
- Salvador Tamarit
- Julio Mari{ñ}o
Electronic Proceedings In Theoretical Computer Science (p. 52-67) - 11/1/2017
10.4204/eptcs.237.4 View at source
- ISSN 20752180
- iMarina
- iMarina
Tools for search-tree visualisation: The APT tool
- Carro, M
- Hermenegildo, M;
Lecture Notes In Computer Science (p. 237-252) - 1/1/2000
- ISSN 03029743
- iMarina
Tools for constraint visualisation: The VIFID/TRIFID tool
- Carro, M
- Hermenegildo, M;
Lecture Notes In Computer Science (p. 253-272) - 1/1/2000
- ISSN 03029743
- iMarina
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 View at source
- ISSN 00487120
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
Swapping evaluation: A memory-scalable solution for answer-on-demand tabling
- Chico De Guzm'an, Pablo
- Carro, Manuel
- Warren, David S.;
Theory And Practice Of Logic Programming (p. 401-416) - 1/1/2010
10.1017/s1471068410000189 View at source
- ISSN 14710684
This researcher has no books.
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 View at source
- 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 View at source
- ISSN 03029743
Comparing Tag Scheme Variations Using an Abstract Machine Generator
- Morales J
- Carro M
- Hermenegildo M
Comparing Tag Scheme Variations Using An Abstract Machine Generator (p. 32-43) - 15/7/2008
10.1145/1389449.1389455 View at source
- iMarina
- iMarina
Combining static analysis and profiling for estimating execution times
- Mera, Edison
- Lopez-Garcia, Pedro
- Puebla, German
- Carro, Manuel
- Hermenegildo, Manuel V
Lecture Notes In Computer Science (p. 140-+) - 1/12/2007
10.1007/978-3-540-69611-7-9 View at source
- ISSN 03029743
CICLOPS'07, revisión de artículos
- CARRO LIÑARES, MANUEL
1/1/2007
- iMarina
CICLOPS'07, miembro del Comité de Programa
- CARRO LIÑARES, MANUEL
1/1/2007
- iMarina
Building dynamic models of service compositions with simulation of provision resources
- CARRO LIÑARES, MANUEL
Lecture Notes In Computer Science (p. 288-301) - 14/12/2010
10.1007/978-3-642-16373-9_21 View at source
- ISSN 03029743
- iMarina
- iMarina
Automatic coding rule conformance checking using logic programs
- Marpons G
- Mariño J
- Herranz A
- Fredlund L
- Carro M
- Moreno-Navarro J
Proceedings Of The 17th Workshop On Logic-Based Methods In Programming Environments, Wlpe 2007 - 1/12/2007
- iMarina
Automatic Fragment Identification in Workflows Based on Sharing Analysis
- Ivanovic, Dragan
- Carro, Manuel
- Hermenegildo, Manuel
Lecture Notes In Computer Science, Volume 6470 (p. 350-364) - 7/12/2010
10.1007/978-3-642-17358-5_24 View at source
- ISSN 03029743
- iMarina
- iMarina
Automatic Coding Rule Conformance Checking Using Logic Programming
- Marpons, Guillem
- Marino, Julio
- Carro, Manuel
- Herranz, Angel
- Moreno-Navarro, Juan Jose
- Fredlund, Lars-Ake;
Practical Aspects Of Declarative Languages, 10th International Symposium, Padl 2008 (p. 18-34) - 7/1/2008
10.1007/978-3-540-77442-6_3 View at source
- ISSN 03029743
- iMarina
- iMarina
Automated attribute inference in complex service workflows based on sharing analysis
- CARRO LIÑARES, MANUEL
- HERMENEGILDO SALINAS, MANUEL DE
Proceedings - 2011 Ieee International Conference On Services Computing, Scc 2011 (p. 120-127) - 29/9/2011
10.1109/scc.2011.85 View at source
- iMarina
- iMarina
Annotation algorithms for unrestricted independent and-parallelism in logic programs
- Casas, Amadeo
- Carro, Manuel
- Hermenegildo, Manuel V.;
Lecture Notes In Computer Science (p. 138-+) - 1/12/2008
10.1007/978-3-540-78769-3_10 View at source
- ISSN 03029743
This researcher has no working papers.
This researcher has no technical reports.
StrongSoft-CLIP: Tecnologías rigurosas para software de nueva generación, abierto y fiable
- Dustdar ., Scharham (Otros)
- Pistore ., Marco (Otros)
- Schubert ., Lutz (Otros)
- Pohl ., Klaus (Otros)
- IVANOVIC, DRAGAN (Participante)
- SWOBODA, NIKOLAUS GUYON (Participante)
- HERMENEGILDO SALINAS, MANUEL DE (Participante)
- BUENO CARRILLO, FRANCISCO (Participante)
- CARRO LIÑARES, MANUEL (Investigador principal (IP))
Period: 01-01-2013 - 30-06-2017
Type of funding: National
Amount of funding: 34117,20 Euros.
- iMarina
Software and Service Engineering for the Converged Future Internet (SOFI)
- CARRO LIÑARES, MANUEL (Investigador principal (IP))
- IVANOVIC, DRAGAN (Participante)
Period: 14-03-2011 - 13-03-2012
Type of funding: National
- 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)
Period: 01-03-2008 - 29-02-2012
Type of funding: International
Amount of funding: 238618,00 Euros.
- 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))
Period: 15-02-2007 - 31-12-2007
Type of funding: National
Amount of funding: 2400,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))
Period: 01-01-2009 - 31-12-2010
Type of funding: National
- 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))
Period: 01-12-2005 - 01-01-2010
Type of funding: Regional
- iMarina
LENGUAJES PARA RAZONAMIENTO Y REPRESENTACION DE CONOCIMIENTO
- CARRO LIÑARES, MANUEL (Investigador principal (IP))
Period: 20-12-2018 - 01-04-2020
Type of funding: Internal
- iMarina
INVESTIGACIÓN SOBRE EL DISEÑO E IMPLEMENTACIÓN DE SISTEMAS DE PROGRAMACIÓN LÓGICA UTILIZANDO TÉCNICAS DE TABULACIÓN EN LA FUNDACIÓN IMDEA SOFTWARE
- CARRO LIÑARES, MANUEL (Investigador principal (IP))
Period: 01-06-2017 - 01-04-2020
Type of funding: Internal
- iMarina
IMPLEMENTACIÓN Y SEGUIMIENTO DE LA ESTRATEGIA CIENTÍFICA DE LA FUNDACIÓN IMDEA SOFTWARE
- CARRO LIÑARES, MANUEL (Investigador principal (IP))
Period: 07-10-2016 - 01-04-2020
Type of funding: Internal
- 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
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
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
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
This researcher has no patents or software licenses.
Research groups
Researcher profiles
-
ORCID
-
Publons
-
Scopus Author ID
-
Dialnet id