Jordi Planes

Orcid: 0000-0003-1861-9736

Affiliations:
  • University of Lleida, Spain


According to our database1, Jordi Planes authored at least 59 papers between 2000 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Distance-Restricted Explanations: Theoretical Underpinnings & Efficient Implementation.
CoRR, 2024

Certified Adversarial Robustness of Machine Learning-based Malware Detectors via (De)Randomized Smoothing.
CoRR, 2024

A Robust Defense against Adversarial Attacks on Deep Learning-based Malware Detectors via (De)Randomized Smoothing.
CoRR, 2024

Adversarial Robustness of Deep Learning-Based Malware Detectors via (De)Randomized Smoothing.
IEEE Access, 2024

Checking Robustness of Neural Network Models for the Classification of Malware.
Proceedings of the Artificial Intelligence Research and Development, 2024

2023
On Logic-Based Explainability with Partially Specified Inputs.
CoRR, 2023

Query-Free Evasion Attacks Against Machine Learning-Based Malware Detectors with Generative Adversarial Networks.
CoRR, 2023

Feature Necessity & Relevancy in ML Classifier Explanations.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

A Wolf in Sheep's Clothing: Query-Free Evasion Attacks Against Machine Learning-Based Malware Detectors with Generative Adversarial Networks.
Proceedings of the IEEE European Symposium on Security and Privacy, 2023

2022
Argumentation Reasoning with Graph Isomorphism Networks for Reddit Conversation Analysis.
Int. J. Comput. Intell. Syst., 2022

Fusing feature engineering and deep learning: A case study for malware classification.
Expert Syst. Appl., 2022

Enhancing the insertion of NOP instructions to obfuscate malware via deep reinforcement learning.
Comput. Secur., 2022

2021
Auditing static machine learning anti-Malware tools against metamorphic attacks.
Comput. Secur., 2021

Anomaly Detection for Diagnosing Failures in a Centrifugal Compressor Train.
Proceedings of the Artificial Intelligence Research and Development, 2021

Argumentation Reasoning with Graph Neural Networks for Reddit Conversation Analysis.
Proceedings of the Artificial Intelligence Research and Development, 2021

2020
The rise of machine learning for detection and classification of malware: Research developments, trends and challenges.
J. Netw. Comput. Appl., 2020

HYDRA: A multimodal deep learning framework for malware classification.
Comput. Secur., 2020

Orthrus: A Bimodal Learning Architecture for Malware Classification.
Proceedings of the 2020 International Joint Conference on Neural Networks, 2020

2019
Using convolutional neural networks for classification of malware represented as images.
J. Comput. Virol. Hacking Tech., 2019

A Hierarchical Convolutional Neural Network for Malware Classification.
Proceedings of the International Joint Conference on Neural Networks, 2019

An Android Malware Detection Framework Using Graph Embeddings and Convolutional Neural Networks.
Proceedings of the Artificial Intelligence Research and Development, 2019

2018
An argumentative approach for discovering relevant opinions in Twitter with probabilistic valued relationships.
Pattern Recognit. Lett., 2018

An End-to-End Deep Learning Architecture for Classification of Malware's Binary Content.
Proceedings of the Artificial Neural Networks and Machine Learning - ICANN 2018, 2018

Classification of Malware by Using Structural Entropy on Convolutional Neural Networks.
Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2017
Blacklist muti-objective genetic algorithm for energy saving in heterogeneous environments.
J. Supercomput., 2017

Weighted argumentation for analysis of discussions in Twitter.
Int. J. Approx. Reason., 2017

A Distributed Approach for the Analysis of Discussions in Twitter.
Proceedings of the 3rd International Workshop on Social Influence Analysis co-located with 26th International Joint Conference on Artificial Intelligence (IJCAI 2017), 2017

Energy efficient scheduling on heterogeneous federated clusters using a fuzzy multi-objective meta-heuristic.
Proceedings of the 2017 IEEE International Conference on Fuzzy Systems, 2017

