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.

1488 Publications


2019 |Published| Conference Paper | IST-REx-ID: 7232
Mixed-time signal temporal logic
T. Ferrere, O. Maler, D. Nickovic, in:, 17th International Conference on Formal Modeling and Analysis of Timed Systems, Springer Nature, 2019, pp. 59–75.
View | DOI | WoS
 

2019 |Published| Journal Article | IST-REx-ID: 7420 | OA
GGA2 and RAB13 promote activity-dependent β1-integrin recycling
P. Sahgal, J.H. Alanko, J. Icha, I. Paatero, H. Hamidi, A. Arjonen, M. Pietilä, A. Rokka, J. Ivaska, Journal of Cell Science 132 (2019).
[Published Version] View | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 

2019 |Published| Journal Article | IST-REx-ID: 5678 | OA
Poisson–Delaunay Mosaics of Order k
H. Edelsbrunner, A. Nikitenko, Discrete and Computational Geometry 62 (2019) 865–878.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2019 |Published| Journal Article | IST-REx-ID: 6182 | OA
Random matrices with slow correlation decay
L. Erdös, T.H. Krüger, D.J. Schröder, Forum of Mathematics, Sigma 7 (2019).
[Published Version] View | Files available | DOI | WoS | arXiv
 

2019 |Published| Thesis | IST-REx-ID: 6681 | OA
Algorithmic aspects of homotopy theory and embeddability
S.Y. Zhechev, Algorithmic Aspects of Homotopy Theory and Embeddability, Institute of Science and Technology Austria, 2019.
[Published Version] View | Files available | DOI
 

2019 |Draft| Preprint | IST-REx-ID: 7524 | OA
The free energy of the two-dimensional dilute Bose gas. I. Lower bound
A. Deuchert, S. Mayer, R. Seiringer, ArXiv:1910.03372 (n.d.).
[Preprint] View | Files available | Download Preprint (ext.)
 

2019 |Published| Journal Article | IST-REx-ID: 5986 | OA
A proof of the orbit conjecture for flipping edge-labelled triangulations
A. Lubiw, Z. Masárová, U. Wagner, Discrete & Computational Geometry 61 (2019) 880–898.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2019 |Published| Conference Paper | IST-REx-ID: 6556 | OA
3-manifold triangulations with small treewidth
K. Huszár, J. Spreer, in:, 35th International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019, p. 44:1-44:20.
[Published Version] View | Files available | DOI | arXiv
 

2019 |Published| Journal Article | IST-REx-ID: 7398 | OA
A comparison of the transport kinetics of glycine transporter 1 and glycine transporter 2
F.A. Erdem, M. Ilic, P. Koppensteiner, J. Gołacki, G. Lubec, M. Freissmuth, W. Sandtner, The Journal of General Physiology 151 (2019) 1035–1050.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2019 |Published| Journal Article | IST-REx-ID: 7404 | OA
Transient localization of the Arp2/3 complex initiates neuronal dendrite branching in vivo
T. Stürner, A. Tatarnikova, J. Müller, B. Schaffran, H. Cuntz, Y. Zhang, M. Nemethova, S. Bogdan, V. Small, G. Tavosanis, Development 146 (2019).
[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
Bi-Sobolev solutions to the prescribed Jacobian inequality in the plane with L p data and applications to nonlinear elasticity
J.L. Fischer, O. Kneuss, Journal of Differential Equations 266 (2019) 257–311.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2019 |Published| Journal Article | IST-REx-ID: 6982 | OA
Recognizing weak embeddings of graphs
H. Akitaya, R. Fulek, C. Tóth, ACM Transactions on Algorithms 15 (2019).
[Preprint] View | Files available | DOI | Download Preprint (ext.) | 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 |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 |Published| Conference Paper | IST-REx-ID: 6676 | OA
Why extension-based proofs fail
D.-A. Alistarh, J. Aspnes, F. Ellen, R. Gelashvili, L. Zhu, in:, Proceedings of the 51st Annual ACM SIGACT Symposium on Theory of Computing, ACM Press, 2019, pp. 986–996.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | 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 | Research Data | IST-REx-ID: 6074 | OA
Supplementary data for the research paper "Haploinsufficiency of the intellectual disability gene SETD5 disturbs developmental gene expression and cognition"
C. Dotter, G. Novarino, (2019).
[Published Version] View | Files available | DOI
 

2019 |Published| Journal Article | IST-REx-ID: 6575 | OA
Emergent SU(2) dynamics and perfect quantum many-body scars
S. Choi, C.J. Turner, H. Pichler, W.W. Ho, A. Michailidis, Z. Papić, M. Serbyn, M.D. Lukin, D.A. Abanin, Physical Review Letters 122 (2019).
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

Filters and Search Terms

isbn%3D978-161197478-2

Search

Filter Publications