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

    6009 Perth

    Australia

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

Research Output 1979 2019

Filter
Conference paper
2019

Evaluating the effectiveness and economic benefit of fuel management in the wildland urban interface using wildfire simulation

Milne, G. & Florec, V., 2019, Proceedings of the 6th International Fire Behavior and Fuels Conference. Marseilles, France: International Association of Wildland Fire, 6 p.

Research output: Chapter in Book/Conference paperConference paper

Open Access

Population-wide effectiveness of enhanced vaccines in older adults

Milne, G., 17 Jan 2019, Proceedings of 2nd Incidence and Severity of Influenza Symposium. London

Research output: Chapter in Book/Conference paperConference paper

2017

High Performance Wildfire Prediction Technology use in Western Australia

Milne, G., Oct 2017, Initiative on extreme weather and climate: Proceedings of 2017 Conference on Fire Prediction across Scales. USA: Columbia University

Research output: Chapter in Book/Conference paperConference paper

Predicting Bushfire Spread in the Field via a Tablet Computer: Proceedings of the 14th International Wildland Fire Safety Summit, University of Barcelona

Milne, G., Jan 2017, International Association of Wildland Fire.

Research output: Chapter in Book/Conference paperConference paper

2016

Comparative modelling of dengue vaccine public health impact: Report to the World Health Organisation

Flasche, S., Jit, M., Rodríguez-Barraquer, I., Coudeville, L., Recker, M., Koelle, K., Hladish, T., Milne, G., Perkins, A., Dorigatti, I., Cummings, D., España, G., Kelso, J., Longini, I., Lourenco, J., Pearson, C., Reiner, R. C. & Ferguson, N., Mar 2016, World Health Organisation: Initiative for Vaccine Research. Geneva: World Health Organization

Research output: Chapter in Book/Conference paperConference paper

Mitigating the Burden of Influenza and HIV co-infection via Targeted Vaccination

Milne, G., Jan 2016, Proceedings of the International Symposium on Incidence, Severity and Impact of Influenza: International Society for Influenza and other Respiratory Diseases. Pasteur Institut

Research output: Chapter in Book/Conference paperConference paper

Modelling Infectious Diseases with application to Influenza and Dengue

Milne, G., Jul 2016, Proceedings of Australian Society for Microbiology Symposium. Australian Society for Microbiology

Research output: Chapter in Book/Conference paperConference paper

Trivalent versus Quadrivalent Influenza Vaccination: modelling to inform choices: Report to the World Health Organisation

Milne, G., Jan 2016, World Health Organisation : Initiative for Vaccine Research. Geneva: World Health Organization

Research output: Chapter in Book/Conference paperConference paper

2014

An individual-based simulation model for dengue transmission in Cairns

Milne, G., 2014, Mosquito Control Association of Australia 2014 Conference. Australia, Vol. -. p. -

Research output: Chapter in Book/Conference paperConference paper

Evaluating wildfire simulators using historical fire data.

Milne, G., Kelso, J., Mellor, D. & Murphy, M., 2014, Advances in Forest Fire Research. Portugal: Imprensa da Universidade de Coimbra, Vol. N/A. p. 1366-1375

Research output: Chapter in Book/Conference paperConference paper

2013

Economic analysis of bushfire management programs: a Western Australian perspective

Florec, V., Pannell, D., Burton, M., Kelso, J., Mellor, D. & Milne, G., 2013, Proceedings of Bushfire CRC & AFAC 2012 Conference Research Forum. Australia: Bushfire Cooperative Research Centre, p. 26-37

Research output: Chapter in Book/Conference paperConference paper

11 Downloads (Pure)

Economic analysis of prescribed burning for wildfire management in Western Australia

Florec, V., Pannell, D., Burton, M., Kelso, J., Mellor, D. & Milne, G., 2013, Proceedings of the Fourth International Symposium on Fire Economics, Planning, and Policy; Climate Change and Wildfires. California: USDA Forest Service, Research & Development, Vol. PSW-GTR-245. p. 98-110

