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.
1625 Publications
2020 |Published| Thesis | IST-REx-ID: 8574 | 
Szep, Eniko. Local Adaptation in Metapopulations. Institute of Science and Technology Austria, 2020, doi:10.15479/AT:ISTA:8574.
[Published Version]
View
| Files available
| DOI
2020 |Published| Thesis | IST-REx-ID: 8589 |
Han, Huibin. Novel Insights into PIN Polarity Regulation during Arabidopsis Development. Institute of Science and Technology Austria, 2020, doi:10.15479/AT:ISTA:8589.
[Published Version]
View
| Files available
| DOI
2020 |Published| Book Chapter | IST-REx-ID: 8092 |
Royer, Amélie, et al. “XGAN: Unsupervised Image-to-Image Translation for Many-to-Many Mappings.” Domain Adaptation for Visual Understanding, edited by Richa Singh et al., Springer Nature, 2020, pp. 33–49, doi:10.1007/978-3-030-30671-7_3.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2020 |Published| Thesis | IST-REx-ID: 7944 |
Masárová, Zuzana. Reconfiguration Problems. Institute of Science and Technology Austria, 2020, doi:10.15479/AT:ISTA:7944.
[Published Version]
View
| Files available
| DOI
2020 |Published| Thesis | IST-REx-ID: 8032 |
Huszár, Kristóf. Combinatorial Width Parameters for 3-Dimensional Manifolds. Institute of Science and Technology Austria, 2020, doi:10.15479/AT:ISTA:8032.
[Published Version]
View
| Files available
| DOI
2020 |Published| Conference Paper | IST-REx-ID: 8195 |
Kragl, Bernhard, et al. “Refinement for Structured Concurrent Programs.” Computer Aided Verification, vol. 12224, Springer Nature, 2020, pp. 275–98, doi:10.1007/978-3-030-53288-8_14.
[Published Version]
View
| Files available
| DOI
| WoS
2020 |Published| Thesis | IST-REx-ID: 8358 |
Dos Santos Caldas, Paulo R. Organization and Dynamics of Treadmilling Filaments in Cytoskeletal Networks of FtsZ and Its Crosslinkers. Institute of Science and Technology Austria, 2020, doi:10.15479/AT:ISTA:8358.
[Published Version]
View
| Files available
| DOI
2020 |Published| Journal Article | IST-REx-ID: 8705 |
Mysliwy, Krzysztof, and Robert Seiringer. “Microscopic Derivation of the Fröhlich Hamiltonian for the Bose Polaron in the Mean-Field Limit.” Annales Henri Poincare, vol. 21, no. 12, Springer Nature, 2020, pp. 4003–25, doi:10.1007/s00023-020-00969-3.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2020 |Published| Conference Paper | IST-REx-ID: 8272 |
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| Journal Article | IST-REx-ID: 8163 |
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| Thesis | IST-REx-ID: 8390 |
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| Journal Article | IST-REx-ID: 9157 |
Akopyan, Arseniy, and Herbert Edelsbrunner. “The Weighted Mean Curvature Derivative of a Space-Filling Diagram.” Computational and Mathematical Biophysics, vol. 8, no. 1, De Gruyter, 2020, pp. 51–67, doi:10.1515/cmb-2020-0100.
[Published Version]
View
| Files available
| DOI
2020 |Published| Journal Article | IST-REx-ID: 8973 |
Redig, Frank, et al. “Symmetric Simple Exclusion Process in Dynamic Environment: Hydrodynamics.” Electronic Journal of Probability, vol. 25, 138, Institute of Mathematical Statistics, 2020, doi:10.1214/20-EJP536.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2020 |Published| Journal Article | IST-REx-ID: 14694 |
Alt, Johannes, et al. “The Dyson Equation with Linear Self-Energy: Spectral Bands, Edges and Cusps.” Documenta Mathematica, vol. 25, EMS Press, 2020, pp. 1421–539, doi:10.4171/dm/780.
[Published Version]
View
| Files available
| DOI
| arXiv
2020 |Published| Thesis | IST-REx-ID: 8366 |
Guseinov, Ruslan. Computational Design of Curved Thin Shells: From Glass Façades to Programmable Matter. Institute of Science and Technology Austria, 2020, doi:10.15479/AT:ISTA:8366.
[Published Version]
View
| Files available
| DOI
2020 |Published| Conference Paper | IST-REx-ID: 7213 |
Bhatia, Sumit, et al. “A Persistent Homology Perspective to the Link Prediction Problem.” Complex Networks and Their Applications VIII, vol. 881, Springer Nature, 2020, pp. 27–39, doi:10.1007/978-3-030-36687-2_3.
[Submitted Version]
View
| Files available
| DOI
| WoS
2020 |Published| Journal Article | IST-REx-ID: 6906 |
Boccato, Chiara, et al. “Optimal Rate for Bose-Einstein Condensation in the Gross-Pitaevskii Regime.” Communications in Mathematical Physics, vol. 376, Springer, 2020, pp. 1311–95, doi:10.1007/s00220-019-03555-9.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 |Published| Journal Article | IST-REx-ID: 8319 |
Wu, Yunfan, et al. “Retrieval of Cavity-Generated Atomic Spin Squeezing after Free-Space Release.” Physical Review A, vol. 102, no. 1, 012224, American Physical Society, 2020, doi:10.1103/PhysRevA.102.012224.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 |Published| Thesis | IST-REx-ID: 8657 |
Kavcic, Bor. Perturbations of Protein Synthesis: From Antibiotics to Genetics and Physiology. Institute of Science and Technology Austria, 2020, doi:10.15479/AT:ISTA:8657.
[Published Version]
View
| Files available
| DOI
2020 |Published| Thesis | IST-REx-ID: 8620 |
Morandell, Jasmin. Illuminating the Role of Cul3 in Autism Spectrum Disorder Pathogenesis. Institute of Science and Technology Austria, 2020, doi:10.15479/AT:ISTA:8620.
[Published Version]
View
| Files available
| DOI