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 |Published| Conference Paper | IST-REx-ID: 7232
Ferrere, T., Maler, O., & Nickovic, D. (2019). Mixed-time signal temporal logic. In 17th International Conference on Formal Modeling and Analysis of Timed Systems (Vol. 11750, pp. 59–75). Amsterdam, The Netherlands: Springer Nature. https://doi.org/10.1007/978-3-030-29662-9_4
View | DOI | WoS
 

2019 |Published| Conference Paper | IST-REx-ID: 7411 | OA
Abusalah, H. M., Kamath Hosdurg, C., Klein, K., Pietrzak, K. Z., & Walter, M. (2019). Reversible proofs of sequential work. In Advances in Cryptology – EUROCRYPT 2019 (Vol. 11477, pp. 277–291). Darmstadt, Germany: Springer International Publishing. https://doi.org/10.1007/978-3-030-17656-3_10
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 

2019 |Published| Thesis | IST-REx-ID: 6681 | OA
Zhechev, S. Y. (2019). Algorithmic aspects of homotopy theory and embeddability. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:6681
[Published Version] View | Files available | DOI
 

2019 |Published| Conference Paper | IST-REx-ID: 6556 | OA
Huszár, K., & Spreer, J. (2019). 3-manifold triangulations with small treewidth. In 35th International Symposium on Computational Geometry (Vol. 129, p. 44:1-44:20). Portland, Oregon, United States: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.SoCG.2019.44
[Published Version] View | Files available | DOI | arXiv
 

2019 |Published| Journal Article | IST-REx-ID: 7093 | OA
Huszár, K., Spreer, J., & Wagner, U. (2019). On the treewidth of triangulated 3-manifolds. Journal of Computational Geometry. Computational Geometry Laborartoy. https://doi.org/10.20382/JOGC.V10I2A5
[Published Version] View | Files available | DOI | arXiv
 

2019 |Published| Journal Article | IST-REx-ID: 7398 | OA
Erdem, F. A., 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. Rockefeller University Press. https://doi.org/10.1085/jgp.201912318
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2019 |Published| Journal Article | IST-REx-ID: 7404 | OA
Stürner, T., Tatarnikova, A., Müller, J., Schaffran, B., Cuntz, H., Zhang, Y., … Tavosanis, G. (2019). Transient localization of the Arp2/3 complex initiates neuronal dendrite branching in vivo. Development. The Company of Biologists. https://doi.org/10.1242/dev.171397
[Published Version] View | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 

2019 |Published| Conference Paper | IST-REx-ID: 7639
Rannen-Triki, A., Berman, M., Kolmogorov, V., & Blaschko, M. B. (2019). Function norms for neural networks. In Proceedings of the 2019 International Conference on Computer Vision Workshop. Seoul, South Korea: IEEE. https://doi.org/10.1109/ICCVW.2019.00097
View | DOI | WoS
 

2019 |Published| Conference Paper | IST-REx-ID: 6430 | OA
Fuchsbauer, G., Kamath Hosdurg, C., Klein, K., & Pietrzak, K. Z. (2019). Adaptively secure proxy re-encryption (Vol. 11443, pp. 317–346). Presented at the PKC: Public-Key Cryptograhy, Beijing, China: Springer Nature. https://doi.org/10.1007/978-3-030-17259-6_11
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 

2019 |Published| Conference Paper | IST-REx-ID: 14191 | OA
Locatello, F., Yurtsever, A., Fercoq, O., & Cevher, V. (2019). Stochastic Frank-Wolfe for composite convex minimization. In Advances in Neural Information Processing Systems (Vol. 32, pp. 14291–14301). Vancouver, Canada.
[Preprint] View | Download Preprint (ext.) | arXiv
 

2019 |Published| Thesis | IST-REx-ID: 6894 | OA
Giacobbe, M. (2019). Automatic time-unbounded reachability analysis of hybrid systems. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:6894
[Published Version] View | Files available | DOI
 

2019 |Published| Thesis | IST-REx-ID: 6473 | OA
Cepeda Humerez, S. A. (2019). Estimating information flow in single cells. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:6473
[Published Version] View | Files available | DOI
 

2019 |Published| Journal Article | IST-REx-ID: 72 | OA
Ferrari, P., Ghosal, P., & Nejjar, P. (2019). 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. https://doi.org/10.1214/18-AIHP916
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2019 |Published| Journal Article | IST-REx-ID: 6999 | OA
Huang, D., Sun, Y., Ma, Z., Ke, M., Cui, Y., Chen, Z., … Chen, X. (2019). 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. https://doi.org/10.1073/pnas.1911892116
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2019 |Published| Conference Paper | IST-REx-ID: 6647 | OA
Fulek, R., Gärtner, B., Kupavskii, A., Valtr, P., & Wagner, U. (2019). The crossing Tverberg theorem. In 35th International Symposium on Computational Geometry (Vol. 129, p. 38:1-38:13). Portland, OR, United States: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPICS.SOCG.2019.38
[Published Version] View | Files available | DOI | arXiv
 

2019 |Submitted| Preprint | IST-REx-ID: 7950 | OA
Biniaz, A., Jain, K., Lubiw, A., Masárová, Z., Miltzow, T., Mondal, D., … Turcotte, A. (n.d.). Token swapping on trees. arXiv.
[Preprint] View | Files available | Download Preprint (ext.) | arXiv
 

2019 | Research Data | IST-REx-ID: 6074 | OA
Dotter, C., & Novarino, G. (2019). 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. https://doi.org/10.15479/AT:ISTA:6074
[Published Version] View | Files available | DOI
 

2019 |Published| Conference Paper | IST-REx-ID: 6482 | OA
Sun, R., & Lampert, C. (2019). KS(conf): A light-weight test if a ConvNet operates outside of Its specifications (Vol. 11269, pp. 244–259). Presented at the GCPR: Conference on Pattern Recognition, Stuttgart, Germany: Springer Nature. https://doi.org/10.1007/978-3-030-12939-2_18
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2019 |Published| Thesis | IST-REx-ID: 6392 | OA
Lukacisin, M. (2019). Quantitative investigation of gene expression principles through combinatorial drug perturbation and theory. IST Austria. https://doi.org/10.15479/AT:ISTA:6392
[Published Version] View | Files available | DOI
 

2019 |Published| Thesis | IST-REx-ID: 6363 | OA
Espinoza Martinez, C. (2019). Parvalbumin+ interneurons enable efficient pattern separation in hippocampal microcircuits. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:6363
[Published Version] View | Files available | DOI
 

Filters and Search Terms

isbn%3D978-364254630-3

Search

Filter Publications