-

Main Page

 

 

Journals

  1. A Hybrid Metaheuristic with Learning for a Real Supply Chain Scheduling problem. C Perez, L Climent, G Nicoló, A Arbelaez, MA Salido. Engineering Applications of Artificial Intelligence to appear, 2023.(JCR: 8.000)

  2. IP-cores watermarking scheme at behavioral level using genetic algorithms. J Echavarria, A Morales-Reyes, R Cumplido, MA Salido, C Feregrino-Uribe. Engineering Applications of Artificial Intelligence 104, 104386, 2021.(JCR: 7.802)

  3. Search and rescue optimization algorithm: A new optimization method for solving constrained engineering optimization problems. A Shabani, B Asgarian, MA Salido, SA Gharebaghi. Expert Systems with Applications 161, 113698, 2020.(JCR: 6.954)

  4. An enhanced estimation of distribution algorithm for energy-efficient job shop scheduling problem with transportation constraints. Min Dai, Ziwei Zhang, Adriana Giret, Miguel A. Salido. Sustainability, 11(11), 2019.

  5. A New Optimization Algorithm Based on Search and Rescue Operations. A Shabani, B Asgarian, SA Gharebaghi, MA Salido, A Giret. Mathematical Problems in Engineering. 2019.

  6. Multi-objective optimization for energy-efficient flexible job shop scheduling problem with transportation constraints. Min Dai, Dunbing Tang, Adriana Giret, Miguel A. Salido. Robotics and Computer-Integrated Manufacturing. 59, 143-157, 2019

  7. An optimization approach for the coordinated low-carbon design of product family and remanufactured products. Qi Wang, Dunbing Tang *, Shipei Li, Jun Yang, Miguel A Salido, Adriana Giret, Haihua Zhu. Sustainability, 11(2), 2019.

  8. A Multi-Agent Framework to solve energy-aware unrelated parallel machine scheduling problem with machine-dependent energy consumption and sequence-dependent setup-time. Giancarlo Nicolò, Sergio Ferrer, Miguel A. Salido, Adriana Giret, Federico Barber. The 28th International Conference on Automated Planning and Scheduling (ICAPS-19) 2019

  9. A new model and metaheuristic approach for the energy-based resource-constrained scheduling problem. D. Morillo, F. Barber, M.A. Salido. Journal of Engineering Manufacture, 233 (1) 293-305, 2019

  10. An Optimization Method for Coordinating Supplier Selection and Low-Carbon Design of Product Family.  Q Wang, D Tang, L Yin, I Ullah, MA Salido, A Giret. International Journal of Precision Engineering and Manufacturing 19 (11) 1715-1726, 2018.

  11. A Dual Scheduling Model for Optimizing Robustness and Energy Consumption in Manufacturing Systems. Joan Escamilla and Miguel A. Salido. Journal of Engineering Manufacture, 232(1),5-16, 2018

  12. Rescheduling in Job-Shop Problems for Sustainable Manufacturing Systems. M.A. Salido, J. Escamilla, F. Barber, A. Giret. Journal of Cleaner Production, 162, 121-132, 2017

  13. A holonic multi-agent methodology to design sustainable intelligent manufacturing. A. Giret, D. Trentesaux, M.A. Salido, E. Garcia and E. Adam.  Journal of Cleaner Production. In press, 2017

  14. Assessment of Mathematical Programming and Agent-Based Modelling for Off-line Scheduling: application to Energy Aware Manufacturing. F. Tonelli, A.G. Bruzzone, M. Paolucci, E. Carpanzano, G. Nicolò, A. Giret, M. A. Salido, D. Trentesaux. CIRP Annals Manufacturing Technology, to appear, 2016

  15. Bi-objective optimization for low-carbon product family design. Q Wang, D Tang, L Yin, MA Salido, A Giret, Y Xu. Robotics and Computer-Integrated Manufacturing 41, 53-65, 2016

  16. A metaheuristic technique for energy-efficiency in job-shop scheduling. Escamilla, J., Salido, M.A., Giret, A. and Barber, F. The Knowledge Engineering Review, 31(5), pp. 475–485, 2016.

  17. Energy efficiency, robustness, and makespan optimality in job-shop scheduling problems. Miguel A. Salido, Joan Escamilla, Federico Barber, Adriana Giret, Dunbing Tang, Min Dai. Artificial Intelligence for Engineering Design, Analysis and Manufacturing, 30(3): 300-312, 2016

  18. Energy-efficient dynamic scheduling for a flexible flow shop using an improved particle swarm optimization. Dunbing Tang, Min Dai,  Miguel A. Salido, Adriana Giret. Computers in Industry. 81, 82-95, 2016

  19. Optimisation System for Cutting Continuous Flat Glass JF Garcia Cantos, M Peinado, MA Salido, F Barber. ERCIM NEWS, 38-39, 2016

  20. A genetic algorithm for energy-efficiency in job-shop scheduling. MA Salido, J Escamilla, A Giret, F Barber. The International Journal of Advanced Manufacturing Technology, 85(5), 1303-1314, 2016

  21. A Dual Scheduling Model for Optimizing Robustness and Energy Consumption in Manufacturing Systems. Joan Escamilla and Miguel A. Salido. Journal of Engineering Manufacture, doi: 10.1177/0954405415625915, 2016

  22. Introduction to the special issue on constraint satisfaction for planning and scheduling. Miguel A. Salido, Roman Barták. The Knowledge Engineering Review, 31(5), pp. 415–416, 2016.

  23. A hormone regulation based approach for distributed and on-line scheduling of machines and AGVs. Kun Zheng, Dunbing Tang, Adriana Giret, Miguel A. Salido, Zelei Sang. Journal of Engineering Manufacture. To appear, 2016

  24. Optimisation System for Cutting Continuous Flat Glass. José Francisco García Cantos, Manuel Peinado, Miguel A. Salido and Federico Barber. ERCIM News 107, 38-39, 2016

  25. Robustness, Stability, Recoverability and Reliability in Constraint Satisfaction Problems.  Federico Barber, Miguel A. Salido. Knowledge and Information Systems 44(3): 719-734,  2015

  26. Solving the job shop scheduling problem with operators by depth-first heuristic search enhanced with global pruning rules. Carlos Mencía, María R. Sierra, Miguel A. Salido, Joan Escamilla and Ramiro Varela.  AI Communications. 28(2): 365-381, 2015

  27. Finding robust solutions for constraint satisfaction problems with discrete and ordered domains by coverings L Climent, RJ Wallace, MA Salido, F Barber. Artificial Intelligence Review, 44: 131-156, 2015

  28. Robust scheduling for Berth Allocation and Quay Crane Assignment Problem. Mario Rodriguez-Molins, Miguel A. Salido, Federico Barber. Mathematical Problems in Engineering, vol 2014, Article ID 834927, 2014.

  29. Robustness in Dynamic Constraint Satisfaction Problems.L Climent, MA Salido, RJ Wallace, , F Barber. AI Communications. To appear, 2015

  30. Robustness and Stability in Constraint Programming under Dynamism and Uncertainty. L Climent, RJ Wallace, MA Salido, F Barber. Journal of Artificial Intelligence Research, vol 49, 49-78, 2014

  31. A GRASP-based Metaheuristic for the BerthnAllocation Prolem and the Quay Crane Assigment Problem by Managing Vessel Cargo Holds. Mario Rodriguez-Molins, Miguel A. Salido, Federico Barber. Applied intelligence, 40(2), 273-290, 2014.

  32. A Genetic Algorithm for Robust Berth Allocation and Quay Crane Assignment. Mario Rodriguez-Molins, Laura Ingolotti, Federico Barber,  Miguel A. Salido, María R. Sierra, Jorge Puente. Progress in Artificial Intelligence. 2(4): 177-192, 2014.

  33. Energy-efficient scheduling for a flexible flow shop using an improved genetic-simulated annealing algorithm. Min Dai, Dunbing Tang, Adriana Giret, Miguel A. Salido, WD. Li. Robotics and Computer Integrated Manufacturing, 29(5), 418-429, 2013.

  34. Extending ANEMONA with NDT phases A Giret, MA Salido Procedia CIRP 11, 120-123, 2013.

  35. Robustness for a Single Railway Line: Analytical and Simulation Methods. Miguel A. Salido,  Federico Barber, Laura Ingolotti. Expert Systems with Applications. 39(18), pp:13305-13327, 2012.

  36. A Filtering Technique to Achieve 2-consistency in Constraint Satisfaction Problems. Marlene Arangú, Miguel A. Salido,  Federico Barber. Int. Journal of Innovative Computing Information and Control, 8(6), pp:3891-3906, 2012.

  37. A Decision Support System for Managing Combinatorial Problems in Container Terminals. Miguel A. Salido, Mario Rodriguez-Molins, Federico Barber.  Knowledge-Based Systems,  29, 63-74, 2012.

  38. Intelligent planning for allocating containers in maritime terminals. M. Rodriguez-Molins, M.A. Salido, F. Barber. Expert Systems with Applications, vol 39(1), pp:978-989, 2012.

  39. Robustness in Dynamic Constraint Satisfaction Problems. Laura Climent, Miguel A. Salido,  Federico Barber. Int. Journal of Innovative Computing Information and Control, 8(4), 2513-2532, 2012.

  40. Constraint Satisfaction for Planning and Scheduling Problems. Roman Barták, Miguel A. Salido. Constraints, 16(3), 223-227, 2011.

  41. A Fine-grained Arc-consistency Algorithm for Non-Normalized Constraint Satisfaction Problems. Marlene Arangú, Miguel A. Salido. Applied Mathematics and Computer Science, Vol 21(4), pp:733-744, 2011.

  42. A holonic simulation environment for smart transportation systems. Miguel A. Salido, Adriana Giret, Manuel Peinado. International Journal of Production Research, Vol. 49(5), pp:1425-1439, 2011.

  43. Integrated intelligent techniques for remarshaling and berthing in maritime terminals. Miguel A. Salido, Mario Rodríguez-Molins, Federico Barber. Advanced Engineering Informatics 25(3): 435-451, 2011.

  44. New Trends on Constraint Satisfaction, Planning, and Scheduling: A Survey. Roman Barták, Miguel A. Salido, Francesca Rossi. The Knowledge Engineering Review, Vol. 25:3, 249–279, Cambridge University Press, 2010, doi:10.1017/S0269888910000202.

  45. Introduction to Planning, Scheduling and Constraint Satisfaction. Miguel A. Salido. Journal of Intelligent Manufacturing (Springer), ISSN: 0956-5515, vol 21(1), pp:1-4, 2010

  46. Preface to special issue on Planning and Scheduling. Roman Barták, Amedeo Cesta, Lee McCluskey, Miguel A. Salido. The Knowledge Engineering Review, Vol. 25:3, 247–248, Cambridge University Press, 2010 doi:10.1017/S0269888910000196.

  47. Experimental analysis of optimization techniques on the road passenger transportation problem. B. Lopez, V. Muñoz, J. Murillo, F. Barber, M.A. Salido, M. Abril, M. Cervantes, L.F. Caro, M. Villaret. Engineering Applications of Artificial Intelligence 22, pp:374-388, (Ed. Elsevier Science), ISSN: 0952-1976,  2009.

  48. Mathematical Solutions for Solving Periodic Railway Transportation. Miguel A. Salido,  Federico Barber. Mathematical Problems in Engineering, Volume 2009, Article ID 728916, doi:10.1155/2009/728916, 19 pages, 2009.

  49. Constraint satisfaction techniques in planning and scheduling. Roman Barták, Miguel A. Salido, Francesca Rossi. Journal of Intelligent Manufacturing (Springer), ISSN: 0956-5515, vol 21(1), pp:5-15, 2010.

  50. Feasible Distributed CSP Models for Scheduling Problems. Miguel A. Salido, Adriana Giret. Engineering Applications of Artificial Intelligence. (Ed. Elsevier Science), ISSN: 0952-1976, vol 21(5), pp:723-732, 2008.

  51. Distributed Search in Railway Scheduling Problems. M. Abril, M. A. Salido,  F. Barber. Engineering Applications of Artificial Intelligence. (Ed. Elsevier Science), ISSN: 0952-1976, vol 21(5), pp:744-755,  2008.

  52. A Holonic Architecture for the Global Road Transportation System. Frédérique Versteegh, Miguel A. Salido, Adriana Giret. Journal of Intelligent Manufacturing (Springer), ISSN: 0956-5515, vol 21(1), pp:133-144, 2010.

  53. Introduction: Special Issue on Constraint Satisfaction Techniques for Planning and Scheduling Problems, Miguel A. Salido, Antonio Garrido; Roman Bartak. Engineering Applications of Artificial Intelligence. (Ed. Elsevier Science), ISSN: 0952-1976, vol 21(5), pp:679-682, 2008.

  54. Nogood-FC for Solving Partitionable Constraint Satisfaction Problems. Montserrat Abril, Miguel A. Salido, Federico Barber. Journal of Intelligent Manufacturing (Elsevier), ISSN: 0956-5515, vol 21(1), pp:101-110, 2010.

  55. An Assessment of Railway Capacity. M. Abril,  F. Barber, L. Ingolotti, M. A. Salido, P. Tormos, A. Lova. Transportation Research Part E-Logistics and Transportation Review, Vol 44(5), pp:774-806, 2008.  (Ed. Elsevier Science)

  56. A Non-binary Constraint Ordering Heuristic For Constraint Satisfaction Problems. M. A. Salido. Applied Mathematics and Computation, (Ed. Elsevier Science), Vol 198/1, pp 280-295, 2008.

  57. Analytical Robustness in Single-Line Railway Scheduling. Miguel A. Salido, Federico Barber, Laura Ingolotti. International Transaction of Systems Science and Applications, Vol. 4, No. 3, pp: 243-251, 2008.

  58. Domain Dependent Distributed Models for Railway Scheduling. M. A. Salido, M. Abril,  F. Barber, L. Ingolotti, P. Tormos, A. Lova. Knowledge-Based Systems, 20, 186-194, (Ed. Elsevier Science), 2007.

  59. Metodologías Activas en la Enseñanza de Informática en la Licenciatura en Matemáticas. Miguel A. Salido, Adriana Giret, Montserrat Abril. IEEE-RITA (Latin-American Learning Technologies Journal), ISSN: 1932-8540, vol 2, nº 2, pp 73-78, 2007.

  60. Distributed Models for solving CSPs.  M. Abril,  M. A. Salido, F. Barber,  INFOCOMP Journal of computer science,  ISSN: 1807-4545, pp: 43-50, 2007.

  61. Distributed CSPs by Graph Partitioning. M. A. Salido, F. Barber. Applied Mathematics and Computation, 183 (2006) 491-498, Elsevier, 2006 (JCR: 0.816)

  62. Técnicas para el Manejo de CSPs no Binarios. Miguel Angel Salido; Inteligencia Artificial: Revista Iberoamericana de Inteligencia Artificial. Nº 20, pp:95-109, ISSN:1137-3601, 2003.

  63. Introducción a la Programación de Restricciones. Federico Barber, Miguel Angel Salido; Inteligencia Artificial: Revista Iberoamericana de Inteligencia Artificial. Nº 20, pp:13-29, ISSN:1137-3601, 2003.

  64. A Polynomial Algorithm for Continuous Non-binary Disjunctive CSPs: Extended DLRs. Miguel. A. Salido, Federico Barber. International Journal Knowledge Based Systems 16, 277-285,  ISSN: 0950-7051 (Ed. Elsevier Science), 2003. (JCR: 0.842)

  65. Problems de Satisfacción de Restricciones no Binarias con Dominios Continuos. Miguel. A. Salido, Adriana Giret, Federico Barber. Inteligencia Artificial: Revista Iberoamericana de Inteligencia Artificial. ISSN:1137-3601, 60-70, 2002.

 

Books

 

  • Polyhedra: A model for solving N-ary constraint satisfaction problems by means of Hyperpolyhedra. ProQuest Information and Learning, UMI. ISBN: 0-493-24254-6. 365 pp, 2002

 

 Book Chapters

  • A Decision Support System for railway timetabling (MOM): the Spanish case.  F. Barber, P. Tormos, A. Lova, L. Ingolotti, M.A. Salido & M. Abril. Timetable Planning and Information Quality, part A, pp: 49-58, ISBN: 978-1-84564-500-7, WIT Press, 2010

  • Meta-Heuristic and Constraint-based Approaches for Railway Timetabling. Federico Barber, Laura Ingolotti, Antonio Lova, Pilar Tormos, Miguel A. Salido. Special Volume on ROBUST AND ONLINE LARGE-SCALE OPTIMIZATION, (ed. Springer), pp:145-181, 2009

  • Problemas de Satisfacción de Restricciones (CSP). F. Barber, M. A. Salido,  Inteligencia Artificial: Técnicas, métodos y aplicaciones,   (Ed. McGraw-Hill), pp:385-432, 2008.

  • A Genetic Algorithm for Railway Scheduling Problems. P. Tormos, A. Lova, F. Barber, L. Ingolotti, M. Abril, and M.A. Salido. In: Metaheuristics for Scheduling In Industrial and Manufacturing Applications. Springer, 2008.

  • A Technique for the Capacity Assessment of Periodic Trains; M. Abril, M. A. Salido, F. Barber, L. Ingolotti, A. Lova, P. Tormos. Frontiers in Artificial Intelligence and Applications, IOS Press, 2005
  • Topological Constraints in Periodic Train Scheduling.  Miguel A. Salido, M. Abril, F. Barber, L. Ingolotti, P. Tormos, A. Lova. Planning, Scheduling and Constraint Satisfaction: From Theory to Practice. Frontiers in Artificial Intelligence and Applications (IOS Press), Vol 117, pp:11-20, ISBN: 1-58603-484-7, ISSN: 0922-6389, 2005.

  • A Genetic Algorithm for Railway Scheduling Problems. P. Tormos, A. Lova, F. Barber, L. Ingolotti, M. Abril, and M. A. Salido. Metaheuristics for Scheduling in Industrial and Manufacturing Applications. Springer-Verlag, 2007.

  • Domain Dependent Distributed Models for Railway Scheduling. M. A. Salido, M. Abril,  F. Barber, L. Ingolotti, P. Tormos, A. Lova,  Applications and Innovations in Intelligent Systems XIV, Best Refereed Application paper, To appear, 2006

  • A Decision Support Sytem for Railway Timetabling (MOM): the Spanish Case. F. Barber, P. Tormos, A. Lova, L. Ingolotti, M. A. Salido, M. Abril. Computers in Railways X: Computer System Design and Operation in the Railway and Other Transit Systems, WIT Press, 2006

  • A Topological Model Based on Railway Capacity to Manage Periodic Train Scheduling.  Miguel A. Salido, M. Abril, F. Barber, P. Tormos, A. Lova, L. Ingolotti. Applications and Innovations in Intelligent Systems XII. (Springer Verlag), ISBN: 1-85233-908-X. pp: 107-120. 2004.

  • A Non-Binary Constraint Ordering Approach to Scheduling Problems.  Miguel A. Salido, Federico Barber. Applications and Innovations in Intelligent Systems XII. (Springer Verlag), ISBN: 1-85233-908-X. pp:81-94  2004.

  • How to Classify Hard and Soft Constraints in Non-binary Constraint Satisfaction Problems. Miguel. A. Salido, Federico Barber. In Research and Development in Intelligent Systems XX, 213-226, ISBN: 1-85233-780-X  (Springer Verlag). Cambridge 2003.

  • Constrainedness in Constraint Satisfaction.  Miguel A. Salido, Federico Barber. Recent Advances in Artificial Intelligence Research and Development. Frontiers in Artificial Intelligence and Applications (IOS Press), Vol 113, ISBN: 1-58603-466-9, ISSN: 0922-6389, pp:425-432. 2004.

  • Distributing constraints by sampling in non-binary CSPs.  Miguel A. Salido, Adriana Giret, Federico Barber. Distributed Constraint Problem Solving and Reasoning in Multi-Agent Systems. Frontiers in Artificial Intelligence and Applications (IOS Press). Vol 112, pp: 77-91, ISBN: 1-58603-456-1, 2004.

  • A Polynomial Algorithm for Continuous Non-binary Disjunctive CSPs. Miguel. A. Salido, Federico Barber. In Research and Development in Intelligent Systems XIX. Best Refereed Technical Paper. (Springer Verlag). (Cambridge) 2002.

  • Constraint Satisfaction by means of Dynamic Polyhedra. Miguel. A. Salido, Adriana Giret, Federico Barber. In Operations Research Proceedings 2001.(Springer Verlag), ISBN: 3-540-43344-9, 405-412, 2002.

  • Preprocessing Algorithms for non-binary Disjunctive Constraints Satisfaction. Miguel. A. Salido, Adriana. Giret, Federico Barber. Research and Development in Intelligent Systems XVIII. (Ed. Springer Verlag).  2001.

  • A Non-binary Constraint Satisfaction Solver: The One-face Hyperpolyhedron Heuristic. Miguel. A. Salido, Adriana Giret, Federico Barber. Research and Development in Intelligent Systems XVIII. (Ed. Springer Verlag). (Cambridge) 2001.

 

 International Conferences

