B

ATLAS Collaboration (Including: Beckingham, M., Ennis, Joseph Stanford, Farrington, Sinead, Harrison, P. F., Jeske, C., Jones, G. (Graham), Martin, T. A., Murray, W., Pianori, E. and Spangenberg, Martin). (2016) Search for Higgs and Z Boson Decays to ϕγ with the ATLAS Detector. Physical Review Letters, 117 . 111802. doi:10.1103/PhysRevLett.117.111802 ISSN 0031-9007.

C

Clemente, Lorenzo, Lasota, Slawomir, Lazic, Ranko and Mazowiecki, Filip (2017) Timed pushdown automata and branching vector addition systems. In: 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Reykjavik, Iceland, 20-23 Jun 2017. Published in: 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) ISBN 9781509030194. doi:10.1109/LICS.2017.8005083

F

Fijalkow, Nathanael, Klin, Bartek and Panangaden, Prakash (2017) Expressiveness of probabilistic modal logics, revisited. In: 44th International Colloquium on Automata, Languages, and Programming, Warsaw, Poland, 10-14 Jul 2017. Published in: 44th International Colloquium on Automata, Languages, and Programming,, 80 105.1-105.12. doi:10.4230/LIPIcs.ICALP.2017.105 ISSN 1868-8969.

L

Linhart, Wojciech M., Gladysiewicz, Marta, Kopaczek, Jan, Rajpalke, Mohana, Ashwin, M. J., Veal, Timothy David and Kudrawiec, Robert (2017) Indium-incorporation enhancement of photoluminescence properties of Ga(In)SbBi alloys. Journal of Physics D: Applied Physics, 50 (37). 375102. doi:10.1088/1361-6463/aa7e64 ISSN 0022-3727.