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

    Playing Games with Your PET: Extending the Partial Exploration Tool to Stochastic Games

    Meggendorfer, T. & Weininger, M., 26/07/2024, Computer Aided Verification: CAV 2024. Gurfinkel, A. & Ganesh, V. (eds.). Cham: Springer, p. 359-372 14 p. (Lecture Notes in Computer Science; vol. 14683).

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

  3. Published

    Reapp

    Galabo, R., Soares Neto, C. D. S., Abreu, M. (Designer), Gomes, A. G. (Developer), Bastos, G. (Developer), Belo, G. (Developer) & da Silva Junior, J. D. S. (Producer), 26/07/2024

    Research output: Exhibits, objects and web-based outputsSoftware

  4. Published

    Search for short- and long-lived axion-like particles in H → a a → 4 γ decays with the ATLAS experiment at the LHC

    The ATLAS collaboration, 26/07/2024, In: European Physical Journal C: Particles and Fields. 84, 7, 742.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  5. Published

    Specialization and finiteness (a)symmetry in imperative negation: with a comparison to standard negation

    Van Olmen, D., 26/07/2024, In: Linguistic Typology. 28, 2, p. 205-252 48 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  6. Published

    Statistical Inference with High-Frequency Financial Data: New Perspectives from Alternative Observation Schemes

    Yu, S., 26/07/2024, Lancaster University. 182 p.

    Research output: ThesisDoctoral Thesis

  7. Published
  8. Published

    The association between diet quality and mental health of university students: A cross-sectional study

    Solomou, S., 26/07/2024, Lancaster University. 178 p.

    Research output: ThesisDoctoral Thesis

  9. Published

    A Review on the Allocation of Sustainable Distributed Generators with Electric Vehicle Charging Stations

    ALJumah, A., Darwish, A., Csala, D. & Twigg, P., 25/07/2024, In: Sustainability (Switzerland). 16, 15, 17 p., 6353.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  10. Published

    Autonomous Cooperative Mapping of GPS-Denied Cluttered Environments Using Gaussian Process Regression

    Mansfield, D., Sadeghzadeh-Nokhodberiz, N. & Montazeri, A., 25/07/2024, 2024 IEEE 18th International Conference on Control & Automation (ICCA). IEEE, p. 546-551 6 p.

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

  11. E-pub ahead of print

    Co-Designing Accessible Computer and Smartphone Input Using Physical Computing

    Cossovich, R., Chang, M., Fu, Z., Girouard, A. & Hodges, S., 25/07/2024, (E-pub ahead of print) In: IEEE Pervasive Computing. p. 1-12 12 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

Back to top