<  Back to the Polytechnique Montréal portal

Items where Author is "Schaus, Pierre"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Jump to: B | C | T | V
Number of items: 11.

B

Busard, S., Cappart, Q., Limbrée, C., Pecheur, C., & Schaus, P. (2015, June). Verification of railway interlocking systems [Paper]. 4th International Workshop on Engineering Safety and Security Systems, Oslo, Norway. External link

C

Cappart, Q., Thomas, C., Schaus, P., & Rousseau, L.-M. (2018, August). A constraint programming approach for solving patient transportation problems [Paper]. 24th International Conference on the Principles and Practice of Constraint Programming (CP 2018), Lille, France. External link

Cappart, Q., Aoga, J. O. R., & Schaus, P. (2018, June). EpisodeSupport: A Global Constraint for Mining Frequent Patterns in a Long Sequence of Events [Paper]. 15th International Conference on Integration of Constraint Programming, Artificial Intelligence, and Operations Research (CPAIOR 2018), Delft, The Netherlands. External link

Cappart, Q., & Schaus, P. (2017, June). Rescheduling Railway Traffic on Real Time Situations Using Time-Interval Variables [Paper]. 14th International Conference on Integration of AI and OR Techniques in Constraint Programming (CPAIOR 2017), Padua, Italy. External link

Cappart, Q., Limbrée, C., Schaus, P., Quilbeuf, J., Traonouez, L.-M., & Legay, A. (2017, January). Verification of Interlocking Systems Using Statistical Model Checking [Paper]. 18th IEEE International Symposium on High Assurance Systems Engineering (HASE 2017), Singapore. External link

Cappart, Q., & Schaus, P. (2016, September). A Dedicated Algorithm for Verification of Interlocking Systems [Paper]. 35th International Conference on Computer Safety, Reliability, and Security (SAFECOMP 2016), Trondheim, Norway. External link

Cappart, Q., Limbrée, C., Schaus, P., & Legay, A. (2015, October). Verification by discrete simulation of interlocking systems [Paper]. 29th European Simulation and Modelling Conference, Leicester, United Kingdom. External link

T

Thomas, C., Cappart, Q., Schaus, P., & Rousseau, L.-M. (2019, June). Une approche de programmation par contraintes pour résoudre le problème de transport de patients [A constraint programming approach for solving patient transportation problems]. [Paper]. 15es Journées Francophones de Programmation par Contraintes (JFPC 2019), Albi, France. External link

V

Verhaeghe, H., Nijssen, S., Pesant, G., Quimper, C.-G., & Schaus, P. (2021, June). Learning Optimal Decision Trees using Constraint Programming [Paper]. 16th French-Speaking Conference on Constraint Programming (JFPC 2021). Unavailable

Verhaeghe, H., Nijssen, S., Pesant, G., Quimper, C.-G., & Schaus, P. (2020). Learning optimal decision trees using constraint programming. Constraints, 25(3-4), 226-250. External link

Verhaeghe, H., Nijssen, S., Pesant, G., Quimper, C.-G., & Schaus, P. (2021, January). Learning optimal decision trees using constraint programming (extended abstract) [Paper]. 29th International Joint Conference on Artificial Intelligence (IJCAI 2020), Yokohama, Japan. External link

List generated on: Sun Jun 14 21:19:30 2026 EDT