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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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
 

Filters and Search Terms

oa=1

Search

Filter Publications