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.
1481 Publications
2019 |Published| Journal Article | IST-REx-ID: 6554 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Xian Y, Lampert C, Schiele B, Akata Z. 2019. Zero-shot learning - A comprehensive evaluation of the good, the bad and the ugly. IEEE Transactions on Pattern Analysis and Machine Intelligence. 41(9), 2251–2265.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 |Published| Journal Article | IST-REx-ID: 7108 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Goaoc X, Patak P, Patakova Z, Tancer M, Wagner U. 2019. Shellability is NP-complete. Journal of the ACM. 66(3), 21.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 |Published| Conference Paper | IST-REx-ID: 7231 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Kong H, Bartocci E, Jiang Y, Henzinger TA. 2019. Piecewise robust barrier tubes for nonlinear hybrid systems with uncertainty. 17th International Conference on Formal Modeling and Analysis of Timed Systems. FORMATS: Formal Modeling and Analysis of Timed Systems, LNCS, vol. 11750, 123–141.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 |Published| Conference Paper | IST-REx-ID: 7232
Ferrere T, Maler O, Nickovic D. 2019. Mixed-time signal temporal logic. 17th International Conference on Formal Modeling and Analysis of Timed Systems. FORMATS: Formal Modeling and Anaysis of Timed Systems, LNCS, vol. 11750, 59–75.
View
| DOI
| WoS
2019 |Published| Journal Article | IST-REx-ID: 7420 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Sahgal P, Alanko JH, Icha J, Paatero I, Hamidi H, Arjonen A, Pietilä M, Rokka A, Ivaska J. 2019. GGA2 and RAB13 promote activity-dependent β1-integrin recycling. Journal of Cell Science. 132(11), jcs233387.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
2019 |Published| Journal Article | IST-REx-ID: 5678 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Edelsbrunner H, Nikitenko A. 2019. Poisson–Delaunay Mosaics of Order k. Discrete and Computational Geometry. 62(4), 865–878.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2019 |Published| Journal Article | IST-REx-ID: 6182 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Erdös L, Krüger TH, Schröder DJ. 2019. Random matrices with slow correlation decay. Forum of Mathematics, Sigma. 7, e8.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2019 |Published| Thesis | IST-REx-ID: 6681 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Zhechev SY. 2019. Algorithmic aspects of homotopy theory and embeddability. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2019 |Draft| Preprint | IST-REx-ID: 7524 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Deuchert A, Mayer S, Seiringer R. The free energy of the two-dimensional dilute Bose gas. I. Lower bound. arXiv:1910.03372, .
[Preprint]
View
| Files available
| Download Preprint (ext.)
2019 |Published| Journal Article | IST-REx-ID: 5986 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Lubiw A, Masárová Z, Wagner U. 2019. A proof of the orbit conjecture for flipping edge-labelled triangulations. Discrete & Computational Geometry. 61(4), 880–898.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2019 |Published| Conference Paper | IST-REx-ID: 6556 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Huszár K, Spreer J. 2019. 3-manifold triangulations with small treewidth. 35th International Symposium on Computational Geometry. SoCG: Symposium on Computational Geometry, LIPIcs, vol. 129, 44:1-44:20.
[Published Version]
View
| Files available
| DOI
| arXiv
2019 |Published| Journal Article | IST-REx-ID: 7398 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Erdem FA, Ilic M, Koppensteiner P, Gołacki J, Lubec G, Freissmuth M, Sandtner W. 2019. A comparison of the transport kinetics of glycine transporter 1 and glycine transporter 2. The Journal of General Physiology. 151(8), 1035–1050.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2019 |Published| Journal Article | IST-REx-ID: 7404 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Stürner T, Tatarnikova A, Müller J, Schaffran B, Cuntz H, Zhang Y, Nemethova M, Bogdan S, Small V, Tavosanis G. 2019. Transient localization of the Arp2/3 complex initiates neuronal dendrite branching in vivo. Development. 146(7), dev171397.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
2019 |Submitted| Preprint | IST-REx-ID: 8184 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Avvakumov S, Karasev R, Skopenkov A. Stronger counterexamples to the topological Tverberg conjecture. arXiv, 1908.08731.
[Preprint]
View
| Files available
| Download Preprint (ext.)
| WoS
| arXiv
2019 |Published| Journal Article | IST-REx-ID: 151 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Fischer JL, Kneuss O. 2019. Bi-Sobolev solutions to the prescribed Jacobian inequality in the plane with L p data and applications to nonlinear elasticity. Journal of Differential Equations. 266(1), 257–311.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 |Published| Journal Article | IST-REx-ID: 6982 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Akitaya H, Fulek R, Tóth C. 2019. Recognizing weak embeddings of graphs. ACM Transactions on Algorithms. 15(4), 50.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2019 |Published| Thesis | IST-REx-ID: 6894 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Giacobbe M. 2019. Automatic time-unbounded reachability analysis of hybrid systems. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2019 |Published| Journal Article | IST-REx-ID: 6621 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Wright AE, Darolti I, Bloch NI, Oostra V, Sandkam BA, Buechel SD, Kolm N, Breden F, Vicoso B, Mank JE. 2019. On the power to detect rare recombination events. Proceedings of the National Academy of Sciences of the United States of America. 116(26), 12607–12608.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
2019 |Published| Conference Paper | IST-REx-ID: 6647 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Fulek R, Gärtner B, Kupavskii A, Valtr P, Wagner U. 2019. The crossing Tverberg theorem. 35th International Symposium on Computational Geometry. SoCG 2019: Symposium on Computational Geometry, LIPIcs, vol. 129, 38:1-38:13.
[Published Version]
View
| Files available
| DOI
| arXiv
2019 |Published| Conference Paper | IST-REx-ID: 6676 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Alistarh D-A, Aspnes J, Ellen F, Gelashvili R, Zhu L. 2019. Why extension-based proofs fail. Proceedings of the 51st Annual ACM SIGACT Symposium on Theory of Computing. STOC: Symposium on Theory of Computing, 986–996.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv