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
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
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
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
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
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 Ver en origen
- 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 Ver en origen
- ISSN 20752180
- iMarina
- iMarina
Introduction to the 32nd International Conference on Logic Programming Special Issue
- Carro, Manuel
- King, Andy;
Theory And Practice Of Logic Programming (p. 509-514) - 1/9/2016
10.1017/s1471068416000491 Ver en origen
- ISSN 14710684
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
Comparing and Combining Predictive Business Process Monitoring Techniques
- Metzger, Andreas
- Leitner, Philipp
- Ivanovic, Dragan
- Schmieders, Eric
- Franklin, Rod
- Carro, Manuel
- Dustdar, Schahram
- Pohl, Klaus;
Ieee Transactions On Systems Man Cybernetics-Systems (p. 276-290) - 1/2/2015
10.1109/tsmc.2014.2347265 Ver en origen
- ISSN 21682216
Este/a investigador/a no tiene libros.
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
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 Ver en origen
- ISSN 03029743
- iMarina
- 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 Ver en origen
- ISSN 03029743
- iMarina
- iMarina
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
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
Towards data-aware QoS-driven adaptation for service orchestrations
- CARRO LIÑARES, MANUEL
- HERMENEGILDO SALINAS, MANUEL DE
Icws 2010 - 2010 Ieee 8th International Conference On Web Services (p. 107-114) - 6/10/2010
10.1109/icws.2010.73 Ver en origen
- 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
Modeling Concurrent Systems with Shared Resources
- Herranz, Angel
- Marino, Julio
- Carro, Manuel
- Moreno Navarro, Juan Jose
Lecture Notes In Computer Science (p. 102-+) - 1/12/2009
10.1007/978-3-642-04570-7_9 Ver en origen
- ISSN 03029743
- iMarina
- iMarina
Towards a Complete Scheme for Tabled Execution Based on Program Transformation
- CARRO LIÑARES, MANUEL
- HERMENEGILDO SALINAS, MANUEL DE
Lecture Notes In Computer Science (p. 224-238) - 9/11/2009
10.1007/978-3-540-92995-6_16 Ver en origen
- 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 Ver en origen
- iMarina
- iMarina
An overview of the Ciao multiparadigm language and program development environment and its design philosophy
- Hermenegildo, M V
- Bueno, F
- Carro, M
- Lopez, P
- Morales, J F
- Puebla, G
Lecture Notes In Computer Science (p. 209-237) - 1/7/2008
10.1007/978-3-540-68679-8_14 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.
ESTUDIO SOBRE LA APLICACIÓN DE PROGRAMACIÓN LÓGICA CON RESTRICCIONES Y ANSWER SET PROGRAMMING CON RESTRICCIONES PARA MODELIZAR Y RAZONAR SOBRE MODELOS ARQUITECTÓNICOS.
- CARRO LIÑARES, MANUEL (Investigador principal (IP))
Ejecución: 18-04-2022 - 31-12-2022
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
EXTENSIONES Y MEJORAS DE SISTEMAS DE EVENT CALCULUS UTILIZANDO PROGRAMACIÓN BASADA EN LÓGICAS NO MONÓTONAS
- CARRO LIÑARES, MANUEL (Investigador principal (IP))
Ejecución: 01-07-2021 - 01-12-2021
Tipo: Interno
- iMarina
IMPLEMENTACION DE EVENT CALCULUS USANDO ANSWER SET PROGRAMING CON RESTRICCIONES
- CARRO LIÑARES, MANUEL (Investigador principal (IP))
Ejecución: 01-09-2020 - 31-12-2020
Tipo: Interno
- iMarina
ESTUDIO DE LA VIABILIDAD DEL ANÁLISIS DE PROGRAMAS MEDIANTE INTERPRETACIÓN ABSTRACTA UTILIZANDO LENGUAJES LÓGICOS CON TABULACIÓN COMO MEDIO DE IMPLEMENTACIÓN.
- CARRO LIÑARES, MANUEL (Investigador principal (IP))
Ejecución: 10-09-2019 - 15-11-2019
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
LENGUAJES PARA RAZONAMIENTO Y REPRESENTACION DE CONOCIMIENTO
- CARRO LIÑARES, MANUEL (Investigador principal (IP))
Ejecución: 20-12-2018 - 01-04-2020
Tipo: Interno
- 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))
Ejecución: 01-06-2017 - 01-04-2020
Tipo: Interno
- 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
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.
- 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
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