Hermenegildo Salinas, Manuel De manuel.hermenegildo@upm.es
Actividades
- Artículos 105
- Libros 2
- Capítulos de libro 3
- Congresos 165
- Documentos de trabajo 0
- Informes técnicos 0
- Proyectos de investigación 28
- Tesis dirigidas 14
- Patentes o licencias de software 0
AN ABSTRACT MACHINE FOR RESTRICTED AND-PARALLEL EXECUTION OF LOGIC PROGRAMS
- Hermenegildo M
Lecture Notes In Computer Science (p. 25-39) - 1/1/1986
10.1007/3-540-16492-8_62 Ver en origen
- ISSN 03029743
- iMarina
- iMarina
EFFICIENT MANAGEMENT OF BACKTRACKING IN AND-PARALLELISM
- Hermenegildo M
- Nasr R
Lecture Notes In Computer Science (p. 40-54) - 1/1/1986
10.1007/3-540-16492-8_63 Ver en origen
- ISSN 03029743
- iMarina
- iMarina
MEMORY REFERENCING CHARACTERISTICS AND CACHING PERFORMANCE OF AND-PARALLEL PROLOG ON SHARED-MEMORY MULTIPROCESSORS
- HERMENEGILDO, M
- TICK, E;
New Generation Computing (p. 37-58) - 1/12/1989
10.1007/bf03037507 Ver en origen
- ISSN 02883635
TASK GRANULARITY ANALYSIS IN LOGIC PROGRAMS
- DEBRAY, SK
- LIN, NW
- HERMENEGILDO, M
Sigplan Notices (Acm Special Interest Group On Programming Languages) (p. 174-188) - 1/6/1990
10.1145/93542.93564 Ver en origen
- ISSN 03621340
The &-Prolog system: Exploiting independent and-parallelism
- Hermenegildo M
- Greene K
New Generation Computing (p. 233-256) - 1/8/1991
10.1007/bf03037164 Ver en origen
- ISSN 02883635
INDEPENDENT AND-PARALLEL IMPLEMENTATION OF NARROWING
- KUCHEN, H
- MORENONAVARRO, JJ
- HERMENEGILDO, MV;
Lecture Notes In Computer Science (p. 24-38) - 1/1/1992
10.1007/3-540-55844-6_125 Ver en origen
- ISSN 03029743
COMPILE-TIME DERIVATION OF VARIABLE DEPENDENCY USING ABSTRACT INTERPRETATION
- MUTHUKUMAR, K
- HERMENEGILDO, M;
J Logic Program (p. 315-347) - 1/1/1992
10.1016/0743-1066(92)90035-2 Ver en origen
- ISSN 07431066
GLOBAL FLOW-ANALYSIS AS A PRACTICAL COMPILATION TOOL
- HERMENEGILDO, MV
- WARREN, R
- DEBRAY, SK;
J Logic Program (p. 349-366) - 1/1/1992
10.1016/0743-1066(92)90053-6 Ver en origen
- ISSN 07431066
THE ROLE OF COMPUTATIONAL LOGIC AS A HINGE PARADIGM AMONG DEDUCTION, PROBLEM-SOLVING, PROGRAMMING, AND PARALLELISM
- HERMENEGILDO, M;
Ifip Transactions A-Computer Science And Technology (p. 207-221) - 1/1/1993
- ISSN 09265473
- iMarina
ProDe'92 (Primer Congreso Nacional de Programación Declarativa)
- Varios autores
1/1/1992
- iMarina
Some Thoughts on How to Teach Prolog
- Hermenegildo MV
- Morales JF
- Lopez-Garcia P
Lecture Notes In Computer Science (p. 107-123) - 1/1/2023
10.1007/978-3-031-35254-6_9 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
B-LOG: A BRANCH AND BOUND METHODOLOGY FOR THE PARALLEL EXECUTION OF LOGIC PROGRAMS.
- Lipovski G
- Hermenegildo M
Proceedings Of The International Conference On Parallel Processing (p. 560-567) - 1/12/1985
- ISSN 01903918
- iMarina
Memory performance of AND-parallel PROLOG on shared-memory architectures
- Hermenegildo M
- Tick E
Proceedings Of The International Conference On Parallel Processing (p. 17-21) - 1/12/1988
- ISSN 01903918
- iMarina
Constructs and evaluations strategies for intelligent speculative parallelism - Armageddon revisited
- Guzman A
- Hermenegildo M
Proceedings Of The 1988 Acm 16th Annual Conference On Computer Science, Csc 1988 (p. 558-566) - 1/2/1988
ON THE CORRECTNESS AND EFFICIENCY OF INDEPENDENT AND-PARALLELISM IN LOGIC PROGRAMS
- HERMENEGILDO, M
- ROSSI, F;
Logic Programming : Proceedings Of The North American Conference, 1989, Vol 1-2 (p. 369-389) - 1/1/1989
- iMarina
DETERMINATION OF VARIABLE DEPENDENCE INFORMATION THROUGH ABSTRACT INTERPRETATION
- MUTHUKUMAR, K
- HERMENEGILDO, M;
Logic Programming : Proceedings Of The North American Conference, 1989, Vol 1-2 (p. 166-185) - 1/1/1989
- iMarina
THE CDG, UDG, AND MEL METHODS FOR AUTOMATIC COMPILE-TIME PARALLELIZATION OF LOGIC PROGRAMS FOR INDEPENDENT AND-PARALLELISM
- MUTHUKUMAR, K
- HERMENEGILDO, MV;
Logic Programming : Proceedings Of The Seventh International Conference (p. 221-236) - 1/1/1990
- iMarina
NONSTRICT INDEPENDENT AND-PARALLELISM
- HERMENEGILDO, M
- ROSSI, F;
Logic Programming : Proceedings Of The Seventh International Conference (p. 237-252) - 1/1/1990
- iMarina
AND-PROLOG AND ITS PERFORMANCE - EXPLOITING INDEPENDENT AND-PARALLELISM
- HERMENEGILDO, MV
- GREENE, KJ;
Logic Programming : Proceedings Of The Seventh International Conference (p. 253-268) - 1/1/1990
- iMarina
A SIMULATION STUDY OF OR-PARALLELISM AND INDEPENDENT AND-PARALLELISM
- SHEN, K
- HERMENEGILDO, MV;
Logic Programming : Proceedings Of The 1991 International Symposium (p. 135-151) - 1/1/1991
- iMarina
IDIOM - INTEGRATING DEPENDENT AND-PARALLELISM, INDEPENDENT AND-PARALLELISM, AND OR-PARALLELISM
- GUPTA, G
- COSTA, VS
- RONG, Y
- HERMENEGILDO, MV;
Logic Programming : Proceedings Of The 1991 International Symposium (p. 152-166) - 1/1/1991
- iMarina
Este/a investigador/a no tiene documentos de trabajo.
Este/a investigador/a no tiene informes técnicos.
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
ANALISIS INCREMENTAL Y MODULAR GUIADO POR ASERCIONES
- HERMENEGILDO SALINAS, MANUEL DE (Investigador principal (IP))
Ejecución: 01-06-2019 - 30-09-2019
Tipo: Interno
- iMarina
ANALISIS ESTATICO DE RECURSOS CON APLICACIONES EN CONSUMO DE ENERGIA Y BLOCKCHAIN
- HERMENEGILDO SALINAS, MANUEL DE (Investigador principal (IP))
Ejecución: 01-07-2020 - 30-10-2020
Tipo: Interno
- iMarina
ANÁLISIS DE CONSUMO DE GAS EN CONTRATOS INTELIGENTES
- HERMENEGILDO SALINAS, MANUEL DE (Investigador principal (IP))
Ejecución: 01-06-2021 - 30-10-2021
Tipo: Interno
- iMarina
COLABORACIÓN ENTRE LA FUNDACIÓN IMDEA SOFTWARE Y LA UNIVERSIDAD POLITÉCNICA DE MADRID PARA LA ADSCRIPCIÓN TEMPORAL DE D. MANUEL DE HERMENEGILDO SALINAS A LA CITADA FUNDACIÓN
- HERMENEGILDO SALINAS, MANUEL DE (Investigador principal (IP))
Ejecución: 01-01-2022 - 31-12-2022
Tipo: Interno
- iMarina
MEJORAS EN LA USABILIDAD DE ANALIZADORES DE CONSUMO DE RECURSOS
- HERMENEGILDO SALINAS, MANUEL DE (Investigador principal (IP))
Ejecución: 01-06-2022 - 30-10-2022
Tipo: Interno
- iMarina
MEJORAS EN MÉTODOS PARA RESOLVER ECUACIONES EN RECURRENCIAS PARA ANÁLISIS DE GAS EN CONTRATOS INTELIGENTES
- HERMENEGILDO SALINAS, MANUEL DE (Investigador principal (IP))
Ejecución: 01-02-2023 - 30-04-2023
Tipo: Interno
- iMarina
Técnicas de transformación de programas lógicos para su optimización y paralelización automática
- Manuel de Hermenegildo Salinas (Director) Doctorando: Francisco José Bueno Carrillo
1/1/1994
Defensa realizada en: Universidad Politécnica de Madrid
- Dialnet
- iMarina
Independencia, análisis global y paralelismo en computación lógica con restricciones y planificación dinámica
- Manuel de Hermenegildo Salinas (Director) Doctorando: M José García de la Banda García
1/1/1994
Defensa realizada en: Universidad Politécnica de Madrid
- Dialnet
- iMarina
Independence, Global analysis, and parallelism, in dinamically scheduled constraint logic programming.
- Hermenegildo, Manuel V. (Director) Doctorando: García de la Banda, M.
1/1/1994
- iMarina
Técnicas avanzadas de compilación basadas en interpretación abstracta y transformación de programas
- Manuel de Hermenegildo Salinas (Director) Doctorando: Alvaro German Puebla Sánchez
1/1/1998
- iMarina
Control de granularidad en la ejecución paralela de programas lógicas mediante técnicas de análisis y transformación
- Manuel de Hermenegildo Salinas (Director) Doctorando: Pedro López García
1/1/2000
- iMarina
Aportaciones al estudio del paralelismo y la concurrencia en la programación lógica.
- Manuel de Hermenegildo Salinas (Director) Doctorando: Manuel Carro Liñares
1/1/2001
Defensa realizada en: Universidad Politécnica de Madrid
- Dialnet
- iMarina
Un sistema de programación lógica extensible y con soporte para analisis global.
- HERMENEGILDO SALINAS, MANUEL DE (Director) Doctorando: CABEZA GRAS, Daniel
1/1/2004
- iMarina
Un sistema de programación lógica extensible y con soporte para análisis global (an extensible, global analysis friendly logic programming system)
- Manuel de Hermenegildo Salinas (Director) Doctorando: Daniel Cabezas
1/1/2004
- 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
Este/a investigador/a no tiene patentes o licencias de software.
Grupos de investigación
-
Computación lógica, Lenguajes, Implementación y Paralelismo (CLIP)
Rol: Investigador Principal
Perfiles de investigador/a
-
ORCID
-
Publons
-
Scopus Author ID
-
Dialnet id