You are here

Publications

Export 94 results:
2017
Algorithme Efficace pour la Fouille de Séquences Fréquentes avec la Programmation par Contraintes, Aoga, John O. R., Guns Tias, and Schaus Pierre , Treizièmes journées Francophones de Programmation par Contraintes - JFPC'17, (2017) jfpc17.pdf (772.96 KB)
Mining Time-constrained Sequential Patterns with Constraint Programming, Aoga, John O. R., Guns Tias, and Schaus Pierre , Constraints, (2017) constraints17.pdf (541.85 KB)
Mining Time-constrained Sequential Patterns with Constraint Programming, Aoga, John O. R., Guns Tias, and Schaus Pierre , International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR17), (2017)
Rescheduling Railway Traffic on Real Time Situations using Time-Interval Variables, Cappart, Quentin, and Schaus Pierre , Fourteenth International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming, (2017)
The Static and Stochastic VRP with Time Windows and both Random Customers and Reveal Times, Saint-Guillain, Michael, Solnon Christine, and Deville Yves , European Conference on the Applications of Evolutionary Computation, p.110-127, (2017) 2017_the_static_and_stochastic_vehicle_routing_problem_with_both_random_customers_and_reveal_times.pdf (1.41 MB)
Verification of interlocking systems using statistical model checking, Cappart, Quentin, Limbree Christophe, Schaus Pierre, Quilbeuf Jean, Traonouez Louis-Marie, and Legay Axel , 18th IEEE International Symposium on High Assurance Systems Engineering, (2017)
2016
A dedicated algorithm for verification of interlocking systems, Cappart, Quentin, and Schaus Pierre , International Conference on Computer Safety, Reliability and Security, (2016)
An Efficient Algorithm for Mining Frequent Sequence with Constraint Programming, Aoga, John O. R., Guns Tias, and Schaus Pierre , Machine Learning and Knowledge Discovery in Databases: European Conference, ECML PKDD 2016, Riva del Garda, Italy, September 19-23, 2016, Proceedings, Part II, Cham, p.315–330, (2016) 2016-juil-pkdd-ppic.pdf (631.43 KB)
Efficient Filtering for the Unary Resource with Family-Based Transition Times, Cauwelaert, Sascha Van, Dejemeppe Cyrille, Monette Jean-Noël, and Schaus Pierre , International Conference on Principles and Practice of Constraint Programming, p.520–535, (2016) llncs.pdf (751.73 KB)
Scalable Constraint Programming approach for Mining Frequent Sequence with gap constraints, Aoga, John, Schaus Pierre, and Guns Tias , BENELEARN, 2016, (2016) 2016-aou-aoga-benelearn_2016_paper_33poster.pdf (294.19 KB) benelearn2016poster.pdf (707.91 KB)
Verification of railway interlocking-compositional approach with OCRA, Limbrée, Christophe, Cappart Quentin, Pecheur Charles, and Tonetta Stefano , International Conference on Reliability, Safety and Security of Railway Systems, p.134–149, (2016)
2015
Derivative-Free Optimization: Lifting Single-Objective to Multi-Objective Algorithm, Dejemeppe, Cyrille, Schaus Pierre, and Deville Yves , CPAIOR2015, Barcelona, Spain, (2015) cpaior_2015.pdf (599.09 KB)
A Multistage Stochastic Programming Approach to the Dynamic and Stochastic VRPTW, Saint-Guillain, Michael, Deville Yves, and Solnon Christine , Twelfth International Conference on Integration of Artificial Intelligence (AI) and Operations Research (OR) techniques in Constraint Programming (CPAIOR 2015), (2015) multistage_vrptw_extended.pdf (963.69 KB)
Time-Table Disjunctive Reasoning for the Cumulative Constraint, Gay, Steven, Hartert Renaud, and Schaus Pierre , CPAIOR, 2015/5/18, Barcelona, Spain, (2015) cpaior2015_timetabledisjunctive.pdf (437.7 KB)
The unary resource with transition times, Dejemeppe, Cyrille, Cauwelaert Sascha Van, and Schaus Pierre , International Conference on Principles and Practice of Constraint Programming, p.89–104, (2015) unaryresourcewithtransitiontimes-cp2015.pdf (483.71 KB)
Understanding the Potential of Propagators, Cauwelaert, Sascha Van, Lombardi Michele, and Schaus Pierre , The Twelfth International Conference on Integration of Artificial Intelligence (AI) and Operations Research (OR) techniques in Constraint Programming, (2015) understandingprops.pdf (295.26 KB)
Verification by discrete simulation of interlocking systems, Cappart, Quentin, Limbrée Christophe, Schaus Pierre, and Legay Axel , 29th European Simulation and Modelling Conference, (2015)
Verification of railway interlocking systems, Busard, Simon, Schaus Pierre, Cappart Quentin, Limbrée Christophe, and Pecheur Charles , 4th International Workshop on Engineering Safety and Security Systems, (2015)
The World Migration Network: rankings, groups and gravity models, Cappart, Quentin, and Thonet Adrien , EUROCON 2015-International Conference on Computer as a Tool (EUROCON), IEEE, p.1–6, (2015)
2014
Continuous Casting Scheduling with Constraint Programming., Gay, Steven , CP2014: International Conference on Principles and Practice of Constraint Programming, Lyon, France, (2014) cp2014_caster.pdf (1.91 MB)
Continuously Degrading Resource and Interval Dependent Activity Durations in Nuclear Medicine Patient Scheduling, Dejemeppe, Cyrille, and Deville Yves , CPAIOR2014, Volume 11, Cork, Ireland, (2014) cpaior2014_nmps.pdf (158.57 KB)
Cost Impact Guided LNS, Lombardi, Michele, and Schaus Pierre , CPAIOR: The Eleventh International Conference on Integration of Artificial Intelligence (AI) and Operations Research (OR) techniques in Constraint Programming, (2014) cpaior14-costimpact.pdf (278.64 KB)
The StockingCost Constraint, Houndji, Vinasétan Ratheil, Schaus Pierre, Wolsey Laurence, and Deville Yves , Principles and Practice of Constraint Programming, 09/2014, Volume 8656, p.382-397, (2014) cp2014_stocking.pdf (369.75 KB)
Supervised Learning to Control Energetic Reasoning : Feasibility Study, Cauwelaert, Sascha Van, Lombardi Michele, and Schaus Pierre , CP 2014 Doctoral Program, (2014) seer-dp.pdf (286.78 KB)
A Support-Based Algorithm for the Bi-Objective Pareto Constraint, Hartert, Renaud , AAAI 2014, Quebec, (2014) aaai2014_bopareto.pdf (392.04 KB)

Pages