Home > Research > Publications & Outputs
  1. 2021
  2. Published

    Efficient Local Reductions to Basic Modal Logic

    Papacchini, F., Nalon, C., Hustadt, U. & Dixon, C., 7/07/2021, Automated Deduction – CADE 28: 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings. Platzer, A. & Sutcliffe, G. (eds.). Cham: Springer, p. 76-92 17 p. (Lecture Notes in Computer Science ; vol. 12699).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  3. Published

    Evaluation of work-integrated learning: A realist synthesis and toolkit to enhance university evaluative practices

    Cook, E., 7/07/2021, In: International Journal of Work-Integrated Learning. 22, 2, p. 213-239 27 p.

    Research output: Contribution to journalJournal articlepeer-review

  4. E-pub ahead of print

    Framework to create cloud-free remote sensing data using passenger aircraft as the platform

    Wang, C., Wang, S., Cui, H., Šebela, M., Zhang, C., Gu, X., Fang, X., Hu, Z., Tang, Q. & Wang, Y., 7/07/2021, (E-pub ahead of print) In: IEEE Journal of Selected Topics in Applied Earth Observations and Remote Sensing. 14 p.

    Research output: Contribution to journalJournal articlepeer-review

  5. Published

    Gauge equivalence for complete L-algebras

    Guan, A., 7/07/2021, In: Homology, Homotopy and Applications. 23, 2, p. 283-297 15 p.

    Research output: Contribution to journalJournal articlepeer-review

  6. Published
  7. Forthcoming

    Point of Contact: Investigating change in perception through a serious game for COVID-19 preventive measures

    Hill, J., Corke, E., Salawu, M., Cotterell, E., Russell, M., Gibbons, J., Mu, T. & Karnik, A., 7/07/2021, (Accepted/In press) In: Proceedings of the ACM on Human-Computer Interaction. 5, CHI PLAY, 19 p., 274.

    Research output: Contribution to journalJournal articlepeer-review

  8. Published

    Simulating ionising radiation in gazebo for robotic nuclear inspection challenges

    Wright, T., West, A., Licata, M., Hawes, N. & Lennox, B., 7/07/2021, In: Robotics. 10, 3

    Research output: Contribution to journalJournal articlepeer-review

  9. Published

    Solitary vaginal paraganglioma with mature sacrococcygeal teratoma: a rare case report

    Wang, Z., Fan, H., Fan, J., Seery, S., Wang, W. & Zhang, Y., 7/07/2021, In: BMC Endocrine Disorders. 21, 1, 7 p., 145.

    Research output: Contribution to journalJournal articlepeer-review

  10. Published

    Use of Gaussian process regression for radiation mapping of a nuclear reactor with a mobile robot

    West, A., Tsitsimpelis, I., Licata, M., Jazbec, A., Snoj, L., Joyce, M. J. & Lennox, B., 7/07/2021, In: Scientific Reports. 11, 1, 11 p., 13975.

    Research output: Contribution to journalJournal articlepeer-review

  11. E-pub ahead of print

    ‘This Is the End’? An Ethnographic Study of Management Control and a New Management Initiative

    McCabe, D., Ciuk, S. & Gilbert, M., 1/06/2022, In: Work, Employment and Society. 36, 3, p. 503-521 19 p.

    Research output: Contribution to journalJournal articlepeer-review

Back to top