A Performance Comparison of Java Cards for Micropayment Implementation. - Jordi Castellà-Roca; Josep Domingo-Ferrer; Jordi Herrera-Joancomartí; Jordi Planes (CARDIS, 2000)

Improved Branch and Bound Algorithms for Max-2-SAT and Weighted Max-2-SAT. - Jordi Planes (CP, 2003)

A Max-SAT Solver with Lazy Data Structures. - Teresa Alsinet; Felip Manyà; Jordi Planes (IBERAMIA, 2004)

Exploiting Unit Propagation to Compute Lower Bounds in Branch and Bound Max-SAT Solvers. - Chu Min Li 001; Felip Manyà; Jordi Planes (CP, 2005)

Improved Exact Solvers for Weighted Max-SAT. - Teresa Alsinet; Felip Manyà; Jordi Planes (SAT, 2005)

Detecting Disjoint Inconsistent Subformulas for Computing Lower Bounds for Max-SAT. - Chu Min Li 001; Felip Manyà; Jordi Planes (AAAI, 2006)

Towards Solving Many-Valued MaxSAT. - Josep Argelich; Xavier Domingo; Chu Min Li 001; Felip Manyà; Jordi Planes (ISMVL, 2006)

On Using Unsatisfiability for Solving Maximum Satisfiability - João Marques-Silva 001; Jordi Planes (CoRR, 2007)

New Inference Rules for Max-SAT. - Chu Min Li 001; Felip Manyà; Jordi Planes (J. Artif. Intell. Res., 2007)

Transforming Inconsistent Subformulas in MaxSAT Lower Bound Computation. - Chu Min Li 001; Felip Manyà; Nouredine Ould Mohamedou; Jordi Planes (CP, 2008)

Algorithms for Maximum Satisfiability using Unsatisfiable Cores. - João Marques-Silva 001; Jordi Planes (DATE, 2008)

A MAX-SAT Algorithm Portfolio. - Paulo J. Matos; Jordi Planes; Florian Letombe; João Marques-Silva 001 (ECAI, 2008)

An efficient solver for weighted Max-SAT. - Teresa Alsinet; Felip Manyà; Jordi Planes (J. Glob. Optim., 2008)

The First and Second Max-SAT Evaluations. - Josep Argelich; Chu Min Li 001; Felip Manyà; Jordi Planes (J. Satisf. Boolean Model. Comput., 2008)

A Formal Model of Competence-Based Assessment. - Teresa Alsinet; David Barroso; Ramón Béjar; Jordi Planes (CCIA, 2009)

Generating Hard Instances for MaxSAT. - Ramón Béjar; Alba Cabiscol; Felip Manyà; Jordi Planes (ISMVL, 2009)

Exploiting Cycle Structures in Max-SAT. - Chu Min Li 001; Felip Manyà; Nouredine Ould Mohamedou; Jordi Planes (SAT, 2009)

Algorithms for Weighted Boolean Optimization. - Vasco Manquinho; João Marques-Silva 001; Jordi Planes (SAT, 2009)

Resolution-based lower bounds in MaxSAT. - Chu Min Li 001; Felip Manyà; Nouredine Ould Mohamedou; Jordi Planes (Constraints An Int. J., 2010)

Experimenting with the Instances of the MaxSAT Evaluation. - Josep Argelich; Chu Min Li 001; Felip Manyà; Jordi Planes (CCIA, 2011)

Analyzing the Instances of the MaxSAT Evaluation. - Josep Argelich; Chu Min Li 001; Felip Manyà; Jordi Planes (SAT, 2011)

Iterative SAT Solving for Minimum Satisfiability. - Federico Heras; António Morgado 001; Jordi Planes; João Marques-Silva 001 (ICTAI, 2012)

Maximal Falsifiability - Definitions, Algorithms, and Applications. - Alexey Ignatiev; António Morgado 001; Jordi Planes; João Marques-Silva 001 (LPAR, 2013)

