RDF/XML JSON-LD N3/Turtle RDF/JSON
Perfil en el portal institucional

Carro Liñares, Manuel manuel.carro@upm.es

LENGUAJES Y SISTEMAS INFORMÁTICOS E INGENIERÍA DE SOFTWARE / Universidad Politécnica de Madrid

Actividades

Proceedings 41st International Conference on Logic Programming

  • Martin Gebser
  • Daniela Inclezan
  • Francesco Ricca
  • Manuel Carro
  • Mirosław Truszczyński

8/1/2026

10.4204/eptcs.439 Ver en origen

  • ISSN 20752180

A Theoretical Study of (Full) Tabled Constraint Logic Programming

  • Joaquín Arias
  • Manuel Carro

28/9/2020

10.48550/arxiv.2009.14430 Ver en origen

  • ISSN 23318422

Calcidiol levels and muscle function maintenance, functional capacity and bone mineral bone density in non-selected Spanish population

  • Alonso C, Gomez
  • Diaz Lopez, J B
  • Rebollar A, Rodriguez
  • Arias L, Martinez
  • Virgala J, Martin
  • Carro B, Martin
  • Alvarez L, Marques
  • Antequera C, Palomo
  • Cannata Andia, J B
  • Diaz M, Naves
... Ver más Contraer

Revista de Osteoporosis y Metabolismo Mineral (p. 6-11) - 1/1/2019

10.4321/s1889-836x2019000100002 Ver en origen

  • ISSN 1889836X

Correction to: Modeling and Negotiating Service Quality

  • Salima Benbernou
  • Ivona Brandić
  • Cinzia Cappiello
  • Manuel Carro
  • Marco Comuzzi
  • Attila Kertész
  • Kyriakos Kritikos
  • Michael Parkin
  • Barbara Pernici
  • Pierluigi Plebani
... Ver más Contraer

(p. E1-E1) - 1/1/2018

10.1007/978-3-642-17599-2_10 Ver en origen

  • ISSN 16113349

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

Papers presented at the 32nd International Conference on Logic Programming (ICLP 2016)

  • Manuel Carro
  • Andy King

18/8/2016

10.48550/arxiv.1608.05440 Ver en origen

  • ISSN 23318422

Proceedings of the First Workshop on Program Transformation for Programmability in Heterogeneous Architectures

  • Salvador Tamarit
  • Julio Mariño
  • Guillermo Vigueras
  • Manuel Carro

10/3/2016

10.48550/arxiv.1603.03488 Ver en origen

  • ISSN 23318422

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

Front Matter, Table of Contents, Preface, List of Authors

  • Manuel Carro
  • Andy King
  • Neda Saeedloei
  • Marina De Vos

1/1/2016

10.4230/oasics.iclp.2016.0 Ver en origen

Comparing and Combining Predictive Business Process Monitoring Techniques

  • Metzger, Andreas
  • Leitner, Philipp
  • Ivanovic, Dragan
  • Schmieders, Eric
  • Franklin, Rod
  • Carro, Manuel
  • Dustdar, Schahram
  • Pohl, Klaus
... Ver más Contraer

Ieee Transactions On Systems Man Cybernetics-Systems (p. 276-290) - 1/2/2015

10.1109/tsmc.2014.2347265 Ver en origen

  • ISSN 21682216

The ciao system

  • Francisco Bueno Carrillo
  • Manuel Carro
  • Rémy Haemmerlé
  • Manuel V. Hermenegildo
  • Pedro López García
  • E. Mera
  • José Francisco Morales Caballero
  • Alvaro Germán Puebla Sánchez
... Ver más Contraer

29/3/2013

  • iMarina

Service Research Challenges and Solutions for the Future Internet: S-Cube-Towards Engineering, Managing and Adapting Service-Based Systems

  • CARRO LIÑARES, MANUEL
  • Dueñas López, Juan Carlos
  • Cuadrado F

Syntactic ASP Forgetting with Forks (p. 1-372) - 1/1/2010

10.1007/978-3-642-17599-2_9 Ver en origen

  • ISSN 03029743

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

Internet Abuse: Emerging Trends and Lingering Questions

  • Morahan-Martin, Janet

Psychological Aspects Of Cyberspace: Theory, Research, Applications (p. 32-69) - 1/1/2008

10.1017/cbo9780511813740 Ver en origen

Using Attributed Variables in the Implementation of Concurrent and Parallel Logic Programming Systems

  • Manuel V. Hermenegildo
  • Daniel Cabeza
  • Manuel Carro

(p. 631-646) - 16/6/1995

10.7551/mitpress/4298.003.0062 Ver en origen

Introduction to the Technical Communications of the 41st International Conference on Logic Programming

  • Gebser, Martin
  • Inclezan, Daniela
  • Ricca, Francesco
  • Carro, Manuel
  • Truszczynski, Miroslaw

Electronic Proceedings in Theoretical Computer Science - 1/1/2025

10.4204/eptcs.439.0 Ver en origen

  • ISSN 20752180

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

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
... Ver más Contraer

Lecture Notes In Informatics (Lni), Proceedings - Series Of The Gesellschaft Fur Informatik (Gi) (p. 79-80) - 1/1/2017

  • ISSN 16175468
  • 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

