Journals
-
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)
-
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)
-
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)
-
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.
-
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.
-
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
-
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.
-
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
-
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
-
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.
-
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
-
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
-
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
-
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
-
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
-
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.
-
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
-
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
-
Optimisation System for Cutting Continuous Flat Glass JF
Garcia Cantos, M Peinado, MA Salido, F Barber. ERCIM NEWS,
38-39, 2016
-
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
-
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
-
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.
-
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
-
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
-
Robustness, Stability, Recoverability and Reliability in Constraint
Satisfaction Problems. Federico Barber, Miguel A. Salido.
Knowledge and Information Systems 44(3): 719-734, 2015
-
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
-
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
-
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.
-
Robustness in Dynamic Constraint Satisfaction Problems.L
Climent, MA Salido, RJ Wallace, , F Barber. AI Communications.
To appear, 2015
-
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
-
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.
-
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.
-
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.
-
Extending ANEMONA with NDT phases A Giret, MA Salido
Procedia CIRP 11, 120-123, 2013.
-
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.
-
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.
-
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.
-
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.
-
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.
-
Constraint Satisfaction for Planning and Scheduling
Problems. Roman Barták, Miguel A. Salido. Constraints,
16(3), 223-227, 2011.
-
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.
-
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.
-
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.
-
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.
-
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
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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)
-
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.
-
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.
-
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.
-
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.
-
Distributed Models for solving CSPs. M. Abril,
M. A. Salido, F. Barber, INFOCOMP Journal of computer science,
ISSN: 1807-4545, pp: 43-50, 2007.
-
Distributed CSPs by Graph
Partitioning. M. A. Salido, F. Barber.
Applied Mathematics and Computation, 183 (2006) 491-498,
Elsevier, 2006 (JCR: 0.816)
-
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.
-
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.
-
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)
-
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
-
An Efficient Method to Schedule New Trains on a High-Loaded
Railway Network. L. Ingolotti, F. Barber, P. Tormos, A. Lova, Miguel A.
Salido, M. Abril. Advances in Artificial Intelligence, LNAI 3315, pp:164-173,
2004. (CiteseerX 501/914)
-
Constrainedness and Redundancy by Constraint Ordering.
Miguel A. Salido, Federico Barber. Advances in Artificial Intelligence,
LNAI 3315, pp: 124-133, 2004. (CiteseerX
501/914)
-
Exploiting the Constrainedness in Constraint Satisfaction
Problems. Miguel A. Salido, Federico Barber. Artificial Intelligence:
Methodology, Systems, and Applications. LNAI 3192, pp:126-136. 2004.
(CiteseerX 471/914)
-
An Interactive Train Scheduling Tool for Solving and Plotting Running
Maps. F. Barber, Miguel A. Salido, M. Abril, L. Ingolotti, A. Lova, P. Tormos. Current Topic in Artificial Intelligence,
LNAI
3040, pp:646-655, 2004. (CSC: 0.55, 52/620)
-
Distributed Non-binary Constraints. Miguel
A. Salido; Federico Barber; Current Topic in Artificial Intelligence,
LNAI
3040, pp:271-280, 2004. (CSC: 0.55, 52/620)
-
A Decision Support System (DSS) for the Railway Scheduling Problem.
Laura Ingolotti, Pilar Tormos, Antonio Lova, Federico Barber, Miguel A. Salido, Montse Abril. First IFIP Conference on Artificial Intelligence Applications and
Innovations (Kluwer Academic Publishers), ISBN: 1-4020-8150-2, pp 465-674 . 2004.
-
Applying Topological Constraint Optimization Techniques to Periodic Train Scheduling.
Miguel A. Salido, M. Abril, F. Barber, L. Ingolotti, P. Tormos, A. Lova. In Proceeding of ECAI 2004 Workshop on Constraint Satisfaction Techniques for Planning and Scheduling Problems,
pp:17-26. 2004.
2003
-
Volume Under the ROC Surface for Multi-class Problems.
Cèsar Ferri, J-Hernandez Orallo, Miguel. A. Salido. Machine Learning,
ECML 2003. Proceeding of 14th European Conference on Machine Learning,
pp: 108-120,
LNAI 2837,
2003 (CORE: A, CSC Ranking: 0.80).
-
An Interactive Train Scheduling Tool for Solving and
Plotting Running Maps. Federico Barber; Miguel A. Salido; L. Ingolotti; M.
Abril; A. Lova; P. Tormos. V Session of Technology Transfer on Artificial
Intelligence (TTIA), (Jose Cuena Award, Best paper of TTIA), ISBN:
84-8373-564-4, Vol(2), pp:379-4388, San Sebastian, 2003
-
Stochastic Local Search for Distributed Constraint
Satisfaction Problems. Miguel. A. Salido, Federico Barber. In Proceeding
of IJCAI Workshop on Stochastic Search Algorithms, Acapulco, México, 2003
-
Distributed Constraint Satisfaction Problems for
Resource Allocation. Miguel. A. Salido, Federico Barber. In Proceeding of
AAMAS Workshop on Representation and approaches for Time-Critical
Decentralized Resource/Role/Task Allocation, Melbourne, Australia, 2003
-
Distributing Constraints by Sampling in Non-Binary
CSPs. Miguel. A. Salido, Adriana Giret, Federico Barber. In Proceeding of
IJCAI International Workshop on Distributed Constraint Reasoning.
Acapulco, México, 2003
-
Distributed Hard and Soft
Non-binary Constraints: An Any-Time Proposal. Miguel. A. Salido, Federico Barber. X Conference of the
Spanish Association for Artificial Intelligence (CAEPIA), ISBN:
84-8373-564-4, Vol(1), pp:449-458 San Sebastian, 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.
|