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.
5783 Publications
2021 | Conference Paper | IST-REx-ID: 9646 | 
Wang J, Sun Y, Fu H, Chatterjee K, Goharshady AK. Quantitative analysis of assertion violations in probabilistic programs. In: Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation. Association for Computing Machinery; 2021:1171-1186. doi:10.1145/3453483.3454102
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 | Conference Paper | IST-REx-ID: 9645 |
Asadi A, Chatterjee K, Fu H, Goharshady AK, Mahdavi M. Polynomial reachability witnesses via Stellensätze. In: Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation. Association for Computing Machinery; 2021:772-787. doi:10.1145/3453483.3454076
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
2021 | Journal Article | IST-REx-ID: 9759 |
Bartlett MJ, Arslan FN, Bankston A, Sarabipour S. Ten simple rules to improve academic work- life balance. PLoS Computational Biology. 2021;17(7). doi:10.1371/journal.pcbi.1009124
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2021 | Journal Article | IST-REx-ID: 9822 |
Zisis T, Schwarz J, Balles M, et al. Sequential and switchable patterning for studying cellular processes under spatiotemporal control. ACS Applied Materials and Interfaces. 2021;13(30):35545–35560. doi:10.1021/acsami.1c09850
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2021 | Journal Article | IST-REx-ID: 9819 |
Mallikarjun BR, Tewari A, Dib A, et al. PhotoApp: Photorealistic appearance editing of head portraits. ACM Transactions on Graphics. 2021;40(4). doi:10.1145/3450626.3459765
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv