Follow
Jordi Planes
Jordi Planes
Verified email at udl.cat - Homepage
Title
Cited by
Cited by
Year
The rise of machine learning for detection and classification of malware: Research developments, trends and challenges
D Gibert, C Mateu, J Planes
Journal of Network and Computer Applications 153, 102526, 2020
2242020
New inference rules for Max-SAT
CM Li, F Manya, J Planes
Journal of Artificial Intelligence Research 30, 321-359, 2007
2132007
Algorithms for weighted boolean optimization
V Manquinho, J Marques-Silva, J Planes
International conference on theory and applications of satisfiability …, 2009
1882009
Iterative and core-guided MaxSAT solving: A survey and assessment
A Morgado, F Heras, M Liffiton, J Planes, J Marques-Silva
Constraints 18 (4), 478-534, 2013
1782013
Algorithms for maximum satisfiability using unsatisfiable cores
J Marques-Sila, J Planes
Advanced Techniques in Logic Synthesis, Optimizations and Applications, 171-182, 2011
1532011
Exploiting unit propagation to compute lower bounds in branch and bound Max-SAT solvers
CM Li, F Manya, J Planes
International conference on principles and practice of constraint …, 2005
1022005
Using convolutional neural networks for classification of malware represented as images
D Gibert, C Mateu, J Planes, R Vicens
Journal of Computer Virology and Hacking Techniques 15 (1), 15-28, 2019
982019
The first and second Max-SAT evaluations
J Argelich, CM Li, F Manya, J Planes
Journal on Satisfiability, Boolean Modeling and Computation 4 (2-4), 251-278, 2008
972008
Exploiting cycle structures in Max-SAT
CM Li, F Manya, N Mohamedou, J Planes
International Conference on Theory and Applications of Satisfiability …, 2009
952009
Detecting disjoint inconsistent subformulas for computing lower bounds for Max-SAT
CM Li, F Manya, J Planes
AAAI 6, 86-91, 2006
902006
On using unsatisfiability for solving maximum satisfiability
J Marques-Silva, J Planes
arXiv preprint arXiv:0712.1097, 2007
682007
Resolution-based lower bounds in MaxSAT
CM Li, F Manya, NO Mohamedou, J Planes
Constraints 15 (4), 456-484, 2010
582010
Improved branch and bound algorithms for Max-SAT
T Alsinet, F Manya, J Planes
572003
Improved exact solvers for weighted Max-SAT
T Alsinet, F Manya, J Planes
International Conference on Theory and Applications of Satisfiability …, 2005
462005
Classification of malware by using structural entropy on convolutional neural networks
D Gibert, C Mateu, J Planes, R Vicens
Proceedings of the AAAI Conference on Artificial Intelligence 32 (1), 2018
432018
HYDRA: A multimodal deep learning framework for malware classification
D Gibert, C Mateu, J Planes
Computers & Security 95, 101873, 2020
422020
A Max-SAT solver with lazy data structures
T Alsinet, F Manya, J Planes
Ibero-American Conference on Artificial Intelligence, 334-342, 2004
382004
Weighted argumentation for analysis of discussions in Twitter
T Alsinet, J Argelich, R Béjar, C Fernández, C Mateu, J Planes
International Journal of Approximate Reasoning 85, 21-35, 2017
302017
An efficient solver for weighted Max-SAT
T Alsinet, F Manya, J Planes
Journal of Global Optimization 41 (1), 61-73, 2008
292008
Blacklist muti-objective genetic algorithm for energy saving in heterogeneous environments
E Gabaldon, JL Lerida, F Guirado, J Planes
The Journal of Supercomputing 73 (1), 354-369, 2017
262017
The system can't perform the operation now. Try again later.
Articles 1–20