Jordi Planes

发表

Improved Exact Solvers for Weighted Max-SAT

Teresa Alsinet, Felip Manyà, Jordi Planes, 2005, SAT.

Exploiting Unit Propagation in Max-SAT?

Chu Min Li, F. Manyà, Jordi Planes, 2022 .

SAT 2009 competitive events booklet: preliminary version

Vasco M. Manquinho, Olivier Roussel, Jordi Planes, 2009 .

Design and implementation of exact max-sat solvers

Jordi Planes, 2007 .

Analysis of Discussions in Twitter with an Argumentation Tool

R. Béjar, T. Alsinet, Jordi Planes, 2016 .

Reformulated meat products protect against ischemia-induced cardiac damage.

Jordi Planes, D. Pascual-Figal, J. Sánchez-Más, 2016, Food & function.

Feature Necessity & Relevancy in ML Classifier Explanations

Martin C. Cooper, Joao Marques-Silva, Jordi Planes, 2022, ArXiv.

Argumentation Reasoning with Graph Isomorphism Networks for Reddit Conversation Analysis

R. Béjar, T. Alsinet, Jordi Planes, 2022, International Journal of Computational Intelligence Systems.

Using convolutional neural networks for classification of malware represented as images

Daniel Gibert Llauradó, Jordi Planes, Carles Mateu, 2018, Journal of Computer Virology and Hacking Techniques.

Convolutional Neural Networks for Classification of Malware Assembly Code

Daniel Gibert, Javier Béjar, Carles Mateu, 2017, CCIA.

Fusing Feature Engineering and Deep Learning: A Case Study for Malware Classification

Jordi Planes, Carles Mateu, Daniel Gibert, 2022, Expert Syst. Appl..

An Android Malware Detection Framework Using Graph Embeddings and Convolutional Neural Networks

Daniel Gibert, Carles Mateu, Ruben Martins, 2019, CCIA.

An argumentative approach for discovering relevant opinions in Twitter with probabilistic valued relationships

Teresa Alsinet, Josep Argelich, Ramón Béjar, 2017, Pattern Recognit. Lett..

Weighted argumentation for analysis of discussions in Twitter

Teresa Alsinet, Josep Argelich, Ramón Béjar, 2017, Int. J. Approx. Reason..

Classification of Malware by Using Structural Entropy on Convolutional Neural Networks

Daniel Gibert, Carles Mateu, Jordi Planes, 2018, AAAI.

HYDRA: A multimodal deep learning framework for malware classification

Daniel Gibert, Carles Mateu, Jordi Planes, 2020, Comput. Secur..

The rise of machine learning for detection and classification of malware: Research developments, trends and challenges

Daniel Gibert, Carles Mateu, Jordi Planes, 2020, J. Netw. Comput. Appl..

Iterative and core-guided MaxSAT solving: A survey and assessment

Joao Marques-Silva, Federico Heras, Mark H. Liffiton, 2013, Constraints.

Enhancing the Insertion of NOP Instructions to Obfuscate Malware via Deep Reinforcement Learning

Matt Fredrikson, Daniel Gibert, Carles Mateu, 2021, Comput. Secur..

Ontologies About Human Behavior

Eduardo Blanco, Jordi Planes, Rosa Gil, 2017 .

Detecting Disjoint Inconsistent Subformulas for Computing Lower Bounds for Max-SAT

Felip Manyà, Chu Min Li, Jordi Planes, 2006, AAAI.

Argumentation Reasoning with Graph Neural Networks for Reddit Conversation Analysis

Teresa Alsinet, Josep Argelich, Ramón Béjar, 2021, CCIA.

A Hierarchical Convolutional Neural Network for Malware Classification

Daniel Gibert, Carles Mateu, Jordi Planes, 2019, 2019 International Joint Conference on Neural Networks (IJCNN).

An End-to-End Deep Learning Architecture for Classification of Malware's Binary Content

Daniel Gibert, Carles Mateu, Jordi Planes, 2018, ICANN.