Research output: Chapter in Book/Conference paperConference paper

The Australis Wildfire Simulator: its Development and Application

Milne, G., 2013, Wildfire 2013. online: Rural Development Initiatives, United Kingdom, Vol. n/a. p. n/a

Research output: Chapter in Book/Conference paperConference paper

2012

Cost-Effectiveness of Combining Social Distancing, Antiviral and Vaccination Interventions for Pandemic Influenza: A Modelling Study

Milne, G., Kelso, J. & Halder, N., 2012, 8th Australian Influenza Symposium. Melbourne, Australia: WHO Collaborating Centre for Reference and Research on Influenza, Vol. 1. p. p29

Research output: Chapter in Book/Conference paperConference paper

2011

Pandemic Severity Determines Cost‐Effectiveness of Interventions: Results from a Modelling and Economic Analysis

Milne, G., 2011, 7th Australian Influenza Symposium. Melbourne, Australia: WHO Collaborating Centre for Reference and Research on Influenza, Vol. 1. p. p38

Research output: Chapter in Book/Conference paperConference paper

2 Citations (Scopus)

Stochastic Individual-Based Modelling of Influenza Spread for the Assessment of Public Health Interventions

Milne, G. & Kelso, J., 2011, Proceedings of the 19th International Congress on Modelling and Simulation (MODSIM2011). Australia: Modelling and Simulation Society of Australia and New Zealand Inc., Vol. 1. p. 933-939

Research output: Chapter in Book/Conference paperConference paper

2010

Simulation Used to Generate Alerts within a Wildfire Early Warning System.

Milne, G., Kelso, J. & Mellor, D., 2010, VI International Conference on Forest Fire Research. Portugal, Full version of the text published in the Proceedings cd-rom distributed to participants at the Conference, Vol. H03. p. 2

Research output: Chapter in Book/Conference paperConference paper

2006

A heat transfer simulation model for wildfire spread

Milne, G., Johnston, P. & Kelso, J., 2006, Proceeding of V International Conference on Forest Fire Research. Portugal., Vol. 1. p. 15

Research output: Chapter in Book/Conference paperConference paper

1 Citation (Scopus)

Modelling Dynamically Changing Hardware Structure

Milne, G., 2006, NA. NA ed. www.elsevier.nl/locate/entcs: Aceto and Gordon, Vol. N/A. p. N/A

Research output: Chapter in Book/Conference paperConference paper

2003

Epidemic Modelling Using Cellular Automata

Fu, S. C. & Milne, G., 2003, The Australian Conference on Artificial Life ACAL 2003. Abbass, H. A. & Wiles, J. (eds.). Canberra, ACT, Australia ed. Canberra, ACT, Australia: UNSW Press, Vol. N/A. p. 43-57

Research output: Chapter in Book/Conference paperConference paper

54 Downloads (Pure)

Modelling Emergent Crowd Behaviour

Lightfoot, T. J. & Milne, G., 2003, Proceedings of the Australian Conference on Artificial Life ACAL 2003. Abbass, H. A. & Wiles, J. (eds.). Canberra, ACT, Australia ed. Canberra, ACT, Australia: UNSW Press, Vol. N/A. p. 159-169

Research output: Chapter in Book/Conference paperConference paper

Open Access
File
Cellular automata
Animation
2002
3 Citations (Scopus)

A methodology for design of run-time reconfigurable systems

Milne, G. & Lee, G. E., 2002, Proceedings 2002 IEEE International Conference on Field-Programmable Technology (FPT). Leong, P. & Luk, W. (eds.). Hong Kong ed. New Jersey: IEEE, Institute of Electrical and Electronics Engineers, Vol. 1. p. 60-67

Research output: Chapter in Book/Conference paperConference paper

2000
11 Citations (Scopus)

A methodology for the formal analysis of asynchronous micropipelines

Cerone, A. & Milne, G. J., 1 Jan 2000, Formal Methods in Computer-Aided Design - 3rd International Conference, FMCAD 2000, Proceedings. Hunt, W. A. & Johnson, S. D. (eds.). Springer-Verlag Berlin, p. 246-262 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1954).

