On the Logic of Cellular Reactive Systems. - Jun Wu 015; Chong-Jun Wang; Xiaosong Tu; Junyuan Xie (IAT, 2009)

Temporal Reasoning in Urban Growth Simulation. - Jun Wu 015; Chong-Jun Wang; Xiaosong Tu; Junyuan Xie; Lijie Pu (RSKT, 2009)