Skip to content

Research at St Andrews

University > Research portal > Researchers > Ian James Miguel

Ian James Miguel

Person

Ian James Miguel
Postal address:
School of Computer Science
North Haugh
St Andrews
Fife
United Kingdom

E-mail: ijm@st-andrews.ac.uk

Direct phone: +44 (0)1334 463248

Research publications (57)

  1. Automatically improving constraint models in Savile Row

    Nightingale, P., Akgün, Ö., Gent, I. P., Jefferson, C., Miguel, I. & Spracklen, P. Oct 2017 In : Artificial Intelligence. 251, p. 35-61 27 p.

    Research output: Research - peer-review › Article

  2. Cloud benchmarking for maximising performance of scientific applications

    Varghese, B., Akgun, O., Miguel, I. J., Thai, L. T. & Barker, A. D. 26 Aug 2016 In : IEEE Transactions on Cloud Computing. PP, 99, 7553491

    Research output: Research - peer-review › Article

  3. Exploiting short supports for improved encoding of arbitrary constraints into SAT

    Akgün, Ö., Gent, I. P., Jefferson, C. A., Miguel, I. J. & Nightingale, P. W. 2016 Principles and Practice of Constraint Programming: 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings. Rueher, M. (ed.). Springer, p. 3-12 (Lecture Notes in Computer Science; vol. 9892)

    Research output: Research › Conference contribution

View all

Funded projects (10)

  1. Releasing Conjure: The Automated Constraint Modelling Tool

    Miguel, I. J. & Gent, I. P.

    EPSRC

    1/06/17 → 31/10/17

    Project: Standard

  2. A Constraint Modelling Pipeline

    Miguel, I. J., Gent, I. P., Jefferson, C. A. & Kelsey, T.

    EPSRC

    1/04/17 → 30/09/20

    Project: Standard

  3. Releasing Conjecture: Releasing Conjecture: The Automated Constraint Modelling Tool

    Gent, I. P. & Miguel, I. J.

    EPSRC

    1/01/16 → 31/03/17

    Project: Standard

View all

Discover related content
Find related publications, people, projects and more using interactive charts.

View graph of relations