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.
1621 Publications
2019 | Conference Paper | IST-REx-ID: 7232
Ferrere, Thomas, Oded Maler, and Dejan Nickovic. “Mixed-Time Signal Temporal Logic.” In 17th International Conference on Formal Modeling and Analysis of Timed Systems, 11750:59–75. Springer Nature, 2019. https://doi.org/10.1007/978-3-030-29662-9_4.
View
| DOI
| WoS
2019 | Conference Paper | IST-REx-ID: 7411 | 
Abusalah, Hamza M, Chethan Kamath Hosdurg, Karen Klein, Krzysztof Z Pietrzak, and Michael Walter. “Reversible Proofs of Sequential Work.” In Advances in Cryptology – EUROCRYPT 2019, 11477:277–91. Springer International Publishing, 2019. https://doi.org/10.1007/978-3-030-17656-3_10.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
2019 | Thesis | IST-REx-ID: 6681 |
Zhechev, Stephan Y. “Algorithmic Aspects of Homotopy Theory and Embeddability.” Institute of Science and Technology Austria, 2019. https://doi.org/10.15479/AT:ISTA:6681.
[Published Version]
View
| Files available
| DOI
2019 | Conference Paper | IST-REx-ID: 6556 |
Huszár, Kristóf, and Jonathan Spreer. “3-Manifold Triangulations with Small Treewidth.” In 35th International Symposium on Computational Geometry, 129:44:1-44:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019. https://doi.org/10.4230/LIPIcs.SoCG.2019.44.
[Published Version]
View
| Files available
| DOI
| arXiv
2019 | Journal Article | IST-REx-ID: 7093 |
Huszár, Kristóf, Jonathan Spreer, and Uli Wagner. “On the Treewidth of Triangulated 3-Manifolds.” Journal of Computational Geometry. Computational Geometry Laborartoy, 2019. https://doi.org/10.20382/JOGC.V10I2A5.
[Published Version]
View
| Files available
| DOI
| arXiv
2019 | Journal Article | IST-REx-ID: 7398 |
Erdem, Fatma Asli, Marija Ilic, Peter Koppensteiner, Jakub Gołacki, Gert Lubec, Michael Freissmuth, and Walter Sandtner. “A Comparison of the Transport Kinetics of Glycine Transporter 1 and Glycine Transporter 2.” The Journal of General Physiology. Rockefeller University Press, 2019. https://doi.org/10.1085/jgp.201912318.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2019 | Journal Article | IST-REx-ID: 7404 |
Stürner, Tomke, Anastasia Tatarnikova, Jan Müller, Barbara Schaffran, Hermann Cuntz, Yun Zhang, Maria Nemethova, Sven Bogdan, Vic Small, and Gaia Tavosanis. “Transient Localization of the Arp2/3 Complex Initiates Neuronal Dendrite Branching in Vivo.” Development. The Company of Biologists, 2019. https://doi.org/10.1242/dev.171397.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
2019 | Conference Paper | IST-REx-ID: 7639
Rannen-Triki, Amal, Maxim Berman, Vladimir Kolmogorov, and Matthew B. Blaschko. “Function Norms for Neural Networks.” In Proceedings of the 2019 International Conference on Computer Vision Workshop. IEEE, 2019. https://doi.org/10.1109/ICCVW.2019.00097.
View
| DOI
| WoS
2019 | Conference Paper | IST-REx-ID: 6430 |
Fuchsbauer, Georg, Chethan Kamath Hosdurg, Karen Klein, and Krzysztof Z Pietrzak. “Adaptively Secure Proxy Re-Encryption,” 11443:317–46. Springer Nature, 2019. https://doi.org/10.1007/978-3-030-17259-6_11.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2019 | Conference Paper | IST-REx-ID: 14191 |
Locatello, Francesco, Alp Yurtsever, Olivier Fercoq, and Volkan Cevher. “Stochastic Frank-Wolfe for Composite Convex Minimization.” In Advances in Neural Information Processing Systems, 32:14291–14301, 2019.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2019 | Thesis | IST-REx-ID: 6894 |
Giacobbe, Mirco. “Automatic Time-Unbounded Reachability Analysis of Hybrid Systems.” Institute of Science and Technology Austria, 2019. https://doi.org/10.15479/AT:ISTA:6894.
[Published Version]
View
| Files available
| DOI
2019 | Thesis | IST-REx-ID: 6473 |
Cepeda Humerez, Sarah A. “Estimating Information Flow in Single Cells.” Institute of Science and Technology Austria, 2019. https://doi.org/10.15479/AT:ISTA:6473.
[Published Version]
View
| Files available
| DOI
2019 | Journal Article | IST-REx-ID: 72 |
Ferrari, Patrick, Promit Ghosal, and Peter Nejjar. “Limit Law of a Second Class Particle in TASEP with Non-Random Initial Condition.” Annales de l’institut Henri Poincare (B) Probability and Statistics. Institute of Mathematical Statistics, 2019. https://doi.org/10.1214/18-AIHP916.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 | Journal Article | IST-REx-ID: 6999 |
Huang, D, Y Sun, Z Ma, M Ke, Y Cui, Z Chen, C Chen, et al. “Salicylic Acid-Mediated Plasmodesmal Closure via Remorin-Dependent Lipid Organization.” Proceedings of the National Academy of Sciences of the United States of America. Proceedings of the National Academy of Sciences, 2019. https://doi.org/10.1073/pnas.1911892116.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2019 | Conference Paper | IST-REx-ID: 6647 |
Fulek, Radoslav, Bernd Gärtner, Andrey Kupavskii, Pavel Valtr, and Uli Wagner. “The Crossing Tverberg Theorem.” In 35th International Symposium on Computational Geometry, 129:38:1-38:13. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019. https://doi.org/10.4230/LIPICS.SOCG.2019.38.
[Published Version]
View
| Files available
| DOI
| arXiv
2019 | Preprint | IST-REx-ID: 7950 |
Biniaz, Ahmad, Kshitij Jain, Anna Lubiw, Zuzana Masárová, Tillmann Miltzow, Debajyoti Mondal, Anurag Murty Naredla, Josef Tkadlec, and Alexi Turcotte. “Token Swapping on Trees.” ArXiv, n.d.
[Preprint]
View
| Files available
| Download Preprint (ext.)
| arXiv
2019 | Research Data | IST-REx-ID: 6074 |
Dotter, Christoph, and Gaia Novarino. “Supplementary Data for the Research Paper ‘Haploinsufficiency of the Intellectual Disability Gene SETD5 Disturbs Developmental Gene Expression and Cognition.’” Institute of Science and Technology Austria, 2019. https://doi.org/10.15479/AT:ISTA:6074.
[Published Version]
View
| Files available
| DOI
2019 | Conference Paper | IST-REx-ID: 6482 |
Sun, Rémy, and Christoph Lampert. “KS(Conf): A Light-Weight Test If a ConvNet Operates Outside of Its Specifications,” 11269:244–59. Springer Nature, 2019. https://doi.org/10.1007/978-3-030-12939-2_18.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2019 | Thesis | IST-REx-ID: 6392 |
Lukacisin, Martin. “Quantitative Investigation of Gene Expression Principles through Combinatorial Drug Perturbation and Theory.” IST Austria, 2019. https://doi.org/10.15479/AT:ISTA:6392.
[Published Version]
View
| Files available
| DOI
2019 | Thesis | IST-REx-ID: 6363 |
Espinoza Martinez, Claudia . “Parvalbumin+ Interneurons Enable Efficient Pattern Separation in Hippocampal Microcircuits.” Institute of Science and Technology Austria, 2019. https://doi.org/10.15479/AT:ISTA:6363.
[Published Version]
View
| Files available
| DOI