Towards a Semantics-Aware Transformation Toolchain for Heterogeneous Systems.

  • Alicia Villanueva

Proceedings Of The First Workshop On Program Transformation For Programmability In Heterogeneous Architectures (p. 1-11) - 12/3/2016

10.4204/eptcs.237 Ver en origen

Towards a Generic Interface to Integrate CLP and Tabled Execution (Extended Abstract)

  • Arias J
  • Carro M

Towards A Generic Interface To Integrate Clp And Tabled Execution (Extended Abstract) (p. 1-3) - 28/8/2015

  • ISSN 16130073
  • iMarina

Improving Compilation of Prolog to C Using Program Information?

  • José F. Morales
  • Manuel Carro

2/1/2015

  • iMarina

Towards QoS Prediction Based on Composition Structure Analysis and Probabilistic Models

  • Ivanovic, Dragan
  • Carro, Manuel
  • Kaowichakorn, Peerachai

Lecture Notes In Computer Science (p. 394-402) - 1/1/2014

  • ISSN 03029743
  • iMarina

Transforming Service Compositions into Cloud-Friendly Actor Networks

  • Ivanovic, Dragan
  • Carro, Manuel

Lecture Notes In Computer Science (p. 291-305) - 1/1/2014

  • ISSN 03029743
  • iMarina

Informatics Research Evaluation, 2025 Revised Report

  • Informatics Europe
  • Baquero
  • Carlos
  • CARRO LIÑARES
  • MANUEL
  • Hitz
  • Martin
  • Orponen
  • Pekka
  • Peroni
  • Silvio
  • Rossmanith
  • Peter
  • Goedicke
  • Michael
  • Nardelli
  • Enrico
  • Paradinas
  • Pierre
  • Teniente
  • Ernest
  • Trautmann
  • Heike
... Ver más Contraer

14/3/2025

10.5281/zenodo.15834583 Ver en origen

Este/a investigador/a no tiene informes técnicos.

ASESORAMIENTO Y CONSULTORÍA EN LA REDACCIÓN E IMPLEMENTACIÓN DE LA PROPUESTA PARA EL SELLO DE EXCELENCIA MARIA DE MAEZTU Y LA ESTRATEGIA DE IMPLANTACIÓN EN ESPAÑA DE UN NODO DE SOFTWARE HERITAGE

  • CARRO LIÑARES, MANUEL (Investigador principal (IP))

Ejecución: 01-12-2025 - 31-12-2025

Tipo: Interno

Importe financiado: 0,00 Euros.

  • iMarina

CONSULTORÍA SOBRE ESTRATEGIA, LIDERAZGO CIENTÍFICO Y DIRECCIÓN DE EQUIPOS Y PROYECTOS DE INVESTIGACIÓN DEL INSTITUTO IMDEA SOFTWARE DURANTE 2025

  • CARRO LIÑARES, MANUEL (Investigador principal (IP))

Ejecución: 01-12-2025 - 31-12-2025

Tipo: Interno

Importe financiado: 0,00 Euros.

  • iMarina

ESTUDIOS SOBRE EL DISEÑO DE LENGUAJES FUTUROS BASADOS EN LA LÓGICA PARA EL RAZONAMIENTO Y PROGRAMACIÓN DE APLICACIONES AVANZADAS

  • CARRO LIÑARES, MANUEL (Investigador principal (IP))

Ejecución: 26-02-2024 - 25-03-2024

Tipo: Interno

  • iMarina

ESTUDIO Y RECOMENDACIONES SOBRE LA EVALUACIÓN DE LA INVESTIGACIÓN EN INFORMÁTICA: IA, NUEVOS MODELOS DE PUBLICACIÓN Y CREACIÓN DE RESULTADOS NO PLASMABLES EN ARTÍCULOS CIENTÍFICOS

  • CARRO LIÑARES, MANUEL (Investigador principal (IP))

Ejecución: 02-12-2024 - 31-12-2024

Tipo: Interno

Importe financiado: 0,00 Euros.

  • iMarina

CONVENIO ESPECÍFICO DE COLABORACIÓN ENTRE LA FUNDACIÓN IMDEA SOFTWARE Y LA UNIVERSIDAD POLITÉCNICA DE MADRID PARA LA ADSCRIPCIÓN DE D. MANUEL CARRO LIÑARES A LA CITADA FUNDACIÓN

  • CARRO LIÑARES, MANUEL (Investigador principal (IP))

Ejecución: 01-01-2024 - 31-12-2024

Tipo: Interno

Importe financiado: 0,00 Euros.

  • 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. JOSÉ FRANCISCO MORALES CABALLERO A LA CITADA FUNDACIÓN

  • HERMENEGILDO SALINAS, MANUEL DE (Investigador principal (IP))
  • MORALES CABALLERO, José Francisco (Investigador principal (IP))
  • CARRO LIÑARES, MANUEL (Investigador principal (IP))

Ejecución: 01-01-2023 - 31-12-2023

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

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

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

Este/a investigador/a no tiene patentes o licencias de software.

Última actualización de los datos: 20/10/26 18:56