Computer Science @ University of St Andrews

University of St Andrews crest

Prof Ian Miguel

Prof Ian Miguel

Position: Professor

Research profile

Email (@st-andrews.ac.uk): ijm

Office: JC0.20 - Jack Cole Building, North Haugh

Phone: +44 (0)1334 46 3248

Home page: http://ianm.host.cs.st-andrews.ac.uk

Recent Publications

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.

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.

Generating custom propagators for arbitrary constraints

Qualitative modelling via constraint programming

Breaking conditional symmetry in automated constraint modelling with CONJURE

Akgun, O , Gent, IP , Jefferson, C , Miguel, I & Nightingale, P 2014, ' Breaking conditional symmetry in automated constraint modelling with CONJURE '. in T Schaub, G Friedrich & B O'Sullivan (eds), ECAI 2014. vol. 263, Frontiers in Artificial Intelligence and Applications, vol. 263, IOS Press, pp. 3-8.

Automatically Improving Constraint Models in Savile Row through Associative-Commutative Common Subexpression Elimination

Nightingale, P , Akguen, 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, CP 2014. Lecture Notes in Computer Science, vol. 8656, Springer International Publishing, CHAM, pp. 590-605, 20th International Conference on the Principles and Practice of Constraint Programming (CP), France, 8-12 September.

Short and long supports for constraint propagation

An Evaluation of Machine Learning in Algorithm Selection for Search Problems

An Empirical Study of Learning and Forgetting Constraints

Gent, IP , Miguel, IJ & Moore, NCA 2012, ' An Empirical Study of Learning and Forgetting Constraints ' AI Communications , vol 25, no. 2, pp. 191-208.

An Automated Approach to Generating Efficient Constraint Solvers

Balasubramaniam, D , Jefferson, CA , Kotthoff, L , Miguel, IJ & Nightingale, P 2012, ' An Automated Approach to Generating Efficient Constraint Solvers '. in 2012 34th international conference on software engineering (ICSE 2012): Zurich, Switzerland 2-9 June 2012. IEEE, pp. 661-671, 34th International Conference on Software Engineering, ICSE 2012, Zurich, Switzerland, 2-9 June.