2018

  • A Multi-Agent Framework to solve energy-aware unrelated parallel machine scheduling problem with machine-dependent energy consumption and sequence-dependent setup-time. Giancarlo Nicolò, Sergio Ferrer, Miguel A. Salido, Adriana Giret, Federico Barber. The 28th International Conference on Automated Planning and Scheduling (ICAPS-18), 2018

2017

  • A Multi-agent Approach to Implement a Reverse Production Virtual Market in Green Supply Chains. Adriana Giret, Miguel A. Salido. IFIP International Conference on Advances in Production Management Systems, 399-407, Springer, 2017

  • Mode List vs Activity List Representation for the Multi-mode Resource Constrained Project Scheduling Problem. Daniel Morillo and Federico Barber and Miguel Salido. COPLAS’17, 38-48, 2017

  • A Multi-Agent Approach using dynamic constraints to solve energy-aware unrelated parallel machine scheduling problem with energy-dependent and sequence-dependent setup time. Giancarlo Nicolo, Miguel A. Salido, Sergio Ferrer, Adriana Giret and Federico Barber. COPLAS’17, 31-37-2017

2016

  • Assessment of a multi agent system for energy aware off-line scheduling from a real case manufacturing data set. Giancarlo Nicolo, Miguel Salido, Adriana Giret, Federico Barber. COPLAS'16.

