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

    Sound Statistical Model Checking for Probabilities and Expected Rewards

    Budde, C. E., Hartmanns, A., Meggendorfer, T., Weininger, M. & Wienhöft, P., 1/05/2025, Tools and Algorithms for the Construction and Analysis of Systems - 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Proceedings. Gurfinkel, A. & Heule, M. (eds.). Cham: Springer, p. 167-190 24 p. (Lecture Notes in Computer Science; vol. 15696 LNCS).

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

  3. Published

    Supernova Pointing Capabilities of DUNE

    DUNE Collaboration, Blake, A., Brailsford, D., Gu, L., Mawby, I., Mouster, G., Nowak, A., Nowak, J. A. & Ratoff, P., 1/05/2025, In: Physical Review D. 111, 9, 092006.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  4. Published

    Supports for Informal Caregivers of People Living with Dementia in The Middle East and North Africa Region: Realist Review

    Alyafei, A., Holland, C. & Swarbrick, C., 1/05/2025, In: Journal of Global Ageing. 2, 1, p. 2-29

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  5. Published

    Temporal stability in fish assemblage isotopic niches: insights from a conservation reference river in southeastern Brazil

    Fráguas, P. S., de Carvalho, D. R., de Castro, C. C., Ferreira, F. F., Dergam, J. A., Sperber, C. F. & Pompeu, P. S., 1/05/2025, In: Environmental Biology of Fishes. 108, 5, p. 835-852 18 p., e20578.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  6. Published

    Testing the limits of children’s selective preference for generalisable information transmission

    Bazhydai, M. & Karadag, D., 1/05/2025.

    Research output: Contribution to conference - Without ISBN/ISSN Conference paperpeer-review

  7. Published

    The effects of singing interventions on quality of life, mood and levels of agitation in community-dwelling people living with dementia: A quantitative systematic review

    Polden, M., Ahmed, F., Brown, H., Faulkner, T., Giebel, C., Hanna, K. & Holland, C., 1/05/2025, In: Dementia. 24, 4, p. 738-766 29 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  8. Published

    The role of social networks in the formation of transnational higher education partnership: a case study of a British university and a Qatari education institute

    Alyafei, K. & Malkawi, A. H., 1/05/2025, In: Compare: A Journal of Comparative and International Education. 55, 4, p. 679-695 17 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  9. E-pub ahead of print

    Using step selection functions to analyse human mobility using telemetry data in infectious disease epidemiology: a case study of leptospirosis

    Cuenca, P. R., Souza, F. N., do Nascimento, R. C., da Silva, A. G., Eyre, M. T., Santana, J. O., de Oliveira, D. S., de Souza, E. V. R., Palma, F. A. G., de Carvalho Santiago, D. C., Dos Santos Ribeiro, P., Read, J. M., Cremonese, C., Costa, F. & Giorgi, E., 1/05/2025, (E-pub ahead of print) medRxiv, (medRxiv : the preprint server for health sciences).

    Research output: Working paperPreprint

  10. Published

    Bubbling Up? What Consumer Expectations Reveal About U.S. Housing Market Exuberance

    Martinez-Garcia, E. & Pavlidis, E., 05/2025, Lancaster: The Department of Economics, (Economics Working Papers Series).

    Research output: Working paper

  11. Published

    Convergence Rates of GMM Estimators with Nonsmooth Moments under Misspecification

    Kang, D., Lee, S. & Song, J., 05/2025, Lancaster: Lancaster University, Department of Economics, (Economics Working Papers Series).

    Research output: Working paper

Back to top