Muñoz Hernandez, Susana susana.munoz@upm.es
Publications
- Articles 12
- Books 0
- Book chapters 1
- Conferences 61
- Working papers 0
- Technical reports 0
- Research projects 13
- Supervised theses 2
- Patent or software license 0
A simple general implementation using CLP(R)
- Vaucheret, C
- Guadarrama, S
- Munoz, S
Lecture Notes In Computer Science (p. 469-469) - 1/1/2002
10.1007/3-540-45619-8_34 View at source
- ISSN 03029743
A real implementation for constructive negation
- Munoz, S
- Moreno-Navarro, JJ;
Lecture Notes In Computer Science (p. 496-497) - 1/12/2003
10.1007/978-3-540-24599-5_40 View at source
- ISSN 03029743
- iMarina
- iMarina
Constructive intensional negation
- Munoz-Hernandez, S
- Marino, J
- Moreno-Navarro, JJ;
Lecture Notes In Computer Science (p. 39-54) - 1/1/2004
- ISSN 03029743
- iMarina
Collaborative fuzzy agents using constraint logic programming over finite domains
- Muñoz-Hernández S
- Gómez-Pérez J
Lecture Notes In Computer Science (p. 5-6) - 1/1/2004
- ISSN 03029743
- iMarina
Programming and languages J.UCS special issue with extended versions of selected papers from PROLE 2005: The fifth Spanish conference on programming and languages
- López-Fraguas F
- Almendros J
- Corchuelo R
- Fernández A
- Hermenegildo M
- Levy J
- Lucio P
- Moreno G
- Orejas F
- Pimentel E
- Puebla G
- Alpuente M
- Dahl V
- Gulías V
- Herrera F
- Lucas S
- Merseguer J
- Muñoz S
- Peña R
- Pita I
- Vidal G
Journal Of Universal Computer Science (p. 1464-1465) - 1/12/2006
- ISSN 0948695X
- iMarina
Fuzzy prolog: Default values to represent missing information
- Munoz-Hernandez S
- Vaucheret C
Studies In Computational Intelligence (p. 287-308) - 9/7/2007
10.1007/978-3-540-72687-6_14 View at source
- ISSN 1860949X
Implementing Constructive Intensional Negation
- Marino, Julio
- Jose Moreno-Navarro, Juan
- Munoz-Hernandez, Susana;
New Generation Computing (p. 25-56) - 1/11/2008
10.1007/s00354-008-0053-9 View at source
- ISSN 02883635
Extending Constructive Logic Negation with Types
- Munoz-Hernandez S
- Moreno-Navarro J
Electronic Notes In Theoretical Computer Science (p. 183-198) - 3/8/2009
10.1016/j.entcs.2009.07.022 View at source
- ISSN 15710661
- iMarina
- iMarina
RFuzzy: Syntax, semantics and implementation details of a simple and expressive fuzzy tool over Prolog
- Munoz-Hernandez, Susana
- Pablos-Ceruelo, Victor
- Strass, Hannes;
Information Sciences (p. 1951-1970) - 15/5/2011
10.1016/j.ins.2010.07.033 View at source
- ISSN 00200255
UFleSe: User-Friendly Parametric Framework for Expressive Flexible Searches
- Deedar, Mohammad Halim
- Munoz-Hernandez, Susana;
Canadian Journal Of Electrical And Computer Engineering-Revue Canadienne De Genie Electrique Et Informatique (p. 235-250) - 1/9/2020
10.1109/cjece.2020.2966733 View at source
- ISSN 08408688
This researcher has no books.
La necesaria revolución digital en los países del Sahel
- Muñoz Hernández, Susana
Tecnología E Innovación Para El Desarrollo En África Subsahariana. Aplicaciones Prácticas En El Contexto Post Covid-19 (p. 117-129) - 1/1/2021
- iMarina
How to incorporate negation in a prolog compiler
- Moreno-Navarro J
- Muñoz-Hernández S
Lecture Notes In Computer Science (p. 124-140) - 1/1/2000
10.1007/3-540-46584-7_9 View at source
- ISSN 03029743
Efficient negation using abstract interpretation
- Muñoz S
- Moreno J
- Hermenegildo M
Lecture Notes In Computer Science (p. 485-494) - 1/1/2001
- ISSN 03029743
- iMarina
Fuzzy prolog: A simple general implementation using CLP(R)
- Vaucheret C
- Guadarrama S
- Muñoz S
Lecture Notes In Computer Science (p. 450-463) - 1/1/2002
- ISSN 03029743
- iMarina
Curso de Altos Estudios Internacionales
- Muñoz Hernández, Susana
1/10/2002
- iMarina
Implementation Results in Classical Constructive Negation
- Munoz-Hernandez, S
- Moreno-Navarro, JJ;
Lncs 3132, B. Demoen, V. Lifschizt (Editores) (p. 284-298) - 1/9/2004
10.1007/978-3-540-27775-0_20 View at source
- ISSN 03029743
- iMarina
- iMarina
Soundness and Completeness of an "Efficient" Negation for Prolog
- Moreno-Navarro, JJ
- Munoz-Hernandez, S;
Lncs 3229, J.J. Alferes, J. Leite (Editors) (p. 279-293) - 1/9/2004
10.1007/978-3-540-30227-8_25 View at source
- ISSN 03029743
- iMarina
- iMarina
Solving collaborative fuzzy agents problems with CLP(FD)
- Munoz-Hernandez S
- Gomez-Perez J
Lecture Notes In Computer Science (p. 187-202) - 1/1/2005
- ISSN 03029743
- iMarina
Incomplete fuzzy information in prolog
- Munoz-Hernandez S
- Vaucheret C
Proceedings - 4th Conference Of The European Society For Fuzzy Logic And Technology And 11th French Days On Fuzzy Logic And Applications, Eusflat-Lfa 2005 Joint Conference (p. 787-792) - 1/12/2005
- iMarina
Extending prolog with incomplete fuzzy information
- Munoz-Hernandez S
- Vaucheret C
1/12/2005
- iMarina
Default values to handle incomplete fuzzy information
- Munoz-Hernandez, Susana
- Vaucheret, Claudio;
Ieee International Conference On Fuzzy Systems (p. 14-+) - 1/12/2006
10.1109/fuzzy.2006.1681688 View at source
- ISSN 10987584
This researcher has no working papers.
This researcher has no technical reports.
Programa en métodos para el desarrollo de software, fiable, de alta calidad y seguro de la Comunidad de Madrid
- Fredlund, Lars-Ake (Participante)
- Muñoz Hernández, Susana (Participante)
- HERRANZ NIEVA, ANGEL (Participante)
- Moreno Navarro, Juan José (Participante)
- MARIÑO CARBALLO, JULIO (Investigador principal (IP))
Period: 01-12-2005 - 01-01-2010
Type of funding: Regional
- iMarina
Desarrollo de software de alta calidad, fiable, distribuido y seguro
- Benac Earle, Clara (Participante)
- Nogueira Iglesias, Pablo (Participante)
- Fredlund, Lars-Ake (Participante)
- Muñoz Hernández, Susana (Participante)
- HERRANZ NIEVA, ANGEL (Participante)
- MARIÑO CARBALLO, JULIO (Investigador principal (IP))
- KRIZANC ., DAVID DANIEL (Participante)
- SVENSSON ., HANS (Participante)
- Hughes ., John (Participante)
Period: 01-01-2010 - 30-06-2013
Type of funding: National
Amount of funding: 158994,01 Euros.
- iMarina
Tecnologías rigurosas para software de nueva generación abierto y fiable
- BUESO DE BARRIO, LUIS EDUARDO (Miembro del equipo de trabajo)
- BALLESTEROS GONZALEZ, IGNACIO (Miembro del equipo de trabajo)
- Mycroft ., Alan (Otros)
- Tonetta ., Stefano (Otros)
- Lipton ., James (Otros)
- Moreno Navarro, Juan José (Participante)
- Nogueira Iglesias, Pablo (Participante)
- Muñoz Hernández, Susana (Participante)
- HERRANZ NIEVA, ANGEL (Participante)
- Fredlund, Lars-Ake (Participante)
- Benac Earle, Clara (Participante)
- MARIÑO CARBALLO, JULIO (Investigador principal (IP))
Period: 01-01-2013 - 30-06-2017
Type of funding: National
Amount of funding: 36644,40 Euros.
- iMarina
BABEL. Next Generation Energy Efficient Secure Software
- Gomez Martinez, Maria Elena (Participante)
- Deedar, Ohammad Halim (Participante)
- Muñoz Hernández, Susana (Participante)
- Benac Earle, Clara (Participante)
- HERRANZ NIEVA, ANGEL (Participante)
- Nogueira Iglesias, Pablo (Participante)
- Fredlund, Lars-Ake (Participante)
- Moreno Navarro, Juan José (Participante)
- MARIÑO CARBALLO, JULIO (Investigador principal (IP))
Period: 01-10-2014 - 31-12-2018
Type of funding: Regional
Amount of funding: 101949,80 Euros.
- iMarina
PROJECT MANAGEMENT SOFTWARE STUDY FOR CONSTRUCTION PROJECT'S NEEDS
- Muñoz Hernández, Susana (Investigador principal (IP))
Period: 01-08-2017 - 31-10-2017
Type of funding: Internal
- iMarina
GRUPO OPERATIVO PARA LA PROMOCION DEL USO PRUDENTE DE ANTIMICROBIANOS EN BOVINO DE CARNE -PROMANBOV
- Muñoz Hernández, Susana (Colaborador/a)
- Benac Earle, Clara (Colaborador/a)
- MARIÑO CARBALLO, JULIO (Investigador principal (IP))
Period: 11-05-2018 - 23-11-2022
Type of funding: Internal
- iMarina
Babel-Clip-UPM. Contratos inteligentes y blockchains escalables y seguros mediante verificación y análisis
- 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)
- 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)
Period: 01-01-2019 - 30-04-2023
Type of funding: Regional
Amount of funding: 74100,85 Euros.
- iMarina
e-Health inclusion through ICT training
- Fredlund, Lars-Ake (Participante)
- HERRANZ NIEVA, ANGEL (Participante)
- Benac Earle, Clara (Participante)
- Muñoz Hernández, Susana (Investigador principal (IP))
- MARIÑO CARBALLO, JULIO (Participante)
Period: 01-01-2019 - 31-12-2019
Type of funding: International
Amount of funding: 289375,00 Euros.
- iMarina
MadridDataSpace4Pandemics Inteligencia Artificial y tecnologías basadas en datos para la comprensión, detección, tratamiento y análisis de la COVID-19
- ZAZO BELLO, SANTIAGO (Participante)
- GALVAÑ SALA, DAVID AMARO (Participante)
- BELMONTE HERNÁNDEZ, ALBERTO (Participante)
- QUESADA LOPEZ, DAVID (Participante)
- CASAR CORREDERA, JOSE RAMON (Participante)
- GALOCHA DOMINGUEZ, LUIS (Participante)
- TORRE OLIVA, ALEJANDRO DE LA (Participante)
- González Guardia, Esteban (Participante)
- ALCAZAR VALDARACETE, RAUL (Participante)
- Moreno Sánchez-Capuchino, Ana María (Participante)
- MIGUEL VELA, GONZALO C. DE (Participante)
- BIELZA LOZOYA, MARIA CONCEPCION (Participante)
- LARRAÑAGA MUGICA, PEDRO MARIA (Participante)
- DIAZ HONRUBIA, ANTONIO JESUS (Participante)
- CORTES SANCHEZ, CARLOS (Participante)
- ROBLES FORCADA, VICTOR (Participante)
- Muñoz Hernández, Susana (Participante)
- MENASALVAS RUIZ, ERNESTINA (Participante)
- Díaz López, José Manuel (Participante)
- LATORRE DE LA FUENTE, ANTONIO (Participante)
- RODRIGUEZ VAZQUEZ, JOSE LUIS (Participante)
- MATEOS CABALLERO, ALFONSO (Participante)
- PARRAS MORAL, JUAN (Investigador principal (IP))
- RODRIGUEZ GONZALEZ, ALEJANDRO (Participante)
- BESADA PORTAS, JUAN ALBERTO (Participante)
- VIGUERAS GONZALEZ, GUILLERMO ANTONIO (Participante)
- CARRAMIÑANA JIMENEZ, DAVID (Participante)
- BAJO PEREZ, JAVIER (Participante)
- CABRERA QUESADA, JULIAN (Participante)
- ALONSO GONZALEZ, ALVARO (Participante)
- ORDUNA CORTILLAS, MARTA (Participante)
- POZO HUERTAS, ALEJANDRO (Participante)
- GODINO LLORENTE, JUAN IGNACIO (Investigador principal (IP))
- BERNARDOS BARBOLLA, ANA MARIA (Investigador principal (IP))
- BURLAKA PETRASH, ARSEN (Participante)
- BERGESIO, LUCA (Participante)
- ALVAREZ GARCIA, FEDERICO (Participante)
- TORRE ASTANIN, ALEXANDER DE LA (Participante)
- CAMPAÑA RAMOS, IVAN (Participante)
- SALVACHUA RODRIGUEZ, JOAQUIN LUCIANO (Investigador principal (IP))
- Benac Earle, Clara (Participante)
- LOPEZ PERNAS, SONSOLES (Participante)
- ALONSO DE APELLANIZ, PATRICIA (Participante)
- HUECAS FERNANDEZ-TORIBIO, GABRIEL (Participante)
- García Santos, Narciso (Participante)
- QUEMADA VIVES, JUAN (Participante)
- GUTIERREZ SANCHEZ, JESUS (Investigador principal (IP))
- Conde Díaz, Javier (Participante)
- MUÑOZ ARCENTALES, JOSÉ ADRÉS (Participante)
- LEDESMA CARBAYO, MARIA JESUS (Investigador principal (IP))
- MUÑOZ ARCENTALES, JOSE ANDRES (Participante)
- Corcho García, Oscar (Investigador principal (IP))
- HERRANZ NIEVA, ANGEL (Participante)
- Sundar Goswami, Subhra (Participante)
- Yelmo Garcia, Juan Carlos (Investigador principal (IP))
- TORRES INCHAURZA, IMANOL (Participante)
- MARTIN GARCIA, YOD SAMUEL (Participante)
- ARIAS LONDOÑO, Julian David (Participante)
- BARRA ARIAS, ENRIQUE (Participante)
- GARCIA DELGADO, MIGUEL ANGEL (Participante)
- PAVON GOMEZ, SANTIAGO (Participante)
- JIMENEZ MARTIN, ANTONIO (Participante)
Period: 01-02-2020 - 31-12-2022
Type of funding: Regional
Amount of funding: 99859,50 Euros.
- iMarina
Analysis and Validation of Software and Web Resources
- BALLESTEROS GONZALEZ, IGNACIO (Miembro del equipo de trabajo)
- BUESO DE BARRIO, LUIS EDUARDO (Miembro del equipo de trabajo)
- Fredlund, Lars-Ake (Investigador principal (IP))
- Benac Earle, Clara (Investigador principal (IP))
- Muñoz Hernández, Susana (Participante)
- HERRANZ NIEVA, ANGEL (Participante)
Period: 01-06-2020 - 31-05-2024
Type of funding: National
Amount of funding: 61468,00 Euros.
- iMarina
Extending the expressiveness of fuzzy logic languages
- Muñoz Hernández, Susana (Director) Doctorando: Pablos Ceruelo, Víctor
1/6/2015
- iMarina
This researcher has no patents or software licenses.
Research groups
Researcher profiles
-
ORCID
-
Publons
-
Scopus Author ID