Research output: Chapter in Book/Conference paperConference paper

Formal Analysis
Process Algebra
Algebra
Methodology
Correctness
5 Citations (Scopus)

Behavioural language compilation with virtual hardware management

Diessel, O. & Milne, G., 1 Jan 2000, Field-Programmable Logic and Applications: The Roadmap to Reconfigurable Computing - 10th International Conference, FPL 2000, Proceedings. Grunbacher, H. & Hartenstein, R. W. (eds.). Springer-Verlag Berlin, p. 707-717 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1896).

Research output: Chapter in Book/Conference paperConference paper

Compilation
Hardware
Specification languages
Networks (circuits)
Logic circuits
5 Citations (Scopus)

Compiling process algebraic descriptions into reconfigurable logic

Diessel, O. & Milne, G., 1 Dec 2000, Parallel and Distributed Processing - 15 IPDPS 2000 Workshops, Proceedings. p. 916-923 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1800 LNCS).

Research output: Chapter in Book/Conference paperConference paper

Concurrency
Logic
Hardware
High level languages
Computer hardware
7 Citations (Scopus)

Implementing kak neural networks on a reconfigurable computing platform

Zhu, J. & Milne, G., 1 Jan 2000, Field-Programmable Logic and Applications: The Roadmap to Reconfigurable Computing - 10th International Conference, FPL 2000, Proceedings. Grunbacher, H. & Hartenstein, R. W. (eds.). Springer-Verlag Berlin, p. 260-269 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1896).

Research output: Chapter in Book/Conference paperConference paper

Reconfigurable Computing
Neural Networks
Neural networks
Back Propagation
Supervised Learning
1999
6 Citations (Scopus)

A model for dynamic adaptation in reconfigurable hardware systems

Milne, G., 1 Jan 1999, Proceedings of the 1st NASA/DoD Workshop on Evolvable Hardware. Stoica, A., Keymeulen, D. & Lohn, J. (eds.). IEEE, Institute of Electrical and Electronics Engineers, p. 161-169 9 p. 785448

Research output: Chapter in Book/Conference paperConference paper

Reconfigurable hardware
Large scale systems
Hardware
24 Citations (Scopus)

Towards an FPGA based reconfigurable computing environment for neural network implementations

Zhu, J., Milne, G. J. & Gunther, B. K., 1 Dec 1999, IEE Conference Publication. 470 ed. Vol. 2. p. 661-666 6 p.

Research output: Chapter in Book/Conference paperConference paper

Field programmable gate arrays (FPGA)
Neural networks
Hardware
Parallel algorithms
Computer hardware
1998
6 Citations (Scopus)

Integrating the verification of timing, performance and correctness properties of concurrent systems

Cerone, A., Kearney, D. A. & Milne, G. J., 1 Jan 1998, Proceedings - 1998 International Conference on Application of Concurrency to System Design, ACSD 1998. IEEE, Institute of Electrical and Electronics Engineers, Vol. 1998-March. p. 109-119 11 p. 657544

Research output: Chapter in Book/Conference paperConference paper

Algebra
Hardware
1997
8 Citations (Scopus)

Modelling a time-dependent protocol using the Circal process algebra

Cerone, A., Cowie, A. J., Milne, G. J. & Moseley, P. A., 1 Jan 1997, Hybrid and Real-Time Systems - International Workshop, HART 1997, Proceedings. Maler, O. (ed.). Springer-Verlag Berlin, p. 124-138 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1201).

Research output: Chapter in Book/Conference paperConference paper

Process Algebra
Algebra
Mechanization
Network protocols
Concurrent Systems
5 Citations (Scopus)

Specification of timing constraints within the Circal process Algebra

Cerone, A. & Milne, G. J., 1 Jan 1997, Algebraic Methodology and Software Technology - 6th International Conference, AMAST 1997, Proceedings. Johnson, M. (ed.). Springer-Verlag Berlin, p. 108-122 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1349).

