Seguir
Jordi Planes
Jordi Planes
Universitat de Lleida
Dirección de correo verificada de udl.cat - Página principal
Título
Citado por
Citado por
Año
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
6942020
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
2872019
New inference rules for Max-SAT
CM Li, F Manya, J Planes
Journal of Artificial Intelligence Research 30, 321-359, 2007
2332007
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
2232013
Algorithms for weighted boolean optimization
V Manquinho, J Marques-Silva, J Planes
Theory and Applications of Satisfiability Testing-SAT 2009: 12th …, 2009
2062009
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
1652008
HYDRA: A multimodal deep learning framework for malware classification
D Gibert, C Mateu, J Planes
Computers & Security 95, 101873, 2020
1442020
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
1142018
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
1132005
The first and second Max-SAT evaluations
J Argelich, CM Li, F Manya, J Planes
Journal on Satisfiability, Boolean Modelling and Computation 4 (2-4), 251-278, 2008
1092008
Exploiting cycle structures in Max-SAT
CM Li, F Manya, N Mohamedou, J Planes
International Conference on Theory and Applications of Satisfiability …, 2009
1052009
Detecting disjoint inconsistent subformulas for computing lower bounds for Max-SAT
CM Li, F Manya, J Planes
AAAI 6, 86-91, 2006
992006
On using unsatisfiability for solving maximum satisfiability
J Marques-Silva, J Planes
arXiv preprint arXiv:0712.1097, 2007
812007
Resolution-based lower bounds in MaxSAT
CM Li, F Manya, NO Mohamedou, J Planes
Constraints 15 (4), 456-484, 2010
722010
Fusing feature engineering and deep learning: A case study for malware classification
D Gibert, J Planes, C Mateu, Q Le
Expert Systems with Applications 207, 117957, 2022
642022
Improved branch and bound algorithms for Max-SAT
T Alsinet
Sixth International Conference on Theory and Applications of Satisfiability …, 2003
582003
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
502019
Improved exact solvers for weighted Max-SAT
T Alsinet, F Manya, J Planes
International Conference on Theory and Applications of Satisfiability …, 2005
492005
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20