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
DAMP'11 - Proceedings of the 6th ACM Workshop on Declarative Aspects of Multicore Programming: Foreword
- Carro M
- Reppy J
7/3/2011
- iMarina
Description and Optimization of Abstract Machines in a Dialect of Prolog
- Morales, Jose F.
- Carro, Manuel
- Hermenegildo, Manuel;
Theory And Practice Of Logic Programming (p. 1-58) - 1/1/2016
10.1017/s1471068414000672 Ver en origen
- ISSN 14710684
Parallel backtracking with answer memoing for independent and-parallelism
- Chico De Guzman, Pablo
- Casas, Amadeo
- Carro, Manuel
- Hermenegildo, Manuel V.;
Theory And Practice Of Logic Programming (p. 555-574) - 1/7/2011
10.1017/s1471068411000172 Ver en origen
- ISSN 14710684
Constraint Answer Set Programming without Grounding
- Arias, Joaquin
- Carro, Manuel
- Salazar, Elmer
- Marple, Kyle
- Gupta, Gopal;
Theory And Practice Of Logic Programming (p. 337-354) - 1/7/2018
10.1017/s1471068418000285 Ver en origen
- ISSN 14710684
Lightweight compilation of (C)LP to JavaScript
- Morales, Jose F.
- Haemmerle, Remy
- Carro, Manuel
- Hermenegildo, Manuel V.;
Theory And Practice Of Logic Programming (p. 755-773) - 1/7/2012
10.1017/s1471068412000336 Ver en origen
- ISSN 14710684
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
Evaluation of the Implementation of an Abstract Interpretation Algorithm using Tabled CLP
- Arias J
- Carro M
Theory And Practice Of Logic Programming (p. 1107-1123) - 1/9/2019
10.1017/s1471068419000383 Ver en origen
- ISSN 14710684
Building Information Modeling Using Constraint Logic Programming
- Arias, Joaquin
- Torma, Seppo
- Carro, Manuel
- Gupta, Gopal;
Theory And Practice Of Logic Programming (p. 723-738) - 1/1/2022
10.1017/s1471068422000138 Ver en origen
- ISSN 14710684
Description, Implementation, and Evaluation of a Generic Design for Tabled CLP
- Arias, Joaquin
- Carro, Manuel;
Theory And Practice Of Logic Programming (p. 412-448) - 1/5/2019
10.1017/s1471068418000571 Ver en origen
- ISSN 14710684
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 Ver en origen
- ISSN 14710684
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
PROLE'07, revisión de artículos
- CARRO LIÑARES, MANUEL
1/1/2007
- iMarina
TGC'07, revisión de artículos
- SWOBODA, NIKOLAUS GUYON
1/1/2007
- iMarina
EUROGRAPHICS'07, revisión de artículos
- CARRO LIÑARES, MANUEL
1/1/2007
- iMarina
Journal of Applied Logics, 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
Towards High-Level Execution Primitives for And-Parallelism: Preliminary Results
- Amadeo Casas
- CARRO LIÑARES, MANUEL
- HERMENEGILDO SALINAS, MANUEL DE
8/9/2007
- iMarina
CICLOPS'07, miembro del Comité de Programa
- CARRO LIÑARES, MANUEL
1/1/2007
- iMarina
CICLOPS'07, revisión de artículos
- CARRO LIÑARES, MANUEL
1/1/2007
- iMarina
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 a High-Level Implementation of Execution Primitives for Non-restricted, Independent And-parallelism
- Casas, Amadeo
- Carro, Manuel
- Hermenegildo, Manuel V.;
Towards A High-Level Implementation Of Execution Primitives For Non-Restricted, Independent And-Parallelism (p. 230-247) - 7/1/2008
- ISSN 03029743
- iMarina
Este/a investigador/a no tiene documentos de trabajo.
Este/a investigador/a no tiene informes técnicos.
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 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
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
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
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
DISEÑO E IMPLEMENTACIÓN DE LA ESTRATEGIA CIENTIFICA DE LA FUNDACIÓN IMDEA SOFTWARE
- CARRO LIÑARES, MANUEL (Investigador principal (IP))
Ejecución: 01-06-2017 - 31-12-2017
Tipo: Interno
- 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
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
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
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
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 Evaluation Techniques for (Non)-Monotonic Reasoning Using Rules with Constraints
- Manuel Carro Liñares (Director) Doctorando: Arias Herrero, Joaquín
1/12/2019
- 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