Publications of Haijun Gong Bioinformatics Papers T. T. Wu, Haijun Gong, and E. Clarke (2011) A Transcriptome Analysis by Lasso Penalized Cox Regression for Pancreatic Cancer Survival. Journal of Bioinformatics and Computational Biology, Volume 9, Suppl. 1 Haijun Gong, P. Zuliani, Q. Wang, E. M. Clarke (2011) Formal Analysis for Logical Models of Pancreatic Cancer. 50th IEEE Conference on Decision and Control and European Control Conference. Haijun Gong, P. Zuliani, E. M. Clarke (2011) Model Checking of a Diabetes-Cancer Model. International symposium on computational models for life sciences, AIP Conf. Proc. 1371. Haijun Gong,Q. Wang, P. Zuliani, J. Faeder, M. Lotze, E. M. Clarke (2011) Symbolic Model Checking of Signaling Pathways in Pancreatic Cancer. ISCA 3rd International Conference on Bioinformatics and Computational Biology. Haijun Gong, P. Zuliani, A. Komuravell, J. Faeder, E. Clarke (2010) Analysis and Verification of the HMGB1 Signaling Pathway . BMC Bioinformatics, 11, suppl 7. Haijun Gong, P. Zuliani, A. Komuravell, J. Faeder, E. Clarke (2010) Computational Modeling and Verification of Signaling Pathways in Cancer . Algebraic and Numeric Biology (2010), Lecture Notes in Computer Science, 6479 . Haijun Gong, Y. Guo, A. Linstedt, R. Schwartz (2010) Discrete, Continuous and Stochastic Models of Protein Sorting in the Golgi. Physical Review E, Volume 81 Haijun Gong, D. Sengupta, A. Linstedt, R. Schwartz (2008) Simulated de novo Assembly of Golgi Compartments by Selective Cargo Capture During Vesicle Budding and Targeted Vesicle Fusion. Biophysical Journal, Volume 95 Statistics and Physics Papers G. Ayorkor Korsah, J. Mostow, MB Dias, TM Sweet, S. Belousov, MF Dias, Haijun Gong (2010) Improving Child Literacy in Africa: Experiments with an Automated Reading Tutor. Information Technologies and International Development G. Ayorkor Mills-Tettey, J. Mostow, MB Dias, TM Sweet, S. Belousov, MF Dias, Haijun Gong (2009) Improving Child Literacy in Africa: Experiments with an Automated Reading Tutor. International Conference on Information and Communication Technologies & Development Haijun Gong, J. Sun, D. Du (2002) Analysis of Ds -> Phi Pi Beyond Naive Factorization. High Energy Physics and Nuclear Physics, Vol 26 D. Du, Haijun Gong, J. Sun, D. Yang, G. Zhu (2002) Phenomenological Analysis of Charmless Decays B -> PV with QCD Factorization. Physical Review D, Volume 65, 9 D. Du, Haijun Gong, J. Sun, D. Yang, G. Zhu (2002) Phenomenological Analysis of B -> PP Decays with QCD Factorization. Physical Review D, Volume 65, 7