7 Publications

Mark all

[7]
2012 | Journal Article | IST-REx-ID: 2302
Henzinger, T. A., & Mateescu, M. (2012). The propagation approach for computing biochemical reaction networks. IEEE ACM Transactions on Computational Biology and Bioinformatics. IEEE. https://doi.org/10.1109/TCBB.2012.91
View | DOI | PubMed | Europe PMC
 
[6]
2012 | Conference Paper | IST-REx-ID: 3136
Guet, C. C., Gupta, A., Henzinger, T. A., Mateescu, M., & Sezgin, A. (2012). Delayed continuous time Markov chains for genetic regulatory circuits (Vol. 7358, pp. 294–309). Presented at the CAV: Computer Aided Verification, Berkeley, CA, USA: Springer. https://doi.org/10.1007/978-3-642-31424-7_24
View | DOI
 
[5]
2010 | Journal Article | IST-REx-ID: 3834 | OA
Wolf, V., Goel, R., Mateescu, M., & Henzinger, T. A. (2010). Solving the chemical master equation using sliding windows. BMC Systems Biology. BioMed Central. https://doi.org/10.1186/1752-0509-4-42
View | Files available | DOI
 
[4]
2009 | Conference Paper | IST-REx-ID: 3843 | OA
Didier, F., Henzinger, T. A., Mateescu, M., & Wolf, V. (2009). Fast adaptive uniformization of the chemical master equation (Vol. 4, pp. 118–127). Presented at the HIBI: High-Performance Computational Systems Biology, Trento, Italy: IEEE. https://doi.org/10.1109/HiBi.2009.23
View | Files available | DOI
 
[3]
2009 | Conference Paper | IST-REx-ID: 4453 | OA
Henzinger, T. A., Mateescu, M., & Wolf, V. (2009). Sliding-window abstraction for infinite Markov chains (Vol. 5643, pp. 337–352). Presented at the CAV: Computer Aided Verification, Springer. https://doi.org/10.1007/978-3-642-02658-4_27
View | Files available | DOI | Download (ext.)
 
[2]
2009 | Conference Paper | IST-REx-ID: 4535
Didier, F., Henzinger, T. A., Mateescu, M., & Wolf, V. (2009). Approximation of event probabilities in noisy cellular processes (Vol. 5688, pp. 173–188). Presented at the CMSB: Computational Methods in Systems Biology, Springer. https://doi.org/10.1007/978-3-642-03845-7_12
View | Files available | DOI
 
[1]
2008 | Conference Paper | IST-REx-ID: 4527
Fisher, J., Henzinger, T. A., Mateescu, M., & Piterman, N. (2008). Bounded asynchrony: Concurrency for modeling cell-cell interactions (Vol. 5054, pp. 17–32). Presented at the FMSB: Formal Methods in Systems Biology, Springer. https://doi.org/10.1007/978-3-540-68413-8_2
View | DOI | Download (ext.)
 

Search

Filter Publications

7 Publications

Mark all

[7]
2012 | Journal Article | IST-REx-ID: 2302
Henzinger, T. A., & Mateescu, M. (2012). The propagation approach for computing biochemical reaction networks. IEEE ACM Transactions on Computational Biology and Bioinformatics. IEEE. https://doi.org/10.1109/TCBB.2012.91
View | DOI | PubMed | Europe PMC
 
[6]
2012 | Conference Paper | IST-REx-ID: 3136
Guet, C. C., Gupta, A., Henzinger, T. A., Mateescu, M., & Sezgin, A. (2012). Delayed continuous time Markov chains for genetic regulatory circuits (Vol. 7358, pp. 294–309). Presented at the CAV: Computer Aided Verification, Berkeley, CA, USA: Springer. https://doi.org/10.1007/978-3-642-31424-7_24
View | DOI
 
[5]
2010 | Journal Article | IST-REx-ID: 3834 | OA
Wolf, V., Goel, R., Mateescu, M., & Henzinger, T. A. (2010). Solving the chemical master equation using sliding windows. BMC Systems Biology. BioMed Central. https://doi.org/10.1186/1752-0509-4-42
View | Files available | DOI
 
[4]
2009 | Conference Paper | IST-REx-ID: 3843 | OA
Didier, F., Henzinger, T. A., Mateescu, M., & Wolf, V. (2009). Fast adaptive uniformization of the chemical master equation (Vol. 4, pp. 118–127). Presented at the HIBI: High-Performance Computational Systems Biology, Trento, Italy: IEEE. https://doi.org/10.1109/HiBi.2009.23
View | Files available | DOI
 
[3]
2009 | Conference Paper | IST-REx-ID: 4453 | OA
Henzinger, T. A., Mateescu, M., & Wolf, V. (2009). Sliding-window abstraction for infinite Markov chains (Vol. 5643, pp. 337–352). Presented at the CAV: Computer Aided Verification, Springer. https://doi.org/10.1007/978-3-642-02658-4_27
View | Files available | DOI | Download (ext.)
 
[2]
2009 | Conference Paper | IST-REx-ID: 4535
Didier, F., Henzinger, T. A., Mateescu, M., & Wolf, V. (2009). Approximation of event probabilities in noisy cellular processes (Vol. 5688, pp. 173–188). Presented at the CMSB: Computational Methods in Systems Biology, Springer. https://doi.org/10.1007/978-3-642-03845-7_12
View | Files available | DOI
 
[1]
2008 | Conference Paper | IST-REx-ID: 4527
Fisher, J., Henzinger, T. A., Mateescu, M., & Piterman, N. (2008). Bounded asynchrony: Concurrency for modeling cell-cell interactions (Vol. 5054, pp. 17–32). Presented at the FMSB: Formal Methods in Systems Biology, Springer. https://doi.org/10.1007/978-3-540-68413-8_2
View | DOI | Download (ext.)
 

Search

Filter Publications