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, Amir Kafshdar Goharshady, Rasmus Ibsen-Jensen, and Andreas Pavlogiannis. “Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components,” 20–22:733–47. ACM, 2016. https://doi.org/10.1145/2837614.2837624.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Conference Paper | IST-REx-ID: 1386 |
Chatterjee, Krishnendu, Hongfei Fu, and Amir Kafshdar Goharshady. “Termination Analysis of Probabilistic Programs through Positivstellensatz’s,” 9779:3–22. Springer, 2016. https://doi.org/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, Can Zhang, Tyler Naibert, James Eckstein, and Raffi Budakian. “Study of Fe (Se, Te) Micron-Sized Rings by Magnetic Force Microscopy.” In APS March Meeting 2015, Vol. 60. American Physical Society, 2015.
[Published Version]
View
| Download Published Version (ext.)
2015 | Journal Article | IST-REx-ID: 10794 |
Parise, Francesca, John Lygeros, and Jakob Ruess. “Bayesian Inference for Stochastic Individual-Based Models of Ecological Systems: A Pest Control Simulation Study.” Frontiers in Environmental Science. Frontiers, 2015. https://doi.org/10.3389/fenvs.2015.00042.
[Published Version]
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 11079 |
Mertens, Jerome, Apuã C.M. Paquola, Manching Ku, Emily Hatch, Lena Böhnke, Shauheen Ladjevardi, Sean McGrath, et al. “Directly Reprogrammed Human Neurons Retain Aging-Associated Transcriptomic Signatures and Reveal Age-Related Nucleocytoplasmic Defects.” Cell Stem Cell. Elsevier, 2015. https://doi.org/10.1016/j.stem.2015.09.001.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC