Search research publications and outputs

  1. Software › Research
  2. The Epsilon Languages and Tools Framework

    Kolovos, D., Rose, L. M. & Paige, R. F., 2013

    Research output: Non-textual formSoftware

  3. Article › Research › Not peer-reviewed
  4. Comparison of model and ground observations finds snowpack and blowing snow both contribute to Arctic tropospheric reactive bromine

    Swanson, W. F., Holmes, C. D., Simpson, W. R., Confer, K., Marelle, L., Thomas, J. L., Jaeglé, L., Alexander, B., Zhai, S., Chen, Q., Wang, X. & Sherwen, T., 16 Feb 2022

    Article in Atmospheric Chemistry and Physics Discussions

  5. Global tropospheric halogen (Cl, Br, I) chemistry and its impact on oxidants [discussion paper]

    Wang, X., Jacob, D. J., Downs, W., Zhai, S., Zhu, L., Shah, V., Holmes, C. D., Sherwen, T., Alexander, B., Evans, M. J., Eastham, S. D., Neuman, J. A., Veres, P., Koenig, T. K., Volkamer, R., Huey, L. G., Bannan, T. J., Percival, C. J., Lee, B. H. & Thornton, J. A., 2 Jun 2021

    Article in Atmospheric Chemistry and Physics Discussions

  6. Article › Research › Peer-reviewed
  7. A Survey of Timing Verification Techniques for Multi-Core Real-Time Systems

    Maiza, C., Rihani, H., Rivas, J., goossens, J., Altmeyer, S. & Davis, R. I., Jul 2019

    Article in ACM Comput. Surv.

  8. A manifesto for Reality-based Safety Science

    Rae, A., Provan, D., Aboelssaad, H. & Alexander, R., 1 Jun 2020

    Article in Safety science

  9. A review of literature on parallel constraint solving

    Gent, I. P., McCreesh, C., Miguel, I. J., Moore, N., Nightingale, P. W., Prosser, P. & Unsworth, C., Sep 2018

    Article in Theory and Practice of Logic Programming

Previous 1 2 3 4 5 6 7 8 ...23 Next