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

¿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 Ver en origen

  • 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 Ver en origen

  • ISSN 00314773

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

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

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

Rehabilitacion (p. 185-191) - 1/12/2005

10.1016/s0048-7120(05)74344-9 Ver en origen

  • 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 Ver en origen

  • ISSN 14710684

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

Lecture Notes In Computer Science (p. 48-61) - 1/1/2023

10.1007/978-3-031-35254-6_4 Ver en origen

  • ISSN 03029743

Internet Abuse: Emerging Trends and Lingering Questions

  • ;

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

10.1017/cbo9780511813740 Ver en origen

Analyzing service-oriented systems using their data and structure

  • Ivanovic D
  • Carro M
  • Hermenegildo M

2012 1st International Workshop On European Software Services And Systems Research - Results And Challenges, S-Cube 2012 - Proceedings (p. 47-48) - 1/8/2012

10.1109/s-cube.2012.6225510 Ver en origen

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

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

An improved continuation call-based implementation of tabling

  • de Guzman, Pablo Chico
  • Carro, Manuel
  • Hermenegildo, Manuel V.
  • Silva, Claudio
  • Rocha, Ricardo;

Lecture Notes In Computer Science (p. 197-+) - 1/1/2008

  • ISSN 03029743
  • iMarina

An Overview of the Ciao System

  • Hermenegildo, Manuel V.
  • Bueno, F.
  • Carro, M.
  • Lopez-Garcia, P.
  • Haemmerle, R.
  • Mera, E.
  • Morales, J. F.
  • Puebla, G.;
... Ver más Contraer

Lecture Notes In Computer Science (p. 2-2) - 1/1/2011

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

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

A segment-swapping approach for executing trapped computations

  • CARRO LIÑARES, MANUEL
  • HERMENEGILDO SALINAS, MANUEL DE

Lecture Notes In Computer Science (p. 138-152) - 21/2/2012

10.1007/978-3-642-27694-1_11 Ver en origen

  • ISSN 03029743

A general implementation framework for tabled CLP

  • CARRO LIÑARES, MANUEL
  • HERMENEGILDO SALINAS, MANUEL DE

Lecture Notes In Computer Science (p. 104-119) - 6/6/2012

10.1007/978-3-642-29822-6_11 Ver en origen

  • ISSN 03029743

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

Este/a investigador/a no tiene documentos de trabajo.

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

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

Ejecución: 01-01-2013 - 30-06-2017

Tipo: Nacional

Importe financiado: 34117,20 Euros.

  • 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

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)

Ejecución: 01-03-2008 - 29-02-2012

Tipo: Internacional

Importe financiado: 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))

Ejecución: 15-02-2007 - 31-12-2007

Tipo: Nacional

Importe financiado: 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))
... Ver más Contraer

Ejecución: 01-01-2009 - 31-12-2010

Tipo: Nacional

  • 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))

Ejecución: 01-12-2005 - 01-01-2010

Tipo: Regional

  • 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

IMPLEMENTACIÓN Y SEGUIMIENTO DE LA ESTRATEGIA CIENTÍFICA DE LA FUNDACIÓN IMDEA SOFTWARE

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

Ejecución: 07-10-2016 - 01-04-2020

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

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

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

Última actualización de los datos: 5/03/24 22:15