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.
646 Publications
2020 |Published| Thesis | IST-REx-ID: 8332 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Kragl, Bernhard. Verifying Concurrent Programs: Refinement, Synchronization, Sequentialization. Institute of Science and Technology Austria, 2020, doi:10.15479/AT:ISTA:8332.
[Published Version]
View
| Files available
| DOI
2020 |Published| Conference Paper | IST-REx-ID: 14326 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Locatello, Francesco, et al. “Object-Centric Learning with Slot Attention.” Advances in Neural Information Processing Systems, vol. 33, Curran Associates, 2020, pp. 11525–38.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2020 |Published| Journal Article | IST-REx-ID: 71 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Gladbach, Peter, et al. “Scaling Limits of Discrete Optimal Transport.” SIAM Journal on Mathematical Analysis, vol. 52, no. 3, Society for Industrial and Applied Mathematics, 2020, pp. 2759–802, doi:10.1137/19M1243440.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 |Published| Journal Article | IST-REx-ID: 5681 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Hikaru, Ibayashi, et al. “Simulating Liquids on Dynamically Warping Grids.” IEEE Transactions on Visualization and Computer Graphics, vol. 26, no. 6, IEEE, 2020, pp. 2288–302, doi:10.1109/TVCG.2018.2883628.
[Submitted Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2020 |Published| Thesis | IST-REx-ID: 8958 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Li, Xiang. Rotation of Coupled Cold Molecules in the Presence of a Many-Body Environment. Institute of Science and Technology Austria, 2020, doi:10.15479/AT:ISTA:8958.
[Published Version]
View
| Files available
| DOI
2020 |Published| Thesis | IST-REx-ID: 8386 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Zhang, Ran. Structure-Aware Computational Design and Its Application to 3D Printable Volume Scattering, Mechanism, and Multistability. Institute of Science and Technology Austria, 2020, doi:10.15479/AT:ISTA:8386.
[Published Version]
View
| Files available
| DOI
2020 |Published| Thesis | IST-REx-ID: 7996 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Kukucka, Josip. Implementation of a Hole Spin Qubit in Ge Hut Wires and Dispersive Spin Sensing. Institute of Science and Technology Austria, 2020, doi:10.15479/AT:ISTA:7996.
[Published Version]
View
| Files available
| DOI
2020 |Published| Conference Paper | IST-REx-ID: 8272 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chatterjee, Krishnendu, et al. “Stochastic Games with Lexicographic Reachability-Safety Objectives.” International Conference on Computer Aided Verification, vol. 12225, Springer Nature, 2020, pp. 398–420, doi:10.1007/978-3-030-53291-8_21.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2020 |Published| Book Chapter | IST-REx-ID: 7572 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Dos Santos Caldas, Paulo R., et al. “Computational Analysis of Filament Polymerization Dynamics in Cytoskeletal Networks.” Methods in Cell Biology, edited by Phong Tran, vol. 158, Elsevier, 2020, pp. 145–61, doi:10.1016/bs.mcb.2020.01.006.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
2020 |Published| Journal Article | IST-REx-ID: 7387 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Baranova, Natalia S., et al. “Diffusion and Capture Permits Dynamic Coupling between Treadmilling FtsZ Filaments and Cell Division Proteins.” Nature Microbiology, vol. 5, Springer Nature, 2020, pp. 407–17, doi:10.1038/s41564-019-0657-5.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| WoS
| PubMed | Europe PMC
2020 |Published| Journal Article | IST-REx-ID: 8163 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Vegter, Gert, and Mathijs Wintraecken. “Refutation of a Claim Made by Fejes Tóth on the Accuracy of Surface Meshes.” Studia Scientiarum Mathematicarum Hungarica, vol. 57, no. 2, Akadémiai Kiadó, 2020, pp. 193–99, doi:10.1556/012.2020.57.2.1454.
[Published Version]
View
| Files available
| DOI
| WoS
2020 |Published| Journal Article | IST-REx-ID: 8671 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Shakiba, A., et al. “A Note on Belief Structures and S-Approximation Spaces.” Iranian Journal of Mathematical Sciences and Informatics, vol. 15, no. 2, Iranian Academic Center for Education, Culture and Research, 2020, pp. 117–28, doi:10.29252/ijmsi.15.2.117.
[Submitted Version]
View
| Files available
| DOI
| arXiv
2020 |Published| Journal Article | IST-REx-ID: 6359 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Dareiotis, Konstantinos, and Mate Gerencser. “On the Regularisation of the Noise for the Euler-Maruyama Scheme with Irregular Drift.” Electronic Journal of Probability, vol. 25, 82, Institute of Mathematical Statistics, 2020, doi:10.1214/20-EJP479.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2020 |Published| Thesis | IST-REx-ID: 8390 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Royer, Amélie. Leveraging Structure in Computer Vision Tasks for Flexible Deep Learning Models. Institute of Science and Technology Austria, 2020, doi:10.15479/AT:ISTA:8390.
[Published Version]
View
| Files available
| DOI
2020 |Published| Conference Paper | IST-REx-ID: 8186 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Henderson, Paul M., et al. “Leveraging 2D Data to Learn Textured 3D Mesh Generation.” Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, IEEE, 2020, pp. 7498–507, doi:10.1109/CVPR42600.2020.00752.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| arXiv
2020 |Published| Journal Article | IST-REx-ID: 7416 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Sinclair, Scott A., and U. Krämer. “Generation of Effective Zinc-Deficient Agar-Solidified Media Allows Identification of Root Morphology Changes in Response to Zinc Limitation.” Plant Signaling & Behavior, vol. 15, no. 1, 1687175, Taylor & Francis, 2020, doi:10.1080/15592324.2019.1687175.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| PubMed | Europe PMC
2020 |Published| Journal Article | IST-REx-ID: 9196
Hensel, Sebastian, and Tommaso Rosati. “Modelled Distributions of Triebel–Lizorkin Type.” Studia Mathematica, vol. 252, no. 3, Instytut Matematyczny, 2020, pp. 251–97, doi:10.4064/sm180411-11-2.
[Preprint]
View
| DOI
| WoS
| arXiv
2020 |Published| Journal Article | IST-REx-ID: 7464 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Dick, Robert A., et al. “Structures of Immature EIAV Gag Lattices Reveal a Conserved Role for IP6 in Lentivirus Assembly.” PLOS Pathogens, vol. 16, no. 1, e1008277, Public Library of Science, 2020, doi:10.1371/journal.ppat.1008277.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2020 |Published| Journal Article | IST-REx-ID: 7212 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Tkadlec, Josef, et al. “Limits on Amplifiers of Natural Selection under Death-Birth Updating.” PLoS Computational Biology, vol. 16, e1007494, Public Library of Science, 2020, doi:10.1371/journal.pcbi.1007494.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2020 |Published| Thesis | IST-REx-ID: 7196 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Tkadlec, Josef. A Role of Graphs in Evolutionary Processes. Institute of Science and Technology Austria, 2020, doi:10.15479/AT:ISTA:7196.
[Published Version]
View
| Files available
| DOI