Jordi Planes - RankMe

68 papers A* 3A 9B 5C 1Journal 32Unranked 18

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Feature Necessity and Relevancy in Machine Learning Explanations. J. Autom. Reason. Xuanxiang Huang, Martin C. Cooper, António Morgado, Jordi Planes, João Marques-Silva
2025	—	`conf`	On Trustworthy Rule-Based Models and Explanations. ECML/PKDD (4) Mohamed Siala, Jordi Planes, João Marques-Silva
2025	J	`jnl`	On Trustworthy Rule-Based Models and Explanations. CoRR Mohamed Siala, Jordi Planes, João Marques-Silva
2024	J	`jnl`	A Robust Defense against Adversarial Attacks on Deep Learning-based Malware Detectors via (De)Randomized Smoothing. CoRR Daniel Gibert, Giulio Zizzo, Quan Le, Jordi Planes
2024	J	`jnl`	Adversarial Robustness of Deep Learning-Based Malware Detectors via (De)Randomized Smoothing. IEEE Access Daniel Gibert, Giulio Zizzo, Quan Le, Jordi Planes
2024	J	`jnl`	Certified Adversarial Robustness of Machine Learning-based Malware Detectors via (De)Randomized Smoothing. CoRR Daniel Gibert, Luca Demetrio, Giulio Zizzo, Quan Le, Jordi Planes, Battista Biggio
2024	—	`conf`	Checking Robustness of Neural Network Models for the Classification of Malware. CCIA Teresa Alsinet, Josep Argelich, Ramón Béjar, António Morgado, Jordi Planes
2024	A*	`conf`	Distance-Restricted Explanations: Theoretical Underpinnings & Efficient Implementation. KR Yacine Izza, Xuanxiang Huang, António Morgado, Jordi Planes, Alexey Ignatiev, João Marques-Silva
2024	J	`jnl`	Distance-Restricted Explanations: Theoretical Underpinnings & Efficient Implementation. CoRR Yacine Izza, Xuanxiang Huang, António Morgado, Jordi Planes, Alexey Ignatiev, João Marques-Silva
2023	—	`conf`	A Wolf in Sheep's Clothing: Query-Free Evasion Attacks Against Machine Learning-Based Malware Detectors with Generative Adversarial Networks. EuroS&P Workshops Daniel Gibert, Jordi Planes, Quan Le, Giulio Zizzo
2023	—	`conf`	Feature Necessity & Relevancy in ML Classifier Explanations. TACAS (1) Xuanxiang Huang, Martin C. Cooper, António Morgado, Jordi Planes, João Marques-Silva
2023	J	`jnl`	On Logic-Based Explainability with Partially Specified Inputs. CoRR Ramón Béjar, António Morgado, Jordi Planes, João Marques-Silva
2023	J	`jnl`	Query-Free Evasion Attacks Against Machine Learning-Based Malware Detectors with Generative Adversarial Networks. CoRR Daniel Gibert, Jordi Planes, Quan Le, Giulio Zizzo
2022	J	`jnl`	Argumentation Reasoning with Graph Isomorphism Networks for Reddit Conversation Analysis. Int. J. Comput. Intell. Syst. Teresa Alsinet, Josep Argelich, Ramón Béjar, Daniel Gibert, Jordi Planes
2022	J	`jnl`	Enhancing the insertion of NOP instructions to obfuscate malware via deep reinforcement learning. Comput. Secur. Daniel Gibert, Matt Fredrikson, Carles Mateu, Jordi Planes, Quan Le
2022	J	`jnl`	Feature Necessity & Relevancy in ML Classifier Explanations. CoRR Xuanxiang Huang, Martin C. Cooper, António Morgado, Jordi Planes, João Marques-Silva
2022	J	`jnl`	Fusing Feature Engineering and Deep Learning: A Case Study for Malware Classification. CoRR Daniel Gibert, Carles Mateu, Jordi Planes, Quan Le
2022	J	`jnl`	Fusing feature engineering and deep learning: A case study for malware classification. Expert Syst. Appl. Daniel Gibert, Jordi Planes, Carles Mateu, Quan Le
2021	—	`conf`	Anomaly Detection for Diagnosing Failures in a Centrifugal Compressor Train. CCIA Ian Palacín, Daniel Gibert, Jordi Planes, Simone Arena, Pier Francesco Orrù, Maurizio Melis, Marco Annis
2021	—	`conf`	Argumentation Reasoning with Graph Neural Networks for Reddit Conversation Analysis. CCIA Teresa Alsinet, Josep Argelich, Ramón Béjar, Daniel Gibert, Jordi Planes, Nil Torrent
2021	J	`jnl`	Auditing static machine learning anti-Malware tools against metamorphic attacks. Comput. Secur. Daniel Gibert, Carles Mateu, Jordi Planes, João Marques-Silva
2021	J	`jnl`	Enhancing the Insertion of NOP Instructions to Obfuscate Malware via Deep Reinforcement Learning. CoRR Daniel Gibert, Matt Fredrikson, Carles Mateu, Jordi Planes, Quan Le
2020	J	`jnl`	HYDRA: A multimodal deep learning framework for malware classification. Comput. Secur. Daniel Gibert, Carles Mateu, Jordi Planes
2020	B	`conf`	Orthrus: A Bimodal Learning Architecture for Malware Classification. IJCNN Daniel Gibert, Carles Mateu, Jordi Planes
2020	J	`jnl`	The rise of machine learning for detection and classification of malware: Research developments, trends and challenges. J. Netw. Comput. Appl. Daniel Gibert, Carles Mateu, Jordi Planes
2019	B	`conf`	A Hierarchical Convolutional Neural Network for Malware Classification. IJCNN Daniel Gibert, Carles Mateu, Jordi Planes
2019	—	`conf`	An Android Malware Detection Framework Using Graph Embeddings and Convolutional Neural Networks. CCIA Daniel Gibert, Alba Lamas, Ruben Martins, Carles Mateu, Jordi Planes
2019	J	`jnl`	Using convolutional neural networks for classification of malware represented as images. J. Comput. Virol. Hacking Tech. Daniel Gibert, Carles Mateu, Jordi Planes, Ramon Vicens
2018	—	`conf`	An End-to-End Deep Learning Architecture for Classification of Malware's Binary Content. ICANN (3) Daniel Gibert, Carles Mateu, Jordi Planes
2018	J	`jnl`	An argumentative approach for discovering relevant opinions in Twitter with probabilistic valued relationships. Pattern Recognit. Lett. Teresa Alsinet, Josep Argelich, Ramón Béjar, Cèsar Fernández, Carles Mateu, Jordi Planes
2018	A*	`conf`	Classification of Malware by Using Structural Entropy on Convolutional Neural Networks. AAAI Daniel Gibert, Carles Mateu, Jordi Planes, Ramon Vicens
2017	—	`conf`	A Distributed Approach for the Analysis of Discussions in Twitter. SocInf@IJCAI Teresa Alsinet, Josep Argelich, Ramón Béjar, Jordi Planes, Joel Cemeli, Cristian Sanahuja
2017	J	`jnl`	Blacklist muti-objective genetic algorithm for energy saving in heterogeneous environments. J. Supercomput. Eloi Gabaldon, Josep Lluís Lérida, Fernando Guirado, Jordi Planes
2017	—	`conf`	Convolutional Neural Networks for Classification of Malware Assembly Code. CCIA Daniel Gibert, Javier Béjar, Carles Mateu, Jordi Planes, Daniel Solis, Ramon Vicens
2017	B	`conf`	Energy efficient scheduling on heterogeneous federated clusters using a fuzzy multi-objective meta-heuristic. FUZZ-IEEE Eloi Gabaldon, Sergi Vila, Fernando Guirado, Josep L. Lérida, Jordi Planes
2017	J	`jnl`	Weighted argumentation for analysis of discussions in Twitter. Int. J. Approx. Reason. Teresa Alsinet, Josep Argelich, Ramón Béjar, Cèsar Fernández, Carles Mateu, Jordi Planes
2016	J	`jnl`	Maximal falsifiability. AI Commun. Alexey Ignatiev, António Morgado, Jordi Planes, João Marques-Silva
2016	J	`jnl`	On the performance of MaxSAT and MinSAT solvers on 2SAT-MaxOnes. Ann. Math. Artif. Intell. Josep Argelich, Ramón Béjar, Cèsar Fernández, Carles Mateu, Jordi Planes
2016	—	`conf`	Particle Swarm Optimization Scheduling for Energy Saving in Cluster Computing Heterogeneous Environments. FiCloud Workshops Eloi Gabaldon, Fernando Guirado, Josep Lluís Lérida, Jordi Planes
2016	—	`conf`	Support Analysis of Weighted Discussions in Twitter. CCIA Teresa Alsinet, Josep Argelich, Ramón Béjar, Cèsar Fernández, Carles Mateu, Jordi Planes
2015	J	`jnl`	Multi-criteria genetic algorithm applied to scheduling in multi-cluster environments Open. J. Simulation Eloi Gabaldon, Josep L. Lérida, Fernando Guirado, Jordi Planes
2014	—	`conf`	Slowdown-Guided Genetic Algorithm for Job Scheduling in Federated Environments. ICTCC Eloi Gabaldon, Josep L. Lérida, Fernando Guirado, Jordi Planes
2013	J	`jnl`	Iterative and core-guided MaxSAT solving: A survey and assessment. Constraints An Int. J. António Morgado, Federico Heras, Mark H. Liffiton, Jordi Planes, João Marques-Silva
2013	B	`conf`	Maximal Falsifiability - Definitions, Algorithms, and Applications. LPAR Alexey Ignatiev, António Morgado, Jordi Planes, João Marques-Silva
2012	B	`conf`	Iterative SAT Solving for Minimum Satisfiability. ICTAI Federico Heras, António Morgado, Jordi Planes, João Marques-Silva
2011	A	`conf`	Analyzing the Instances of the MaxSAT Evaluation. SAT Josep Argelich, Chu Min Li, Felip Manyà, Jordi Planes
2011	—	`conf`	Experimenting with the Instances of the MaxSAT Evaluation. CCIA Josep Argelich, Chu Min Li, Felip Manyà, Jordi Planes
2011	J	`jnl`	New Inference Rules for Max-SAT CoRR Chu Min Li, Felip Manyà, Jordi Planes
2010	J	`jnl`	Resolution-based lower bounds in MaxSAT. Constraints An Int. J. Chu Min Li, Felip Manyà, Nouredine Ould Mohamedou, Jordi Planes
2009	—	`conf`	A Formal Model of Competence-Based Assessment. CCIA Teresa Alsinet, David Barroso, Ramón Béjar, Jordi Planes
2009	J	`jnl`	Algorithms for Weighted Boolean Optimization CoRR Vasco Manquinho, João Marques-Silva, Jordi Planes
2009	A	`conf`	Algorithms for Weighted Boolean Optimization. SAT Vasco Manquinho, João Marques-Silva, Jordi Planes
2009	A	`conf`	Exploiting Cycle Structures in Max-SAT. SAT Chu Min Li, Felip Manyà, Nouredine Ould Mohamedou, Jordi Planes
2009	—	`conf`	Generating Hard Instances for MaxSAT. ISMVL Ramón Béjar, Alba Cabiscol, Felip Manyà, Jordi Planes
2008	A	`conf`	A MAX-SAT Algorithm Portfolio. ECAI Paulo J. Matos, Jordi Planes, Florian Letombe, João Marques-Silva
2008	A	`conf`	Algorithms for Maximum Satisfiability using Unsatisfiable Cores. DATE João Marques-Silva, Jordi Planes
2008	J	`jnl`	An efficient solver for weighted Max-SAT. J. Glob. Optim. Teresa Alsinet, Felip Manyà, Jordi Planes
2008	J	`jnl`	The First and Second Max-SAT Evaluations. J. Satisf. Boolean Model. Comput. Josep Argelich, Chu Min Li, Felip Manyà, Jordi Planes
2008	A	`conf`	Transforming Inconsistent Subformulas in MaxSAT Lower Bound Computation. CP Chu Min Li, Felip Manyà, Nouredine Ould Mohamedou, Jordi Planes
2007	J	`jnl`	New Inference Rules for Max-SAT. J. Artif. Intell. Res. Chu Min Li, Felip Manyà, Jordi Planes
2007	J	`jnl`	On Using Unsatisfiability for Solving Maximum Satisfiability CoRR João Marques-Silva, Jordi Planes
2006	A*	`conf`	Detecting Disjoint Inconsistent Subformulas for Computing Lower Bounds for Max-SAT. AAAI Chu Min Li, Felip Manyà, Jordi Planes
2006	—	`conf`	Towards Solving Many-Valued MaxSAT. ISMVL Josep Argelich, Xavier Domingo, Chu Min Li, Felip Manyà, Jordi Planes
2005	A	`conf`	Exploiting Unit Propagation to Compute Lower Bounds in Branch and Bound Max-SAT Solvers. CP Chu Min Li, Felip Manyà, Jordi Planes
2005	A	`conf`	Improved Exact Solvers for Weighted Max-SAT. SAT Teresa Alsinet, Felip Manyà, Jordi Planes
2004	—	`conf`	A Max-SAT Solver with Lazy Data Structures. IBERAMIA Teresa Alsinet, Felip Manyà, Jordi Planes
2003	A	`conf`	Improved Branch and Bound Algorithms for Max-2-SAT and Weighted Max-2-SAT. CP Jordi Planes
2000	C	`conf`	A Performance Comparison of Java Cards for Micropayment Implementation. CARDIS Jordi Castellà-Roca, Josep Domingo-Ferrer, Jordi Herrera-Joancomartí, Jordi Planes