Karen Petrie

+44 (0)1382 388613
Reader and Associate Dean for Learning and Teaching

Publications

Menzies, R, Petrie, K & Zarb, M 2017,

'A case study of Facebook use: outlining a multi-layer strategy for higher education' Education and Information Technologies, vol. 22, no. 1, pp. 39-53.
https://doi.org/10.1007/s10639-015-9436-y

Research output: Contribution To Journal



Cohen, DA, Jefferson, C & Petrie, KEJ 2016,

A theoretical framework for constraint propagator triggering. in JA Baier & A Botea (eds), Proceedings of the Ninth International Symposium on Combinatorial Search. AAAI Press, pp. 19-27, International Symposium on Combinatorial Search, Tarrytown, NY, United States, 6/07/16.

Research output: Contribution To Book Anthology



Menzies, R, Crabb, M, Herron, D, Petrie, K, Stewart, C & Zarb, M 2015,

An Analysis of User Engagement in Relation to Computing Workshop Activities. in SIGCSE '15: Proceedings of the 46th ACM Technical Symposium on Computer Science Education . Association for Computing Machinery, New York, pp. 469-474, 46th ACM Technical Symposium on Computer Science Education , Kansas City, United States, 4/03/15.
https://doi.org/10.1145/2676723.2677272

Research output: Contribution To Book Anthology



Xu, H, Petrie, K & Murray, I 2013,

Using self-learning and automatic tuning to improve the performance of sexual genetic algorithms for constraint satisfaction problems. in AV Jones & N Ng (eds), 2013 Imperial College Computing Student Workshop (ICCSW'13). OASICS , vol. 35, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik Gmb H, Saarbrücken, pp. 128-135, 2013 Imperial College Computing Student Workshop, London, United Kingdom, 26/09/13.
https://doi.org/10.4230/OASIcs.ICCSW.2013.128

Research output: Contribution To Book Anthology



Xu, H & Petrie, K 2012,

Self-learning genetic algorithm for constrains satisfaction problems. in AV Jones (ed.), 2012 Imperial College Computing Student Workshop: ICCSW 2012. vol. 28, Open Access Series in Informatics (OASIcs), vol. 28, Dagstuhl Publications, Leibnitz, Austria, pp. 156-162, 2nd Imperial College Computing Student Workshop, ICCSW 2012, London, United Kingdom, 27/09/12.
https://doi.org/10.4230/OASIcs.ICCSW.2012.156

Research output: Contribution To Book Anthology



Jefferson, C & Petrie, KE 2011,

Automatic generation of constraints for partial symmetry breaking. in J Lee (ed.), Principles and practice of constraint programming - CP 2011: 7th International Conference, CP 2011, Perugia, Italy, September 12-16, 2011. Proceedings. Lecture notes in computer science, vol. 6876, Springer , Berlin, pp. 729-743, 17th International Conference on Principles and Practice of Constraint Programming , Perugia, Italy, 12/09/11.
https://doi.org/10.1007/978-3-642-23786-7_55

Research output: Contribution To Book Anthology



Jefferson, C, Moncur, W & Petrie, KE 2011,

Combination: automated generation of puzzles with constraints. in SAC '11: proceedings of the ACM Symposium on Applied Computing. Association for Computing Machinery, New York, pp. 907-912.
https://doi.org/10.1145/1982185.1982383

Research output: Contribution To Book Anthology



Jefferson, C, Moore, NCA, Nightingale, P & Petrie, KE 2010,

'Implementing logical connectives in constraint programming' Artificial Intelligence, vol. 174, no. 16-17, pp. 1407-1429.
https://doi.org/10.1016/j.artint.2010.07.001

Research output: Contribution To Journal



Gent, IP, Jefferson, C, Kotthoff, L, Miguel, I, Moore, NCA, Nightingale, P & Petrie, K 2010,

Learning when to use lazy learning in constraint solving. in H Coelho, R Studer & M Wooldridge (eds), ECAI 2010: 19th European Conference on Artificial Intelligence, 16-20 August 2010, Lisbon, Portugal - including Prestigious Applications of Artificial Intelligence (PAIS-2010). Proceedings. Frontiers in artificial intelligence and applications, vol. 215, IOS Press, Amsterdam, pp. 873-878, 19th European Conference on Artificial Intelligence, Lisbon, Portugal, 16/08/10.
https://doi.org/10.3233/978-1-60750-606-5-873

Research output: Contribution To Book Anthology



Chu, G, Petrie, KE & Yorke-Smith, N 2010,

Constraint programming to solve maximal density still life. in A Adamatzky (ed.), Game of Life Cellular Automata. Springer , London, pp. 167-175.
https://doi.org/10.1007/978-1-84996-217-9_10

Research output: Contribution To Book Anthology



Jefferson, C, Kadioglu, S, Petrie, KE, Sellmann, M & Zivny, S 2009,

Same-Relation Constraints. in IP Gent (ed.), Principles and Practice of Constraint Programming. Springer , Berlin, pp. 470-485, 15th International Conference on Principles and Practice of Constraint Programming , Lisbon, Portugal, 20/09/09.

Research output: Contribution To Book Anthology



Dee, HM, Petrie, KE, Boyle, RD & Pau, R 2009,

Why are we still here? Experiences of successful women in computing. in P Brezillon (ed.), ITICSE 2009 Proceeding of the 14th ACM SIGSE Annual Conference on Innovation and Technology in Computer Science Education. Association for Computing Machinery, New York, pp. 233-237, 14th Annual Conference on Innovation and Technology in Computer Science Education, Paris, France, 3/07/09.
https://doi.org/10.1145/1562877.1562951

Research output: Contribution To Book Anthology



Petrie, KE & Jefferson, C 2008,

Efficiently solving problems where the solutions form a group. in PJ Stuckey (ed.), Principles and Practice of Constraint Programming: 14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008. Proceedings. Lecture notes in computer science, vol. 5202, Springer , Berlin, pp. 529-533, 14th International Conference on Principles and Practice of Constraint Programming , Sydney, Australia, 14/09/08.
https://doi.org/10.1007/978-3-540-85958-1_36

Research output: Contribution To Book Anthology



View full profile on research portal

Activities

School of Computing Christmas Lecture 2013

Role: Organiser
Activity: Schools engagement

16 12 2013

School of Computing Christmas Lecture 2012

Role: Organiser
Activity: Schools engagement

17 12 2012

Dundee Science Festival 2011

Role: Organiser
Activity: Festival/Exhibition

2 11 2011

Bright Club Dundee

Role: Speaker
Activity: Festival/Exhibition

8 11 2011

2013 Strathmore Trophy

Role: Organiser
Activity: Schools engagement

24 6 2013