| 2024 | KR | Distance-Restricted Explanations: Theoretical Underpinnings & Efficient Implementation. | Yacine Izza, Xuanxiang Huang, Antnio Morgado, Jordi Planes, Alexey Ignatiev, Joo Marques-Silva |
| 2023 | TACAS | Feature Necessity & Relevancy in ML Classifier Explanations. | Xuanxiang Huang, Martin C. Cooper, Antnio Morgado, Jordi Planes, Joo Marques-Silva |
| 2020 | IJCNN | Orthrus: A Bimodal Learning Architecture for Malware Classification. | Daniel Gibert, Carles Mateu, Jordi Planes |
| 2019 | IJCNN | A Hierarchical Convolutional Neural Network for Malware Classification. | Daniel Gibert, Carles Mateu, Jordi Planes |
| 2018 | AAAI | Classification of Malware by Using Structural Entropy on Convolutional Neural Networks. | Daniel Gibert, Carles Mateu, Jordi Planes, Ramon Vicens |
| 2018 | ICANN | An End-to-End Deep Learning Architecture for Classification of Malware's Binary Content. | Daniel Gibert, Carles Mateu, Jordi Planes |
| 2017 | IJCAI | A Distributed Approach for the Analysis of Discussions in Twitter. | Teresa Alsinet, Josep Argelich, Ramn Bjar, Jordi Planes, Joel Cemeli, Cristian Sanahuja |
| 2013 | LPAR | Maximal Falsifiability - Definitions, Algorithms, and Applications. | Alexey Ignatiev, Antnio Morgado, Jordi Planes, Joo Marques-Silva |
| 2012 | ICTAI | Iterative SAT Solving for Minimum Satisfiability. | Federico Heras, Antnio Morgado, Jordi Planes, Joo Marques-Silva |
| 2011 | SAT | Analyzing the Instances of the MaxSAT Evaluation. | Josep Argelich, Chu Min Li, Felip Many, Jordi Planes |
| 2009 | SAT | Exploiting Cycle Structures in Max-SAT. | Chu Min Li, Felip Many, Nouredine Ould Mohamedou, Jordi Planes |
| 2009 | SAT | Algorithms for Weighted Boolean Optimization. | Vasco Manquinho, Joo Marques-Silva, Jordi Planes |
| 2008 | CP | Transforming Inconsistent Subformulas in MaxSAT Lower Bound Computation. | Chu Min Li, Felip Many, Nouredine Ould Mohamedou, Jordi Planes |
| 2008 | DATE | Algorithms for Maximum Satisfiability using Unsatisfiable Cores. | Joo Marques-Silva, Jordi Planes |
| 2008 | ECAI | A MAX-SAT Algorithm Portfolio. | Paulo J. Matos, Jordi Planes, Florian Letombe, Joo Marques-Silva |
| 2006 | AAAI | Detecting Disjoint Inconsistent Subformulas for Computing Lower Bounds for Max-SAT. | Chu Min Li, Felip Many, Jordi Planes |
| 2005 | CP | Exploiting Unit Propagation to Compute Lower Bounds in Branch and Bound Max-SAT Solvers. | Chu Min Li, Felip Many, Jordi Planes |
| 2005 | SAT | Improved Exact Solvers for Weighted Max-SAT. | Teresa Alsinet, Felip Many, Jordi Planes |
| 2003 | CP | Improved Branch and Bound Algorithms for Max-2-SAT and Weighted Max-2-SAT. | Jordi Planes |
| 2000 | CARDIS | A Performance Comparison of Java Cards for Micropayment Implementation. | Jordi Castell-Roca, Josep Domingo-Ferrer, Jordi Herrera-Joancomart, Jordi Planes |