Documents dont l'auteur est "Schaus, Pierre"

Réseau de collaboration

Veuillez patienter

Aide

Ce graphique trace les liens entre tous les collaborateurs des publications de {} figurant sur cette page.

Chaque lien représente une collaboration sur la même publication. L'épaisseur du lien représente le nombre de collaborations.

Utilisez la molette de la souris ou les gestes de défilement pour zoomer à l'intérieur du graphique.

Vous pouvez cliquer sur les noeuds et les liens pour les mettre en surbrillance et déplacer les noeuds en les glissant.

Enfoncez la touche "Ctrl" ou la touche "⌘" en cliquant sur les noeuds pour ouvrir la liste des publications de cette personne.

B

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

C

Cappart, Q., Thomas, C., Schaus, P., & Rousseau, L.-M. (août 2018). A constraint programming approach for solving patient transportation problems [Communication écrite]. 24th International Conference on the Principles and Practice of Constraint Programming (CP 2018), Lille, France. Lien externe

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

Cappart, Q., & Schaus, P. (juin 2017). Rescheduling Railway Traffic on Real Time Situations Using Time-Interval Variables [Communication écrite]. 14th International Conference on Integration of AI and OR Techniques in Constraint Programming (CPAIOR 2017), Padua, Italy. Lien externe

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

Cappart, Q., & Schaus, P. (septembre 2016). A Dedicated Algorithm for Verification of Interlocking Systems [Communication écrite]. 35th International Conference on Computer Safety, Reliability, and Security (SAFECOMP 2016), Trondheim, Norway. Lien externe

Cappart, Q., Limbrée, C., Schaus, P., & Legay, A. (octobre 2015). Verification by discrete simulation of interlocking systems [Communication écrite]. 29th European Simulation and Modelling Conference, Leicester, United Kingdom. Lien externe

T

Thomas, C., Cappart, Q., Schaus, P., & Rousseau, L.-M. (juin 2019). 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]. [Communication écrite]. 15es Journées Francophones de Programmation par Contraintes (JFPC 2019), Albi, France. Lien externe

V

Verhaeghe, H. , Nijssen, S., Pesant, G., Quimper, C.-G., & Schaus, P. (juin 2021). Learning Optimal Decision Trees using Constraint Programming [Communication écrite]. 16th French-Speaking Conference on Constraint Programming (JFPC 2021). Non disponible

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. Lien externe

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