You are here

Publications

Export 95 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) PDF icon jfpc17.pdf (772.96 KB)
CoverSize: {A} Global Constraint for Frequency-Based Itemset Mining, Schaus, Pierre, Aoga John O. R., and Guns Tias , Principles and Practice of Constraint Programming: 23rd International Conference, {CP 2017}, Volume 10416, Melbourne, VIC, Australia, p.529–546, (2017) PDF icon cp.pdf (689.75 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)
Mining Time-constrained Sequential Patterns with Constraint Programming, Aoga, John O. R., Guns Tias, and Schaus Pierre , Constraints, Volume 22, (2017) PDF icon constraints17.pdf (541.85 KB)
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) PDF icon 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) PDF icon 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) PDF icon 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) PDF icon 2016-aou-aoga-benelearn_2016_paper_33poster.pdf (294.19 KB)PDF icon 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) PDF icon 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) PDF icon 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) PDF icon 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) PDF icon 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) PDF icon 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) PDF icon 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) PDF icon 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) PDF icon 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) PDF icon 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) PDF icon seer-dp.pdf (286.78 KB)

Pages