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

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

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

10.1017/cbo9780511813740 Ver en origen

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

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.

CLIP. Next Generation Energy Efficient Secure Software

  • MORALES CABALLERO, José Francisco (Participante)
  • VIGUERAS GONZALEZ, GUILLERMO ANTONIO (Participante)
  • Haemmerlé ., Rémy (Participante)
  • HERMENEGILDO SALINAS, MANUEL DE (Participante)
  • ARIAS HERRERO, JOAQUIN (Participante)
  • CARRO LIÑARES, MANUEL (Investigador principal (IP))

Ejecución: 01-10-2014 - 30-09-2018

Tipo: Regional

Importe financiado: 101949,80 Euros.

  • iMarina

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

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

Desarrollo de Software Verificable y Eficiente (DOVES)

  • MORALES CABALLERO, José Francisco (Participante)
  • NAVAS LASEMA, JORGE A. (Participante)
  • MASTROENI ., ISABELLA (Participante)
  • GALLAGHER ., JOHN (Participante)
  • King ., Andy (Participante)
  • Codish ., Michael (Participante)
  • GIACOBAZZI ., ROBERTO (Participante)
  • MENDEZ LOJO, MARIO (Participante)
  • CASAS CUADRADO, AMADEO (Participante)
  • GOMEZ-ZAMALLOA GIL, Miguel (Participante)
  • PUEBLA SANCHEZ, Alvaro Germán (Participante)
  • GIL QUIRÓS, VÍCTOR (Participante)
  • SWOBODA, NIKOLAUS GUYON (Participante)
  • MERA MENENDEZ, EDISON FERNANDO (Participante)
  • CARRO LIÑARES, MANUEL (Participante)
  • BUENO CARRILLO, FRANCISCO (Participante)
  • HERMENEGILDO SALINAS, MANUEL DE (Investigador principal (IP))
... Ver más Contraer

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

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

Computación móvil verificable y consciente de los recursos

  • MORALES CABALLERO, José Francisco (Participante)
  • GALLAGHER ., JOHN PATRICK (Participante)
  • MERA MENENDEZ, EDISON FERNANDO (Participante)
  • SWOBODA, NIKOLAUS GUYON (Participante)
  • BUENO CARRILLO, FRANCISCO (Participante)
  • CARRO LIÑARES, MANUEL (Participante)
  • PUEBLA SANCHEZ, Alvaro Germán (Participante)
  • HERMENEGILDO SALINAS, MANUEL DE (Investigador principal (IP))
... Ver más Contraer

Ejecución: 31-12-2005 - 30-06-2009

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

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

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

Ejecución: 01-01-2019 - 30-04-2023

Tipo: Regional

Importe financiado: 74100,85 Euros.

  • 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

Analysis of Service-Oriented Computing Systems.

  • Manuel Carro Liñares (Director) Doctorando: Dragan Ivanovic

1/1/2013

  • iMarina

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

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