Karen Petrie

Dr Karen Petrie

Reader and Head of Undergraduate Studies

Email karenpetrie@computing.dundee.ac.uk
Office 2.18 QMB
Tel +44 (0)1382 388613
Address Dr Karen Petrie
Computing - Queen Mother Building
University of Dundee
Dundee
DD1 4HN
Scotland, UK
  1. A theoretical framework for constraint propagator triggering

    Cohen, D. A., Jefferson, C. & Petrie, K. E. J. 2016 Proceedings of the Ninth International Symposium on Combinatorial Search. Baier, J. A. & Botea, A. (eds.). AAAI Press, p. 19-27 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  2. An Analysis of User Engagement in Relation to Computing Workshop Activities

    Menzies, R., Crabb, M., Herron, D., Petrie, K., Stewart, C. & Zarb, M. 24 Feb 2015 SIGCSE '15: Proceedings of the 46th ACM Technical Symposium on Computer Science Education . New York: Association for Computing Machinery, p. 469-474 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  3. Using self-learning and automatic tuning to improve the performance of sexual genetic algorithms for constraint satisfaction problems

    Xu, H., Petrie, K. & Murray, I. 2013 2013 Imperial College Computing Student Workshop (ICCSW'13). Jones, A. V. & Ng, N. (eds.). Saarbrücken: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik , p. 128-135 8 p. (OASICS ; vol. 35)

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  4. Self-learning genetic algorithm for constrains satisfaction problems

    Xu, H. & Petrie, K. 2012 2012 Imperial College Computing Student Workshop: ICCSW 2012. Jones, A. V. (ed.). Leibnitz, Austria: Dagstuhl Publications, Vol. 28, p. 156-162 7 p. (Open Access Series in Informatics (OASIcs); vol. 28)

    Research output: Chapter in Book/Report/Conference proceedingChapter

  5. Automatic generation of constraints for partial symmetry breaking

    Jefferson, C. & Petrie, K. E. 2011 Principles and practice of constraint programming - CP 2011: 7th International Conference, CP 2011, Perugia, Italy, September 12-16, 2011. Proceedings. Lee, J. (ed.). Berlin: Springer , p. 729-743 15 p. (Lecture notes in computer science; vol. 6876)

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  6. Combination: automated generation of puzzles with constraints

    Jefferson, C., Moncur, W. & Petrie, K. E. 2011 SAC '11: proceedings of the ACM Symposium on Applied Computing. NewYork: Association for Computing Machinery, p. 907-912 6 p.

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  7. Implementing logical connectives in constraint programming

    Jefferson, C., Moore, N. C. A., Nightingale, P. & Petrie, K. E. Nov 2010 In : Artificial Intelligence. 174, 16-17, p. 1407-1429 23 p.

    Research output: Contribution to journalArticle

  8. Constraint programming to solve maximal density still life

    Chu, G., Petrie, K. E. & Yorke-Smith, N. 2010 Game of Life Cellular Automata. Adamatzky, A. (ed.). London: Springer , p. 167-175 9 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  9. Learning when to use lazy learning in constraint solving

    Gent, I. P., Jefferson, C., Kotthoff, L., Miguel, I., Moore, N. C. A., Nightingale, P. & Petrie, K. 2010 ECAI 2010: 19th European Conference on Artificial Intelligence, 16-20 August 2010, Lisbon, Portugal - including Prestigious Applications of Artificial Intelligence (PAIS-2010). Proceedings. Coelho, H., Studer, R. & Wooldridge, M. (eds.). Amsterdam: IOS Press, p. 873-878 6 p. (Frontiers in artificial intelligence and applications; vol. 215)

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  10. Same-Relation Constraints

    Jefferson, C., Kadioglu, S., Petrie, K. E., Sellmann, M. & Zivny, S. 2009 Principles and Practice of Constraint Programming. Gent, I. P. (ed.). Berlin: Springer , p. 470-485 16 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  11. Why are we still here?: Experiences of successful women in computing

    Dee, H. M., Petrie, K. E., Boyle, R. D. & Pau, R. 2009 ITICSE 2009 Proceeding of the 14th ACM SIGSE Annual Conference on Innovation and Technology in Computer Science Education. Brezillon, . P. (ed.). New York: Association for Computing Machinery, p. 233-237 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  12. Efficiently solving problems where the solutions form a group

    Petrie, K. E. & Jefferson, C. 2008 Principles and Practice of Constraint Programming: 14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008. Proceedings. Stuckey, P. J. (ed.). Berlin: Springer , p. 529-533 5 p. (Lecture notes in computer science; vol. 5202)

    Research output: Chapter in Book/Report/Conference proceedingConference contribution


Can't find what you're looking for? Contact Us