Kevin Leo

Mr

20132018
If you made any changes in Pure these will be visible here soon.

Research Output 2013 2018

2018

Towards semi-automatic learning-based model transformation

Zeighami, K., Leo, K., Tack, G. & de la Banda, M. G., 1 Jan 2018, Principles and Practice of Constraint Programming : 24th International Conference, CP 2018 Lille, France, August 27–31, 2018 Proceedings. Hooker, J. (ed.). Cham Switzerland: Springer, p. 403-419 17 p. (Lecture Notes in Computer Science ; vol. 11008 ).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

2017

Debugging unsatisfiable constraint models

Leo, K. & Tack, G., 2017, Integration of AI and OR Techniques in Constraint Programming : 14th International Conference, CPAIOR 2017, Padua, Italy, June 5–8, 2017, Proceedings. Salvagnin, D. & Lombardi, M. (eds.). Cham, Switzerland: Springer, p. 77-93 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10335 ).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

2016

A radiobiology-based inverse treatment planning method for optimisation of permanent l-125 prostate implants in focal brachytherapy

Haworth, A., Mears, C., Betts, J. M., Reynolds, H. M., Tack, G., Leo, K., Williams, S. G. & Ebert, M. A., 2016, In : Physics in Medicine and Biology. 61, 1, p. 430 - 444 15 p.

Research output: Contribution to journalArticleResearchpeer-review

DASH: Dynamic approach for switching heuristics

Di Liberto, G., Kadioglu, S., Leo, K. & Malitsky, Y., 2016, p. 886. 1 p.

Research output: Contribution to conferenceAbstractOther

DASH: Dynamic approach for switching heuristics

Liberto, G. D., Kadioglu, S., Leo, K. & Malitsky, Y., 1 Feb 2016, In : European Journal of Operational Research. 248, 3, p. 943-953 11 p.

Research output: Contribution to journalArticleResearchpeer-review

2015

Multi-pass high-level presolving

Leo, K. & Tack, G., 2015, Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence (IJCAI 2015): Buenos Aires, Argentina, 25-31 July 2015. Yang, Q. (ed.). Palo Alto CA USA: Association for the Advancement of Artificial Intelligence (AAAI), p. 346-352 7 p.

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

Open Access
File

Optimised robust treatment plans for prostate cancer focal brachytherapy

Betts, J. M., Mears, C. D., Reynolds, H., Tack, G., Leo, K., Ebert, M. A. & Haworth, A., 2015, 2015 International Conference on Computational Science (ICCS2015). Koziel, S., Leifsson, L., Lees, M., Krzhizhanovskaya, V. V., Dongarra, J. & Sloot, P. M. A. (eds.). Amsterdam Netherlands: Elsevier, p. 914 - 923 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

2013

Globalizing constraint models

Leo, K., Mears, C. D., Tack, G. & Garcia De La Banda, M. J., 2013, Principles and Practice of Constraint Programming: 19th International Conference (CP2013), Proceedings. Schulte, C. (ed.). Berlin Germany: Springer-Verlag London Ltd., p. 432 - 447 16 p.

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review