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

Improving the efficiency of nondeterministic independent and-parallel systems

  • Pontelli, E
  • Gupta, G
  • Tang, DX
  • Carro, M
  • Hermenegildo, MV;

Computer Languages (p. 115-142) - 1/1/1996

10.1016/s0096-0551(96)00010-0 Ver en origen

  • ISSN 00960551

Relating data-parallelism and (and-) parallelism in logic programs

  • Hermenegildo M
  • Carro M

Computer Languages (p. 143-163) - 1/1/1996

10.1016/s0096-0551(96)00011-2 Ver en origen

  • ISSN 03029743

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

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

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

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

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

Automatic Coding Rule Conformance Checking Using Logic Programming

  • Marpons, Guillem
  • Marino, Julio
  • Carro, Manuel
  • Herranz, Angel
  • Moreno-Navarro, Juan Jose
  • Fredlund, Lars-Ake;

Practical Aspects Of Declarative Languages, 10th International Symposium, Padl 2008 (p. 18-34) - 7/1/2008

10.1007/978-3-540-77442-6_3 Ver en origen

  • ISSN 03029743

Annotation algorithms for unrestricted independent and-parallelism in logic programs

  • Casas, Amadeo
  • Carro, Manuel
  • Hermenegildo, Manuel V.;

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

10.1007/978-3-540-78769-3_10 Ver en origen

  • ISSN 03029743

A High-Level Implementation of Non-deterministic, Unrestricted, Independent And-Parallelism

  • Casas, Amadeo
  • Carro, Manuel
  • Hermenegildo, Manuel V.;

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

10.1007/978-3-540-89982-2_53 Ver en origen

  • ISSN 03029743

A Sketch of a Complete Scheme for Tabled Execution Based on Program Transformation

  • Chico de Guzman, Pablo
  • Carro, Manuel
  • Hermenegildo, Manuel V

Lecture Notes In Computer Science (p. 795-800) - 1/12/2008

10.1007/978-3-540-89982-2_79 Ver en origen

  • ISSN 03029743

Towards execution time estimation in abstract machine-based languages

  • Mera E
  • Lopez P
  • Carro M
  • Hermenegildo M

Ppdp'08 - Proceedings Of The 10th International Acm Sigplan Symposium On Principles And Practice Of Declarative Programming (p. 174-184) - 17/12/2008

10.1145/1389449.1389471 Ver en origen

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

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

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

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

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.

GRIDCOORD: ERA Pilot on a co-ordinated Europe-wide initiative in Grid Research

  • Carro, Manuel (Investigador principal (IP))
  • Moreno Navarro, Juan José (Participante)

Ejecución: 01-07-2004 - 30-06-2006

Tipo: Internacional

  • 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

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

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

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

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

ESTUDIO DE LA VIABILIDAD Y CORRESPONDIENTE DISEÑO DE UN LENGUAJE Y SISTEMA DE TABULACIÓN CON RESTRICCIONES PARA PROGRAMACIÓN LÓGICA

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

Ejecución: 25-07-2012 - 25-10-2012

Tipo: Interno

  • iMarina

DISEÑO Y DIRECCIÓN DE IMPLEMENTACIÓN DE MÉTODOS DE ANÁLISIS PROBABILÍSTICO DE USO DE RECURSOS EN SISTEMAS BASADOS EN SERVICIOS USANDO INFORMACIÓN PARCIAL SOBRE SUS COMPONENTES

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

Ejecución: 25-07-2012 - 02-11-2015

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

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

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

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

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