Research output: Chapter in Book/Conference paperConference paper

Process Algebra
Computer hardware
Algebra
Timing
Specification
1 Citation (Scopus)

The Circal system

Cerone, A., Cowie, A. J. & Milne, G. J., 1 Jan 1997, Algebraic Methodology and Software Technology - 6th International Conference, AMAST 1997, Proceedings. Johnson, M. (ed.). Springer-Verlag Berlin, p. 563-564 2 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1349).

Research output: Chapter in Book/Conference paperConference paper

1993
8 Citations (Scopus)

A highly parallel FPGA-based machine and its formal verification

Shaw, P. & Milne, G., 1 Jan 1993, Field-Programmable Gate Arrays: Architectures and Tools for Rapid Prototyping - 2nd International Workshop on Field-Programmable Logic and Applications, Selected Papers. Grunbacher, H. & Hartenstein, R. W. (eds.). Springer-Verlag Berlin, p. 162-173 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 705 LNCS).

Research output: Chapter in Book/Conference paperConference paper

Computer architecture
Formal Verification
Algebra
Field Programmable Gate Array
Field programmable gate arrays (FPGA)
13 Citations (Scopus)

Realising massively concurrent systems on the SPACE machine

Milne, G., Cockshott, P., McCaskill, G. & Barrie, P., 1 Jan 1993, Proceedings - IEEE Workshop on FPGAs for Custom Computing Machines, FCCM 1993. IEEE, Institute of Electrical and Electronics Engineers, p. 26-32 7 p. 279482

Research output: Chapter in Book/Conference paperConference paper

Concurrent Systems
Concurrency
Hardware
Parallel architectures
Cellular automata
1992
1 Citation (Scopus)

An automated proof technique for finite-state machine equivalence

Mao, W. & Milne, G. J., 1 Jan 1992, Computer Aided Verification - 3rd Intenational Workshop, CAV 1991, Proceedings. Larsen, K. G. & Skou, A. (eds.). Springer-Verlag Berlin, p. 233-243 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 575 LNCS).

Research output: Chapter in Book/Conference paperConference paper

Finite automata
State Machine
Equivalence
Concurrent
Process Algebra
1990
3 Citations (Scopus)

Design for verifiability

Milne, G. J., 1 Jan 1990, Hardware Specification, Verification and Synthesis: Mathematical Aspects - Mathematical Sciences Institute Workshop, Proceedings. Leeser, M. & Brown, G. (eds.). Springer-Verlag Berlin, p. 1-13 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 408 LNCS).

Research output: Chapter in Book/Conference paperConference paper

Descriptive Complexity
Formal Verification
Design for testability
Design Rules
Hardware Design
1985

Description and analysis using CIRCAL

Milne, G. J., 1 Jan 1985, The Analysis of Concurrent Systems - Proceeding. Harwood, W. T., Jackson, M. I., Denvir, B. T. & Wray, M. J. (eds.). Springer-Verlag Berlin, p. 293-313 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 207 LNCS).

Research output: Chapter in Book/Conference paperConference paper

Networks (circuits)
Model Analysis
Model
Software System
Calculus
5 Citations (Scopus)

SIMULATION AND VERIFICATION: RELATED TECHNIQUES FOR HARDWARE ANALYSIS.

Milne, G. J., 1 Dec 1985, Proceedings of the IFIP WG 10. 2 Seventh International Conference. Koomen, C-J. & Moto-Oka, T. (eds.). Japan: North-Holland, p. 404-417 14 p.

Research output: Chapter in Book/Conference paperConference paper

Hardware
Computer hardware description languages
Simulators
Fabrication
Networks (circuits)
1984
6 Citations (Scopus)

MODEL FOR HARDWARE DESCRIPTION AND VERIFICATION.

Milne, G. J., 1 Jan 1984, Proceedings - Design Automation Conference. Wiley-IEEE Press, p. 251-257 7 p.

Research output: Chapter in Book/Conference paperConference paper