1. DTMC model checking by SCC reduction;Abrahám,2010
2. Ahmed, N., Hadaller, D. Keshav, S. (2006). Incremental maintenance of global aggregates. Technical report CS-2006-19.
3. A new random walk model for PCS networks;Akyildiz;IEEE Journal on Selected Areas in Communications,2000
4. Plan execution monitoring with distributed intelligent agents for battle command;Allen,2004
5. Efficient and robust query processing in dynamic environments using random walk techniques;Avin,2004