2014

  • Robustness and Stability in Constraint Programming under Dynamism and Uncertainty. Laura Climent, Richard Wallace, Miguel A. Salido, Federico Baber. CP 2014, LNCS 8656, pp:923-927, 2014.

  • A Metaheuristic Technique for Energy-Efficiency in Job-Shop Scheduling. Joan Escamilla, Miguel A. Salido, Adriana Giret and Federico Barber. COPLAS 2014, pp:42-50, 2014

  • FSM Merging and Reduction for IP Cores Watermarking using Genetic Algorithms. Jorge Echavarria, Alicia Morales-Reyes, Rene Cumplido and Miguel A. Salido. International Conference on ReConFigurable Computing and FPGAs, Reconfig 2014.

 

2013

  • Modeling Robustness in CSPs as Weighted CSPs. Laura Climent, Richard Wallace, Miguel A. Salido, Federico Baber. CPAIOR 2013, LNCS 7874, pp. 44–60, 2013.

  • A Constraint Programming Approach to Solve Scheduling Problems under Uncertainty L Climent, RJ Wallace, MA Salido, F Barber. COPLAS 2013, pp:28-37, 2013.

  • Energy-aware Parameters in Job-shop Scheduling Problems. Miguel A. Salido, Joan Escamilla, Adriana Giret, Federico Barber, Dunbing Tang and Min Dai. GREEN-COPLAS 2013, pp: 44-53, 2013

 

