Lin Zhang

Decision-Theoretic Military Operations Planning

Lin Zhang, Sylvie Thiébaux, Douglas Aberdeen, 2004, ICAPS.

Modelling defence logistics networks

Jonathan Billington, Lin Zhang, Guy Edward Gallasch, 2007, International Journal on Software Tools for Technology Transfer.

Model-based development of a course of action scheduling tool

Lars Michael Kristensen, Lin Zhang, Guy Edward Gallasch, 2007, International Journal on Software Tools for Technology Transfer.

Formal specification and state space analysis of an operational planning process

Lars Michael Kristensen, Lin Zhang, Brice Mitchell, 2007, International Journal on Software Tools for Technology Transfer.

Formal Specification and State Space Analysis of an Operational Planning Process Executive Summary

Lin Zhang, L. Kristensen, B. Mitchell, 2005 .

Decision-Theoretic Military Operations Planning

S. Thiébaux, Lin Zhang, Douglas Aberdeen, 2004, International Conference on Automated Planning and Scheduling.

A coloured petri net based tool for course of action development and analysis

Jonathan Billington, Lars Michael Kristensen, Lin Zhang, 2002, FME 2002.