Publications

(also see: Google Scholar, arXiv, ORCHID, DBLP, ACM Digital Library and IEEE Xplore)

Under Review

  • P. Cooper, T. Tryfonas, A. Marsh, and T. Crick. Digital Innovation and New Business Models of Public/Private Partnerships for Smarter Cities. Submitted to Civil Engineering, Special Issue on “Cities of the Future”, 2017
  • N. Albishry, T. Tryfonas and T. Crick, “Come Together!”: Interactions of Language Networks and Multilingual Communities on Twitter. Submitted to 28th ACM Conference on Hypertext and Social Media (Hypertext 2017) [see: GitHub repo]
  • P. Cooper, T. Tryfonas, T. Crick, and A. Marsh. Digitally-Enabled Electric Vehicles As-a-Service: Exploring the `Tri-Opt’ of Novel Private Transport Business Models. Submitted to IEEE Transactions on Industrial Informatics, Special Issue on “Electric Vehicles as Smart Grid Enablers”, 2017 [see: GitHub repo]
  • T. Crick, B. A. Hall and S. Ishtiaq. Towards “Reproducibility-as-a-Service”. Invited submission for Journal of Open Research Software, 2016 [see: GitHub repo]

Accepted/To Appear/In Press

  1. T. Crick and G. Beauchamp, Fframwaith cymhwysedd digidol: Rethinking digital competencies in the new Welsh curriculum. Accepted for British Education Research Conference (BERA 2017).
  2. C. Tryfona, T. Crick, A. C. Calderon and S. Thorne, Software Requirements Engineering in Digital Healthcare: A case study of the diagnosis and monitoring of Autism Spectrum Disorders in the UK’s National Health Service. 19th International Conference on Human-Computer Interaction (HCII 2017)
  3. A. Joyce-Gibbons, J. McNaughton, N. Young, G. Beauchamp, and T. Crick. SynergyNet into Schools: Facilitating Remote Inter-Group Collaborative Learning Using Multi-touch Tables. 12th International Conference on Computer Support Collaborative Learning (CSCL 2017)

2017

  1. E. Murphy, T. Crick, and J. H. Davenport, An Analysis of Introductory Programming Courses at UK Universities. The Art, Science, and Engineering of Programming, vol. 1(2), no. 18, 2017 [see: GitHub repo, data and arXiv]
  2. J. McNaughton, T. Crick, A. Joyce-Gibbons, G. Beauchamp, N. Young, and E. Tan. Facilitating Collaborative Learning Between Two Primary Schools Using Large Multi-Touch Devices. Journal of Computers in Education, pp. 1–14, 2017 [see: blog post]
  3. E. Murphy, T. Crick, J. H. Davenport, and A. Hayes. An Analysis of Introductory University Programming Courses in the UK. 1st UK Computing Education Practice Conference

2016

  1. M. Mostafa, T. Crick, A. C. Calderon and G. Oatley. Incorporating Emotion and Personality-Based Analysis in User-Centered Modelling. Research and Development in Intelligent Systems XXXIII, pp. 383–389, Springer, 2016 [see: arXiv and GitHub repo]
  2. T. Crick and F. Moller. A National Engagement Model for Developing Computer Science Education in Wales. Proceedings of the 9th International Conference on Informatics in Schools (ISSEP 2016), 2016 [see: GitHub repo]
  3. T. Tryfonas, M. Carter, T. Crick and P. Andriotis. Mass surveillance and the lost art of keeping a secret. In Human Aspects of Information Security, Privacy and Trust, vol. 9750 of Lecture Notes in Computer Science, pp. 174–185, Springer, 2016.
  4. J. H. Davenport, A. Hayes, R. Hourizi and T. Crick. Innovative Pedagogical Practices in the Craft of Computing. In Proceedings of 4th International Conference on Learning and Teaching in Computing and Engineering (LaTiCE 2016), 2016.
  5. T. Crick, J. H. Davenport and A. Hayes. Rethinking Pedagogies for Programming: Computational Thinking, Codemanship and (Software) Carpentry. In Proceedings of 2016 Higher Education Academy STEM Annual Conference: Transforming Teaching and Learning in STEM, 2016.
  6. J. H. Davenport, T. Crick and A. Hayes. Teaching Programming Effectively to Large Classes. In Proceedings of 2016 Higher Education Academy STEM Annual Conference: Transforming Teaching and Learning in STEM, 2016.
  7. A. M. Smith, D. S. Katz, K. E. Niemeyer and FORCE11 Software Citation Working Group, Software Citation Principles, PeerJ Computer Science, vol. 2:e86, 2016.
  8. G. Allen, J. Carver, S. Choi, T. Crick, M. R. Crusoe, S. Gesing, R. Haines, M. Heroux, L. J. Hwang, D. S. Katz, K. E. Niemeyer, M. Parashar and C. C. Venters, eds., Proceedings of the 4th Workshop on Sustainable Software for Science: Practice and Experiences (WSSSPE4), vol. 1686 of CEUR Workshop Proceedings, 2016.

2015

  1. P. Cooper, T. Crick, T. Tryfonas and G. Oikonomou. The Environmental Impacts of IT Use: A User-Oriented Perspective. Proceedings of IEEE International Workshop on Green Standardizations for ICT and Relevant Technologies (GSICT 2015) [see: GitHub repo]
  2. T. Crick and F. Moller. Technocamps: Advancing Computer Science Education in Wales. Proceedings of 10th Workshop in Primary and Secondary Computing Education (WiPSCE 2015) [see: GitHub repo]
  3. A. C. Calderon and T. Crick. Using Interface Design to Develop Computational Thinking Skills. Proceedings of 10th Workshop in Primary and Secondary Computing Education (WiPSCE 2015) [see: GitHub repo]
  4. T. Tryfonas and T. Crick, What skills will we need to live in future smart cities? Government Office for Science, Department for Business, Innovation & Skills, August 2015.
  5. T. Crick, J. H. Davenport and A. Hayes. Innovative Pedagogical Practices in the Craft of Computing. Innovative Pedagogies in the Disciplines. Higher Education Academy, 2015.
  6. T. Crick, B. A. Hall and S. Ishtiaq. A Workflow for Sustainable Research Software. International Workshop on Sustainable Software Systems Engineering 2015 (#SSSE15) [see: GitHub repo]
  7. G. Oatley, T. Crick and D. Bolt. CCTV as Smart Sensor Networks. Proceedings of 13th IEEE International Conference on Dependable, Autonomic and Secure Computing (DASC-2015) [see: GitHub repo]
  8. G. Oatley and T. Crick. Measuring UK Crime Gangs: A Social Network Problem. In Social Network Analysis and Mining, 5(1), Springer, 2015 [see: GitHub repo]
  9. N. P. Chue Hong, T. Crick, I. P. Gent, L. Kotthoff and K. Takeda. Top Tips to Make Your Research Irreproducible. 2015 [see: GitHub repo]
  10. A. C. Calderon, T. Crick and C. Tryfona. Developing Computational Thinking through Pattern Recognition in Early Years Education. In Proceedings of 29th BCS Conference on Human Computer Interaction (HCI 2015), 2015.
  11. E. Cosgrave, T. Crick and T. Tryfonas. Digital Media, Pedometers and the Social Construction of a Healthy Space. In Proceedings of 52nd International Making Cities Livable Conference, 2015.
  12. T. Crick, J. Mateos-Garcia, H. Bakhshi and S. Westlake. Innovation Policy-Making in the Big Data Era. In Proceedings of Data for Policy 2015 [see: GitHub repo]
  13. T. Tryfonas and T. Crick. Mass surveillance and the lost art of keeping a secret. Proceedings of International Conference on Digital Citizenship and Surveillance Society, 2015
  14. G. Oatley, T. Crick and M. Mostafa. Digital Footprints: Detecting and Analysing Online Behaviour. In Proceedings of 2015 Symposium on Social Aspects of Cognition and Computing Symposium (SSAISB 2015) [see: GitHub repo]
  15. P. Cooper, T. Crick and T. Tryfonas. Smart Data-Harnessing for Financial Value in Short-Term Hire Electric Car Schemes. In Proceedings of 10th IEEE System of Systems Engineering Conference (SoSE 2015) [see: blog post and GitHub repo]
  16. G. Oatley, T. Crick and R. Howell. Data Exploration with GIS Viewsheds and Social Network Analysis. In Proceedings of 23rd GIS Research UK Conference (GISRUK 2015), 2015 [see: GitHub repo]
  17. M. Carr and T. Crick. The Problem of the P3: Public-Private Partnerships in National Cyber Security Strategies. In Proceedings of International Conference on Cyber Security for Sustainable Society 2015 [see: GitHub repo]

2014

  1. T. Crick, B. A. Hall, S. Ishtiaq and K. Takeda. “Share and Enjoy”: Publishing Useful and Usable Scientific Models. In Proceedings of 1st International Workshop on Recomputability, 2014 [see: blog posts and GitHub repo]
  2. T. Crick, B. A. Hall and S. Ishtiaq. “Can I Implement Your Algorithm?”: A Model for Reproducible Research Software. In Proceedings of 2nd International Workshop on Sustainable Software for Science: Practice and Experiences (WSSSPE2), 2014 [see: blog post and GitHub repo]
  3. T. Crick and F. Moller. Ailfeddwl Cyfrifiadureg yn Ysgolion Cymru (or: Rethinking Computer Science in Welsh Schools). Proceedings of the 10th European Computer Science Summit (ECSS 2014).
  4. D. Donaghy and T. Crick. Physical Type Tracking through Minimal Source-Code Annotation. In 14th International Workshop on Automated Verification of Critical Systems (AVoCS’14). 2014 [see: GitHub repo]
  5. D. Donaghy and T. Crick. No-Test Classes in C through Restricted Types. In 14th International Workshop on Automated Verification of Critical Systems (AVoCS’14). 2014 [see: GitHub repo]
  6. D. Donaghy and T. Crick. Efficacy Measurement of Early Intervention Techniques. In 14th International Workshop on Automated Verification of Critical Systems (AVoCS’14). 2014 [see: GitHub repo]
  7. G. Oatley and T. Crick. Measuring UK Crime Gangs. In Proceedings of 2014 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining (ASONAM 2014). IEEE Press, 2014 [see: GitHub repo]
  8. G. Oatley and T. Crick. Exploring UK Crime Networks. In Proceedings of 2014 International Symposium on Foundations of Open Source Intelligence and Security Informatics (FOSINT-SI 2014). IEEE Press, 2014 [see: GitHub repo]
  9. E. Cosgrave, T. Tryfonas and T. Crick. The Smart City from a Public Value Perspective. In 2nd International Conference on ICT for Sustainability (ICT4S 2014), Atlantis Press, 2014 [see: GitHub repo]
  10. S. Williams and T. Crick. Cyber Ripples Outwards: How Learners’ Online Affinity Spaces Grow. In Proceeedings of 12th Academic Practice and Technology Conference (APT 2014), 2014.
  11. N. C. C. Brown, S. Sentance, T. Crick and S. Humphreys. Restart: The Resurgence of Computer Science in UK Schools. ACM Transactions on Computer Science Education, 14(2):1–22, 2014 [see: blog post]
  12. G. Oatley and T. Crick. Changing Faces: Identifying Complex Behavioural Profiles. In Proceedings of 16th International Conference on Human-Computer Interaction (HCII 2014), volume 8533 of Lecture Notes in Computer Science. Springer, 2014 [see: blog post and GitHub repo]

2013

  1. B. Blamey, T. Crick and G. Oatley. `The First Day of Summer’: Parsing Temporal Expressions with Distributed Semantics. In Research and Development in Intelligent Systems XXX, Proceedings of the 33rd SGAI International Conference on Artificial Intelligence (AI-2013), pages 389-402. Springer, 2013 [see: blog post]
  2. T. Crick, S. Arthur and J. Hayward, The ICT Steering Group’s Report to the Welsh Government, as part of the Curriculum for Wales review. September 2013.
  3. N. C. C. Brown, M. Kölling, Tom Crick, S. Peyton Jones, S. Humphreys and S. Sentance. Bringing Computer Science Back Into Schools: Lessons from the UK. In Proceedings of the 44th ACM Technical Symposium on Computer Science Education (SIGCSE 2013), pages 269–274. ACM Press, 2013 [see: blog post]

2012

  1. B. Blamey, T. Crick and G. Oatley. R U :-) or :-( ? Character- vs. Word-Gram Feature Selection for Sentiment Classification of OSN Corpora. In Research and Development in Intelligent Systems XXIX, Proceedings of the 32nd SGAI International Conference on Artificial Intelligence (AI-2012), pages 207–212. Springer, 2012 [see: blog post]
  2. S. Sentance, M. Dorling, A. McNicol and T. Crick. Grand Challenges for the UK: Upskilling Teachers to Teach Computer Science Within the Secondary Curriculum. In Proceedings of the 7th Workshop in Primary and Secondary Computing Education (WiPSCE 2012), pages 82–85. ACM Press, 2012 [see: blog post]
  3. T. Crick. Computing: Supporting Excellence in STEM. In Proceedings of the 2012 Higher Education Academy STEM Annual Conference, 2012.
  4. T. Crick and S. Sentance. Computing At School: Stimulating Computing Education in the UK. In Proceedings of the 11th Koli Calling International Conference on Computing Education Research. ACM Press, 2012 [see: blog post]

2010

  1. T. Crick. Provably Optimal Code Generation using Logic Programming. Presented at SET for Britain 2010, House of Commons, 2010.

2009

  1. T. Crick. Superoptimisation: Provably Optimal Code Generation using Answer Set Programming. PhD thesis, Department of Computer Science, University of Bath, August 2009.
  2. T. Crick, M. De Vos, M. Brain and J. Fitch. Generating Optimal Code using Answer Set Programming. In Proceedings of 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR’09), volume 5753 of Lecture Notes in Computer Science, pages 554–559. Springer, 2009.
  3. T. Crick, P. Dunning, H. Kim and J. Padget. Engineering Design Optimization using Services and Workflows. Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, 367(1898):2741–2751, 2009.

2008

  1. T. Crick, P. Dunning, H. Kim and J. Padget. Structural Optimisation using Services and Workflows. In Proceedings of the UK e-Science All Hands Meeting, 2008.

2006

  1. M. Brain, T. Crick, M. De Vos, and J. Fitch. TOAST: Applying Answer Set Programming to Superoptimisation. In Proceedings of the 22nd International Conference on Logic Programming (ICLP 2006), volume 4079 of Lecture Notes in Computer Science, pages 270–284. Springer, 2006.
  2. M. Brain, T. Crick, M. De Vos, and J. Fitch. An Application of Answer Set Programming: Superoptimisation – A Preliminary Report. In Proceedings of the 11th International Workshop on Non- Monotonic Reasoning (NMR’06), pages 258–266, 2006.
  3. M. De Vos, T. Crick, J. Padget, M. Brain, O. Cliffe and J. Needham. LAIMA: A Multi-agent Platform Using Ordered Choice Logic Programming. In Proceedings of the 3rd International Workshop on Declarative Agent Languages and Technologies (DALT 2005), volume 3904 of Lecture Notes in Computer Science, pages 72–88. Springer, 2006.

2005

  1. M. De Vos, O. Cliffe, R. Watson, T. Crick, J. Padget, J. Needham and M. Brain. T-LAIMA: Answer Set Programming for Modelling Agents with Trust. In Proceedings of the 3rd European Workshop on Multi-Agent Systems (EUMAS 2005), 2005.
  2. T. Crick and J. Fitch. An Application for the GCC 4.0 Architecture. Presented at EPSRC Postgraduate Research Conference (PREP 2005), Lancaster University, 2005.

2004

  1. T. Crick. A GCC Front End for BCPL. Technical Report CSBU-2004-06, Department of Computer Science, University of Bath, 2004.