Publicaciones en colaboración con investigadores/as de University College Dublin (20)

2024

  1. Adversarial Robustness of Deep Learning-Based Malware Detectors via (De)Randomized Smoothing

    IEEE Access, Vol. 12, pp. 61152-61162

  2. Terrestrial very-long-baseline atom interferometry: Workshop summary

    AVS Quantum Science, Vol. 6, Núm. 2

2023

  1. A Wolf in Sheep's Clothing: Query-Free Evasion Attacks Against Machine Learning-Based Malware Detectors with Generative Adversarial Networks

    2023 IEEE EUROPEAN SYMPOSIUM ON SECURITY AND PRIVACY WORKSHOPS, EUROS&PW

2022

  1. Argumentation Reasoning with Graph Isomorphism Networks for Reddit Conversation Analysis

    International Journal of Computational Intelligence Systems, Vol. 15, Núm. 1

  2. Enhancing the insertion of NOP instructions to obfuscate malware via deep reinforcement learning

    Computers and Security, Vol. 113

  3. Fusing feature engineering and deep learning: A case study for malware classification

    Expert Systems with Applications, Vol. 207

2020

  1. Improving the energy efficiency of passive PCM system using controlled natural ventilation

    Energy and Buildings, Vol. 228

  2. Optimal control of natural ventilation as passive cooling strategy for improving the energy performance of building envelope with PCM integration

    Renewable Energy, Vol. 162, pp. 171-181

2019

  1. Controlled natural ventilation coupled with passive pcm system to improve the cooling energy performance in office buildings

    Building Simulation Conference Proceedings

  2. Cool roof impact on building energy need: The role of thermal insulation with varying climate conditions

    Energies, Vol. 12, Núm. 17

  3. Voice assistants and older people: Some open issues

    ACM International Conference Proceeding Series

2016

  1. Maximal falsifiability

    AI Communications

2013

  1. Iterative and core-guided MaxSAT solving: A survey and assessment

    Constraints, Vol. 18, Núm. 4, pp. 478-534

  2. Maximal falsifiability: Definitions, algorithms, and applications

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2012

  1. Iterative SAT solving for minimum satisfiability

    Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI

2011

  1. Algorithms for maximum satisfiability using unsatisfiable cores

    Advanced Techniques in Logic Synthesis, Optimizations and Applications (Springer New York), pp. 171-182

  2. Boolean lexicographic optimization: Algorithms & applications

    Annals of Mathematics and Artificial Intelligence, Vol. 62, Núm. 3-4, pp. 317-343

2010

  1. Boolean lexicographic optimization

    CEUR Workshop Proceedings

2009

  1. Algorithms for weighted boolean optimization

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  2. On solving boolean multilevel optimization problems

    IJCAI International Joint Conference on Artificial Intelligence