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