Español
English
Català
Wifi

Master's degree in Informatics Engineering

Universitat de Lleida

Polytechnic School
Home Syllabus Teaching staff Detall

PLANES CID, JORDI

Category: SENIOR LECTURER
Academic profile: Doctorate
Department: COMPUTER ENGINEERING AND DIGITAL DESIGN
Email: jordi.planes@udl.cat

Teaching

Teaching Course Subject
Master's Degree in Informatics Engineering ADVANCED PROGRAMMING IN ARTIFICIAL INTELLIGENCE
Master's Degree in Informatics Engineering 1 MASSIVE DATA PROCESSING
PARS Enginyeria Informàtica 2 ALGORITHMS AND COMPLEXITY
Master's Degree in Informatics Engineering 2 ENTERPRISE PROJECTS 2
Doble titulació: Grau Eng.Informàtica i Grau en Administr.Direcció Empreses 2 ALGORITHMS AND COMPLEXITY
Degree in Computer Engineering 2 ALGORITHMS AND COMPLEXITY
Degree in Computer Engineering 3 ADVANCED PROGRAMMING IN ARTIFICIAL INTELLIGENCE
Degree in Computer Engineering 4 BACHELOR'S THESIS
Doble titulació: Grau Eng.Informàtica i Grau en Administr.Direcció Empreses 5 BACHELOR'S THESIS

Research

