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.
5767 Publications
2021 | Conference Paper | IST-REx-ID: 9646 | 
J. Wang, Y. Sun, H. Fu, K. Chatterjee, and A. K. Goharshady, “Quantitative analysis of assertion violations in probabilistic programs,” in Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Online, 2021, pp. 1171–1186.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 | Conference Paper | IST-REx-ID: 9645 |
A. Asadi, K. Chatterjee, H. Fu, A. K. Goharshady, and M. Mahdavi, “Polynomial reachability witnesses via Stellensätze,” in Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Online, 2021, pp. 772–787.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
2021 | Journal Article | IST-REx-ID: 9759 |
M. J. Bartlett, F. N. Arslan, A. Bankston, and S. Sarabipour, “Ten simple rules to improve academic work- life balance,” PLoS Computational Biology, vol. 17, no. 7. Public Library of Science, 2021.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2021 | Journal Article | IST-REx-ID: 9822 |
T. Zisis et al., “Sequential and switchable patterning for studying cellular processes under spatiotemporal control,” ACS Applied Materials and Interfaces, vol. 13, no. 30. American Chemical Society, pp. 35545–35560, 2021.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2021 | Journal Article | IST-REx-ID: 9819 |
B. R. Mallikarjun et al., “PhotoApp: Photorealistic appearance editing of head portraits,” ACM Transactions on Graphics, vol. 40, no. 4. Association for Computing Machinery, 2021.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv