Find Research outputs

Search results

• Automatically ‘Verifying’ Discrete-Time Complex Systems through Learning, Abstraction and Refinement

  Wang, J., Sun, J., Qin, S. & Jegourel, C., 14 Dec 2018, In: IEEE Transactions on Software Engineering. 47, 1, p. 189-203 15 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File
  221 Downloads (Pure)

• Automatically refining partial specifications for Program Verification

  Qin, S., Luo, C., Chin, W-N. & He, G., 2011, FM 2011: Formal Methods: Lecture notes in computer science, 6664. Butler, M. & Schulte, W. (eds.). Berlin: Springer Berlin, p. 369-385 ( Lecture Notes in Computer Science; vol. 6664).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File
  127 Downloads (Pure)

• Automatically refining partial specifications for heap-manipulating programs

  Qin, S., He, G., Luo, C., Chin, W. & Yang, H., 1 Mar 2014, In: Science of Computer Programming. 82, p. 56-76

  Research output: Contribution to journal › Article › peer-review

  Open Access

• Automated verification of the FreeRTOS scheduler in Hip/Sleek

  Ferreira, J., Gherghina, C., He, G., Qin, S. & Chin, W-N., 18 Mar 2014, In: International Journal on Software Tools for Technology Transfer. p. -

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File
  181 Downloads (Pure)

• Automated Verification of Shape and Size Properties Via Separation Logic

  Nguyen, H. H., David, C., Qin, S. & Chin, W-N., 2007, Verification, Model Checking, and Abstract Interpretation. Cook, B. & Podelski, A. (eds.). Springer Berlin Heidelberg, p. 251-266

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File
  189 Downloads (Pure)

• Automated verification of shape, size and bag properties via user-defined predicates in separation logic

  Chin, W-N., David, C., Nguyen, H. H. & Qin, S., Aug 2012, In: Science of Computer Programming. 77, 9, p. 1006-1036

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File
  91 Downloads (Pure)

• Automated Verification of Shape, Size and Bag Properties

  Chin, W-N., David, C., Nguyen, H. H. & Qin, S., 2007, Proceedings IEEE international conference on engineering complex computer systems. California: IEEE, p. 307-317

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File
  146 Downloads (Pure)

• Automated tracking to measure behavioural changes in pigs for health and welfare monitoring

  Matthews, S., Miller, A., Plotz, T. & Kyriazakis, I., 14 Dec 2017, In: Scientific Reports. 7, 17582.

  Research output: Contribution to journal › Article › peer-review

  Open Access

• Automated Specification Inference in a Combined Domain via User-Defined Predicates

  Qin, S., He, G., Chin, W-N., Craciun, F., He, M. & Ming, Z., 19 Jun 2017, In: Science of Computer Programming. p. -

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File
  156 Downloads (Pure)

• Automated Specification Discovery via User-Defined Predicates

  He, G., Qin, S., Chin, W-N. & Craciun, F., 2013, Lecture Notes in Computer Science . Vol. 8144. p. 397-414 Chapter 26. (Formal Methods and Software Engineering; vol. 8144).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

  File
  144 Downloads (Pure)

• Automated Planning of Concrete Joint Layouts with 4D-BIM

  Sheikhkhoshkar, M., Rahimian, F., Kaveh, M. H., Hosseini, M. R. & Edwards, D., 30 Nov 2019, In: Automation in Construction. 107, 13 p., 102943.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File
  292 Downloads (Pure)

• Automated Operation With Redundant Ultrasonic Reactor Water Level Monitoring System

  Askari, V., 2009, p. 43-47.

  Research output: Contribution to conference › Paper › peer-review

• Automated Modular Verification for Relaxed Communication Protocols

  Costea, A., Chin, W., Qin, S. & Craciun, F., 22 Oct 2018, Asian Symposium on Programming Languages and Systems. Springer Verlag, p. 284-305 Chapter 16. (Programming Languages and Systems; vol. 11275).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File
  196 Downloads (Pure)

• Automated measurement of anteroposterior diameter and foraminal widths in MRI images for lumbar spinal stenosis diagnosis

  Natalia, F., Meidia, H., Afriliana, N., Young, J. C., Yunus, R. E., Al-Jumaily, M., Al Kafri, A. & Sudirman, S., 2 Nov 2020, In: PLoS ONE.

  Research output: Contribution to journal › Article › peer-review

  Open Access

• Automated intelligent system for sound signalling device quality assurance

  Maniak, T., Jayne, C., Iqbal, R. & Doctor, F., 10 Feb 2015, In: Information Sciences. 294, p. 600-611 12 p.

  Research output: Contribution to journal › Article › peer-review

• Automated Game-Theoretic Verification of Security Systems

  Mu, C., 4 Sep 2019, Quantitative Evaluation of Systems. QEST 2019. Parker, D. & Wolf, V. (eds.). Springer, p. 239-256 (Lecture Notes in Computer Science; vol. 11785).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File
  189 Downloads (Pure)

• Automated Extension of Narrative Planning Domains with Antonymic Operators

  Porteous, J., Lindsay, A., Read, J., Truran, M. & Cavazza, M., 2015.

  Research output: Contribution to conference › Paper › peer-review

  Open Access

  File
  83 Downloads (Pure)

• Automated computational cognitive-modeling: goal-specific analysis for large websites

  Van Schaik, P., Muzahir, R. H. & Lockyer, M., 2 Apr 2015, In: ACM Transactions on Computer-Human Interaction. 22, 3, p. - 29 p., 14.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File
  90 Downloads (Pure)

• Authors' reply to comment by Grant et al

  Ryan, C., McDonough, S., Kirwan, J. P., Leveille, S. & Martin, D. J., 1 Jan 2014, In: European Journal of Pain (United Kingdom). 18, 6, 1 p.

  Research output: Contribution to journal › Letter › peer-review

• Authoring Plan-based Narratives via a Social Network

  Porteous, J., Charles, F. & Cavazza, M., 2013.

  Research output: Contribution to conference › Paper › peer-review

• Authentic learning in healthcare: Challenges and opportunities

  Chesterton, P., 1 Sep 2021.

  Research output: Contribution to conference › Other › peer-review

• Austerity and the rise of hostility towards marginalized groups

  Smith, C., 2016, Occupational Therapies Without Borders: integrating justice with practice. Pollard, N. & Sakellariou, D. (eds.). 2nd ed. Edinburgh: Elsevier

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

• A Uses And Gratifications Exploration Of Young Women's Instagram Usage

  Rodgers, J. & Dee, G., 5 Jul 2019.

  Research output: Contribution to conference › Paper › peer-review

• Au Revoir to “Sacred Cows”? Assessing the Impact of the Nouvelle Droite in Britain

  Copsey, N., 1 Jul 2013, In: Democracy and Security. 9, 3, p. 287-303

  Research output: Contribution to journal › Article › peer-review

• Aunt Anne's Canticle for Calm

  Beagrie, B., Aug 2019, 1 p.

  Research output: Other contribution

• A university student social worker buddying scheme: the individual, the community and the developing profession(al)

  Simpson, D., 26 Sep 2019.

  Research output: Contribution to conference › Other › peer-review

  Open Access

  File
  21 Downloads (Pure)

• A University of Greenwich Case Study of Cloud Computing: Education as a Service

  Chang, V. & Wills, G., 30 Apr 2013, E-Logistics and E-Supply Chain Management: Applications for Evolving Business.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

• A unification of probabilistic choice within a design-based model of reversible computation

  Stoddart, B. & Zeyda, F., 1 Jan 2013, In: Formal Aspects of Computing. 25, 1, p. 107-131

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File
  133 Downloads (Pure)

• A UK-US investigation of early education practitioners’ opinions about child poverty and its prioritizing within their practice

  Simpson, D., 2015

  Research output: Book/Report › Commissioned report

• A UK collaborative study of student peer leaders – Teesside University data.

  Portas, M., Swainston, K. & Byrnes, K., 2016.

  Research output: Contribution to conference › Abstract › peer-review

• A UK collaborative study of student peer leaders.

  Portas, M., Swainston, K. & Byrnes, K., 2016.

  Research output: Contribution to conference › Abstract › peer-review

• Augustus and the Use of Propaganda in Official Portraits

  Morris, A. F., 2010, In: Collegiate Anthropologist. 32, 1, p. 16-21

  Research output: Contribution to journal › Article › peer-review

• Augmenting building energy usage models with data segmentation

  Mounter, W., Dawood, H. & Dawood, N., 22 Nov 2019, CONVR2019. Teesside University, 10 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File
  31 Downloads (Pure)

• Augmented reality for the sight impaired: Innovation Pilot Project

  Reid, P., Riley, D. & Chakzatis, E., 10 Jul 2018.

  Research output: Contribution to conference › Paper › peer-review

• Augmented reality-based visual-haptic modeling for thoracoscopic surgery training systems

  Tai, Y., Shi, J., Pan, J., Hao, A. & Chang, V., 1 Aug 2021, In: Virtual Reality and Intelligent Hardware. 3, 4, p. 274-286 13 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File
  3 Downloads (Pure)

• Augmented materials: Spatially embodied sensor networks

  Razzaque, M. A., Dobson, S. & Delaney, K., 1 Dec 2013, In: International Journal of Communication Networks and Distributed Systems. 11, 4, p. 453-477 25 p.

  Research output: Contribution to journal › Article › peer-review
  3 Citations (Scopus)