Iterative and core-guided MaxSAT solving: A survey and assessment. - António Morgado 001; Federico Heras; Mark H. Liffiton; Jordi Planes; João Marques-Silva 001 (Constraints An Int. J., 2013)

Slowdown-Guided Genetic Algorithm for Job Scheduling in Federated Environments. - Eloi Gabaldon; Josep L. Lérida; Fernando Guirado; Jordi Planes (ICTCC, 2014)

Multi-criteria genetic algorithm applied to scheduling in multi-cluster environments Open. - Eloi Gabaldon; Josep L. Lérida; Fernando Guirado; Jordi Planes (J. Simulation, 2015)

Support Analysis of Weighted Discussions in Twitter. - Teresa Alsinet; Josep Argelich; Ramón Béjar; Cèsar Fernández; Carles Mateu; Jordi Planes (CCIA, 2016)

Particle Swarm Optimization Scheduling for Energy Saving in Cluster Computing Heterogeneous Environments. - Eloi Gabaldon; Fernando Guirado; Josep Lluís Lérida; Jordi Planes (FiCloud Workshops, 2016)

Maximal falsifiability. - Alexey Ignatiev; António Morgado 001; Jordi Planes; João Marques-Silva 001 (AI Commun., 2016)

On the performance of MaxSAT and MinSAT solvers on 2SAT-MaxOnes. - Josep Argelich; Ramón Béjar; Cèsar Fernández; Carles Mateu; Jordi Planes (Ann. Math. Artif. Intell., 2016)

Convolutional Neural Networks for Classification of Malware Assembly Code. - Daniel Gibert; Javier Béjar; Carles Mateu; Jordi Planes; Daniel Solis; Ramon Vicens (CCIA, 2017)

Energy efficient scheduling on heterogeneous federated clusters using a fuzzy multi-objective meta-heuristic. - Eloi Gabaldon; Sergi Vila; Fernando Guirado; Josep L. Lérida; Jordi Planes (FUZZ-IEEE, 2017)

A Distributed Approach for the Analysis of Discussions in Twitter. - Teresa Alsinet; Josep Argelich; Ramón Béjar; Jordi Planes; Joel Cemeli; Cristian Sanahuja (SocInf@IJCAI, 2017)

Weighted argumentation for analysis of discussions in Twitter. - Teresa Alsinet; Josep Argelich; Ramón Béjar; Cèsar Fernández; Carles Mateu; Jordi Planes (Int. J. Approx. Reason., 2017)

Blacklist muti-objective genetic algorithm for energy saving in heterogeneous environments. - Eloi Gabaldon; Josep Lluís Lérida; Fernando Guirado; Jordi Planes (J. Supercomput., 2017)

Classification of Malware by Using Structural Entropy on Convolutional Neural Networks. - Daniel Gibert; Carles Mateu; Jordi Planes; Ramon Vicens (AAAI, 2018)

An End-to-End Deep Learning Architecture for Classification of Malware's Binary Content. - Daniel Gibert; Carles Mateu; Jordi Planes (ICANN (3), 2018)

An argumentative approach for discovering relevant opinions in Twitter with probabilistic valued relationships. - Teresa Alsinet; Josep Argelich; Ramón Béjar; Cèsar Fernández; Carles Mateu; Jordi Planes (Pattern Recognit. Lett., 2018)

An Android Malware Detection Framework Using Graph Embeddings and Convolutional Neural Networks. - Daniel Gibert; Alba Lamas; Ruben Martins; Carles Mateu; Jordi Planes (CCIA, 2019)

A Hierarchical Convolutional Neural Network for Malware Classification. - Daniel Gibert; Carles Mateu; Jordi Planes (IJCNN, 2019)

Using convolutional neural networks for classification of malware represented as images. - Daniel Gibert; Carles Mateu; Jordi Planes; Ramon Vicens (J. Comput. Virol. Hacking Tech., 2019)

Orthrus: A Bimodal Learning Architecture for Malware Classification. - Daniel Gibert; Carles Mateu; Jordi Planes (IJCNN, 2020)

