|
CMU Email
Selected Publications
- 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 [pdf]
- 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. [pdf]
- 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. [pdf]
- 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. [pdf]
- Haijun Gong, P. Zuliani, A. Komuravell, J. Faeder, E. Clarke (2010) Analysis and Verification of the HMGB1 Signaling Pathway
. BMC Bioinformatics, 11, suppl 7. Highly accessed
[Best
Paper Award]
- 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 . [pdf]
- 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 [pdf]
- 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 [pdf]
Click here for a complete list of publications.
Awards
-
Best Paper Award, International Conference on Bioinformatics (2010)
-
Honorable Mention Student Paper Award, International Conference on Information and Communication Technologies and Development (2009)
-
SB5.0 International Meeting on Synthetic Biology Travel Award (2011)
-
Systems Biology of Stem Cells Travel Award (2010)
Professional Services
-
Journals Reviewer:
Journal of Theoretical Biology; Journal of Chemical Physics; Biophysical Journal; Mathematical Biosciences; Computers in Biology and Medicine; Journal of Molecular
Modeling; Applied Physics Letters; Journal of Applied Physics; European Physical Journal; PLoS Computational Biology; International Journal of Biomathematics;
Computational & Mathematical Methods in Medicine; Bioinformatics and Biology Insights.
-
Conference Committee Member: International Conference on Computational and Systems Biology (ICCSB), China (2010, 2011)
|