Carles Mateu

发表

Convolutional Neural Networks for Classification of Malware Assembly Code

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

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.

Generating Hard SAT/CSP Instances Using Expander Graphs

Carlos Ansótegui, Ramón Béjar, Cèsar Fernández, 2008, AAAI.

Bounding the Phase Transition on Edge Matching Puzzles

Ramón Béjar, Cèsar Fernández, Carles Mateu, 2009, 2009 39th International Symposium on Multiple-Valued Logic.

Weighted argumentation for analysis of discussions in Twitter

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

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..

On 2SAT-MaxOnes with Unbalanced Polarity: from Easy Problems to Hard MaxClique Problems

Josep Argelich, Ramón Béjar, Cèsar Fernández, 2011, CCIA.

Solving the Routing and Wavelength Assignment problem with conflict-driven ASP solvers

Teresa Alsinet, Ramón Béjar, Cèsar Fernández, 2013, AI Commun..

HYDRA: A multimodal deep learning framework for malware classification

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

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

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

A Hierarchical Convolutional Neural Network for Malware Classification

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

Modeling energy consumption in automated vacuum waste collection systems

Cèsar Fernández, Felip Manyà, Carles Mateu, 2014, Environ. Model. Softw..

The Automated Vacuum Waste Collection Optimization Problem

David Vidal, Ramón Béjar, Felip Manyà, 2012, AAAI.

The Impact of Balancing on Problem Hardness in a Highly Structured Domain

Carlos Ansótegui, Ramón Béjar, Cèsar Fernández, 2006, AAAI.

A predictor model for the composting process on an industrial scale based on Markov processes

Carles Mateu, Francina Sole-Mauri, Cèsar Fernández, 2016, Environ. Model. Softw..

Control of a PCM ventilated facade using reinforcement learning techniques

Luisa F. Cabeza, Cèsar Fernández, Albert Castell, 2015 .

Hard SAT and CSP instances with Expander Graphs

Carlos Ansótegui, Ramón Béjar, Cèsar Fernández, 2008, ISAIM.

Solving Pseudo-Boolean Modularity Constraints

Carlos Ansótegui, Ramón Béjar, Cèsar Fernández, 2010, ECAI.

Solving Routing and Wavelength Assignment Problem with Conflict-Driven ASP Solvers

Ramón Béjar, Cèsar Fernández, Carles Mateu, 2013, CCIA.

Towards an Efficient Use of Resources in All-Optical Networks

Ramón Béjar, Cèsar Fernández, Carles Mateu, 2011, 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..

Support Analysis of Weighted Discussions in Twitter

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

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

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

Classification of Malware by Using Structural Entropy on Convolutional Neural Networks

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

Statistical Modelling of CSP Solving Algorithms Performance

Ramón Béjar, Cèsar Fernández, Carles Mateu, 2005, CP.

How Hard is a Commercial Puzzle: the Eternity II Challenge

Carlos Ansótegui, Ramón Béjar, Cèsar Fernández, 2008, CCIA.

Optimizing Energy Consumption in Automated Vacuum Waste Collection Systems

Ramón Béjar, Felip Manyà, Carles Mateu, 2012, 2012 IEEE 24th International Conference on Tools with Artificial Intelligence.

Orthrus: A Bimodal Learning Architecture for Malware Classification

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

On the hardness of solving edge matching puzzles as SAT or CSP problems

Carlos Ansótegui, Ramón Béjar, Cèsar Fernández, 2012, Constraints.

From High Girth Graphs to Hard Instances

Carlos Ansótegui, Ramón Béjar, Cèsar Fernández, 2008, CP.

Modelling a grading scheme for peer-to-peer accommodation: Stars for Airbnb

Carles Mateu, Estela Marine-Roig, Eva Martin-Fuentes, 2018 .

Edge Matching Puzzles as Hard SAT/CSP Benchmarks

Carlos Ansótegui, Ramón Béjar, Cèsar Fernández, 2008, CP.

Generating highly balanced sudoku problems as hard problems

Carlos Ansótegui, Ramón Béjar, Cèsar Fernández, 2011, J. Heuristics.

On Balanced CSPs with High Treewidth

Carlos Ansótegui, Ramón Béjar, Cèsar Fernández, 2007, AAAI.

The Sudoku completion problem with rectangular hole pattern is NP-complete

Ramón Béjar, Cèsar Fernández, Carles Mateu, 2012, Discret. Math..

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.

Approximate dynamic programming for automated vacuum waste collection systems

Felip Manyà, Carles Mateu, Francina Sole-Mauri, 2015, Environ. Model. Softw..

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

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

Auditing static machine learning anti-Malware tools against metamorphic attacks

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