Raúl Gutiérrez
Universidad Politécnica de Madrid(ES)
Publications by Year
Research Areas
Logic, programming, and type systems, Formal Methods in Verification, Logic, Reasoning, and Knowledge, Natural Language Processing Techniques, Security and Verification in Computing
Most-Cited Works
- → Postdural puncture headache: impact of needle type, a randomized trial(2015)44 cited
- → On the use of information fusion techniques to improve information quality: Taxonomy, opportunities and challenges(2021)36 cited
- → Genetic Algorithms Using Parallelism and FPGAs: The TSP as Case Study(2005)34 cited
- → Proving Termination Properties with mu-term(2011)30 cited
- → Improving Context-Sensitive Dependency Pairs(2008)26 cited
- → Proving Termination of Context-Sensitive Rewriting with MU-TERM(2007)25 cited
- → Monolithic uncooled IR detectors of polycrystalline PbSe: a real alternative(2007)22 cited
- → Context-Sensitive Dependency Pairs(2006)21 cited
- → Proving Termination in the Context-Sensitive Dependency Pair Framework(2010)16 cited