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.
4171 Publications
2020 | Journal Article | IST-REx-ID: 7643 | 
H. Han, H. Rakusova, I. Verstraeten, Y. Zhang, and J. Friml, “SCF TIR1/AFB auxin signaling for bending termination during shoot gravitropism,” Plant Physiology, vol. 183, no. 5. American Society of Plant Biologists, pp. 37–40, 2020.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
2020 | Preprint | IST-REx-ID: 7675 |
R. Grah, B. Zoller, and G. Tkačik, “Normative models of enhancer function,” bioRxiv. Cold Spring Harbor Laboratory, 2020.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2020 | Thesis | IST-REx-ID: 7460 |
K. Ölsböck, “The hole system of triangulated shapes,” Institute of Science and Technology Austria, 2020.
[Published Version]
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 7896 |
C. Kamath Hosdurg, “On the average-case hardness of total search problems,” Institute of Science and Technology Austria, 2020.
[Published Version]
View
| Files available
| DOI
2020 | Conference Paper | IST-REx-ID: 7936 |
A. Royer and C. Lampert, “Localizing grouped instances for efficient detection in low-resource scenarios,” in IEEE Winter Conference on Applications of Computer Vision, Snowmass Village, CO, United States, 2020.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2020 | Conference Paper | IST-REx-ID: 7937 |
A. Royer and C. Lampert, “A flexible selection scheme for minimum-effort transfer learning,” in 2020 IEEE Winter Conference on Applications of Computer Vision, Snowmass Village, CO, United States, 2020.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2020 | Book Chapter | IST-REx-ID: 8092 |
A. Royer et al., “XGAN: Unsupervised image-to-image translation for many-to-many mappings,” in Domain Adaptation for Visual Understanding, R. Singh, M. Vatsa, V. M. Patel, and N. Ratha, Eds. Springer Nature, 2020, pp. 33–49.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2020 | Thesis | IST-REx-ID: 7944 |
Z. Masárová, “Reconfiguration problems,” Institute of Science and Technology Austria, 2020.
[Published Version]
View
| Files available
| DOI
2020 | Journal Article | IST-REx-ID: 8587 |
X. Li, E. Yakaboylu, G. Bighin, R. Schmidt, M. Lemeshko, and A. Deuchert, “Intermolecular forces and correlations mediated by a phonon bath,” The Journal of Chemical Physics, vol. 152, no. 16. AIP Publishing, 2020.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 | Thesis | IST-REx-ID: 8341 |
U. Bezeljak, “In vitro reconstitution of a Rab activation switch,” Institute of Science and Technology Austria, 2020.
[Published Version]
View
| Files available
| DOI
2020 | Journal Article | IST-REx-ID: 7580 |
U. Bezeljak, H. Loya, B. M. Kaczmarek, T. E. Saunders, and M. Loose, “Stochastic activation and bistability in a Rab GTPase regulatory network,” Proceedings of the National Academy of Sciences, vol. 117, no. 12. Proceedings of the National Academy of Sciences, pp. 6504–6549, 2020.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
2020 | Thesis | IST-REx-ID: 8032 |
K. Huszár, “Combinatorial width parameters for 3-dimensional manifolds,” Institute of Science and Technology Austria, 2020.
[Published Version]
View
| Files available
| DOI
2020 | Conference Paper | IST-REx-ID: 8195 |
B. Kragl, S. Qadeer, and T. A. Henzinger, “Refinement for structured concurrent programs,” in Computer Aided Verification, 2020, vol. 12224, pp. 275–298.
[Published Version]
View
| Files available
| DOI
| WoS
2020 | Conference Paper | IST-REx-ID: 8012 |
B. Kragl, C. Enea, T. A. Henzinger, S. O. Mutluergil, and S. Qadeer, “Inductive sequentialization of asynchronous programs,” in Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, London, United Kingdom, 2020, pp. 227–242.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
2020 | Thesis | IST-REx-ID: 8358 |
P. R. Dos Santos Caldas, “Organization and dynamics of treadmilling filaments in cytoskeletal networks of FtsZ and its crosslinkers,” Institute of Science and Technology Austria, 2020.
[Published Version]
View
| Files available
| DOI
2020 | Conference Paper | IST-REx-ID: 8703 |
G. F. Osang, M. Rouxel-Labbé, and M. Teillaud, “Generalizing CGAL periodic Delaunay triangulations,” in 28th Annual European Symposium on Algorithms, Virtual, Online; Pisa, Italy, 2020, vol. 173.
[Published Version]
View
| Files available
| DOI
2020 | Conference Paper | IST-REx-ID: 7481 |
M. Phuong and C. Lampert, “Functional vs. parametric equivalence of ReLU networks,” in 8th International Conference on Learning Representations, Online, 2020.
[Published Version]
View
| Files available
2020 | Journal Article | IST-REx-ID: 9781 |
D. Feliciangeli and R. Seiringer, “Uniqueness and nondegeneracy of minimizers of the Pekar functional on a ball,” SIAM Journal on Mathematical Analysis, vol. 52, no. 1. Society for Industrial & Applied Mathematics , pp. 605–622, 2020.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 | Journal Article | IST-REx-ID: 7489 |
J. L. Fischer and S. Hensel, “Weak–strong uniqueness for the Navier–Stokes equation for two fluids with surface tension,” Archive for Rational Mechanics and Analysis, vol. 236. Springer Nature, pp. 967–1087, 2020.
[Published Version]
View
| Files available
| DOI
| WoS
2020 | Preprint | IST-REx-ID: 10012 |
J. L. Fischer, S. Hensel, T. Laux, and T. Simon, “The local structure of the energy landscape in multiphase mean curvature flow: weak-strong uniqueness and stability of evolutions,” arXiv. .
[Preprint]
View
| Files available
| Download Preprint (ext.)
| arXiv