Prof Ian Miguel
Position: Professor
Research profileEmail (@st-andrews.ac.uk): ijm
Office: JC0.20 - Jack Cole Building, North Haugh
Phone: +44 (0)1334 46 3248
Home page: https://ianm.host.cs.st-andrews.ac.uk
Recent Publications
Automatically improving constraint models in Savile Row
Nightingale, P, Akgün, Ö, Gent, IP, Jefferson, C, Miguel, I & Spracklen, P 2017, 'Automatically improving constraint models in Savile Row' Artificial Intelligence, vol 251, pp. 35-61. DOI: 10.1016/j.artint.2017.07.001
Cloud benchmarking for maximising performance of scientific applications
Varghese, B, Akgun, O, Miguel, IJ, Thai, LT & Barker, AD 2016, 'Cloud benchmarking for maximising performance of scientific applications' IEEE Transactions on Cloud Computing, vol PP, no. 99, 7553491. DOI: 10.1109/TCC.2016.2603476
Exploiting short supports for improved encoding of arbitrary constraints into SAT
Akgün, Ö, Gent, IP, Jefferson, CA, Miguel, IJ & Nightingale, PW 2016, Exploiting short supports for improved encoding of arbitrary constraints into SAT. in M Rueher (ed.), Principles and Practice of Constraint Programming: 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings. Lecture Notes in Computer Science, vol. 9892, Springer, pp. 3-12, 22nd International Conference on Principles and Practice of Constraint Programming (CP 2016), Toulouse, France, 5/09/16. DOI: 10.1007/978-3-319-44953-1_1
Automatically improving SAT encoding of constraint problems through common subexpression elimination in Savile Row
Nightingale, P, Spracklen, P & Miguel, IJ 2015, Automatically improving SAT encoding of constraint problems through common subexpression elimination in Savile Row. in G Pesant (ed.), Principles and Practice of Constraint Programming: 21st International Conference, CP 2015, Cork, Ireland, August 31 -- September 4, 2015, Proceedings. vol. 9255, Lecture Notes in Computer Science, vol. 9255, Springer, pp. 330-350, 21st International Conference on Principles and Practice of Constraint Programming (CP 2015), Cork, Ireland, 31/08/15. DOI: 10.1007/978-3-319-23219-5_23
Cloud-based e-Infrastructure for scheduling astronomical observations
Wetter, JP, Akgun, O, Barker, AD, Dominik, M, Miguel, IJ & Varghese, B 2015, Cloud-based e-Infrastructure for scheduling astronomical observations. in 2015 IEEE 11th International Conference on e-Science (e-Science) (2015). IEEE Computer Society, pp. 362-370, 11th IEEE International Conference on eScience, Munich, Germany, 31/08/15. DOI: 10.1109/eScience.2015.54
Automatically generating streamlined constraint models with ESSENCE and CONJURE
Wetter, J, Akgun, O & Miguel, I 2015, Automatically generating streamlined constraint models with ESSENCE and CONJURE. in G Pesant (ed.), Principles and Practice of Constraint Programming: 21st International Conference, CP 2015, Cork, Ireland, August 31 -- September 4, 2015, Proceedings. vol. 9255, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 9255, Springer, pp. 480-496, 21st International Conference on the Principles and Practice of Constraint Programming, CP 2015, Cork, Ireland, 31/08/15. DOI: 10.1007/978-3-319-23219-5_34
Cloud benchmarking for performance
Varghese, B, Akgun, O, Miguel, I, Thai, L & Barker, A 2014, Cloud benchmarking for performance. in 6th IEEE International Conference on Cloud Computing Technology and Science (CloudCom 2014). IEEE, pp. 535-540. DOI: 10.1109/CloudCom.2014.28
Optimal deployment of geographically distributed workflow engines on the Cloud
Thai, L, Barker, A, Varghese, B, Akgun, O & Miguel, I 2014, Optimal deployment of geographically distributed workflow engines on the Cloud. in 6th IEEE International Conference on Cloud Computing Technology and Science (CloudCom 2014). IEEE, pp. 811-816. DOI: 10.1109/CloudCom.2014.30
Automatically Improving Constraint Models in Savile Row through Associative-Commutative Common Subexpression Elimination
Nightingale, P, Akgun, O, Gent, IP, Jefferson, C & Miguel, I 2014, Automatically Improving Constraint Models in Savile Row through Associative-Commutative Common Subexpression Elimination. in B OSullivan (ed.), Principles and Practice of Constraint Programming. Lecture Notes in Computer Science, vol. 8656, Springer, Cham, pp. 590-605, 20th International Conference on the Principles and Practice of Constraint Programming (CP 2014), France, 8/09/14. DOI: 10.1007/978-3-319-10428-7_43
Generating custom propagators for arbitrary constraints
Gent, IP, Jefferson, C, Linton, S, Miguel, I & Nightingale, P 2014, 'Generating custom propagators for arbitrary constraints' Artificial Intelligence, vol 211, no. 1, pp. 1-33. DOI: 10.1016/j.artint.2014.03.001
Follow us: