1. Rajeev Alur & David L. Dill (1994): A theory of timed automata. Theor. Comput. Sci. 126(2), pp. 183–235, doi:10.1016/0304-3975(94)90010-8.
  2. Fang Chen, Xueshan Han, Zhiyuan Pan & Li Han (2008): State Estimation Model and Algorithm Including PMU. In: Electric Utility Deregulation and Restructuring and Power Technologies, 2008. DRPT 2008. Third International Conference on, pp. 1097 –1102, doi:10.1109/DRPT.2008.4523571.
  3. Yousu Chen, Zhenyu Huang & D. Chavarria-Miranda (2010): Performance evaluation of counter-based dynamic load balancing schemes for massive contingency analysis with different computing environments. In: Power and Energy Society General Meeting, 2010 IEEE, pp. 1 –6, doi:10.1109/PES.2010.5589536.
  4. Costas Courcoubetis & Mihalis Yannakakis (1992): Minimum and maximum delay problems in real-time systems. Form. Methods Syst. Des. 1(4), pp. 385–415, doi:10.1007/BF00709157.
  5. Alexandre David, Kim G. Larsen, Axel Legay, Ulrik Nyman & Andrzej Wasowski (2010): Timed I/O automata: a complete specification theory for real-time systems. In: Proceedings of the 13th ACM international conference on Hybrid systems: computation and control, HSCC '10. ACM, New York, NY, USA, pp. 91–100, doi:10.1145/1755952.1755967.
  6. Khaled El-Fakih, Nina Yevtushenko, Sergey Buffalov & Gregor v. Bochmann (2006): Progressive solutions to a parallel automata equation. Theoretical Computer Science 362(1–3), pp. 17 – 32, doi:10.1016/j.tcs.2006.05.034. Available at
  7. G.C Fox, S.W Otto & A.J.G Hey (1987): Matrix algorithms on a hypercube I: Matrix multiplication. Parallel Computing 4(1), pp. 17 – 31, doi:10.1016/0167-8191(87)90060-3. Available at
  8. Wenzhong Gao & Shaobu Wang (2010): On-line dynamic state estimation of power systems. In: North American Power Symposium (NAPS), 2010, pp. 1 –6, doi:10.1109/NAPS.2010.5619951.
  9. I. Gorton, Zhenyu Huang, Yousu Chen, B. Kalahar, Shuangshuang Jin, D. Chavarria-Miranda, D. Baxter & J. Feo (2009): A High-Performance Hybrid Computing Approach to Massive Contingency Analysis in the Power Grid. In: e-Science, 2009. e-Science '09. Fifth IEEE International Conference on, pp. 277 –283, doi:10.1109/e-Science.2009.46.
  10. Zhenyu Huang, Yousu Chen & J. Nieplocha (2009): Massive contingency analysis with high performance computing. In: Power Energy Society General Meeting, 2009. PES '09. IEEE, pp. 1 –8, doi:10.1109/PES.2009.5275421.
  11. Peter Hui, Satish Chikkagoudar & Daniel Chavarría-Miranda (2011): Towards a Real-Time Cluster Computing Infrastructure. IEEE Real-Time Systems Symposium (Work-in-Progress Session). Available at
  12. Peter Hui, Barry Lee & Satish Chikkagoudar (2012): Towards Real-Time High Performance Computing for Power Grid Analysis. In: Proceedings of the Second International Workshop on High Performance Computing, Networking and Analytics for the Power Grid, HiPCNA-PG '12. IEEE, Washington, DC, USA. To appear.
  13. M.J. Koop, T. Jones & D.K. Panda (2008): MVAPICH-Aptus: Scalable high-performance multi-transport MPI over InfiniBand. In: Parallel and Distributed Processing, 2008. IPDPS 2008. IEEE International Symposium on, pp. 1 –12, doi:10.1109/IPDPS.2008.4536283.
  14. P. David Stotts & William Pugh (1994): Parallel finite automata for modeling concurrent software systems. J. Syst. Softw. 27(1), pp. 27–43, doi:10.1016/0164-1212(94)90112-0.
  15. CORPORATE The MPI Forum (1993): MPI: a message passing interface. In: Proceedings of the 1993 ACM/IEEE conference on Supercomputing, Supercomputing '93. ACM, New York, NY, USA, pp. 878–883, doi:10.1145/169627.169855.

Comments and questions to:
For website issues: