Search research publications and outputs

  1. Article › Research › Not peer-reviewed
  2. 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

  3. Editorial

    Jones, C. B. & Woodcock, J., 2008

    Article in Formal Asp. Comput.

  4. Editorial

    Paige, R. F., Brooke, P. J., Dong, J. S. & Woodcock, J. C. P., 2009

    Article in Formal Asp. Comput.

  5. Editorial

    Kroening, D., Margaria, T. & Woodcock, J., 2011

    Article in Formal Asp. Comput.

  6. 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

  7. The Uncertainty Interaction Problem in Self-Adaptive Systems

    Cámara, J., Troya, J., Vallecillo, A., Bencomo, N., Calinescu, R., Cheng, B., Garlan, D. & Schmerl, B., 2022

    Article in Software and Systems Modeling

  8. Article › Research › Peer-reviewed
  9. 3D Modeling of craniofacial ontogeny and sexual dimorphism in children

    Smith, O. A. M., Nashed, Y. S. G., Duncan, C., Pears, N., Profico, A. & O'Higgins, P., 26 Dec 2020, (E-pub ahead of print)

    Article in Anatomical Record

  10. A Comparison of Self-Play Algorithms Under a Generalized Framework

    Hernandez, D., Denamganai, K., Devlin, S., Samothrakis, S. & Walker, J. A., 11 Feb 2021, (E-pub ahead of print)

    Article in IEEE Transactions on Games

  11. A Comprehensive Survey of Industry Practice in Real-time Systems

    Akesson, B., Nasri, M., Nelissen, G., Altmeyer, S. & Davis, R. I., 11 Nov 2021, (E-pub ahead of print)

    Article in Real-Time Systems

  12. A Demonstrably Correct Compiler

    Stepney, S., Whitely, D., Cooper, D. & Grant, C., 1991

    Article in Formal Asp. Comput.

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