2012

  • Combining Global Pruning Rules with Depth-First Search for the Job Shop Scheduling Problem with Operators. Carlos Mencía, María R. Sierra, Miguel A. Salido, Joan Escamilla and Ramiro Varela. 19th RCRA International Workshop on "Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion" (RCRA 2012),  2012.

  • Solution robustness in CSPs with discrete and ordered domains. Laura Climent,  Miguel A. Salido, Federico Barber, Richard Wallace. The 23rd Irish Conference on Artificial Intelligence and Cognitive Science, pp: 74-83, 2012.

  • A genetic algorithm for berth allocation and quay crane assignment. Federico Barber, Jorge Puente, Mario Rodriguez, Miguel A. Salido and María R Sierra.  IBERAMIA 2012, pp:601-610, 2012.

  • An Algorithm for Finding Robust and Stable Solutions for Constraint Satisfaction Problems with Discrete and Ordered Domains. Laura Climent, Richard Wallace, Miguel A. Salido and Federico Barber. ICTAI-12: 24th IEEE International Conference on Tools with Artificial Intelligence, pp:874-879, 2012 
  • Robust Solution to Job-Shop Scheduling Problems with Operators.  Joan Escamilla, Mario Rodriguez-Molins, Miguel A. Salido, María R. Sierra, Carlos Mencía and Federico Barber. ICTAI-12: 24th IEEE International Conference on Tools with Artificial Intelligence, pp:299-306, 2012.
  • Experiences Training the Elderly to use Computers and Internet. Mª Emilia García, Adriana Giret, Miguel A. Salido. INTED 2012, pp:928-934, 2012
  • An experience in computer science in the technical industrial engineering about continuous formative evaluation based on project-based learning. Damian Segrelles, Carla Sentieri, Miguel A. Salido International Conference on Education and New Learning Technologies (EDULEARN 2012), pp:5198-5205, 2012

2011

  • Reformulating Dynamic Linear Constraint Satisfaction Problems as Weighted CSPs for Robust Solutions.  Laura Climent, Miguel A. Salido and Federico Barber. SARA 2011 Symposium on Abstraction, Reformulation, and Approximation, 2011.  (CORE B)

 

2010

  • Domain-Dependent Planning Heuristics for Locating Containers in Maritime Terminals. Mario Rodrıguez-Molins, Miguel A. Salido and Federico Barber. Trends in Applied Intelligent Systems. IEA/AIE 2010, Part I, LNAI 6096, pp. 742–751, 2010. (CORE B, CSC: top 5 in Industrial Engineering Conference Ranking).

  • A Filtering Technique for the Railway Scheduling Problem. Marlene Arangu, Miguel A. Salido and Federico Barber. COPLAS 2010. ICAPS 2010 workshop on Constraint Satisfaction for Planning and Scheduling, pp:68-77, 2010. (CORE B)

  • AC2001-OP: An Arc-Consistency Algorithm for Constraint Satisfaction ProblemsMarlene Arangú, Miguel A. Salido and Federico Barber.  Trends in Applied Intelligent Systems. IEA/AIE 2010, Part I, LNAI 6096, 2010. (CORE B, CSC: top 5 in Industrial Engineering Conference Ranking).

  • Robust Solutions in Changing Constraint Satisfaction Problems. Laura Climent, Miguel A. Salido and Federico Barber. Trends in Applied Intelligent Systems. IEA/AIE 2010, Part I, LNAI 6096, 2010. (CORE B, CSC: top 5 in Industrial Engineering Conference Ranking).

 

2009

  • 2-C3: From Arc-Consistency to 2-Consistency, Marlene Arangú, Miguel A. Salido and Federico Barber. The Ninth Symposium on Abstraction, Reformulation and Abstraction (SARA2009), 2009 (CORE: A).

  • A Planning Tool for Minimizing Reshuffles in Containers Terminals. Miguel A. Salido, Oscar Sapena, Mario Rodriguez and Federico Barber. ICTAI 2009: 21st International Conference on Tools with Artificial Intelligence, 567-571, 2009 (CSC Ranking: 0.74).

  • 2-C3OP: An Improved version of 2-Consistency. Marlene Arangú, Miguel A. Salido and Federico Barber. ICTAI 2009: 21st International Conference on Tools with Artificial Intelligence, pp:344-348, 2009 (CSC Ranking: 0.74).

  • A Planning-Based Approach for Allocating Containers in Maritime Terminals. Miguel A. Salido, Oscar Sapena, Mario Rodriguez and Federico Barber. CAEPIA'09: Thirteenth Spanish Conference for Artificial Intelligence  (CSC Ranking: 0.55).

  • Optimizing a Fine-grained Arc-consistency Algorithm. Marlene Arangú, Miguel A. Salido and Federico Barber. CAEPIA'09: Thirteenth Spanish Conference for Artificial Intelligence, 2009 (CSC Ranking: 0.55).

  • A Filtering Technique for Non-normalized CSPs. Marlene Arangu, Miguel A. Salido and Federico Barber. CP2009 Doctoral Program. The 15th International Conference on Principles and Practice of Constraint Programming, pp:1-6, 2009

  • Finding Robust Solutions in Constraint Satisfaction Problems. Laura Climent, Miguel A. Salido and Federico Barber. CP2009 Doctoral Program. The 15th International Conference on Principles and Practice of Constraint Programming, pp:25-30, 2009

  • Extending arc-consistency algorithms for Non-Normalized CSPs. Marlene Arangu, Miguel A. Salido and Federico Barber. AI-2009 Twenty-ninth SGAI International Conference on Artificial Intelligence, 2009.

  • What is Better: 4 Tiers or 5 Tiers in the Container Stacking Problem? Miguel A. Salido, Oscar Sapena, Federico Barber. The International Workshop on Harbour, Maritime & Multimodal Logistics Modelling and Simulation, 2009

  • The Container Stacking Problem: an Artificial Intelligence Planning-Based Approach. Miguel A. Salido, Oscar Sapena, Federico Barber. The International Workshop on Harbour, Maritime & Multimodal Logistics Modelling and Simulation, 2009

  • An Artificial Intelligence Planning tool for The Container Stacking Problem. Miguel A. Salido, Oscar Sapena, Federico Barber. ETFA 2009: 14th IEEE International Conference on Emerging Technologies and Factory Automation, 2009.

  • AC3-OP: An Arc-Consistency Algorithm for Arithmetic Constraints. Marlene Arangu, Miguel A. Salido and Federico Barber. CCIA 2009: Twelfth International Congress of the Catalan Association of Artificial Intelligence, 2009
  • Stability of Solutions in Constraint Satisfaction Problems. Miguel A. Salido, Laura Climent and Federico Barber. CCIA 2009: Twelfth International Congress of the Catalan Association of Artificial Intelligence, 2009

