Carro Liñares, Manuel manuel.carro@upm.es
Actividades
- Artículos 44
- Libros 0
- Capítulos de libro 3
- Congresos 65
- Documentos de trabajo 0
- Informes técnicos 0
- Proyectos de investigación 29
- Tesis dirigidas 6
- Patentes o licencias de software 0
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;
Acm Computing Surveys - 1/1/2013
10.1145/2522968.2522969 Ver en origen
- ISSN 03600300
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
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
- iMarina
- iMarina
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
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
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
- iMarina
- iMarina
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
- iMarina
- iMarina
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
- iMarina
- iMarina
Comparing and Combining Predictive Business Process Monitoring Techniques
- Metzger, Andreas
- Leitner, Philipp
- Ivanovic, Dragan
- Schmieders, Eric
- Franklin, Rod
- Carro, Manuel
- Dustdar, Schahram
- Pohl, Klaus;
Ieee Transactions On Systems Man Cybernetics-Systems (p. 276-290) - 1/2/2015
10.1109/tsmc.2014.2347265 Ver en origen
- ISSN 21682216
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
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
Lecture Notes In Computer Science (p. 48-61) - 1/1/2023
10.1007/978-3-031-35254-6_4 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
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
- iMarina
- iMarina
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
- iMarina
- iMarina
Automated attribute inference in complex service workflows based on sharing analysis
- CARRO LIÑARES, MANUEL
- HERMENEGILDO SALINAS, MANUEL DE
Proceedings - 2011 Ieee International Conference On Services Computing, Scc 2011 (p. 120-127) - 29/9/2011
10.1109/scc.2011.85 Ver en origen
- iMarina
- iMarina
Deriving Specifications for Composite Web Services
- CARRO LIÑARES, MANUEL
Proceedings - International Computer Software And Applications Conference (p. 432-437) - 14/12/2012
10.1109/compsac.2012.64 Ver en origen
- ISSN 07303157
- iMarina
- iMarina
Third international workshop on Principles of Engineering Service-Oriented Systems (PESOS 2011)
- Carro, Manuel
- Karastoyanova, Dimka
- Lewis, Grace A.
- Liu, Anna;
Proceedings - International Conference On Software Engineering (p. 1218-1219) - 7/7/2011
10.1145/1985793.1986054 Ver en origen
- ISSN 02705257
- iMarina
- iMarina
Automatic coding rule conformance checking using logic programs
- Marpons G
- Mariño J
- Herranz A
- Fredlund L
- Carro M
- Moreno-Navarro J
Proceedings Of The 17th Workshop On Logic-Based Methods In Programming Environments, Wlpe 2007 - 1/12/2007
- iMarina
Description and Evaluation of a Generic Design to Integrate CLP and Tabled Execution
- ARIAS HERRERO, JOAQUIN
- CARRO LIÑARES, MANUEL
Proceedings Of The 18th International Symposium On Principles And Practice Of Declarative Programming (Ppdp 2016) (p. 10-23) - 5/9/2016
10.1145/2967973.2968596 Ver en origen
- iMarina
- 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
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
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))
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))
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))
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))
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)
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
Este/a investigador/a no tiene patentes o licencias de software.
Grupos de investigación
Perfiles de investigador/a
-
ORCID
-
Publons
-
Scopus Author ID
-
Dialnet id