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| Thesis | IST-REx-ID: 6894 | 
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
M. Giacobbe, Automatic Time-Unbounded Reachability Analysis of Hybrid Systems, Institute of Science and Technology Austria, 2019.
2019 |Published| Thesis | IST-REx-ID: 6473 |
Estimating information flow in single cells
S.A. Cepeda Humerez, Estimating Information Flow in Single Cells, Institute of Science and Technology Austria, 2019.
[Published Version]
View
| Files available
| DOI
S.A. Cepeda Humerez, Estimating Information Flow in Single Cells, Institute of Science and Technology Austria, 2019.
2019 |Published| Journal Article | IST-REx-ID: 72 |
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
P. Ferrari, P. Ghosal, P. Nejjar, Annales de l’institut Henri Poincare (B) Probability and Statistics 55 (2019) 1203–1225.
2019 |Published| Journal Article | IST-REx-ID: 6999 |
Salicylic acid-mediated plasmodesmal closure via Remorin-dependent lipid organization
D. Huang, Y. Sun, Z. Ma, M. Ke, Y. Cui, Z. Chen, C. Chen, C. Ji, T. Tran, L. Yang, S. Lam, Y. Han, G. Shu, J. Friml, Y. Miao, L. Jiang, X. Chen, Proceedings of the National Academy of Sciences of the United States of America 116 (2019) 21274–21284.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
D. Huang, Y. Sun, Z. Ma, M. Ke, Y. Cui, Z. Chen, C. Chen, C. Ji, T. Tran, L. Yang, S. Lam, Y. Han, G. Shu, J. Friml, Y. Miao, L. Jiang, X. Chen, Proceedings of the National Academy of Sciences of the United States of America 116 (2019) 21274–21284.
2019 |Published| Conference Paper | IST-REx-ID: 6647 |
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
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.
2019 |Submitted| Preprint | IST-REx-ID: 7950 |
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
A. Biniaz, K. Jain, A. Lubiw, Z. Masárová, T. Miltzow, D. Mondal, A.M. Naredla, J. Tkadlec, A. Turcotte, ArXiv (n.d.).
2019 | Research Data | IST-REx-ID: 6074 |
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
C. Dotter, G. Novarino, (2019).
2019 |Published| Conference Paper | IST-REx-ID: 6482 |
KS(conf): A light-weight test if a ConvNet operates outside of Its specifications
R. Sun, C. Lampert, in:, Springer Nature, 2019, pp. 244–259.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
R. Sun, C. Lampert, in:, Springer Nature, 2019, pp. 244–259.
2019 |Published| Thesis | IST-REx-ID: 6392 |
Quantitative investigation of gene expression principles through combinatorial drug perturbation and theory
M. Lukacisin, Quantitative Investigation of Gene Expression Principles through Combinatorial Drug Perturbation and Theory, IST Austria, 2019.
[Published Version]
View
| Files available
| DOI
M. Lukacisin, Quantitative Investigation of Gene Expression Principles through Combinatorial Drug Perturbation and Theory, IST Austria, 2019.
2019 |Published| Thesis | IST-REx-ID: 6363 |
Parvalbumin+ interneurons enable efficient pattern separation in hippocampal microcircuits
C. Espinoza Martinez, Parvalbumin+ Interneurons Enable Efficient Pattern Separation in Hippocampal Microcircuits, Institute of Science and Technology Austria, 2019.
[Published Version]
View
| Files available
| DOI
C. Espinoza Martinez, Parvalbumin+ Interneurons Enable Efficient Pattern Separation in Hippocampal Microcircuits, Institute of Science and Technology Austria, 2019.
2019 |Published| Thesis | IST-REx-ID: 6891 |
The implication of cytoskeletal dynamics on leukocyte migration
A. Kopf, The Implication of Cytoskeletal Dynamics on Leukocyte Migration, Institute of Science and Technology Austria, 2019.
[Published Version]
View
| Files available
| DOI
A. Kopf, The Implication of Cytoskeletal Dynamics on Leukocyte Migration, Institute of Science and Technology Austria, 2019.
2019 |Published| Thesis | IST-REx-ID: 6849 |
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
D.K. Rangel Guerrero, The Role of CCK-Interneurons in Regulating Hippocampal Network Dynamics, Institute of Science and Technology Austria, 2019.
2018 |Published| Conference Paper | IST-REx-ID: 10883 |
Quasipolynomial set-based symbolic algorithms for parity games
K. Chatterjee, W. Dvořák, M.H. Henzinger, A. Svozil, in:, 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, EasyChair, 2018, pp. 233–253.
[Published Version]
View
| Files available
| DOI
| arXiv
K. Chatterjee, W. Dvořák, M.H. Henzinger, A. Svozil, in:, 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, EasyChair, 2018, pp. 233–253.
2018 |Published| Conference Paper | IST-REx-ID: 11 |
Mean-field limits of particles in interaction with quantised radiation fields
N.K. Leopold, P. Pickl, in:, Springer, 2018, pp. 185–214.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
N.K. Leopold, P. Pickl, in:, Springer, 2018, pp. 185–214.
2018 |Published| Journal Article | IST-REx-ID: 11557 |
The nature of luminous Ly α emitters at z ∼ 2–3: Maximal dust-poor starbursts and highly ionizing AGN
D. Sobral, J.J. Matthee, B. Darvish, I. Smail, P.N. Best, L. Alegre, H. Röttgering, B. Mobasher, A. Paulino-Afonso, A. Stroe, I. Oteo, Monthly Notices of the Royal Astronomical Society 477 (2018) 2817–2840.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
D. Sobral, J.J. Matthee, B. Darvish, I. Smail, P.N. Best, L. Alegre, H. Röttgering, B. Mobasher, A. Paulino-Afonso, A. Stroe, I. Oteo, Monthly Notices of the Royal Astronomical Society 477 (2018) 2817–2840.
2018 |Published| Journal Article | IST-REx-ID: 11558 |
Slicing COSMOS with SC4K: The evolution of typical Ly α emitters and the Ly α escape fraction from z ∼ 2 to 6
D. Sobral, S. Santos, J.J. Matthee, A. Paulino-Afonso, B. Ribeiro, J. Calhau, A.A. Khostovan, Monthly Notices of the Royal Astronomical Society 476 (2018) 4725–4752.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
D. Sobral, S. Santos, J.J. Matthee, A. Paulino-Afonso, B. Ribeiro, J. Calhau, A.A. Khostovan, Monthly Notices of the Royal Astronomical Society 476 (2018) 4725–4752.
2018 |Published| Journal Article | IST-REx-ID: 11618 |
FliPer: A global measure of power density to estimate surface gravities of main-sequence solar-like stars and red giants
L.A. Bugnet, R.A. García, G.R. Davies, S. Mathur, E. Corsaro, O.J. Hall, B.M. Rendle, Astronomy & Astrophysics 620 (2018).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
L.A. Bugnet, R.A. García, G.R. Davies, S. Mathur, E. Corsaro, O.J. Hall, B.M. Rendle, Astronomy & Astrophysics 620 (2018).
2018 |Published| Conference Paper | IST-REx-ID: 11872 |
Dynamic algorithms for graph coloring
S. Bhattacharya, D. Chakrabarty, M.H. Henzinger, D. Nanongkai, in:, 29th Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 2018, pp. 1–20.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
S. Bhattacharya, D. Chakrabarty, M.H. Henzinger, D. Nanongkai, in:, 29th Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 2018, pp. 1–20.
2018 |Published| Journal Article | IST-REx-ID: 11890 |
Deterministic fully dynamic data structures for vertex cover and matching
S. Bhattacharya, M.H. Henzinger, G.F. Italiano, SIAM Journal on Computing 47 (2018) 859–887.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
S. Bhattacharya, M.H. Henzinger, G.F. Italiano, SIAM Journal on Computing 47 (2018) 859–887.
2018 |Published| Journal Article | IST-REx-ID: 124
The retention of dust in protoplanetary disks: evidence from agglomeration olivine chondrules from the outer solar system
S.R. Waitukaitis, D. Schrader, K. Nagashima, J. Davidson, T. Mccoy, H. Conolly Jr, D. Lauretta, Geochimica et Cosmochimica Acta 223 (2018) 405–421.
View
| DOI
S.R. Waitukaitis, D. Schrader, K. Nagashima, J. Davidson, T. Mccoy, H. Conolly Jr, D. Lauretta, Geochimica et Cosmochimica Acta 223 (2018) 405–421.