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.
9078 Publications
2020 | Research Data Reference | IST-REx-ID: 9777 | 
Maximizing crosstalk
R. Grah, T. Friedlander, (2020).
View
| Files available
| DOI
| Download None (ext.)
R. Grah, T. Friedlander, (2020).
2020 | Thesis | IST-REx-ID: 8332 |
Verifying concurrent programs: Refinement, synchronization, sequentialization
B. Kragl, Verifying Concurrent Programs: Refinement, Synchronization, Sequentialization, Institute of Science and Technology Austria, 2020.
[Published Version]
View
| Files available
| DOI
B. Kragl, Verifying Concurrent Programs: Refinement, Synchronization, Sequentialization, Institute of Science and Technology Austria, 2020.
2020 | Conference Paper | IST-REx-ID: 14326 |
Object-centric learning with slot attention
F. Locatello, D. Weissenborn, T. Unterthiner, A. Mahendran, G. Heigold, J. Uszkoreit, A. Dosovitskiy, T. Kipf, in:, Advances in Neural Information Processing Systems, Curran Associates, 2020, pp. 11525–11538.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
F. Locatello, D. Weissenborn, T. Unterthiner, A. Mahendran, G. Heigold, J. Uszkoreit, A. Dosovitskiy, T. Kipf, in:, Advances in Neural Information Processing Systems, Curran Associates, 2020, pp. 11525–11538.
2020 | Journal Article | IST-REx-ID: 71 |
Scaling limits of discrete optimal transport
P. Gladbach, E. Kopfer, J. Maas, SIAM Journal on Mathematical Analysis 52 (2020) 2759–2802.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
P. Gladbach, E. Kopfer, J. Maas, SIAM Journal on Mathematical Analysis 52 (2020) 2759–2802.
2020 | Journal Article | IST-REx-ID: 5681 |
Simulating liquids on dynamically warping grids
I. Hikaru, C. Wojtan, N. Thuerey, T. Igarashi, R. Ando, IEEE Transactions on Visualization and Computer Graphics 26 (2020) 2288–2302.
[Submitted Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
I. Hikaru, C. Wojtan, N. Thuerey, T. Igarashi, R. Ando, IEEE Transactions on Visualization and Computer Graphics 26 (2020) 2288–2302.
2020 | Thesis | IST-REx-ID: 8958 |
Rotation of coupled cold molecules in the presence of a many-body environment
X. Li, Rotation of Coupled Cold Molecules in the Presence of a Many-Body Environment, Institute of Science and Technology Austria, 2020.
[Published Version]
View
| Files available
| DOI
X. Li, Rotation of Coupled Cold Molecules in the Presence of a Many-Body Environment, Institute of Science and Technology Austria, 2020.
2020 | Thesis | IST-REx-ID: 8386 |
Structure-aware computational design and its application to 3D printable volume scattering, mechanism, and multistability
R. Zhang, Structure-Aware Computational Design and Its Application to 3D Printable Volume Scattering, Mechanism, and Multistability, Institute of Science and Technology Austria, 2020.
[Published Version]
View
| Files available
| DOI
R. Zhang, Structure-Aware Computational Design and Its Application to 3D Printable Volume Scattering, Mechanism, and Multistability, Institute of Science and Technology Austria, 2020.
2020 | Thesis | IST-REx-ID: 7996 |
Implementation of a hole spin qubit in Ge hut wires and dispersive spin sensing
J. Kukucka, Implementation of a Hole Spin Qubit in Ge Hut Wires and Dispersive Spin Sensing, Institute of Science and Technology Austria, 2020.
[Published Version]
View
| Files available
| DOI
J. Kukucka, Implementation of a Hole Spin Qubit in Ge Hut Wires and Dispersive Spin Sensing, Institute of Science and Technology Austria, 2020.
2020 | Conference Paper | IST-REx-ID: 8272 |
Stochastic games with lexicographic reachability-safety objectives
K. Chatterjee, J.P. Katoen, M. Weininger, T. Winkler, in:, International Conference on Computer Aided Verification, Springer Nature, 2020, pp. 398–420.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
K. Chatterjee, J.P. Katoen, M. Weininger, T. Winkler, in:, International Conference on Computer Aided Verification, Springer Nature, 2020, pp. 398–420.
2020 | Book Chapter | IST-REx-ID: 7572 |
Computational analysis of filament polymerization dynamics in cytoskeletal networks
P.R. Dos Santos Caldas, P. Radler, C.M. Sommer, M. Loose, in:, P. Tran (Ed.), Methods in Cell Biology, Elsevier, 2020, pp. 145–161.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
P.R. Dos Santos Caldas, P. Radler, C.M. Sommer, M. Loose, in:, P. Tran (Ed.), Methods in Cell Biology, Elsevier, 2020, pp. 145–161.