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

Search

Filter Publications