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
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
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
Improved compilation of Prolog to C using moded types and determinism information
- Morales, J
- Carro, M
- Hermenegildo, M;
Lecture Notes In Computer Science (p. 86-103) - 1/1/2004
- ISSN 03029743
- iMarina
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
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 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
Solución del problema A (CUCAM 2003): ¿Dónde está mi interrupción?
- Manuel Carro Liñares, Oscar Martín Sánchez
Novática: Revista De La Asociación De Técnicos De Informática - 1/1/2003
- ISSN 02112124
- iMarina
¿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
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
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
An s(CASP) In-Browser Playground based on Ciao Prolog
- García-Pradales G
- Morales JF
- Hermenegildo M
- Arias J
- Carro M
Ceur Workshop Proceedings - 1/1/2022
- ISSN 16130073
- iMarina
Towards Dynamic Consistency Checking in Goal-Directed Predicate Answer Set Programming
- Arias, J
- Carro, M
- Salazar, E
- Gupta, G
Lecture Notes In Computer Science (p. 117-134) - 1/1/2022
10.1007/978-3-030-94479-7_8 Ver en origen
- ISSN 03029743
Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming
- Arias J
- Chen Z
- Carro M
- Gupta G
Electronic Proceedings In Theoretical Computer Science (p. 166-168) - 1/1/2022
10.4204/eptcs.364.24 Ver en origen
- ISSN 14710684
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
Constraint Answer Set Program- ming without Grounding and its Applications
- Arias J
- Carro M
- Chen Z
- Gupta G
Proceedings Of The 3rd Int?L. Workshop On The Resurgence Of Datalog In Academia And Industry (Datalog 2.0) (p. 22-26) - 4/6/2019
- ISSN 16130073
- iMarina
Incremental evaluation of lattice-based aggregates in logic programming using modular TCLP
- Arias J
- Carro M
Lecture Notes In Computer Science (p. 98-114) - 1/1/2019
10.1007/978-3-030-05998-9_7 Ver en origen
- ISSN 03029743
Vergleich und Kombination von Techniken des Predictive Business Process Monitoring
- Metzger A
- Leitner P
- Ivanovic D
- Schmieders E
- Franklin R
- Carro M
- Dustdar S
- Pohl K
Lecture Notes In Informatics (Lni), Proceedings - Series Of The Gesellschaft Fur Informatik (Gi) (p. 79-80) - 1/1/2017
- ISSN 16175468
- iMarina
Description and Evaluation of a Generic Design to Integrate CLP and Tabled Execution
- ARIAS HERRERO, JOAQUIN
- CARRO LIÑARES, MANUEL
Proceedings Of The 18th International Symposium On Principles And Practice Of Declarative Programming (Ppdp 2016) (p. 10-23) - 5/9/2016
10.1145/2967973.2968596 Ver en origen
- iMarina
- iMarina
Program transformations in the POLCA project
- Kuper, Jan
- Schubert, Lutz
- Kempf, Kilian
- Glass, Colin
- Bonilla, Daniel Rubio
- Carro, Manuel;
Proceedings Of The 2016 Design, Automation And Test In Europe Conference And Exhibition, Date 2016 (p. 882-887) - 25/4/2016
- ISSN 15301591
- iMarina
Towards a Semantics-Aware Transformation Toolchain for Heterogeneous Systems.
- Salvador Tamarit
- Guillermo Vigueras
- CARRO LIÑARES, MANUEL
- MARIÑO CARBALLO, JULIO
Proceedings Of The First Workshop On Program Transformation For Programmability In Heterogeneous Architectures (p. 1-11) - 12/3/2016
- 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