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.
9126 Publications
2017 | Journal Article | IST-REx-ID: 10418 |
Mciver, A., Morgan, C., Kaminski, B. L., & Katoen, J. P. (2017). A new proof rule for almost-sure termination. Proceedings of the ACM on Programming Languages. Los Angeles, CA, United States: Association for Computing Machinery. https://doi.org/10.1145/3158121
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2017 | Thesis | IST-REx-ID: 10663 |
Polshyn, H. (2017). Magnetic force microscopy studies of mesoscopic superconducting structures. University of Illinois at Urbana-Champaign.
[Published Version]
View
| Download Published Version (ext.)
2017 | Conference Paper | IST-REx-ID: 10745 |
Polshyn, H., Naibert, T., & Budakian, R. (2017). Probing and controlling fluxoid states in multiply-connected mesoscopic superconducting structures. In APS March Meeting 2017 (Vol. 62). New Orleans, LA, United States: American Physical Society.
[Published Version]
View
| Download Published Version (ext.)
2017 | Book Chapter | IST-REx-ID: 1075 |
Wenzl, B. (2017). An American in Allied-occupied Austria: John Dos Passos Reports on "The Vienna Frontier" In J. Parker & R. Poole (Eds.), Austria and America: 20th-Century Cross-Cultural Encounters (Vol. 15, pp. 73–80). LIT Verlag Berlin-Münster-Wien-Zürich-London.
View
| Files available
2017 | Journal Article | IST-REx-ID: 11066 |
Franks, T. M., McCloskey, A., Shokhirev, M. N., Benner, C., Rathore, A., & Hetzer, M. (2017). Nup98 recruits the Wdr82–Set1A/COMPASS complex to promoters to regulate H3K4 trimethylation in hematopoietic progenitor cells. Genes & Development. Cold Spring Harbor Laboratory. https://doi.org/10.1101/gad.306753.117
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC