Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
5146 Publications
2020 |Published| Thesis | IST-REx-ID: 7460 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Ölsböck, Katharina. “The Hole System of Triangulated Shapes.” Institute of Science and Technology Austria, 2020. https://doi.org/10.15479/AT:ISTA:7460.
[Published Version]
View
| Files available
| DOI
2020 |Published| Thesis | IST-REx-ID: 7896 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Kamath Hosdurg, Chethan. “On the Average-Case Hardness of Total Search Problems.” Institute of Science and Technology Austria, 2020. https://doi.org/10.15479/AT:ISTA:7896.
[Published Version]
View
| Files available
| DOI
2020 |Published| Conference Paper | IST-REx-ID: 7936 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Royer, Amélie, and Christoph Lampert. “Localizing Grouped Instances for Efficient Detection in Low-Resource Scenarios.” In IEEE Winter Conference on Applications of Computer Vision. IEEE, 2020. https://doi.org/10.1109/WACV45572.2020.9093288.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2020 |Published| Conference Paper | IST-REx-ID: 7937 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Royer, Amélie, and Christoph Lampert. “A Flexible Selection Scheme for Minimum-Effort Transfer Learning.” In 2020 IEEE Winter Conference on Applications of Computer Vision. IEEE, 2020. https://doi.org/10.1109/WACV45572.2020.9093635.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2020 |Published| Conference Paper | IST-REx-ID: 8193
Chatterjee, Krishnendu, Martin Chmelik, Deep Karkhanis, Petr Novotný, and Amélie Royer. “Multiple-Environment Markov Decision Processes: Efficient Analysis and Applications.” In Proceedings of the 30th International Conference on Automated Planning and Scheduling, 30:48–56. Association for the Advancement of Artificial Intelligence, 2020.
View
| Files available
2020 |Published| Book Chapter | IST-REx-ID: 8092 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Royer, Amélie, Konstantinos Bousmalis, Stephan Gouws, Fred Bertsch, Inbar Mosseri, Forrester Cole, and Kevin Murphy. “XGAN: Unsupervised Image-to-Image Translation for Many-to-Many Mappings.” In Domain Adaptation for Visual Understanding, edited by Richa Singh, Mayank Vatsa, Vishal M. Patel, and Nalini Ratha, 33–49. Springer Nature, 2020. https://doi.org/10.1007/978-3-030-30671-7_3.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2020 |Published| Thesis | IST-REx-ID: 7944 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Masárová, Zuzana. “Reconfiguration Problems.” Institute of Science and Technology Austria, 2020. https://doi.org/10.15479/AT:ISTA:7944.
[Published Version]
View
| Files available
| DOI
2020 |Published| Journal Article | IST-REx-ID: 8587 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Li, Xiang, Enderalp Yakaboylu, Giacomo Bighin, Richard Schmidt, Mikhail Lemeshko, and Andreas Deuchert. “Intermolecular Forces and Correlations Mediated by a Phonon Bath.” The Journal of Chemical Physics. AIP Publishing, 2020. https://doi.org/10.1063/1.5144759.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 |Published| Thesis | IST-REx-ID: 8341 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Bezeljak, Urban. “In Vitro Reconstitution of a Rab Activation Switch.” Institute of Science and Technology Austria, 2020. https://doi.org/10.15479/AT:ISTA:8341.
[Published Version]
View
| Files available
| DOI
2020 |Published| Journal Article | IST-REx-ID: 7580 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Bezeljak, Urban, Hrushikesh Loya, Beata M Kaczmarek, Timothy E. Saunders, and Martin Loose. “Stochastic Activation and Bistability in a Rab GTPase Regulatory Network.” Proceedings of the National Academy of Sciences. Proceedings of the National Academy of Sciences, 2020. https://doi.org/10.1073/pnas.1921027117.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
2020 |Published| Thesis | IST-REx-ID: 8032 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Huszár, Kristóf. “Combinatorial Width Parameters for 3-Dimensional Manifolds.” Institute of Science and Technology Austria, 2020. https://doi.org/10.15479/AT:ISTA:8032.
[Published Version]
View
| Files available
| DOI
2020 |Published| Conference Paper | IST-REx-ID: 8195 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Kragl, Bernhard, Shaz Qadeer, and Thomas A Henzinger. “Refinement for Structured Concurrent Programs.” In Computer Aided Verification, 12224:275–98. Springer Nature, 2020. https://doi.org/10.1007/978-3-030-53288-8_14.
[Published Version]
View
| Files available
| DOI
| WoS
2020 |Published| Conference Paper | IST-REx-ID: 8012 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Kragl, Bernhard, Constantin Enea, Thomas A Henzinger, Suha Orhun Mutluergil, and Shaz Qadeer. “Inductive Sequentialization of Asynchronous Programs.” In Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, 227–42. Association for Computing Machinery, 2020. https://doi.org/10.1145/3385412.3385980.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
2020 |Published| Thesis | IST-REx-ID: 8358 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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. https://doi.org/10.15479/AT:ISTA:8358.
[Published Version]
View
| Files available
| DOI
2020 |Published| Conference Paper | IST-REx-ID: 8703 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Osang, Georg F, Mael Rouxel-Labbé, and Monique Teillaud. “Generalizing CGAL Periodic Delaunay Triangulations.” In 28th Annual European Symposium on Algorithms, Vol. 173. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020. https://doi.org/10.4230/LIPIcs.ESA.2020.75.
[Published Version]
View
| Files available
| DOI
2020 |Published| Conference Paper | IST-REx-ID: 7481 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Phuong, Mary, and Christoph Lampert. “Functional vs. Parametric Equivalence of ReLU Networks.” In 8th International Conference on Learning Representations, 2020.
[Published Version]
View
| Files available
2020 |Published| Journal Article | IST-REx-ID: 9781 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Feliciangeli, Dario, and Robert Seiringer. “Uniqueness and Nondegeneracy of Minimizers of the Pekar Functional on a Ball.” SIAM Journal on Mathematical Analysis. Society for Industrial & Applied Mathematics , 2020. https://doi.org/10.1137/19m126284x.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 |Published| Journal Article | IST-REx-ID: 7489 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Fischer, Julian L, and Sebastian Hensel. “Weak–Strong Uniqueness for the Navier–Stokes Equation for Two Fluids with Surface Tension.” Archive for Rational Mechanics and Analysis. Springer Nature, 2020. https://doi.org/10.1007/s00205-019-01486-2.
[Published Version]
View
| Files available
| DOI
| WoS
2020 |Submitted| Preprint | IST-REx-ID: 10012 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Fischer, Julian L, Sebastian Hensel, Tim Laux, and Thilo Simon. “The Local Structure of the Energy Landscape in Multiphase Mean Curvature Flow: Weak-Strong Uniqueness and Stability of Evolutions.” ArXiv, n.d.
[Preprint]
View
| Files available
| Download Preprint (ext.)
| arXiv
2020 |Published| Journal Article | IST-REx-ID: 7573 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Gladbach, Peter, Eva Kopfer, Jan Maas, and Lorenzo Portinale. “Homogenisation of One-Dimensional Discrete Optimal Transport.” Journal de Mathematiques Pures et Appliquees. Elsevier, 2020. https://doi.org/10.1016/j.matpur.2020.02.008.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv