| 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 | 608 | 2020 |
| 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 | 235 | 2019 |
| New inference rules for Max-SAT CM Li, F Manya, J Planes Journal of Artificial Intelligence Research 30, 321-359, 2007 | 230 | 2007 |
| 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 | 214 | 2013 |
| Algorithms for weighted boolean optimization V Manquinho, J Marques-Silva, J Planes Theory and Applications of Satisfiability Testing-SAT 2009: 12th …, 2009 | 204 | 2009 |
| 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 | 163 | 2008 |
| HYDRA: A multimodal deep learning framework for malware classification D Gibert, C Mateu, J Planes Computers & Security 95, 101873, 2020 | 114 | 2020 |
| 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 | 111 | 2005 |
| 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 | 106 | 2008 |
| Exploiting cycle structures in Max-SAT CM Li, F Manya, N Mohamedou, J Planes International Conference on Theory and Applications of Satisfiability …, 2009 | 103 | 2009 |
| 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 | 98 | 2018 |
| Detecting disjoint inconsistent subformulas for computing lower bounds for Max-SAT CM Li, F Manya, J Planes AAAI 6, 86-91, 2006 | 97 | 2006 |
| On using unsatisfiability for solving maximum satisfiability J Marques-Silva, J Planes arXiv preprint arXiv:0712.1097, 2007 | 78 | 2007 |
| Resolution-based lower bounds in MaxSAT CM Li, F Manya, NO Mohamedou, J Planes Constraints 15 (4), 456-484, 2010 | 69 | 2010 |
| Improved branch and bound algorithms for Max-SAT T Alsinet Sixth International Conference on Theory and Applications of Satisfiability …, 2003 | 58 | 2003 |
| Improved exact solvers for weighted Max-SAT T Alsinet, F Manya, J Planes International Conference on Theory and Applications of Satisfiability …, 2005 | 49 | 2005 |
| 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 | 45 | 2019 |
| 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 | 42 | 2022 |
| A Max-SAT solver with lazy data structures T Alsinet, F Manya, J Planes Advances in Artificial Intelligence–IBERAMIA 2004: 9th Ibero-American …, 2004 | 40 | 2004 |
| 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 | 36 | 2017 |
Carles MateuAssociate Professor, Universitat de Lleida在 udl.cat 的电子邮件经过验证