Convolutional Neural Networks for Classification of Malware Assembly Code.
Proceedings of the Recent Advances in Artificial Intelligence Research and Development, 2017

2016
On the performance of MaxSAT and MinSAT solvers on 2SAT-MaxOnes.
Ann. Math. Artif. Intell., 2016

Maximal falsifiability.
AI Commun., 2016

Particle Swarm Optimization Scheduling for Energy Saving in Cluster Computing Heterogeneous Environments.
Proceedings of the 4th IEEE International Conference on Future Internet of Things and Cloud Workshops, 2016

Support Analysis of Weighted Discussions in Twitter.
Proceedings of the Artificial Intelligence Research and Development, 2016

2015
Multi-criteria genetic algorithm applied to scheduling in multi-cluster environments Open.
J. Simulation, 2015

2014
Slowdown-Guided Genetic Algorithm for Job Scheduling in Federated Environments.
Proceedings of the Nature of Computation and Communication - International Conference, 2014

2013
Iterative and core-guided MaxSAT solving: A survey and assessment.
Constraints An Int. J., 2013

Maximal Falsifiability - Definitions, Algorithms, and Applications.
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013

2012
Iterative SAT Solving for Minimum Satisfiability.
Proceedings of the IEEE 24th International Conference on Tools with Artificial Intelligence, 2012

2011
Analyzing the Instances of the MaxSAT Evaluation.
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2011, 2011

Experimenting with the Instances of the MaxSAT Evaluation.
Proceedings of the Artificial Intelligence Research and Development, 2011

2010
Resolution-based lower bounds in MaxSAT.
Constraints An Int. J., 2010

2009
Algorithms for Weighted Boolean Optimization.
Proceedings of the Theory and Applications of Satisfiability Testing, 2009

Exploiting Cycle Structures in Max-SAT.
Proceedings of the Theory and Applications of Satisfiability Testing, 2009

Generating Hard Instances for MaxSAT.
Proceedings of the ISMVL 2009, 2009

A Formal Model of Competence-Based Assessment.
Proceedings of the Artificial Intelligence Research and Development, 2009

2008
The First and Second Max-SAT Evaluations.
J. Satisf. Boolean Model. Comput., 2008

An efficient solver for weighted Max-SAT.
J. Glob. Optim., 2008

A MAX-SAT Algorithm Portfolio.
Proceedings of the ECAI 2008, 2008

Algorithms for Maximum Satisfiability using Unsatisfiable Cores.
Proceedings of the Design, Automation and Test in Europe, 2008

Transforming Inconsistent Subformulas in MaxSAT Lower Bound Computation.
Proceedings of the Principles and Practice of Constraint Programming, 2008

2007
New Inference Rules for Max-SAT.
J. Artif. Intell. Res., 2007

On Using Unsatisfiability for Solving Maximum Satisfiability
CoRR, 2007

2006
Towards Solving Many-Valued MaxSAT.
Proceedings of the 36th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2006), 2006

Detecting Disjoint Inconsistent Subformulas for Computing Lower Bounds for Max-SAT.
Proceedings of the Proceedings, 2006

2005
Improved Exact Solvers for Weighted Max-SAT.
Proceedings of the Theory and Applications of Satisfiability Testing, 2005

Exploiting Unit Propagation to Compute Lower Bounds in Branch and Bound Max-SAT Solvers.
Proceedings of the Principles and Practice of Constraint Programming, 2005

2004
A Max-SAT Solver with Lazy Data Structures.
Proceedings of the Advances in Artificial Intelligence, 2004

2003
Improved Branch and Bound Algorithms for Max-2-SAT and Weighted Max-2-SAT.
Proceedings of the Principles and Practice of Constraint Programming, 2003

2000
A Performance Comparison of Java Cards for Micropayment Implementation.
Proceedings of the Smart Card Research and Advanced Applications, 2000


  Loading...