Items where Author is "Bowman, Howard"

Journal Article

Young, Paul and Archibald, A. T. and Bowman, Howard and Lamarque, J. F. and Naik, Vaishali and Stevenson, D. S. and Tilmes, Simone and Voulgarakis, A. and Wild, Oliver and Bergmann, D. and Cameron-Smith, Philip and Cionni, I and Collins, William J. and Dalsoren, Stig B and Doherty, R. M. and Eyring, V. and Faluvegi, G. and Horowitz, L. W. and Josse, B and Lee, Yunha H and MacKenzie, Ian A. and Nagashima, T and Plummer, David A and Righi, M and Rumbold, S and Skeie, R and Shindell, Drew T. and Strode, Sarah and Sudo, K. and Szopa, Sophie and Zeng, Guang (2013) Pre-industrial to end 21st century projections of tropospheric ozone from the Atmospheric Chemistry and Climate Model Intercomparison Project (ACCMIP). Atmospheric Chemistry and Physics, 13 (4). pp. 2063-2090. ISSN 1680-7316

Bowman, Howard and Blair, Lynne and Blair, Gordon S. and Chetwynd, Amanda G. (1995) Formal description of multimedia systems : an assessment of potential techniques. Computer Communications, 18 (12). pp. 964-977.

Blair, Lynne and Blair, Gordon S. and Bowman, Howard and Chetwynd, Amanda G. (1995) Formal specification and verification of multimedia systems in open distributed processing. Computer Standards and Interfaces, 17 (5-6). pp. 413-436. ISSN 0920-5489

Contribution in Book/Report/Proceedings

Bryans, Jeremy and Blair, Lynne and Bowman, Howard and Derrick, John (2000) Specification and analysis of automata-based designs. In: Integrated Formal Methods - Second International Conference, IFM 2000, Proceedings :. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . Springer, DEU, pp. 176-193. ISBN 3540411968

Bowman, Howard and Blair, Lynne and Blair, Gordon S. and Chetwynd, Amanda G. (1994) A formal description technique supporting expression of quality of service and media synchronization. In: Multimedia Transport and Teleservices - International COST 237 Workshop, Proceedings :. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . Springer-Verlag, AUT, pp. 145-167. ISBN 9783540587590