2008

  • Robustness and capacity in scheduling: Application to railway timetabling.  Laura Climent, Federico Barber, Miguel A. Salido, Laura Ingolotti.  IBERAMIA 2008 Workshop on Planning, Scheduling and Constraint Satisfaction.  (2008)

  •  A distributed algorithm for the Holonic Global Road Transportation System. C. Beckers, A. Giret and M.A. Salido. IBERAMIA 2008 Workshop on Agreement Technologies 2008.  (2008)

  • Robustness in Railway Transportation Scheduling. Miguel A. Salido, Federico Barber, Luara Ingolotti. 7th Congress on Intelligent Control and Automation. IEEE Press, to appear, 2008.

  • Analytical Assessment of Timetable Robustness.  M. A. Salido, F. Barber, L. Ingolotti,  P. Tormos, A. Lova. Int. Trienal Conf. In OR/MS (IFORS’08), 2008.

  • Disruption Simulator in Railway timetabling for Empirical Robustness Assessment.  F. Barber, M. A. Salido, L. Ingolotti,  P. Tormos, A. Lova. Int. Trienal Conf. In OR/MS (IFORS’08), 2008.

2007

  • Distributed CSPs: Why it is assumed a Variable per Agent?. M. A. Salido. The Seventh Symposium on Abstraction, Reformulation and Abstraction (SARA2007), LNAI 4612, pp: 407-408, 2007 (CORE: A).

  • DFS-Tree Based Heuristic Search. Monserrat Abril, Miguel A. Salido, Federico Barber. The Seventh Symposium on Abstraction, Reformulation and Abstraction (SARA2007), LNAI 4612, pp: 5-19, 2007 (CORE: A).

  • Feasible Distributed CSP Models for Scheduling Problems. Miguel A. Salido. COPLAS'07: CP/ICAPS 2007 Joint Workshop on Constraint Satisfaction Techniques for Planning and Scheduling Problems, pp:60-67, 2007.(CORE B)

  • Application of Meta-Tree-Based Distributed Search to the Railway Scheduling Problem. Montserrat Abril, Miguel A. Salido, Federico Barber. COPLAS'07: CP/ICAPS 2007 Joint Workshop on Constraint Satisfaction Techniques for Planning and Scheduling Problems, pp:6-13, 2007. (CORE B)

  • Intelligent Train Scheduling on a High-Loaded Railway Network.  A. Lova, P. Tormos, F. Barber, L. Ingolotti, Miguel A. Salido, M. Abril. Algorithmic Methods for Railways Optimization. Lecture Notes in Computer Science, LNCS 4359, pp: 219-232, (Springer Verlag). 2007.

  • The Motivation of Working and Studing. Adriana Giret, Miguel A. Salido. INTED2007. International Technology, Education and Development Conference. ISBN: 84-611-4517-8, pp1-9,  2007

  • Nogood-FC for Solving Partitionable Constraint Satisfaction Problems. Montserrat Abril, Miguel A. Salido, Federico Barber: CAEPIA 2007 Workshop on Planning, Scheduling and Constraint Satisfaction, ISBN-13: 978-84-611-8860-4, pp 115-128, 2007.

  • A Distributed Architecture for Solving the Global Road Transportation System. Frédérique Versteegh, Miguel A. Salido, Adriana Giret: CAEPIA 2007 Workshop on Planning, Scheduling and Constraint Satisfaction, ISBN-13: 978-84-611-8860-4, 162-174, 2007.

