Publications

Export 95 results:

BibTex

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)

BibTex

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)

BibTex

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)

BibTex

Mining Time-constrained Sequential Patterns with Constraint Programming, Aoga, John O. R., Guns Tias, and Schaus Pierre , Constraints, Volume 22, (2017)

BibTex

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)

BibTex

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)

BibTex

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)

BibTex

2016

A dedicated algorithm for verification of interlocking systems, Cappart, Quentin, and Schaus Pierre , International Conference on Computer Safety, Reliability and Security, (2016)

BibTex

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)

BibTex

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)

BibTex

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)

BibTex

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)

BibTex

2015

Derivative-Free Optimization: Lifting Single-Objective to Multi-Objective Algorithm, Dejemeppe, Cyrille, Schaus Pierre, and Deville Yves , CPAIOR2015, Barcelona, Spain, (2015)

BibTex

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)

BibTex

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)

BibTex

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)

BibTex

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)

BibTex

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)

BibTex

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)

BibTex

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)

BibTex

2014

Continuous Casting Scheduling with Constraint Programming., Gay, Steven , CP2014: International Conference on Principles and Practice of Constraint Programming, Lyon, France, (2014)

BibTex

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)

BibTex

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)