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. 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

  2. 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

  3. 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

  4. 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

  5. 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

  6. 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

  7. 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

  8. 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

  9. 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

  10. 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

  11. 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