2006

  • New Heuristics to Solve the "CSOP" Railway Timetabling Problem, L. Ingolotti, A. Lova, , F. Barber, P. Tormos, M.A. Salido, M. Abril he 19th International Conference on Industrial, Engineering & Other Applications of Applied Intelligent Systems (IEA/AIE'06), LNAI 4031, pp: 400-409, 2006 ( CSC Ranking: 0.57, 46/701).

  • A Scheduling Order-Based Method to Solve Timetabling Problem. P. Tormos, A. Lova, L. Ingolotti, F. Barber, M.A. Salido, M. Abril. LNCS 4177, pp:52-61, 2006 (CSC: 0.55,  52/620)

  • Distributed Constraint Satisfaction Problems to Model Railway Scheduling Problems, M. Abril, M. A. Salido, F. Barber, L. Ingolotti, A. COPLAS'06: ICAPS 2006 Workshop on Constraint Satisfaction Techniques for Planning and Scheduling Problems, Cumbria (England), 2006 (CORE B)

  • Distributed Models in Railway Industry,  M. Abril, M. A. Salido, F. Barber, L. Ingolotti, A. Lova, P. Tormos, Workshop on Industrial Applications of Distributed Intelligent Systems (INADIS 2006), 2006.

  • Train Scheduling: A Real Case. L. Ingolotti, F. Barber, P.Tormos, A. Lova, M.Salido, M. Abril. Algorithmic Methods for Railway Optimization (L. Kroon, F. Geraets, D. Wagner and C. Zaroliagis Ed.) ISSN: 1862-4405, vol 04261, 2006

2005

  • Distributed Constraints for Large-Scale Scheduling Problems. M. Abril, M. A. Salido, F. Barber. Eleventh International Conference on Principles and Practice of Constraint Programming. CP 2005. LNCS 3709. Springer-Verlag. 2005 (CORE: A, CSC Ranking: 0.96).

  • A Scheduling Order-Based Method to Solve the Train Timetabling Problem. L. Ingolotti, F. Barber, P. Tormos, A. Lova, M. A. Salido, and M. Abril. XI Conference of the Spanish Association for Artificial Intelligence (CAEPIA), ISBN:84-96474-13-5, Vol I 343-352, 2005

  • Optimization in Railway Scheduling.  M.A. Salido, M. Abril, F. Barber, P. Tormos, A. Lova, L. Ingolotti. 2nd International Conference on Informatics in Control, Automation and Robotics (ICINCO´05), ISBN: 972-8865-29-5 , 188-195. 2005.

  • Applying Analytical and Empirical Methods to the Assessment of Railway Capacity. M. Abril; F.Barber; L. Ingolotti; M. A. Salido; A. Lova; P. Tormos, J. Estrada. 5th Workshop on Algorithmic Methods and Models for Optimization of Railways, in ALGO’05. In Proceeding of ATMOS’05.

  • The Power of Constrainedness in Constraint Satisfaction Problems; Miguel A. Salido, Federico Barber. International Transaction on Computer Science and Engineering, Vol 4, Nº 1, pp: 33-44, 2005

  • MOM, A Decision Support System for Railway Scheduling.  F. Barber, M. Abril, L. Ingolotti, A. Lova, M. A. Salido, P. Tormos. Int. Trienal Conf. In OR/MS (IFORS’05), 2005.

  • An Efficient Heuristic Technique To Schedule New Trains On A High Loaded Network.  A. Lova, P. Tormos, F. Barber, L. Ingolotti, M. Abril, M. A. Salido. In Proceeding of IFOR´05. Int. Trienal Conf. In OR/MS (IFORS’05), 2005.

  • Periodic Single Track Railway Scheduling: A Sequential Approach.  P. Tormos, A. Lova, F. Barber, L. Ingolotti, M. Abril, M.A. Salido. Int. Trienal Conf. In OR/MS (IFORS’05), 2005.

2004

2003

2002

  • Disjunctive and Continuous Constraint Satisfaction Problems. Miguel. A. Salido, Federico Barber. In Proceedings of Eighth International Conference on Principles and Practice of Constraint Programming (CP2002). Springer Verlag, LNCS 2470, 2002 (CORE: A, CSC Ranking: 0.96).

  • Disjunction of Non-Binary and Numeric Constraints Satisfaction Problems. Miguel. A. Salido, Federico Barber. In Topics in Artificial Intelligence. LNAI 2504, pp: 159-172, 2002.

  • Integration of Discrete and Non-binary CSPs with Linear Programming Techniques. Miguel A. Salido, Adriana Giret and Federico Barber. In Proceedings of CP2002 Workshop on Cooperative Solvers in Constraint Programming, (Itaca, NY) 2002.

  • Non-binary Disjunctive Constraint Satisfaction. Miguel. A. Salido, Federico Barber. In Eighth International Conference on Principles and Practice of Constraint Programming Doctoral Programme (CP2002). http://www.math.unipd.it/~frossi/cp2002-doctoral.html, (Itaca, NY) 2002.

2001

  • An Incremental and Non-binary CSP Solver: The Hyperpolyhedron Search Algorithm. Miguel. A. Salido, Federico Barber. In Proceedings of Seventh International Conference on Principles and Practice of Constraint Programming CP 2001. LNCS 2239, pp 779-780, 2001 (CORE: A, CSC Ranking: 0.96).

  • Realizing a Global Hyperpolyhedron Constraint via LP Techniques. Miguel. A. Salido, Adriana Giret, Federico Barber. In Proceedings of the KI-2001 Workshop AI in Planning, Scheduling, Configuration and Design (PUK 2001),  78-88, (Wien), 2001.  (CiteseerX 227/752).

  • MAS: An On-line and Non-binary CSP solver. Miguel. A. Salido, Adriana Giret, Federico Barber. In Proceeding of CP2001 workshop on On-Line combinatorial problem solving and Constraint Programming (OLCP-01) (Chipre), 2001

  • POLYSA: A Polynomial Algorithm for Non-binary Constraint Satisfaction Problems with <= and <>. Miguel. A. Salido, Federico Barber. In Proceeding of EPIA workshop on Constraint Satisfaction and Operational Research Techniques for Problem Solving (CSOR-01) (Oporto), 2001

  • Non-binary Constraint Satisfaction Problems. Miguel. A. Salido, Federico Barber. In Seventh International Conference on Principles and Practice of Constraint Programming Poster Session (CP2001). (Chipre) 2001.

  • An Incremental and Non-binary CSP Solver: The Hyperpolyhedron Search Algorithm. Miguel. A. Salido, Federico Barber. In Seventh International Conference on Principles and Practice of Constraint Programming Doctoral Programme (CP2001). http://www.math.unipd.it/~frossi/doctoral.html, (Chipre) 2001.

  • Constraint Satisfaction by means of Dynamic Polyhedra. Miguel. A. Salido, Adriana Giret, Federico Barber. In the abstract volume on OR 2001. (Duisburg). 146, 2001.

  • Consistency Management by means of Polyhedra in AI/OR Problems. Miguel. A. Salido, Federico Barber. Accepted to proceedings to the EURO2001: The European Operational Research Conference. (Rotterdam) 2001.

  • Preprocessing Algorithms for non-binary Disjunctive Constraints in Scheduling Problems. Application to non-linear Constraints. Miguel. A. Salido, Federico Barber. In Proceedings to MAPSP’01 workshop: Fifth Workshop on Models and Algorithms for Planning and Scheduling Problems. (Aussois) 2001.

  • Consistency Study by Means of Polyhedra in Scheduling Problems. Miguel. A. Salido, Federico Barber. In Proceedings to the ECCOXIV’01.Conference of the European Chapter on Combinatorial Optimization ECCO XIV. (Bonn) (91-92) 2001.

2000

  • Evaluation of Algorithms to Satisfy Disjunctive Temporal Constraints in Planning and Scheduling Problems. Miguel. A. Salido, Antonio Garrido, Federico Barber. In Proceedings of the AISB'00 Symposium on AI Planning and Intelligent Agents, ISBN 1902956146, 33-40. (Birmingham) 2000.

  • Dynamic Scheduling in an Integrated Planning and Scheduling Environment. Antonio Garrido, Miguel. A Salido, Federico Barber. Contribution to the Dynamic Scheduling roadmap of PLANET Network of Excellence in AI Planning. (Marsella) 2000.

  • Heuristic Methods for Solving Job-Shop Scheduling Problems. Antonio Garrido, Miguel. A. Salido, Federico Barber. In Proceedings of ECAI-2000 Workshop on New Results in Planning, Scheduling and Design (PUK2000). (ed. By Sauer, Köhler). Pp. 36-43. (Berlín) 2000.

  • Scheduling in a Planning Environment. Antonio Garrido, Miguel. A. Salido, Federico Barber. In Proceedings of ECAI-2000 Workshop on New Results in Planning, Scheduling and Design (PUK2000). (ed. By Sauer, Köhler). Pp. 36-43. (Berlín) 2000.

 

National Conferences

 

  • Experiencia en informática: Uso del portafolio como herramienta para la mejora de la motivación en el aprendizaje de los alumnos. Damian Segrelles, Carla Sentieri, Miguel A. Salido. JENUI 2013, pp:29-36, 2013

  • Adaptación al grado de la asignatura "Informática" en otras titulaciones. Salvador España, David Guerrero, Miguel A. Salido, Damian Segrelles,  IV JORNADA DE INNOVACIÓN DOCENTE (JIDINF'11)

  • Metodologías Activas para la Adecuación de FIN al Plan de Bolonia. J. Damian Segrelles, Miguel A. Salido, Adriana Giret. CUIEET 2010.

  • Uso de herramientas on-line en la docencia de grupos numerosos. A. Giret, M.A. Salido and M. Peinado.17 Congreso Universitario de Innovación Educativa en las Enseñanzas Técnicas. CUIEET 2009. (2009)

  • La Formación Algorítmica del Ingeniero. Miguel A. Salido, Adriana Giret, Laura Ingolotti. 17 Congreso Universitario de Innovación Educativa en las Enseñanzas Técnicas. CUIEET 2009. (2009)

  • La Programación Informática en las Ingenierías Técnicas. Miguel A. Salido, Adriana Giret, Manuel Peinado. 17 Congreso Universitario de Innovación Educativa en las Enseñanzas Técnicas. CUIEET 2009. To appear (2009)

  • A Hybrid Approach to Polynomial Constraint Solving for Termination Tools Salvador Lucas, Raquel Montagut, Rafael Navarro-Marset y Miguel A. Salido. PROLE 2008: 8th Conference on Programming and Computer Languages, 2008.

  • Particionamiento y resolución de problemas de satisfacción de restricciones. Montserrat Abril, Miguel A. Salido, Federico Barber: CAEPIA 2007 Workshop on Planning, Scheduling and Constraint Satisfaction, ISBN-13: 978-84-611-8860-4, pp 191-195, 2007.

  • Robustez en Horarios Ferroviarios. Miguel A. Salido, Sonia Tarazona. INADIS'07: CAEPIA 2007 Workshop sobre Aplicaciones en la industria de sistemas inteligentes, aceptado, 2007.

  • Grupo de Inteligencia Artificial, Planificación y Scheduling, Razonamiento Basado en Restricciones. F. Barber, P. Tormos, A. Lova, M. Abril, L. Ingolotti, M. A. Salido: CAEPIA 2007 Workshop on Planning, Scheduling and Constraint Satisfaction, ISBN-13: 978-84-611-8860-4, pp 213-217, 2007.

  • Técnicas para la programación del Tráfico Ferroviario Heterogéneo, A. Lova, P. Tormos,  Barber, L. Ingolotti, M. Abril, M.A. Salido. XXIX Congreso Nacional de Estadística e Investigación Operativa, ISBN: 84-689-8553-8 535-536,  2006

  • MOM: Un Sistema Software para la Optimización del Tráfico Ferroviario, P. Tormos, A. Lova, Barber, L. Ingolotti, M. Abril, M.A. Salido. XXIX Congreso Nacional de Estadística e Investigación Operativa, ISBN: 84-689-8553-8 633-634,  2006

  • Técnicas Distribuidas para Problemas de Scheduling a Gran Escala. Miguel A. Salido, Montserrat Abril, Federico Barber, Pilar Tormos, Antonio Lova, Laura Ingolotti. Caepia 2005 Workshop sobre Planificación, scheduling y Razonamiento Temporal, 51-59, 2005

  • Técnicas de Inteligencia Artificial en Planificación Ferroviaria.  M. A. Salido; F.Barber; M. Abril; L. Ingolotti; A. Lova; P. Tormos, J. Estrada. VI Session on Artificial Intelligence Technology Transfer (TTIA '2005), Ed. Thomson, ISBN:84-9732-435-811-18.  2005.

  • A Genetic Approach to Train Scheduling on a High-Traffic Railway Line, P. Tormos, A. Lova, L. Ingolotti, F. Barber, M. Abril, M.A. Salido. Electronic Notes In Theorical Computer Science. To appear, 2005

  • Sistema de Créditos ETCS en las asignaturas de primer curso de Ingeniería Informática: Lógica Computacional. Investigar el Espacio Europeo de Educación Superior. Editores: J.G. Bernabeu y N. Sauleda. ISBN: 84-689-0161-X,  pp: 1-34. 2004

  • Planificación del tráfico ferroviario en una red altamente sobrecargada.  A. Lova, P. Tormos, F. Barber, L. Ingolotti, M. Abril, Miguel A. Salido.  XXVIII Congreso Nacional de Estadística e Investigación Operativa, 2004.

  • Un sistema de ayuda a la toma de decisiones (DSS) para el problema de secuenciación de trenes periódicos. P. Tormos, A. Lova, F. Barber, L. Ingolotti, M. Abril, Miguel A. Salido. XXVIII Congreso Nacional de Estadística e Investigación Operativa, 2004.

  • Aplicación de CSPs no Binarios al Análisis ROC.  Miguel A. Salido. Federico Barber; Cesar Ferri; José Hernandez Orallo;  En Actas del workshop de Planificación, Scheduling y Razonamiento Temporal, pp:89-98, San Sebastian, 2003.

  • Disjunction of Non-Binary and Numeric CSPs. Miguel. A. Salido, Federico Barber. In Proceedings of 5th Catalan Congress of Artificial Intelligence, ISSN: 1577-1989, (Castellón, Spain) 2002,

  • Aplicando Técnicas de Mejora de la Enseñanza de la Inteligencia Artificial en la Licenciatura en Documentación. Carlos Carrascosa, Vicente Julian, Miguel. A. Salido. En actas VIII Jornadas de Enseñanza Universitaria de la Informática, JENUI 2002, ISBN: 84-600-9782-X, pp: 247-254, (Cáceres), 2002.

  • Problemas de Satisfacción de Restricciones Temporales no Binarias Mediante Poliedros Dinámicos. Miguel. A. Salido, Adriana Giret, Federico Barber. En actas del V Taller de Razonamiento temporal, espacial y Planificación. TARRAT 01.(Gijón) 2001.

  • Grupo de Investigación de Planificación y Scheduling. F. Barber, M. A. De la Fuente, A. Garrido, E. Marzal, E. Onaindia, M. Rebollo, Miguel. A. Salido, L. Sebastia. Actas del “IV Taller de Razonamiento Temporal” pp. 73-76. (Murcia) 1999.