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
4942020
New inference rules for Max-SAT
CM Li, F Manya, J Planes
Journal of Artificial Intelligence Research 30, 321-359, 2007
2312007
Iterative and core-guided MaxSAT solving: A survey and assessment
A Morgado, F Heras, M Liffiton, J Planes, J Marques-Silva
Constraints 18, 478-534, 2013
2072013
Algorithms for weighted boolean optimization
V Manquinho, J Marques-Silva, J Planes
Theory and Applications of Satisfiability Testing-SAT 2009: 12th …, 2009
2022009
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, 15-28, 2019
1992019
Algorithms for maximum satisfiability using unsatisfiable cores
J Marques-Silva, J Planes
Proceedings of the conference on Design, automation and test in Europe, 408-413, 2008
1592008
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
1102005
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
1052008
Exploiting cycle structures in Max-SAT
CM Li, F Manya, N Mohamedou, J Planes
International Conference on Theory and Applications of Satisfiability …, 2009
1022009
HYDRA: A multimodal deep learning framework for malware classification
D Gibert, C Mateu, J Planes
Computers & Security 95, 101873, 2020
982020
Detecting disjoint inconsistent subformulas for computing lower bounds for Max-SAT
CM Li, F Manya, J Planes
AAAI 6, 86-91, 2006
962006
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
902018
On using unsatisfiability for solving maximum satisfiability
J Marques-Silva, J Planes
arXiv preprint arXiv:0712.1097, 2007
752007
Resolution-based lower bounds in MaxSAT
CM Li, F Manya, NO Mohamedou, J Planes
Constraints 15 (4), 456-484, 2010
692010
Improved branch and bound algorithms for Max-SAT
T Alsinet
Sixth International Conference on Theory and Applications of Satisfiability …, 2003
582003
Improved exact solvers for weighted Max-SAT
T Alsinet, F Manya, J Planes
International Conference on Theory and Applications of Satisfiability …, 2005
492005
A hierarchical convolutional neural network for malware classification
D Gibert, C Mateu, J Planes
2019 International joint conference on neural networks (IJCNN), 1-8, 2019
412019
A Max-SAT solver with lazy data structures
T Alsinet, F Manya, J Planes
Advances in Artificial Intelligence–IBERAMIA 2004: 9th Ibero-American …, 2004
402004
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
372017
Convolutional neural networks for classification of malware assembly code
D Solis, R Vicens
Recent Advances in Artificial Intelligence Research and Development …, 2017
302017
The system can't perform the operation now. Try again later.
Articles 1–20