Skip to content

Research at St Andrews

Centre for Interdisciplinary Research in Computational Algebra

  1. 2000
  2. Published

    Computational and geometric aspects of modern algebra

    Atkinson, M., Gilbert, N., Howie, J. M., Linton, S. A. & Robertson, E. F., 2000, Cambridge University Press.

    Research output: Book/ReportBook

  3. Published

    SAT 2000: Highlights of Satisfiability Research in the Year 2000

    Gent, I. P., van Maaren, H. & Walsh, T., 2000, Unknown Publisher.

    Research output: Book/ReportBook

  4. Published

    Tableaux 2000: Automated Reasoning with Analytic Tableaux and Related Methods

    Dyckhoff, R., 2000, Springer-Verlag.

    Research output: Book/ReportBook

  5. 2002
  6. Published

    Trends in Functional Programming 3

    Hammond, K. & Curtis, S., 2002, Intellect Books.

    Research output: Book/ReportBook

  7. 2003
  8. Published

    Cost Analysis using Automatic Size and Time Inference

    Portillo, AJR., Hammond, K., Loidl, H-W. & Vasconcelos, P., 2003, Springer-Verlag.

    Research output: Book/ReportBook

  9. Published

    Groups St Andrews 2001 in Oxford, Volume 1

    Campbell, C. M., Robertson, E. F. & Smith, GC., 2003, Cambridge University Press.

    Research output: Book/ReportBook

  10. Published

    Groups St Andrews 2001 in Oxford, Volume 2

    Campbell, C. M., Robertson, E. F. & Smith, GC., 2003, Cambridge University Press.

    Research output: Book/ReportBook

  11. Published

    Haskell 98 Language and Libraries: the Revised Report

    Jones, SLP., Augustsson, L., Boutel, B., Burton, FW., Fairbairn, J., Fasel, JH., Gordon, A. D., Guzmán, MM., Hammond, K., Hudak, P., Hughes, RJM., Johnsson, T., Jones, MP., Kieburtz, R., Nikhil, R., Partain, WD. & Wadler, PL., 2003, Cambridge University Press. 270 p.

    Research output: Book/ReportBook

  12. 2004
  13. Published

    Association Schemes: Designed Experiments, Algebra and Combinatorics

    Bailey, R. A., 2004, Cambridge: Cambridge University Press. 387 p. (Cambridge Studies in Advanced Mathematics; vol. 84)

    Research output: Book/ReportBook

  14. Published

    Models and symmetry breaking for 'peaceable armies of queens'

    Smith, B. M., Petrie, K. E. & Gent, I. P., 2004, Unknown Publisher. 16 p.

    Research output: Book/ReportBook

  15. 2005
  16. Published

    Consistency for quantified constraint satisfaction problems

    Nightingale, P., 2005, Unknown Publisher. 5 p.

    Research output: Book/ReportBook

  17. Published

    FSM-Hume is Finite State Trends in Functional Programming, Volume 4, Stephen Gilmore (ed.) : Trends in Functional Programming 4, Intellect

    Hammond, K., Michaelson, G. & Sérot, J., 2005, Unknown Publisher.

    Research output: Book/ReportBook

  18. Published

    Local and global complete solution learning methods for QBF

    Gent, I. P. & Rowley, A. G. D., 2005, Unknown Publisher. 16 p.

    Research output: Book/ReportBook

  19. Published

    The temporal knapsack problem and its solution

    Bartlett, M., Frisch, A. M., Hamadi, Y., Miguel, I., Tarim, S. A. & Unsworth, C., 2005, Unknown Publisher. 15 p.

    Research output: Book/ReportBook

  20. Published

    Transforming and refining abstract constraint specifications

    Frisch, A. M., Hnich, B., Miguel, I., Smith, B. M. & Walsh, T., 2005, Unknown Publisher. 16 p.

    Research output: Book/ReportBook

  21. 2006
  22. Published

    A hybrid Benders' decomposition method for solving Stochastic Constraint Programs with linear recourse

    Tarim, S. A. & Miguel, I., 2006, Unknown Publisher. 16 p.

    Research output: Book/ReportBook

  23. 2007
  24. Published

    Groups - St Andrews 1981 (new edition)

    Campbell, C. M. & Robertson, E. F., 2007, Cambridge University Press. 373 p. (London Mathematical Society Lecture Note Series 71)

    Research output: Book/ReportBook

  25. Published

    Groups St Andrews 2005, Volume 1

    Campbell, C. M., Quick, M., Robertson, E. F. & Smith, G. C., 2007, Cambridge University Press. 355 p. (London Mathematical Lecture Note Series 387)

    Research output: Book/ReportBook

  26. Published

    Groups St Andrews 2005, Volume 2

    Campbell, C. M., Quick, M., Robertson, E. F. & Smith, G. C., 2007, Cambridge University Press. 345 p. (London Mathematical Society Lecture Note Series 388)

    Research output: Book/ReportBook

  27. 2008
  28. Published

    Design of comparative experiments

    Bailey, R. A., 2008, Cambridge: Cambridge University Press. 330 p. (Cambridge Series in Statistical and Probabilistic Mathematics)

    Research output: Book/ReportBook

  29. 2009
  30. Published

    Principles and Practice of Constraint Programming - CP 2009: 15th International Conference, CP 2009, Lisbon, Portugal, September 20-24, 2009, Proceedings

    Gent, I. P., 19 Sep 2009, Berlin / Heidelberg: Springer. (Lecture Notes in Computer Science; vol. 5732)

    Research output: Book/ReportAnthology

  31. Published

    Surveys in Combinatorics 2009

    Roney-Dougal, C. M., Mitchell, J. D. & Huczynska, S., Jul 2009, Cambridge University Press. 336 p. (London Mathematical Society Lecture Note Series; no. 365)

    Research output: Book/ReportAnthology

  32. Published

    Surveys in combinatorics

    Huczynska, S. (ed.), Mitchell, J. (ed.) & Roney-Dougal, C. (ed.), 2009, Cambridge University Press. (LMS Lecture Note Series; vol. 365)

    Research output: Book/ReportBook

  33. 2010
  34. Published

    Permutation Patterns 2007: St Andrews

    Linton, S., Ruskuc, N. & Vatter, V., 2010, Cambridge University Press. 345 p.

    Research output: Book/ReportBook

  35. 2011
  36. Published

    Groups St Andrews 2009 in Bath, Volume 1

    Campbell, C. M., Quick, M., Robertson, E. F., Roney-Dougal, C. M., Smith, G. & Traustason, G., 2011, Cambridge University Press. 307 p. (London Mathematical Society Lecture Note Series 387)

    Research output: Book/ReportBook

  37. Published

    Groups St Andrews 2009 in Bath, Volume 2

    Campbell, C. M., Quick, M., Robertson, E. F., Roney-Dougal, C. M., Smith, G. C. & Traustason, G., 2011, Cambridge University Press. 304 p. (London Mathematical Society Lecture Note Series 388)

    Research output: Book/ReportBook

  38. 2012
  39. Published

    Load Balancing of Irregular Parallel Applications on Heterogeneous Computing Environments: PhD Thesis

    Janjic, V., 1 Jun 2012, University of St Andrews. 256 p.

    Research output: Book/ReportBook

  40. 2013
  41. Published

    The maximal subgroups of the low-dimensional finite classical groups

    Bray, J., Holt, D. & Roney-Dougal, C. M., 25 Jul 2013, Cambridge: Cambridge University Press. 452 p. (London Mathematical Society Lecture Note Series; vol. 407)

    Research output: Book/ReportBook

  42. 2015
  43. Published

    Groups St Andrews 2013

    Campbell, C. M. (ed.), Quick, M. (ed.), Robertson, E. F. (ed.) & Roney-Dougal, C. M. (ed.), 2015, Cambridge: Cambridge University Press. 500 p. (London Mathematical Society lecture note series ; vol. 422)

    Research output: Book/ReportBook

  44. 2017
  45. Published

    Notes on counting: An introduction to enumerative combinatorics

    Cameron, P. J., 21 Jun 2017, Cambridge University Press. 222 p.

    Research output: Book/ReportBook

  46. 2019
  47. Published

    Groups St Andrews 2017 in Birmingham

    Campbell, C. M., Parker, C. W., Quick, M., Robertson, E. F. & Roney-Dougal, C. M., Apr 2019, Cambridge University Press. 508 p. (London Mathematical Lecture Note Series 455)

    Research output: Book/ReportBook

ID: 1395

Top