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.
4959 Publications
2020 | Research Data Reference | IST-REx-ID: 9777 |
Grah R, Friedlander T. 2020. Maximizing crosstalk, Public Library of Science, 10.1371/journal.pcbi.1007642.s002.
View
| Files available
| DOI
| Download None (ext.)
2020 | Thesis | IST-REx-ID: 8332 |
Kragl B. 2020. Verifying concurrent programs: Refinement, synchronization, sequentialization. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2020 | Journal Article | IST-REx-ID: 71 |
Gladbach P, Kopfer E, Maas J. 2020. Scaling limits of discrete optimal transport. SIAM Journal on Mathematical Analysis. 52(3), 2759–2802.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 | Journal Article | IST-REx-ID: 5681 |
Hikaru I, Wojtan C, Thuerey N, Igarashi T, Ando R. 2020. Simulating liquids on dynamically warping grids. IEEE Transactions on Visualization and Computer Graphics. 26(6), 2288–2302.
[Submitted Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2020 | Thesis | IST-REx-ID: 8958 |
Li X. 2020. Rotation of coupled cold molecules in the presence of a many-body environment. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI