Author of the publication

Formal Modeling and Analysis of Pancreatic Cancer Microenvironment.

, , , , , and . CMSB, volume 9859 of Lecture Notes in Computer Science, page 289-305. Springer, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Symbolic Model Checking of Signaling Pathways in Pancreatic Cancer., , , , and . BICoB, page 245-. ISCA, (2011)Graphical rule-based representation of signal-transduction networks., , and . SAC, page 133-140. ACM, (2005)Combination treatment optimization using a pan-cancer pathway model., , , , , and . PLoS Comput. Biol., (2021)Compartmental Rule-based Modeling of Biochemical Systems., , and . WSC, page 908-919. IEEE, (2009)Regulatory network analysis acceleration with reconfigurable hardware., , , , , , and . EMBC, page 149-152. IEEE, (2011)Statistical Model Checking in BioLab: Applications to the Automated Analysis of T-Cell Receptor Signaling Pathway., , , , , and . CMSB, volume 5307 of Lecture Notes in Computer Science, page 231-250. Springer, (2008)Toward a comprehensive language for biological systems. BMC Biology, 9 (1): 68+ (Oct 17, 2011)BioNetGen 2.2: advances in rule-based modeling., , , , , , , , , and . Bioinform., 32 (21): 3366-3368 (2016)Carbon-fate maps for metabolic reactions., , , , , and . Bioinform., 23 (23): 3193-3199 (2007)Unbiased Rare Event Sampling in Spatial Stochastic Systems Biology Models Using a Weighted Ensemble of Trajectories., , , , , , and . PLoS Comput. Biol., (2016)