default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJordi Planes
Person information
- affiliation: University of Lleida, Spain
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j19]Daniel Gibert
, Giulio Zizzo, Quan Le, Jordi Planes:
Adversarial Robustness of Deep Learning-Based Malware Detectors via (De)Randomized Smoothing. IEEE Access 12: 61152-61162 (2024)- [c34]Teresa Alsinet, Josep Argelich, Ramón Béjar, António Morgado, Jordi Planes:
Checking Robustness of Neural Network Models for the Classification of Malware. CCIA 2024: 101-108 - [i11]Daniel Gibert, Giulio Zizzo, Quan Le, Jordi Planes:
A Robust Defense against Adversarial Attacks on Deep Learning-based Malware Detectors via (De)Randomized Smoothing. CoRR abs/2402.15267 (2024) - [i10]Daniel Gibert, Luca Demetrio, Giulio Zizzo, Quan Le, Jordi Planes, Battista Biggio:
Certified Adversarial Robustness of Machine Learning-based Malware Detectors via (De)Randomized Smoothing. CoRR abs/2405.00392 (2024) - [i9]Yacine Izza, Xuanxiang Huang, António Morgado, Jordi Planes, Alexey Ignatiev, João Marques-Silva:
Distance-Restricted Explanations: Theoretical Underpinnings & Efficient Implementation. CoRR abs/2405.08297 (2024) - 2023
- [c33]Daniel Gibert, Jordi Planes, Quan Le, Giulio Zizzo:
A Wolf in Sheep's Clothing: Query-Free Evasion Attacks Against Machine Learning-Based Malware Detectors with Generative Adversarial Networks. EuroS&P Workshops 2023: 415-426 - [c32]Xuanxiang Huang, Martin C. Cooper, António Morgado, Jordi Planes, João Marques-Silva:
Feature Necessity & Relevancy in ML Classifier Explanations. TACAS (1) 2023: 167-186 - [i8]Daniel Gibert, Jordi Planes, Quan Le, Giulio Zizzo:
Query-Free Evasion Attacks Against Machine Learning-Based Malware Detectors with Generative Adversarial Networks. CoRR abs/2306.09925 (2023) - [i7]Ramón Béjar, António Morgado, Jordi Planes, João Marques-Silva:
On Logic-Based Explainability with Partially Specified Inputs. CoRR abs/2306.15803 (2023) - 2022
- [j18]Daniel Gibert, Matt Fredrikson, Carles Mateu, Jordi Planes, Quan Le:
Enhancing the insertion of NOP instructions to obfuscate malware via deep reinforcement learning. Comput. Secur. 113: 102543 (2022) - [j17]Daniel Gibert, Jordi Planes, Carles Mateu, Quan Le:
Fusing feature engineering and deep learning: A case study for malware classification. Expert Syst. Appl. 207: 117957 (2022) - [j16]Teresa Alsinet, Josep Argelich, Ramón Béjar, Daniel Gibert, Jordi Planes:
Argumentation Reasoning with Graph Isomorphism Networks for Reddit Conversation Analysis. Int. J. Comput. Intell. Syst. 15(1): 86 (2022) - [i6]Daniel Gibert, Carles Mateu, Jordi Planes, Quan Le:
Fusing Feature Engineering and Deep Learning: A Case Study for Malware Classification. CoRR abs/2206.05735 (2022) - [i5]Xuanxiang Huang, Martin C. Cooper, António Morgado, Jordi Planes, João Marques-Silva:
Feature Necessity & Relevancy in ML Classifier Explanations. CoRR abs/2210.15675 (2022) - 2021
- [j15]Daniel Gibert, Carles Mateu, Jordi Planes, João Marques-Silva:
Auditing static machine learning anti-Malware tools against metamorphic attacks. Comput. Secur. 102: 102159 (2021) - [c31]Teresa Alsinet, Josep Argelich, Ramón Béjar, Daniel Gibert, Jordi Planes, Nil Torrent:
Argumentation Reasoning with Graph Neural Networks for Reddit Conversation Analysis. CCIA 2021: 123-131 - [c30]Ian Palacín, Daniel Gibert, Jordi Planes, Simone Arena, Pier Francesco Orrù, Maurizio Melis, Marco Annis:
Anomaly Detection for Diagnosing Failures in a Centrifugal Compressor Train. CCIA 2021: 217-220 - [i4]Daniel Gibert, Matt Fredrikson, Carles Mateu, Jordi Planes, Quan Le:
Enhancing the Insertion of NOP Instructions to Obfuscate Malware via Deep Reinforcement Learning. CoRR abs/2111.09626 (2021) - 2020
- [j14]Daniel Gibert, Carles Mateu, Jordi Planes:
HYDRA: A multimodal deep learning framework for malware classification. Comput. Secur. 95: 101873 (2020) - [j13]Daniel Gibert, Carles Mateu, Jordi Planes:
The rise of machine learning for detection and classification of malware: Research developments, trends and challenges. J. Netw. Comput. Appl. 153: 102526 (2020) - [c29]Daniel Gibert, Carles Mateu, Jordi Planes:
Orthrus: A Bimodal Learning Architecture for Malware Classification. IJCNN 2020: 1-8
2010 – 2019
- 2019
- [j12]Daniel Gibert, Carles Mateu, Jordi Planes, Ramon Vicens:
Using convolutional neural networks for classification of malware represented as images. J. Comput. Virol. Hacking Tech. 15(1): 15-28 (2019) - [c28]Daniel Gibert, Alba Lamas, Ruben Martins, Carles Mateu, Jordi Planes:
An Android Malware Detection Framework Using Graph Embeddings and Convolutional Neural Networks. CCIA 2019: 45-53 - [c27]Daniel Gibert, Carles Mateu, Jordi Planes:
A Hierarchical Convolutional Neural Network for Malware Classification. IJCNN 2019: 1-8 - 2018
- [j11]Teresa Alsinet, Josep Argelich, Ramón Béjar, Cèsar Fernández, Carles Mateu, Jordi Planes:
An argumentative approach for discovering relevant opinions in Twitter with probabilistic valued relationships. Pattern Recognit. Lett. 105: 191-199 (2018) - [c26]Daniel Gibert, Carles Mateu, Jordi Planes, Ramon Vicens:
Classification of Malware by Using Structural Entropy on Convolutional Neural Networks. AAAI 2018: 7759-7764 - [c25]Daniel Gibert, Carles Mateu, Jordi Planes:
An End-to-End Deep Learning Architecture for Classification of Malware's Binary Content. ICANN (3) 2018: 383-391 - 2017
- [j10]Teresa Alsinet, Josep Argelich, Ramón Béjar, Cèsar Fernández, Carles Mateu, Jordi Planes:
Weighted argumentation for analysis of discussions in Twitter. Int. J. Approx. Reason. 85: 21-35 (2017) - [j9]Eloi Gabaldon, Josep Lluís Lérida, Fernando Guirado, Jordi Planes:
Blacklist muti-objective genetic algorithm for energy saving in heterogeneous environments. J. Supercomput. 73(1): 354-369 (2017) - [c24]Daniel Gibert, Javier Béjar, Carles Mateu, Jordi Planes, Daniel Solis, Ramon Vicens:
Convolutional Neural Networks for Classification of Malware Assembly Code. CCIA 2017: 221-226 - [c23]Eloi Gabaldon, Sergi Vila, Fernando Guirado, Josep L. Lérida, Jordi Planes:
Energy efficient scheduling on heterogeneous federated clusters using a fuzzy multi-objective meta-heuristic. FUZZ-IEEE 2017: 1-6 - [c22]Teresa Alsinet, Josep Argelich, Ramón Béjar, Jordi Planes, Joel Cemeli, Cristian Sanahuja:
A Distributed Approach for the Analysis of Discussions in Twitter. SocInf@IJCAI 2017: 45-56 - 2016
- [j8]Alexey Ignatiev, António Morgado, Jordi Planes, João Marques-Silva:
Maximal falsifiability. AI Commun. 29(2): 351-370 (2016) - [j7]Josep Argelich, Ramón Béjar, Cèsar Fernández, Carles Mateu, Jordi Planes:
On the performance of MaxSAT and MinSAT solvers on 2SAT-MaxOnes. Ann. Math. Artif. Intell. 77(1-2): 43-66 (2016) - [c21]Teresa Alsinet, Josep Argelich, Ramón Béjar, Cèsar Fernández, Carles Mateu, Jordi Planes:
Support Analysis of Weighted Discussions in Twitter. CCIA 2016: 197-206 - [c20]Eloi Gabaldon, Fernando Guirado, Josep Lluís Lérida, Jordi Planes:
Particle Swarm Optimization Scheduling for Energy Saving in Cluster Computing Heterogeneous Environments. FiCloud Workshops 2016: 321-325 - 2015
- [j6]Eloi Gabaldon, Josep L. Lérida, Fernando Guirado, Jordi Planes:
Multi-criteria genetic algorithm applied to scheduling in multi-cluster environments Open. J. Simulation 9(4): 287-295 (2015) - 2014
- [c19]Eloi Gabaldon, Josep L. Lérida, Fernando Guirado, Jordi Planes:
Slowdown-Guided Genetic Algorithm for Job Scheduling in Federated Environments. ICTCC 2014: 181-190 - 2013
- [j5]António Morgado, Federico Heras, Mark H. Liffiton, Jordi Planes, João Marques-Silva:
Iterative and core-guided MaxSAT solving: A survey and assessment. Constraints An Int. J. 18(4): 478-534 (2013) - [c18]Alexey Ignatiev, António Morgado, Jordi Planes, João Marques-Silva:
Maximal Falsifiability - Definitions, Algorithms, and Applications. LPAR 2013: 439-456 - 2012
- [c17]Federico Heras, António Morgado, Jordi Planes, João Marques-Silva:
Iterative SAT Solving for Minimum Satisfiability. ICTAI 2012: 922-927 - 2011
- [c16]Josep Argelich, Chu Min Li, Felip Manyà, Jordi Planes:
Experimenting with the Instances of the MaxSAT Evaluation. CCIA 2011: 31-40 - [c15]Josep Argelich, Chu Min Li, Felip Manyà, Jordi Planes:
Analyzing the Instances of the MaxSAT Evaluation. SAT 2011: 360-361 - [i3]Chu Min Li, Felip Manyà, Jordi Planes:
New Inference Rules for Max-SAT. CoRR abs/1111.0040 (2011) - 2010
- [j4]Chu Min Li, Felip Manyà, Nouredine Ould Mohamedou, Jordi Planes:
Resolution-based lower bounds in MaxSAT. Constraints An Int. J. 15(4): 456-484 (2010)
2000 – 2009
- 2009
- [c14]Teresa Alsinet, David Barroso, Ramón Béjar, Jordi Planes:
A Formal Model of Competence-Based Assessment. CCIA 2009: 428-436 - [c13]Ramón Béjar, Alba Cabiscol, Felip Manyà, Jordi Planes:
Generating Hard Instances for MaxSAT. ISMVL 2009: 191-195 - [c12]Chu Min Li, Felip Manyà, Nouredine Ould Mohamedou, Jordi Planes:
Exploiting Cycle Structures in Max-SAT. SAT 2009: 467-480 - [c11]Vasco Manquinho, João Marques-Silva, Jordi Planes:
Algorithms for Weighted Boolean Optimization. SAT 2009: 495-508 - [i2]Vasco Manquinho, João Marques-Silva, Jordi Planes:
Algorithms for Weighted Boolean Optimization. CoRR abs/0903.0843 (2009) - 2008
- [j3]Teresa Alsinet, Felip Manyà, Jordi Planes:
An efficient solver for weighted Max-SAT. J. Glob. Optim. 41(1): 61-73 (2008) - [j2]Josep Argelich, Chu Min Li, Felip Manyà, Jordi Planes:
The First and Second Max-SAT Evaluations. J. Satisf. Boolean Model. Comput. 4(2-4): 251-278 (2008) - [c10]Chu Min Li, Felip Manyà, Nouredine Ould Mohamedou, Jordi Planes:
Transforming Inconsistent Subformulas in MaxSAT Lower Bound Computation. CP 2008: 582-587 - [c9]João Marques-Silva, Jordi Planes:
Algorithms for Maximum Satisfiability using Unsatisfiable Cores. DATE 2008: 408-413 - [c8]Paulo J. Matos, Jordi Planes, Florian Letombe, João Marques-Silva:
A MAX-SAT Algorithm Portfolio. ECAI 2008: 911-912 - 2007
- [j1]Chu Min Li, Felip Manyà, Jordi Planes:
New Inference Rules for Max-SAT. J. Artif. Intell. Res. 30: 321-359 (2007) - [i1]João Marques-Silva, Jordi Planes:
On Using Unsatisfiability for Solving Maximum Satisfiability. CoRR abs/0712.1097 (2007) - 2006
- [c7]Chu Min Li, Felip Manyà, Jordi Planes:
Detecting Disjoint Inconsistent Subformulas for Computing Lower Bounds for Max-SAT. AAAI 2006: 86-91 - [c6]Josep Argelich, Xavier Domingo, Chu Min Li, Felip Manyà, Jordi Planes:
Towards Solving Many-Valued MaxSAT. ISMVL 2006: 26 - 2005
- [c5]Chu Min Li, Felip Manyà, Jordi Planes:
Exploiting Unit Propagation to Compute Lower Bounds in Branch and Bound Max-SAT Solvers. CP 2005: 403-414 - [c4]Teresa Alsinet, Felip Manyà, Jordi Planes:
Improved Exact Solvers for Weighted Max-SAT. SAT 2005: 371-377 - 2004
- [c3]Teresa Alsinet, Felip Manyà, Jordi Planes:
A Max-SAT Solver with Lazy Data Structures. IBERAMIA 2004: 334-342 - 2003
- [c2]Jordi Planes:
Improved Branch and Bound Algorithms for Max-2-SAT and Weighted Max-2-SAT. CP 2003: 991 - 2000
- [c1]Jordi Castellà-Roca, Josep Domingo-Ferrer, Jordi Herrera-Joancomartí, Jordi Planes:
A Performance Comparison of Java Cards for Micropayment Implementation. CARDIS 2000: 19-38
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-28 21:15 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
