| Fusing feature engineering and deep learning: A case study for malware classification | 0 | 0.34 | 2022 |
| Anomaly Detection for Diagnosing Failures in a Centrifugal Compressor Train. | 0 | 0.34 | 2021 |
| Argumentation Reasoning with Graph Neural Networks for Reddit Conversation Analysis. | 0 | 0.34 | 2021 |
| Auditing Static Machine Learning Anti-Malware Tools Against Metamorphic Attacks | 0 | 0.34 | 2021 |
| HYDRA: A multimodal deep learning framework for malware classification. | 7 | 0.51 | 2020 |
| The rise of machine learning for detection and classification of malware: Research developments, trends and challenges. | 10 | 0.57 | 2020 |
| Using convolutional neural networks for classification of malware represented as images | 7 | 0.45 | 2019 |
| An Android Malware Detection Framework Using Graph Embeddings and Convolutional Neural Networks. | 0 | 0.34 | 2019 |
| A Hierarchical Convolutional Neural Network for Malware Classification | 1 | 0.35 | 2019 |
| Classification of Malware by Using Structural Entropy on Convolutional Neural Networks. | 0 | 0.34 | 2018 |
| An End-To-End Deep Learning Architecture For Classification Of Malware'S Binary Content | 1 | 0.38 | 2018 |
| An argumentative approach for discovering relevant opinions in Twitter with probabilistic valued relationships. | 4 | 0.41 | 2018 |
| A Distributed Approach for the Analysis of Discussions in Twitter. | 1 | 0.35 | 2017 |
| Blacklist muti-objective genetic algorithm for energy saving in heterogeneous environments. | 3 | 0.37 | 2017 |
| Weighted argumentation for analysis of discussions in Twitter. | 7 | 0.47 | 2017 |
| Convolutional Neural Networks for Classification of Malware Assembly Code. | 0 | 0.34 | 2017 |
| Support Analysis of Weighted Discussions in Twitter. | 1 | 0.36 | 2016 |
| On the performance of MaxSAT and MinSAT solvers on 2SAT-MaxOnes. | 0 | 0.34 | 2016 |
| Maximal falsifiability. | 0 | 0.34 | 2016 |
| Particle Swarm Optimization Scheduling for Energy Saving in Cluster Computing Heterogeneous Environments | 2 | 0.35 | 2016 |
| Multi-criteria genetic algorithm applied to scheduling in multi-cluster environments Open. | 0 | 0.34 | 2015 |
| Maximal Falsifiability - Definitions, Algorithms, and Applications. | 1 | 0.35 | 2013 |
| Iterative and core-guided MaxSAT solving: A survey and assessment | 60 | 1.35 | 2013 |
| Iterative SAT Solving for Minimum Satisfiability | 8 | 0.45 | 2012 |
| Experimenting with the Instances of the MaxSAT Evaluation. | 2 | 0.38 | 2011 |
| Analyzing the instances of the MaxSAT evaluation | 3 | 0.40 | 2011 |
| Resolution-based lower bounds in MaxSAT | 20 | 0.99 | 2010 |
| Algorithms for Weighted Boolean Optimization | 49 | 2.12 | 2009 |
| Exploiting Cycle Structures in Max-SAT | 22 | 1.07 | 2009 |
| Generating Hard Instances for MaxSAT | 1 | 0.36 | 2009 |
| A Formal Model of Competence-Based Assessment | 4 | 0.65 | 2009 |
| The First and Second Max-SAT Evaluations | 35 | 1.70 | 2008 |
| A MAX-SAT Algorithm Portfolio | 4 | 0.39 | 2008 |
| An efficient solver for weighted Max-SAT | 11 | 0.64 | 2008 |
| Transforming Inconsistent Subformulas in MaxSAT Lower Bound Computation | 4 | 0.49 | 2008 |
| Algorithms for maximum satisfiability using unsatisfiable cores | 65 | 2.43 | 2008 |
| On Using Unsatisfiability for Solving Maximum Satisfiability | 25 | 1.20 | 2007 |
| Towards Solving Many-Valued MaxSAT | 1 | 0.37 | 2006 |
| Detecting disjoint inconsistent subformulas for computing lower bounds for Max-SAT | 42 | 1.99 | 2006 |
| Exploiting Unit Propagation to Compute Lower Bounds in Branch and Bound Max-SAT Solvers | 46 | 2.30 | 2005 |
| Improved exact solvers for weighted Max-SAT | 17 | 1.12 | 2005 |
| A Max-SAT Solver with Lazy Data Structures | 11 | 0.86 | 2004 |
| Improved Branch and Bound Algorithms for Max-2-SAT and Weighted Max-2-SAT | 5 | 0.60 | 2003 |
| A performance comparison of Java cards for micropayment implementation | 6 | 1.21 | 2000 |