The First and Second Max-SAT Evaluations

Josep Argelich, Felip Manyà, Chu Min Li, 2008, J. Satisf. Boolean Model. Comput..

Using convolutional neural networks for classification of malware represented as images

Daniel Gibert, Carles Mateu, Jordi Planes, 2018, Journal of Computer Virology and Hacking Techniques.

Energy efficient scheduling on heterogeneous federated clusters using a fuzzy multi-objective meta-heuristic

Fernando Guirado, Jordi Planes, Josep L. Lérida, 2017, 2017 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE).

Particle Swarm Optimization Scheduling for Energy Saving in Cluster Computing Heterogeneous Environments

Fernando Guirado, Jordi Planes, Josep L. Lérida, 2016, 2016 IEEE 4th International Conference on Future Internet of Things and Cloud Workshops (FiCloudW).

Blacklist muti-objective genetic algorithm for energy saving in heterogeneous environments

Fernando Guirado, Jordi Planes, Josep L. Lérida, 2016, The Journal of Supercomputing.

Feature Necessity & Relevancy in ML Classifier Explanations

Martin C. Cooper, Joao Marques-Silva, Jordi Planes, 2022, TACAS.

On Logic-Based Explainability with Partially Specified Inputs

Joao Marques-Silva, Jordi Planes, António Morgado, 2023, ArXiv.

A Wolf in Sheep’s Clothing: Query-Free Evasion Attacks Against Machine Learning-Based Malware Detectors with Generative Adversarial Networks

Jordi Planes, Giulio Zizzo, Daniel Gibert, 2023, 2023 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW).

Query-Free Evasion Attacks Against Machine Learning-Based Malware Detectors with Generative Adversarial Networks

Jordi Planes, Giulio Zizzo, Daniel Gibert, 2023, ArXiv.

Orthrus: A Bimodal Learning Architecture for Malware Classification

Daniel Gibert, Carles Mateu, Jordi Planes, 2020, 2020 International Joint Conference on Neural Networks (IJCNN).

Auditing static machine learning anti-Malware tools against metamorphic attacks

Daniel Gibert, Carles Mateu, Jordi Planes, 2021, Comput. Secur..

On the performance of MaxSAT and MinSAT solvers on 2SAT-MaxOnes

Josep Argelich, Ramón Béjar, Cèsar Fernández, 2016, Annals of Mathematics and Artificial Intelligence.

Algorithms for Weighted Boolean Optimization

Vasco M. Manquinho, Joao Marques-Silva, Jordi Planes, 2009, SAT.

Algorithms for Maximum Satisfiability using Unsatisfiable Cores

Joao Marques-Silva, Jordi Planes, Joao Marques-Silva, 2008, 2008 Design, Automation and Test in Europe.

On Using Unsatisfiability for Solving Maximum Satisfiability pdf

Joao Marques-Silva, Jordi Planes, Joao Marques-Silva, 2007, ArXiv.

New Inference Rules for Max-SAT pdf

Felip Manyà, Chu Min Li, Jordi Planes, 2007, J. Artif. Intell. Res..

A Max-SAT Solver with Lazy Data Structures

Teresa Alsinet, Felip Manyà, Jordi Planes, 2004, IBERAMIA.

Multi-criteria genetic algorithm applied to scheduling in multi-cluster environments

Fernando Guirado, Jordi Planes, Josep L. Lérida, 2015, J. Simulation.

Slowdown-Guided Genetic Algorithm for Job Scheduling in Federated Environments

Fernando Guirado, Jordi Planes, Josep L. Lérida, 2014, ICTCC.

Improved branch and bound algorithms for Max-SAT

Teresa Alsinet, Jordi Planes, F. Manyk, 2003 .

An efficient solver for weighted Max-SAT

Teresa Alsinet, Felip Manyà, Jordi Planes, 2008, J. Glob. Optim..

Anomaly Detection for Diagnosing Failures in a Centrifugal Compressor Train

Daniel Gibert, Jordi Planes, Simone Arena, 2021, CCIA.