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

A Coding Rule Conformance Checker Integrated into GCC

  • ÁLVARO POLO
  • Fredlund, Lars-Ake
  • Moreno Navarro, Juan José
  • HERRANZ NIEVA, ANGEL
  • CARRO LIÑARES, MANUEL
  • MARIÑO CARBALLO, JULIO

Electronic Notes In Theoretical Computer Science (p. 149-159) - 5/8/2009

10.1016/j.entcs.2009.07.065 Ver en origen

  • ISSN 03044238

A Model-Driven Approach to Teaching Concurrency

  • Carro, Manuel
  • Herranz, Angel
  • Marino, Julio;

Acm Transactions On Computing Education - 1/1/2013

10.1145/2414446.2414451 Ver en origen

  • ISSN 19466226

A Survey on Service Quality Description

  • Kritikos, Kyriakos
  • Pernici, Barbara
  • Plebani, Pierluigi
  • Cappiello, Cinzia
  • Comuzzi, Marco
  • Benrernou, Salima
  • Brandic, Ivona
  • Kertesz, Attila
  • Parkin, Michael
  • Carro, Manuel;
... Ver más Contraer

Acm Computing Surveys - 1/1/2013

10.1145/2522968.2522969 Ver en origen

  • ISSN 03600300

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

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

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

A sharing-based approach to supporting adaptation in service compositions

  • Ivanovic, Dragan
  • Carro, Manuel
  • Hermenegildo, Manuel V.;

Computing (p. 453-492) - 1/6/2013

10.1007/s00607-012-0230-z Ver en origen

  • ISSN 0010485X

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

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

Analytical quality assurance

  • Metzger A
  • Benbernou S
  • Carro M
  • Driss M
  • Kecskemeti G
  • Kazhamiakin R
  • Krytikos K
  • Mocci A
  • Di Nitto E
  • Wetzstein B
  • Silvestri F
... Ver más Contraer

Lecture Notes In Computer Science (p. 209-270) - 1/12/2010

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

  • ISSN 03029743

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

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

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

A Constraint-Based Approach to Quality Assurance in Service Choreographies

  • Ivanović D
  • Carro M
  • Hermenegildo M

Service-Oriented Computing - 10th International Conference, Icsoc 2012, Shanghai, China, November 12-15, 2012. Proceedings (p. 252-267) - 12/11/2012

10.1007/978-3-642-34321-6_17 Ver en origen

  • ISSN 03029743

A Haskell Implementation of a Rule-Based Program Transformation for C Programs

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

Practical Aspects Of Declarative Languages (p. 105-114) - 18/6/2015

10.1007/978-3-319-19686-2_8 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

A Soft Constraint-Based Approach to QoS-Aware Service Selection

  • Zemni M
  • Benbernou S
  • Carro M

A Soft Constraint-Based Approach To Qos-Aware Service Selection. (p. 6-6) - 7/12/2010

10.1007/978-3-642-17358-5_44 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

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

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

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

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

ASISTENCIA CIENTÍFICA EN LA REALIZACIÓN DEL PROYECTO DE INVESTIGACIÓN FP7 POLCA

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

Ejecución: 06-10-2014 - 02-11-2015

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

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

CONSULTORIA Y ASISTENCIA EN LA DIRECCION CIENTÍFICA DEL INSTITUTO IMDEA SOFTWARE

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

Ejecución: 21-08-2013 - 25-10-2016

Tipo: Interno

  • iMarina

CONSULTORIA Y ASISTENCIA EN LA DIRECCION ESTRATÉGICA DEL INSTITUTO IMDEA SOFTWARE

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

Ejecución: 21-08-2013 - 25-10-2016

Tipo: Interno

  • iMarina

CONSULTORÍA Y ASISTENCIA CIENTÍFICO-ESTRATÉGICA PARA EL DESARROLLO DEL NODO ESPAÑOL DE EIT ICT LABS

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

Ejecución: 06-10-2014 - 02-11-2015

Tipo: Interno

  • iMarina

CONSULTORÍA Y ASISTENCIA EN EL DISEÑO E IMPLEMENTACIÓN DE LA ESTRATEGIA CIENTÍICA DE LA FUNDACIÓN IMDEA SOFTWARE

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

Ejecución: 16-05-2017 - 01-04-2020

Tipo: Interno

  • iMarina

CONSULTORÍA Y ASISTENCIA EN LA DIRECCIÓN CIENTÍFICA DEL IMDEA SOFTWARE INSTITUTE

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

Ejecución: 06-10-2014 - 02-11-2015

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

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

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

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

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

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: 5/03/24 22:15