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.

2023 Publications


2019 |Published| Journal Article | IST-REx-ID: 7400 | OA
Early sex-chromosome evolution in the diploid dioecious plant Mercurialis annua
P. Veltsos, K.E. Ridout, M.A. Toups, S.C. González-Martínez, A. Muyle, O. Emery, P. Rastas, V. Hudzieczek, R. Hobza, B. Vyskot, G.A.B. Marais, D.A. Filatov, J.R. Pannell, Genetics 212 (2019) 815–835.
[Published Version] View | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 

2019 |Submitted| Preprint | IST-REx-ID: 8184 | OA
Stronger counterexamples to the topological Tverberg conjecture
S. Avvakumov, R. Karasev, A. Skopenkov, ArXiv (n.d.).
[Preprint] View | Files available | Download Preprint (ext.) | WoS | arXiv
 

2019 |Published| Journal Article | IST-REx-ID: 151 | OA [Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

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

2019 |Published| Journal Article | IST-REx-ID: 73 | OA
On the geometry of geodesics in discrete optimal transport
M. Erbar, J. Maas, M. Wirth, Calculus of Variations and Partial Differential Equations 58 (2019).
[Published Version] View | Files available | DOI | WoS | arXiv
 

2019 |Published| Thesis | IST-REx-ID: 6894 | OA
Automatic time-unbounded reachability analysis of hybrid systems
M. Giacobbe, Automatic Time-Unbounded Reachability Analysis of Hybrid Systems, Institute of Science and Technology Austria, 2019.
[Published Version] View | Files available | DOI
 

2019 | Research Data Reference | IST-REx-ID: 9805 | OA [Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2019 |Published| Thesis | IST-REx-ID: 7172 | OA
Molecular mechanisms of endomembrane trafficking in Arabidopsis thaliana
M.K. Vasileva, Molecular Mechanisms of Endomembrane Trafficking in Arabidopsis Thaliana, Institute of Science and Technology Austria, 2019.
[Published Version] View | Files available | DOI
 

2019 |Published| Journal Article | IST-REx-ID: 72 | OA
Limit law of a second class particle in TASEP with non-random initial condition
P. Ferrari, P. Ghosal, P. Nejjar, Annales de l’institut Henri Poincare (B) Probability and Statistics 55 (2019) 1203–1225.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2019 |Published| Journal Article | IST-REx-ID: 6621 | OA
On the power to detect rare recombination events
A.E. Wright, I. Darolti, N.I. Bloch, V. Oostra, B.A. Sandkam, S.D. Buechel, N. Kolm, F. Breden, B. Vicoso, J.E. Mank, Proceedings of the National Academy of Sciences of the United States of America 116 (2019) 12607–12608.
[Published Version] View | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 

2019 |Published| Conference Paper | IST-REx-ID: 6647 | OA
The crossing Tverberg theorem
R. Fulek, B. Gärtner, A. Kupavskii, P. Valtr, U. Wagner, in:, 35th International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019, p. 38:1-38:13.
[Published Version] View | Files available | DOI | arXiv
 

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

2019 |Published| Conference Paper | IST-REx-ID: 6933 | OA
Fast approximate shortest paths in the congested clique
K. Censor-Hillel, M. Dory, J. Korhonen, D. Leitersdorf, in:, Proceedings of the 2019 ACM Symposium on Principles of Distributed Computin, ACM, 2019, pp. 74–83.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2019 |Published| Conference Paper | IST-REx-ID: 6780 | OA
Modular verification for almost-sure termination of probabilistic programs
M. Huang, H. Fu, K. Chatterjee, A.K. Goharshady, in:, Proceedings of the 34th ACM International Conference on Object-Oriented Programming, Systems, Languages, and Applications , ACM, 2019.
[Published Version] View | Files available | DOI | arXiv
 

2019 |Published| Journal Article | IST-REx-ID: 6380 | OA
Efficient parameterized algorithms for data packing
K. Chatterjee, A.K. Goharshady, N. Okati, A. Pavlogiannis, Proceedings of the ACM on Programming Languages 3 (2019).
[Published Version] View | Files available | DOI
 

2019 |Submitted| Conference Paper | IST-REx-ID: 6490 | OA
The treewidth of smart contracts
K. Chatterjee, A.K. Goharshady, E.K. Goharshady, in:, Proceedings of the 34th ACM Symposium on Applied Computing, ACM, n.d., pp. 400–408.
[Submitted Version] View | Files available | DOI | WoS
 

2019 |Published| Journal Article | IST-REx-ID: 7001 | OA
Mechanosensation of tight junctions depends on ZO-1 phase separation and flow
C. Schwayer, S. Shamipour, K. Pranjic-Ferscha, A. Schauer, M. Balda, M. Tada, K. Matter, C.-P.J. Heisenberg, Cell 179 (2019) 937–952.e18.
[Submitted Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2019 |Published| Thesis | IST-REx-ID: 6849 | OA
The role of CCK-interneurons in regulating hippocampal network dynamics
D.K. Rangel Guerrero, The Role of CCK-Interneurons in Regulating Hippocampal Network Dynamics, Institute of Science and Technology Austria, 2019.
[Published Version] View | Files available | DOI
 

2019 |Published| Journal Article | IST-REx-ID: 5949 | OA
Disrupted-in-schizophrenia 1 overexpression disrupts hippocampal coding and oscillatory synchronization
K. Käfer, H. Malagon-Vina, D. Dickerson, J. O’Neill, S.V. Trossbach, C. Korth, J.L. Csicsvari, Hippocampus 29 (2019) 802–816.
[Published Version] View | Files available | DOI | WoS
 

Filters and Search Terms

isbn%3D978-1-4503-3300-9

Search

Filter Publications