• The University of Western Australia (M002), 35 Stirling Highway,

    6009 Perth

    Australia

  • 1031 Citations
  • 16 h-Index
1979 …2019
If you made any changes in Pure these will be visible here soon.

Research Output 1979 2019

Filter
Article
2019
2 Citations (Scopus)

Mapping 123 million neonatal, infant and child deaths between 2000 and 2017

LBD Under-5 Mortality Collaborators, 17 Oct 2019, In : Nature. 574, 7778, p. 353-358 6 p.

Research output: Contribution to journalArticle

Open Access
Sustainable development
Health
16 Citations (Scopus)
Open Access
prescribed burning
wildland-urban interface
cost
public lands
assets
2018
7 Citations (Scopus)
157 Downloads (Pure)

The cost-effectiveness of trivalent and quadrivalent influenza vaccination in communities in South Africa, Vietnam and Australia

de Boer, P., Kelso, J. K., Halder, N., Nguyen, T-P-L., Moyes, J., Cohen, C., Barr, I., Postma, M. & Milne, G. J., 8 Feb 2018, In : Vaccine. 36, 7, p. 997-1007

Research output: Contribution to journalArticle

Open Access
File
South Australia
Vietnam
Influenza Vaccines
cost effectiveness
South Africa
2016
11 Citations (Scopus)

Spatial effects on the multiplicity of Plasmodium falciparum infections

Karl, S., White, M. T., Milne, G., Gurarie, D., Hay, S. I., Barry, A. E., Felger, I. & Mueller, I., 6 Oct 2016, In : PLoS One. 11, 10, p. 1-20 20 p., e0164054.

Research output: Contribution to journalArticle

Open Access
Plasmodium falciparum
Malaria
Parasites
malaria
parasites
72 Citations (Scopus)

The Long-Term Safety, Public Health Impact, and Cost-Effectiveness of Routine Vaccination with a Recombinant, Live-Attenuated Dengue Vaccine (Dengvaxia): A Model Comparison Study

Flasche, S., Jit, M., Rodríguez-Barraquer, I., Coudeville, L., Recker, M., Koelle, K., Milne, G., Hladish, T., Perkins, A., Cummings, D., Dorigatti, I., Laydon, D., España, G., Kelso, J., Longini, I., Lourenco, J., Pearson, K., Reiner, R., Mier-y-Terán-Romero, L., Vannice, K. & 1 othersFerguson, N., 29 Nov 2016, In : PLoS Medicine. 13, 11, p. 1-19 e1002181.

Research output: Contribution to journalArticle

Open Access
Dengue Vaccines
Attenuated Vaccines
Health Care Costs
Cost-Benefit Analysis
Dengue
9 Citations (Scopus)

Trivalent and quadrivalent influenza vaccination effectiveness in Australia and South Africa: results from a modelling study

Milne, G. J., Halder, N., Kelso, J. K., Barr, I., Moyes, J., Kahn, K., Twine, R. & Cohen, C., 2016, In : Influenza and Other Respiratory Viruses. online 8 FEB 2016, p. 324-332

Research output: Contribution to journalArticle

Open Access
2015
8 Citations (Scopus)
392 Downloads (Pure)

Techniques for evaluating wildfire simulators via the simulation of historical fires using the AUSTRALIS simulator

Kelso, J., Mellor, D., Murphy, M. & Milne, G., 11 Jun 2015, In : International Journal of Wildland Fire. 24, 6, p. 784-797

Research output: Contribution to journalArticle

Open Access
File
wildfires
wildfire
simulator
fire behavior
simulation
2014
9 Citations (Scopus)

A model-based economic analysis of pre-pandemic influenza vaccination cost-effectiveness

Halder, N., Kelso, J. & Milne, G., 16 May 2014, In : BMC Infectious Diseases. 14, 1, p. 19pp

Research output: Contribution to journalArticle

Open Access
Economic Models
Pandemics
Human Influenza
Cost-Benefit Analysis
Vaccination
31 Citations (Scopus)

A spatial simulation model for dengue virus infection in urban areas

Karl, S., Halder, N., Kelso, J., Ritchie, S. A. & Milne, G., 2014, In : BMC Infectious Diseases. 14, 1, p. 1-17

Research output: Contribution to journalArticle

Open Access
Dengue Virus
Dengue
Virus Diseases
Culicidae
Disease Outbreaks
9 Citations (Scopus)

A spatial simulation model for the dispersal of the bluetongue vector Culicoides brevitarsis in Australia

Kelso, J. & Milne, G., 2014, In : PLoS One. 9, 8, p. 1-16

Research output: Contribution to journalArticle

Open Access
Culicoides brevitarsis
Bluetongue
Ceratopogonidae
Bluetongue virus
bluetongue
2013
9 Citations (Scopus)

Economic analysis of pandemic influenza mitigation strategies for five pandemic severity categories

Kelso, J., Halder, N., Postma, M. J. & Milne, G., 2013, In : BMC Public Health. 13, 1, p. 17pp

