Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
5750 Publications
2016 | Conference Paper | IST-REx-ID: 1437 | 
Chatterjee, Krishnendu, et al. Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components. Vol. 20–22, ACM, 2016, pp. 733–47, doi:10.1145/2837614.2837624.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Conference Paper | IST-REx-ID: 1386 |
Chatterjee, Krishnendu, et al. Termination Analysis of Probabilistic Programs through Positivstellensatz’s. Vol. 9779, Springer, 2016, pp. 3–22, doi:10.1007/978-3-319-41528-4_1.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2015 | Conference Paper | IST-REx-ID: 10748 |
Polshyn, Hryhoriy, et al. “Study of Fe (Se, Te) Micron-Sized Rings by Magnetic Force Microscopy.” APS March Meeting 2015, vol. 60, no. 1, G16.00009, American Physical Society, 2015.
[Published Version]
View
| Download Published Version (ext.)
2015 | Journal Article | IST-REx-ID: 10794 |
Parise, Francesca, et al. “Bayesian Inference for Stochastic Individual-Based Models of Ecological Systems: A Pest Control Simulation Study.” Frontiers in Environmental Science, vol. 3, 42, Frontiers, 2015, doi:10.3389/fenvs.2015.00042.
[Published Version]
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 11079 |
Mertens, Jerome, et al. “Directly Reprogrammed Human Neurons Retain Aging-Associated Transcriptomic Signatures and Reveal Age-Related Nucleocytoplasmic Defects.” Cell Stem Cell, vol. 17, no. 6, Elsevier, 2015, pp. 705–18, doi:10.1016/j.stem.2015.09.001.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC