Nilimesh Halder

Modeling and Formal Verification of Communication Protocols for Remote Procedure Call

Ju Bin Song, Nilimesh Halder, T. Islam, 2007 .

A spatial simulation model for dengue virus infection in urban areas

Stephan Karl, Nilimesh Halder, Joel K Kelso, 2014, BMC Infectious Diseases.

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

George J. Milne, Nilimesh Halder, G. Milne, 2011, PloS one.

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

Nilimesh Halder, Joel K Kelso, G. Milne, 2010, BMC public health.

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

Nilimesh Halder, Joel K Kelso, G. Milne, 2010, BMC infectious diseases.

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

Nilimesh Halder, Joel K Kelso, Maarten J Postma, 2013, BMC Public Health.