Research profile: Grup de Recerca en Energia i Intel·ligència Artificial - GREiA
Research projects Start date End date Main researchers
Sistemas eficientes de razonamiento automático con información incompleta e imprecisa basados en SAT y CSP: Diseño e implementación 01/01/2010 31/12/2013 RAMON BÉJAR TORRES
Pensamiento computacional e ingeniería del rendimiento para aplicaciones de ciencias de la vida y medioambientales - UdL 01/01/2015 31/12/2018 FRANCISCO JOSÉ GINÉ DE SOLA
Razonamiento, satisfacción y optimización: argumentación y problemas 01/01/2016 31/12/2020 RAMON BÉJAR TORRES
Noves Tecnologies i Societat del Coneixement 01/02/2015 31/12/2015 CARLOS MATEU PIÑOL
Sistemas de inferencia para información inconsistente: Análisis Argumentativo. 01/06/2020 31/12/2023 RAMON BÉJAR TORRES, JORDI PLANES CID
Procesamiento de Inconsistencias basado en Lógica para Sistemas Inteligentes Explicables: Aplicaciones 01/09/2023 31/08/2026 JOSEP ARGELICH ROMA, JORDI PLANES CID
Desenvolupament d'un pla pilot per a l'apropament de les assignatures de xarxes de comunicacions al teixit empresarial de la ciutat de Lleida 01/10/2008 30/09/2010 JORDI PLANES CID
Green & Circular b.Ponent 01/10/2020 30/09/2025 LUISA FERNANDA CABEZA FABRA
Resolución de problemas combinatorios con restricciones suaves y fuzzy utilizando algoritmos de satisfactibilidad 01/12/2003 30/11/2006 MARIA TERESA ALSINET BERNADO
Diseño biomimético impulsado por inteligencia artificial de un depósito de almacenamiento de energía térmica para un intercambio de calor óptimo 01/12/2022 30/11/2024 JOSEP ARGELICH ROMA, LUISA FERNANDA CABEZA FABRA
AGENTS 2011: Model d'aprenentatge dins d'un entorn col·laboratiu 19/10/2010 18/10/2012 JOSEP ARGELICH ROMA
Integració en la plataforma Sakai un sistema automàtic de certificació de solucions 22/10/2010 21/10/2011 CARLOS MATEU PIÑOL
Robocode: Model d'aprenentatge dins un entorn col·laboratiu competitiu. 27/02/2012 26/02/2013 JORDI PLANES CID
Eina de verificació de solucions a problemes de programació com a recurs d'autoaprenentatge (versió 2.0) 28/02/2012 27/02/2013 CARLOS J. ANSOTEGUI GIL
Open-Project Based Learning: Plataforma distribuïda per a la instrumentalització de les metodologies ABP i la transversalitat en matèries de Grau i Màster en Enginyeria Informàtica. 28/02/2012 27/02/2013 JOSEP LLUIS LERIDA MONSO
Lógicas multivaluadas y clásica: fundamentos y aplicaciones computacionales 28/12/2001 27/12/2004 FELIPE MAÑA SERRES
Sistema automàtic de verificació de solucions de programes informàtics com a suport a l'aprenentatge i autoavaluació. 30/12/2009 29/12/2010 CARLOS J. ANSOTEGUI GIL
AGENTS: Model d'aprenentatge dins un entorn col·laboratiu. 30/12/2009 29/12/2010 JOSEP ARGELICH ROMA
Thesis Year Direction
Going deep into the cat and the mouse game: Deep learning for malware classification 2020 Jordi Planes; Carles Mateu
Design and Implementation of Exact Max-SAT Solvers 2007 Felip Manyà i Chu Min Li
Publications Year Authors Type
Adversarial Robustness of Deep Learning-based Malware Detectors via (De)Randomized Smoothing 2024 Gibert, Daniel; Zizzo, Giulio; Le, Quan; Planes, Jordi Article d'investigació
Feature Necessity & Relevancy in ML Classifier Explanations 2023 Huang, Xuanxiang; Cooper, Martin C.; Morgado, Antonio; Planes, Jordi; Marques Silva, Joao Acta congrés
Argumentation Reasoning with Graph Isomorphism Networks for Reddit Conversation Analysis 2022 Alsinet, Teresa; Argelich, Josep; Béjar, Ramón; Gibert, Daniel; Planes, Jordi Article d'investigació
Fusing feature engineering and deep learning: A case study for malware classification 2022 Gibert, Daniel; Planes, Jordi; Mateu, Carles; Le, Quan Article d'investigació
Enhancing the Insertion of NOP Instructions to Obfuscate Malware via Deep Reinforcement Learning 2022 Gibert Llauradó, Daniel; Fredrikson, Matt; Mateu Piñol, Carles; Planes Cid, Jordi Article d'investigació
Anomaly Detection for Diagnosing Failures in a Centrifugal Compressor Train 2021 Ian Palacín; Daniel Gibert; Jordi Planes; Simone Arena; Pier Francesco Orrù; Maurizio Melis; Marco Annis Capítol de llibre d'investigació
Argumentation Reasoning with Graph Neural Networks for Reddit Conversation Analysis 2021 Alsinet, Teresa; Argelich, Josep; Béjar, ; Gibert, Daniel; Planes, Jordi; Torrent, Nil Capítol de llibre d'investigació
Auditing static machine learning anti-Malware tools against metamorphic attacks 2021 Gibert, Daniel; Mateu, Carles; Planes, Jordi; Marques Silva, Joao Article d'investigació
The rise of machine learning for detection and classification of malware: Research developments, trends and challenges 2020 Gibert, Daniel; Mateu, Carles; Planes, Jordi Article d'investigació
HYDRA: A multimodal deep learning framework for malware classification 2020 Gibert, Daniel; Mateu, Carles; Planes, Jordi Article d'investigació
Using convolutional neural networks for classification of malware represented as images 2019 Gibert, Daniel; Mateu, Carles; Planes, Jordi; Vicens, Ramon Article d'investigació
An argumentative approach for discovering relevant opinions in Twitter with probabilistic valued relationships 2018 Alsinet, Teresa; Argelich, Josep; Béjar, Ramón; Fernández, Cèsar; Mateu, Carles; Planes, Jordi Article d'investigació
Blacklist muti-objective genetic algorithm for energy saving in heterogeneous environments 2017 Gabaldon, Eloi; Lerida, Josep Lluis; Guirado, Fernando; Planes, Jordi Article d'investigació
Weighted argumentation for analysis of discussions in twitter 2017 Alsinet, Teresa; Argelich, Josep; Béjar, Ramón; Fernández, Cèsar; Mateu, Carles; Planes, Jordi Article d'investigació
Ontologies about human behavior: A review of knowledge modeling systems 2017 Blanch, A.; García, R.; Planes, J.; Gil, R.; Balada, F.; Blanco, E.; Aluja, A. Article d'investigació
Convolutional Neural Networks for Classification of Malware Assembly Code 2017 Daniel Gibert; Javier Bejar; Carles Mateu; Jordi Planes; Daniel Solis; Ramon Vicens Acta congrés
A Distributed Approach for the Analysis of Discussions in Twitter 2017 Teresa Alsinet; Josep Argelich; Ramón Béjar; Jordi Planes; Joel Cemeli; Cristian Sanahuja Acta congrés
Energy Efficient Scheduling on Heterogeneous Federated Clusters using a Fuzzy Multi-Objective Meta-heuristic 2017 Eloi Gabaldon; Sergi Vila; Fernando Guirado; Josep-Lluis Lerida; Jordi Planes Acta congrés
On the Performance of MaxSAT and MinSAT Solvers on 2SAT-MaxOnes 2016 Argelich, J.; Béjar, R.; Fernández, C.; Mateu, C.; Planes, J. Article d'investigació
Algorítmica i Complexitat 2016 Jordi Planes; Aitor Corchero; Dídac Sementé Pàgina web docent
Maximal falsifiability 2016 Ignatiev, Alexey; Morgado, Antonio; Planes, Jordi; Marques Silva, Joao Article d'investigació
Black-list muti-objective genetic algorithm for energysaving in heterogeneous environments 2016 Gabaldon, E.; Lerida, JL.; Guirado, F.; Planes, J. Acta congrés
Support Analysis of Weighted Discussions in Twitter 2016 Alsinet, T.; Argelich, J.; Béjar, R.; Fernández, C.; Mateu, C.; Planes, J. Capítol de llibre d'investigació
Analysis of Discussions in Twitter with an Argumentation Tool 2016 Teresa Alsinet; Josep Argelich; Ramon Béjar; Jordi Planes; Marc Sánchez Acta congrés
Multi-Criteria Genetic Algorithm Applied to Scheduling in Multi-Cluster Environments 2015 Gabaldon, Eloi; Lerida, Josep L.; Guirado, Fernando; Planes, Jordi Article d'investigació
Slowdown-guided Genetic Algorithm for Job Scheduling in Federated Environments 2014 Eloi Gabaldon, Josep L. Lerida, Fernando Guirado, Jordi Planes Acta congrés
Algorithms and complexity 2013 Teresa Alsinet, Aitor Corchero, Jordi Planes Llibre docent
Iterative and core-guided MaxSAT solving: A survey and assessment 2013 Morgado, A.; Heras, F.; Liffiton, M.; Planes, J.; Marques Silva, J. Article d'investigació
Maximal Falsifiability: Definitions, Algorithms, and Applications. 2013 Alexey Ignatiev; Antonio Morgado; Jordi Planes; Joao Marques-Silva Acta congrés
Iterative SAT Solving for Minimum Satisfiability 2012 Heras F, Morgado A, Planes J, Marques-Silva J. Acta congrés
Experimenting with the Instances of the MaxSAT Evaluation 2011 Argelich, Josep; Li, Chu Min; Manyà, Felip; Planes, Jordi Capítol de llibre d'investigació
Robocode 2011 2011 Jordi Planes Pàgina web docent
Max-SAT Evaluation 2012 2011 Jordi Planes Pàgina web
Experimenting with the Instances of the MaxSAT Evaluation 2011 Josep Argelich; Chu Min Li; Felip Manya; Jordi Planes Acta congrés
Chapter 10. Algorithms for Maximum Satisfiability using Unsatisfiable Cores 2011 Joao Marques-Silva; Jordi Planes Capítol de llibre d'investigació
Max-SAT Evaluation 2011 2011 Jordi Planes Pàgina web
Analyzing the Instances of the MaxSAT Evaluation 2011 Argelich, J.; Li, C.M.; Manyà,F.; Planes, J. Capítol de llibre d'investigació
Max-SAT Evaluation 2010 2010 Jordi Planes Pàgina web
Resolution-Based Lower Bounds in MaxSAT 2010 Chu Min Li; Felip Manya; Nouredine Ould Mohamedou; Jordi Planes Article d'investigació
Robocode 2010 2010 Jordi Planes Pàgina web docent
Sistema automático de verificación de soluciones de programas informáticos como soporte al apredizaje y autoevaluación 2010 J. Planes CD-ROM docent
Desenvolupament d'un pla pilot per a l'aprofitament de les assignatures de xarxes de comunicació al teixit empresarial de la ciutat de Lleida 2010 J. Planes CD-ROM docent
Agents: model d'aprenentatge dins un entorn col·laboratiu 2010 Argelich J, Planes J, Lerida JL. CD-ROM docent
Models de desenvolupament de projectes FOSS 2010 Planes J Apunts docents
Processadors del llenguatge - Laboratori 2009 Planes J Apunts docents
Sistemes Intel·ligents - Robocode 2009 Planes J Apunts docents
Generating Hard Instances for MaxSAT 2009 Ramon Bejar, Alba Cabiscol, Felip Manya, Jordi Planes Acta congrés
Algorithms for Weighted Boolean Optimization 2009 Manquinho V. M, Marques Silva J, Planes J Acta congrés
Exploiting Cycle Structures in Max-SAT 2009 Li CM, Manyà F, Mohemedou N., Planes J. Acta congrés
A formal model of competence-based assessment 2009 Alsinet T, Barroso D, Bejar R, Planes J. Acta congrés
A Robust Competence Evaluation formal Model 2009 Alsinet, T; Barroso, D; Béjar, R; Planes, J Acta congrés
Algorithms for Weighted Boolean Optimization 2009 Vasco Manquinho; Joao Marques-Silva; Jordi Planes Publicació electrònica
The First and Second Max-SAT Evaluations 2008 Argelich J, Li CM, Planes J, Manyà F. Article d'investigació
An efficient solver for Weighted Max-SAT 2008 Alsinet T, Manyà F, Planes J. Article d'investigació
Transforming Inconsistent Subformulas in MaxSAT Lower Bound Computation 2008 Li C.M., Manyà F, Mohemedou N.O., Planes J Acta congrés
Max-SAT 2008 Li C.M., Manya F., Planes J. Capítol de llibre d'investigació
Design and Implementation of Exact MAX-SAT Solvers 2008 Planes J. Llibre d'investigació
A MAX-SAT Algorithm Portfolio 2008 Matos P, Planes J, Letombe F, Marques-Silva J. Acta congrés
Algorithms for Maximum Satisfiability using Unsatisfiable Cores 2008 Marques-Silva J., Planes J. Acta congrés
Sistemes intel·ligents 2007 Planes J Apunts docents
Xarxes II 2007 Planes J Apunts docents
New inference Rules for Max-SAT 2007 Li C.M, Manyà F, Planes J. Article d'investigació
Improved Exact Solvers for Weighted Max-SAT 2005 Alsinet T, Manyà F, Planes J. Article d'investigació
Exploiting Unit Propagation to Compute Lower Bounds in Branch and Bound Max-SAT solvers 2005 Li CM, Manyà F, Planes J. Article d'investigació
A Max-SAT Solver with Lazy Data Structures 2004 Alsinet T, Manyà F, Planes J Acta congrés
A Max-SAT Solver with Lazy Data Structures 2004 Alsinet T, Manyà F, Planes J. Article d'investigació
Improved Branch and Bound Algorithms for Max-2-SAT and Weighted Max-2-SAT 2003 Jordi Planes Acta congrés
Improved Branch and Bound Algorithms for Max-2-SAT and Weighted Max-2-SAT 2003 T. Alsinet, F. Manyà, J. Planes Acta congrés
Análisis comparativo de tarjetas Java para aplicaciones de comercio electrónico 2000 Castella-Roca J, Domingo-Ferrer J, Herrera-Joancomarti J, Planes J Acta congrés
A performace comparison of Java Cards for micropayment implementation 2000 Castella-Roca J, Domingo-Ferrer J, Herrera-Joancomarti J, Planes J Acta congrés