Español
English
Català
Wifi

Doble titulación: Grado en Ingeniería Informática y Grado en Administración y Dirección de Empresas

Universitat de Lleida

Escola Politècnica Superior
Inicio Plan de estudios Profesorado Detall

PLANES CID, JORDI

Categoría: AGREGADO/A
Perfil académico: Doctorado
Departamento: INGENIERÍA INFORMÁTICA Y DISEÑO DIGITAL
Correo electrónico: jordi.planes@udl.cat

Docencia

Enseñanza Curso Asignatura
MU en Ingeniería Informática 1 SISTEMAS INTENSIVOS DE PROCESO DE DATOS
MU en Ingeniería Informática 2 ENTERPRISE PROJECTS 2
Grado en Ingeniería Informática 2 ALGORÍTMICA Y COMPLEJIDAD
Doble Titulación: Grado en Ingeniería Informática y Grado en ADE 2 ALGORÍTMICA Y COMPLEJIDAD
Grado en Ingeniería Informática 3 PROGRAMACIÓN AVANZADA EN INTELIGENCIA ARTIFICIAL
Grado en Ingeniería Informática 4 TRABAJO DE FIN DE GRADO
Doble Titulación: Grado en Ingeniería Informática y Grado en ADE 5 TRABAJO DE FIN DE GRADO

Investigación

Grupo de investigación: Grup de Recerca en Energia i Intel·ligència Artificial - GREiA
Proyectos de investigación Fecha inicio Fecha fin Investigadores principales
AGENTS: Model d'aprenentatge dins un entorn col·laboratiu. 30/12/2009 29/12/2010 JOSEP ARGELICH ROMA
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
Green & Circular b.Ponent 01/10/2020 30/09/2025 LUISA FERNANDA CABEZA FABRA
Noves Tecnologies i Societat del Coneixement 01/02/2015 31/12/2015 CARLOS MATEU PIÑOL
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
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
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
Sistemas de inferencia para información inconsistente: Análisis Argumentativo. 01/06/2020 31/12/2023 RAMON BÉJAR TORRES, JORDI PLANES CID
Resolución de problemas combinatorios con restricciones suaves y fuzzy utilizando algoritmos de satisfactibilidad 01/12/2003 30/11/2006 MARIA TERESA ALSINET BERNADO
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
Razonamiento, satisfacción y optimización: argumentación y problemas 01/01/2016 31/12/2020 RAMON BÉJAR TORRES
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
Lógicas multivaluadas y clásica: fundamentos y aplicaciones computacionales 28/12/2001 27/12/2004 FELIPE MAÑA SERRES
Procesamiento de Inconsistencias basado en Lógica para Sistemas Inteligentes Explicables: Aplicaciones 01/09/2023 31/08/2026 JOSEP ARGELICH ROMA, JORDI PLANES CID
Robocode: Model d'aprenentatge dins un entorn col·laboratiu competitiu. 27/02/2012 26/02/2013 JORDI PLANES CID
Integració en la plataforma Sakai un sistema automàtic de certificació de solucions 22/10/2010 21/10/2011 CARLOS MATEU PIÑOL
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
AGENTS 2011: Model d'aprenentatge dins d'un entorn col·laboratiu 19/10/2010 18/10/2012 JOSEP ARGELICH ROMA
Tesis Año Dirección
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
Publicaciones Año Autores Tipo
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
Fusing feature engineering and deep learning: A case study for malware classification 2022 Gibert, Daniel; Planes, Jordi; Mateu, Carles; Le, Quan Article d'investigació
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ó
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ó
Auditing static machine learning anti-Malware tools against metamorphic attacks 2021 Gibert, Daniel; Mateu, Carles; Planes, Jordi; Marques Silva, Joao Article 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ó
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ó
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
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
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
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ó
Blacklist muti-objective genetic algorithm for energy saving in heterogeneous environments 2017 Gabaldon, Eloi; Lerida, Josep Lluis; Guirado, Fernando; Planes, Jordi 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
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
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ó
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ó
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ó
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
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ó
Algorithms and complexity 2013 Teresa Alsinet, Aitor Corchero, Jordi Planes Llibre docent
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
Max-SAT Evaluation 2012 2011 Jordi Planes Pàgina web
Chapter 10. Algorithms for Maximum Satisfiability using Unsatisfiable Cores 2011 Joao Marques-Silva; Jordi Planes Capítol de llibre d'investigació
Robocode 2011 2011 Jordi Planes Pàgina web docent
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ó
Experimenting with the Instances of the MaxSAT Evaluation 2011 Argelich, Josep; Li, Chu Min; Manyà, Felip; Planes, Jordi Capítol de llibre d'investigació
Experimenting with the Instances of the MaxSAT Evaluation 2011 Josep Argelich; Chu Min Li; Felip Manya; Jordi Planes Acta congrés
Robocode 2010 2010 Jordi Planes Pàgina web 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
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
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
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ó
Generating Hard Instances for MaxSAT 2009 Ramon Bejar, Alba Cabiscol, Felip Manya, Jordi Planes 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 Manquinho V. M, Marques Silva J, Planes J Acta congrés
A formal model of competence-based assessment 2009 Alsinet T, Barroso D, Bejar R, Planes J. Acta congrés
Processadors del llenguatge - Laboratori 2009 Planes J Apunts docents
Sistemes Intel·ligents - Robocode 2009 Planes J Apunts docents
Algorithms for Weighted Boolean Optimization 2009 Vasco Manquinho; Joao Marques-Silva; Jordi Planes Publicació electrònica
Exploiting Cycle Structures in Max-SAT 2009 Li CM, Manyà F, Mohemedou N., Planes J. Acta congrés
Algorithms for Maximum Satisfiability using Unsatisfiable Cores 2008 Marques-Silva J., Planes J. Acta congrés
The First and Second Max-SAT Evaluations 2008 Argelich J, Li CM, Planes J, Manyà F. Article d'investigació
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ó
Transforming Inconsistent Subformulas in MaxSAT Lower Bound Computation 2008 Li C.M., Manyà F, Mohemedou N.O., Planes J Acta congrés
An efficient solver for Weighted Max-SAT 2008 Alsinet T, Manyà F, Planes J. Article d'investigació
A MAX-SAT Algorithm Portfolio 2008 Matos P, Planes J, Letombe F, Marques-Silva 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 T. Alsinet, F. Manyà, J. Planes Acta congrés
Improved Branch and Bound Algorithms for Max-2-SAT and Weighted Max-2-SAT 2003 Jordi Planes 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
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