• Audiovisual Violence and Editorial Manipulation: The Relationship Between Violent Image-Content and Violent Image-Form

  Watson, T., Oct 2015

  Research output: Thesis › Doctoral Thesis

• A typology for a social justice approach to assessment: Learning from universal design and culturally sustaining pedagogy

  Hanesworth, P., Bracken, S. & Elkington, S., 1 Jan 2019, In: Teaching in Higher Education. 24, 1, p. 98-114

  Research output: Contribution to journal › Article › peer-review

• A two-arm parallel-group individually randomised prison pilot study of a male remand alcohol intervention for self-efficacy enhancement: The APPRAISE study protocol

  Holloway, A., Guthrie, V., Waller, G., Smith, J., Boyd, J., Mercado, S., Smith, P., Stenhouse, R., Sheikh, A., Parker, R. A., Stoddart, A., Conaglen, P., Coulton, S., Stadler, G., Hunt, K., Bray, J., Ferguson, J., Sondhi, A., Lynch, K., Rees, J. & 1 others, Newbury-Birch, D., 2 Apr 2021, In: BMJ Open. 11, 4, p. e040636 e040636.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File
  16 Downloads (Pure)

• Attribute Based Access Control for Big Data Applications by Query Modification

  Longstaff, J. & Noble, J., 29 Mar 2016.

  Research output: Contribution to conference › Paper › peer-review

  Open Access

  File
  183 Downloads (Pure)

• Attitudes to work and time spent unemployed across 30 years

  Dunn, A., 1 Jun 2021, In: Economic Affairs. 41, 2, p. 225-240

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File
  10 Downloads (Pure)

• Attitudes towards user experience (UX) measurement

  Law, E. L-C., Van Schaik, P. & Roto, V., 2014, In: International Journal of Human-Computer Studies. 72, 6, p. 526-541

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File
  1894 Downloads (Pure)

• Attitudes towards the male contraceptive pill in men and women in casual and stable sexual relationships

  Eberhardt, J., Van Wersch, A. & Meikle, N., 1 Jul 2009, In: Journal of Family Planning and Reproductive Health Care. 35, 3, p. 161-165 5 p.

  Research output: Contribution to journal › Article › peer-review
  12 Citations (Scopus)

• Attitudes of women with a learning disability and their carers, towards the NHS cervical and breast cancer screening programmes: A qualitative systematic review and meta-aggregation

  Byrnes, K., Giles, E., McGeechan, G., Hamilton, S., O'Malley, C. & Mankelow, J., 10 Dec 2018, (Accepted/In press).

  Research output: Contribution to conference › Poster › peer-review

• Attitudes of radiographers to radiographer-led discharge: A survey

  Lumsden, L. & Cosson, P., 1 Jan 2015, In: Radiography. 21, 1, p. 61-67 7 p.

  Research output: Contribution to journal › Article › peer-review

• Attitudes and perceptions of people with a learning disability, family carers and paid care workers, towards cancer screening programmes in the United Kingdom: A qualitative systematic review and meta-aggregation

  Byrnes, K., Hamilton, S., McGeechan, G., O'Malley, C., Mankelow, J. & Giles, E., 29 Mar 2020, In: Psycho-Oncology. 29, 3, p. 475-484 10 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File
  221 Downloads (Pure)

• Attitudes and delivering brief interventions for heavy drinking in primary health care: analyses from the ODHIN five country cluster randomized factorial trial

  Anderson, P., Kaner, E., Keurhorst, M., Bendtsen, P., van Steenkiste, B., Reynolds, J., Segura, L., Wonar, M., Kłoda, K., Parkinson, K. N., Drummond, C., Okulicz-Kozaryn, K., Mierzecki, A., Laurant, M. G. H., Newbury-Birch, D. & Gual, A., 26 Jan 2017, In: International Journal of Environmental Research and Public Health.. p. -

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File
  96 Downloads (Pure)

• At the heart of things: the role of the married couple in entrepreneurship and family business

  Owens, G., 12 Jun 2009.

  Research output: Contribution to conference › Paper

• At the heart of things: The role of the “married” couple in entrepreneurship and family business

  Seaman, C. (ed.), Blenkinsopp, J. & Owens, G., 2010, In: International Journal of Entrepreneurial Behaviour and Research. 16, 5, p. 357-369

  Research output: Contribution to journal › Article › peer-review

• At the fuzzy front end - Introducing four stages of innovation to Solo Cup Europe: A Knowledge Transfer Partnership with Teesside University.

  Reid, P., Brown, A. & Sutton, A., 13 Jan 2014.

  Research output: Contribution to conference › Paper › peer-review