HYDRA: A multimodal deep learning framework for malware classification. - Daniel Gibert; Carles Mateu; Jordi Planes (Comput. Secur., 2020)

The rise of machine learning for detection and classification of malware: Research developments, trends and challenges. - Daniel Gibert; Carles Mateu; Jordi Planes (J. Netw. Comput. Appl., 2020)

Argumentation Reasoning with Graph Neural Networks for Reddit Conversation Analysis. - Teresa Alsinet; Josep Argelich; Ramón Béjar; Daniel Gibert; Jordi Planes; Nil Torrent (CCIA, 2021)

Anomaly Detection for Diagnosing Failures in a Centrifugal Compressor Train. - Ian Palacín; Daniel Gibert; Jordi Planes; Simone Arena; Pier Francesco Orrù; Maurizio Melis; Marco Annis (CCIA, 2021)

Auditing static machine learning anti-Malware tools against metamorphic attacks. - Daniel Gibert; Carles Mateu; Jordi Planes; João Marques-Silva 001 (Comput. Secur., 2021)

Enhancing the insertion of NOP instructions to obfuscate malware via deep reinforcement learning. - Daniel Gibert; Matt Fredrikson; Carles Mateu; Jordi Planes; Quan Le (Comput. Secur., 2022)

Fusing feature engineering and deep learning: A case study for malware classification. - Daniel Gibert; Jordi Planes; Carles Mateu; Quan Le (Expert Syst. Appl., 2022)

Argumentation Reasoning with Graph Isomorphism Networks for Reddit Conversation Analysis. - Teresa Alsinet; Josep Argelich; Ramón Béjar; Daniel Gibert; Jordi Planes (Int. J. Comput. Intell. Syst., 2022)

A Wolf in Sheep's Clothing: Query-Free Evasion Attacks Against Machine Learning-Based Malware Detectors with Generative Adversarial Networks. - Daniel Gibert; Jordi Planes; Quan Le; Giulio Zizzo (EuroS&P Workshops, 2023)

Feature Necessity & Relevancy in ML Classifier Explanations. - Xuanxiang Huang; Martin C. Cooper; António Morgado 001; Jordi Planes; João Marques-Silva 001 (TACAS (1), 2023)

Query-Free Evasion Attacks Against Machine Learning-Based Malware Detectors with Generative Adversarial Networks. - Daniel Gibert; Jordi Planes; Quan Le; Giulio Zizzo (CoRR, 2023)

On Logic-Based Explainability with Partially Specified Inputs. - Ramón Béjar; António Morgado 001; Jordi Planes; João Marques-Silva 001 (CoRR, 2023)

Checking Robustness of Neural Network Models for the Classification of Malware. - Teresa Alsinet; Josep Argelich; Ramón Béjar; António Morgado 001; Jordi Planes (CCIA, 2024)

Distance-Restricted Explanations: Theoretical Underpinnings & Efficient Implementation. - Yacine Izza; Xuanxiang Huang; António Morgado 001; Jordi Planes; Alexey Ignatiev; João Marques-Silva 001 (KR, 2024)

Adversarial Robustness of Deep Learning-Based Malware Detectors via (De)Randomized Smoothing. - Daniel Gibert; Giulio Zizzo; Quan Le; Jordi Planes (IEEE Access, 2024)

A Robust Defense against Adversarial Attacks on Deep Learning-based Malware Detectors via (De)Randomized Smoothing. - Daniel Gibert; Giulio Zizzo; Quan Le; Jordi Planes (CoRR, 2024)

Certified Adversarial Robustness of Machine Learning-based Malware Detectors via (De)Randomized Smoothing. - Daniel Gibert; Luca Demetrio; Giulio Zizzo; Quan Le; Jordi Planes; Battista Biggio (CoRR, 2024)

On Trustworthy Rule-Based Models and Explanations. - Mohamed Siala 002; Jordi Planes; João Marques-Silva 001 (CoRR, 2025)