Research output: Contribution to journalArticle

Open Access
Pandemics
Human Influenza
Economics
Costs and Cost Analysis
Mortality
4 Citations (Scopus)

Pandemic influenza in Papua New Guinea: A modelling study comparison with pandemic spread in a developed country

Milne, G., Baskaran, P., Halder, N., Karl, S. & Kelso, J., 2013, In : BMJ Open. 3, 3, p. 10pp

Research output: Contribution to journalArticle

Open Access
Papua New Guinea
Pandemics
Developed Countries
Human Influenza
Population
14 Citations (Scopus)
135 Downloads (Pure)

The Cost Effectiveness of Pandemic Influenza Interventions: A Pandemic Severity Based Analysis

Milne, G., Halder, N. & Kelso, J., 2013, In : PLoS One. 8, 4, p. 16pp

Research output: Contribution to journalArticle

Open Access
File
cost effectiveness
Pandemics
pandemic
Cost effectiveness
influenza
12 Citations (Scopus)

Trends in parameterization, economics and host behaviour in influenza pandemic modelling: A review and reporting protocol

Carrasco, L. R., Jit, M., Chen, M. I., Lee, V. J., Milne, G. & Cook, A. R., 2013, In : Emerging Themes in Epidemiology. 10, p. 13pp

Research output: Contribution to journalArticle

Open Access
Pandemics
Human Influenza
Economics
Decision Support Techniques
Information Dissemination
15 Citations (Scopus)

Vaccination strategies for future influenza pandemics: A severity-based cost effectiveness analysis

Kelso, J., Halder, N. & Milne, G., 2013, In : BMC Infectious Diseases. 13, 1, p. Article number 81

Research output: Contribution to journalArticle

Open Access
Pandemics
Human Influenza
Cost-Benefit Analysis
Vaccination
Antiviral Agents
2011
27 Citations (Scopus)

Cost-Effective Strategies for Mitigating a Future Influenza Pandemic with H1N1 2009 Characteristics

Halder, N., Kelso, J. & Milne, G., 2011, In : PLoS One. 6, 7, p. 11pp

Research output: Contribution to journalArticle

Open Access
Pandemics
pandemic
influenza
Human Influenza
Costs and Cost Analysis
2010
54 Citations (Scopus)

Analysis of the effectiveness of interventions used during the 2009 A/H1N1 influenza pandemic

Halder, N., Kelso, J. & Milne, G., 2010, In : BMC Public Health. 10, p. -

Research output: Contribution to journalArticle

Open Access
45 Citations (Scopus)

Developing guidelines for school closure interventions to be used during a future influenza pandemic

Halder, N., Kelso, J. & Milne, G., 2010, In : BMC Infectious Diseases. 10, p. -

Research output: Contribution to journalArticle

Open Access
23 Citations (Scopus)

Strategies for mitigating an influenza pandemic with pre-pandemic H5N1 vaccines

Milne, G., Kelso, J. & Kelly, H., 2010, In : Journal of the Royal Society. Interface. 7, 45, p. 573-586

Research output: Contribution to journalArticle

Open Access
Vaccines
Pandemics
Human Influenza
Vaccination
Viruses
16 Citations (Scopus)
2009
81 Citations (Scopus)

Simulation suggests that rapid activation of social distancing can arrest epidemic development due to a novel strain of influenza

Kelso, J., Milne, G. & Kelly, H., 2009, In : BMC Public Health. 9, 117, p. 1-10

Research output: Contribution to journalArticle

Open Access
Pandemics
Human Influenza
Administrative Personnel
Workplace
Computer Simulation
2008
3 Citations (Scopus)
137 Downloads (Pure)

A mobility model for classical swine fever in feral pig populations

Milne, G., Fermanis, C. & Johnston, P., 2008, In : Veterinary Research. 39, 6, p. online - approx 5-20pp

Research output: Contribution to journalArticle

File
Classical Swine Fever
hog cholera
Swine
herds
dry season
90 Citations (Scopus)
157 Downloads (Pure)

A Small Community Model for the Transmission of Infectious Diseases: Comparison of School Closure as an Intervention in Individual-Based Models of an Influenza Pandemic

Milne, G., Kelso, J., Kelly, H., Huband, S. T. & Mcvernon, J., 2008, In : PLoS One. 3, 12, p. online - approx 5-20pp

Research output: Contribution to journalArticle

Open Access
File
Infectious Disease Transmission
Pandemics
pandemic
influenza
Human Influenza
32 Citations (Scopus)

Efficient simulation of wildfire spread on an irregular grid

Johnston, P., Kelso, J. & Milne, G., 2008, In : International Journal of Wildland Fire. 17, 5, p. 614-627

Research output: Contribution to journalArticle

wildfires
wildfire
simulation
fire spread
engines
2005
4 Citations (Scopus)

Programming Paradigms for Reconfigurable Computing

Milne, G. & Lee, G. E., 2005, In : Microprocessors and Microsystems. 29, 10, p. 435-450

Research output: Contribution to journalArticle

Computer hardware description languages
Computer programming
Semantics
3 Citations (Scopus)

Properties as Processes:their Specification & Verification

Kelso, J. & Milne, G., 2005, In : Lecture Notes in Computer Science. 3731, p. 503-517

Research output: Contribution to journalArticle

Algebra
Timing
Process Algebra
Specification
Specifications
5 Citations (Scopus)

Property Verification of Asynchronous Systems

Milne, G. & Cerone, A., 2005, In : Innovations in Systems & Software Engineering. 1, 1, p. 25-40

Research output: Contribution to journalArticle

2004
14 Citations (Scopus)

A Flexible Automata Model for Disease Simulation

Milne, G. & Fu, S. C., 2004, In : Lecture Notes in Computer Science. 3305, p. 642-649

Research output: Contribution to journalArticle

9 Citations (Scopus)

Modelling Wildfire Dynamics via Interacting Automata

Dunn, A. & Milne, G., 2004, In : Lecture Notes in Computer Science. 3305, p. 395-404

Research output: Contribution to journalArticle

2003
1 Citation (Scopus)

Building Run-Time Reconfigurable Systems from Tiles

Lee, G. E. & Milne, G., 2003, In : Lecture Notes in Computer Science. 2778, p. 252-261

Research output: Contribution to journalArticle

2001

Hardware Compiler Realising Cncurrent Processes in Reconfigurable Logic

Diessel, O. & Milne, G., 2001, In : IEE Proceedings - Computers and Digitl Techniques. 148, 4/5, p. 1350-2387

Research output: Contribution to journalArticle

9 Citations (Scopus)

Hardware compiler realising concurrent processes in reconfigurable logic

Diessel, O. & Milne, G., 1 Jul 2001, In : IEE Proceedings: Computers and Digital Techniques. 148, 4-5, p. 152-162 11 p.

Research output: Contribution to journalArticle

Concurrency
Compiler
Field programmable gate arrays (FPGA)
Concurrent
Hardware
1994
12 Citations (Scopus)

An exercise in the automatic verification of asynchronous designs

Bailey, A., Mccaskill, G. A. & Milne, G. J., 1 May 1994, In : Formal Methods in System Design. 4, 3, p. 213-242 30 p.

Research output: Contribution to journalArticle

Automatic Verification
Exercise
Circuit Design
Formal Verification
Demonstrations
1992
4 Citations (Scopus)

Design and verification of a highly concurrent machine

Barrie, P., Cockshott, P., Milne, G. J. & Shaw, P., 1 Jan 1992, In : Microprocessors and Microsystems. 16, 3, p. 115-123 9 p.

Research output: Contribution to journalArticle

Networks (circuits)
Computer architecture
Logic circuits
Digital circuits
Algebra
2 Citations (Scopus)

Scalable cellular array architecture

Cockshott, P., Shaw, P., Barrie, P. & Milne, G. J., 1 Jan 1992, In : Computing and Control Engineering Journal. 3, 5, p. 219-224 6 p.

Research output: Contribution to journalArticle

Cellular arrays
General purpose computers
Logic circuits
Digital circuits
Field programmable gate arrays (FPGA)
1991
17 Citations (Scopus)

The Formal Description and Verification of Hardware Timing

Milne, G. J., 1 Jan 1991, In : IEEE Transactions on Computers. 40, 7, p. 811-826 16 p.

Research output: Contribution to journalArticle

Timing
Hardware
Timing Analysis
Module
Concurrent Systems
1986
2 Citations (Scopus)

BEHAVIOURAL DESCRIPTION AND VLSI VERIFICATION.

Milne, G. J., 1 Jan 1986, In : IEE Proceedings I: Solid State and Electron Devices. 133, 3, p. 87-97 11 p.

Research output: Contribution to journalArticle

Computer hardware description languages
Specifications
Formal verification
1 Citation (Scopus)

BEHAVIOURAL DESCRIPTION AND VLSI VERIFICATION.

Milne, G. J., 1 Jan 1986, In : IEE Proceedings E: Computers and Digital Techniques. 133, 3, p. 127-137 11 p.

Research output: Contribution to journalArticle

Computer hardware description languages
Specifications
Formal verification
1985
84 Citations (Scopus)
Semantics
Communication
Hardware
Networks (circuits)
1983
18 Citations (Scopus)

Circal: A calculus for circuit description

Milne, G. J., 1 Jan 1983, In : Integration, the VLSI Journal. 1, 2-3, p. 121-160 40 p.

Research output: Contribution to journalArticle

Networks (circuits)
VLSI circuits
Chemical analysis
1979
94 Citations (Scopus)

Concurrent Processes and Their Syntax

Milne, G. & Milner, R., 1 Apr 1979, In : Journal of the ACM (JACM). 26, 2, p. 302-321 20 p.

Research output: Contribution to journalArticle

Algebra
Semantics
Communication