en
Please note that IST 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.
5430 Publications
2019 | Journal Article | IST-REx-ID: 6788 
Mean-field dynamics for the Nelson model with fermions
N.K. Leopold, S.P. Petrat, Annales Henri Poincare 20 (2019) 3471–3508.
View
| Files available
| DOI
| arXiv
N.K. Leopold, S.P. Petrat, Annales Henri Poincare 20 (2019) 3471–3508.
2019 | Journal Article | IST-REx-ID: 6795
Green beards in the light of indirect genetic effects
B. Trubenova, R. Hager, Ecology and Evolution 9 (2019) 9597–9608.
View
| Files available
| DOI
B. Trubenova, R. Hager, Ecology and Evolution 9 (2019) 9597–9608.
2019 | Journal Article | IST-REx-ID: 6858
Is speciation driven by cycles of mixing and isolation?
N.H. Barton, National Science Review 6 (2019) 291–292.
View
| DOI
N.H. Barton, National Science Review 6 (2019) 291–292.
2019 | Journal Article | IST-REx-ID: 5949
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.
View
| Files available
| DOI
K. Käfer, H. Malagon-Vina, D. Dickerson, J. O’Neill, S.V. Trossbach, C. Korth, J.L. Csicsvari, Hippocampus 29 (2019) 802–816.
2019 | Journal Article | IST-REx-ID: 6978
Geometry of transient chaos in streamwise-localized pipe flow turbulence
N.B. Budanur, A. Dogra, B. Hof, Physical Review Fluids 4 (2019) 102401.
View
| DOI
| Download (ext.)
| arXiv
N.B. Budanur, A. Dogra, B. Hof, Physical Review Fluids 4 (2019) 102401.
2019 | Conference Paper | IST-REx-ID: 6935
Does preprocessing help under congestion?
K.-T. Foerster, J. Korhonen, J. Rybicki, S. Schmid, in:, Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing, ACM, 2019, pp. 259–261.
View
| DOI
| Download (ext.)
| arXiv
K.-T. Foerster, J. Korhonen, J. Rybicki, S. Schmid, in:, Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing, ACM, 2019, pp. 259–261.
2019 | Journal Article | IST-REx-ID: 6896
Modeling cell-cell interactions in the brain using cerebral organoids
B. Oliveira, A.Ç. Yahya, G. Novarino, Brain Research 1724 (2019).
View
| DOI
| PubMed | Europe PMC
B. Oliveira, A.Ç. Yahya, G. Novarino, Brain Research 1724 (2019).
2019 | Research Data | IST-REx-ID: 7154
Supplementary data for "Programming temporal morphing of self-actuated shells"
R. Guseinov, Supplementary Data for “Programming Temporal Morphing of Self-Actuated Shells,” IST Austria, 2019.
View
| Files available
| DOI
R. Guseinov, Supplementary Data for “Programming Temporal Morphing of Self-Actuated Shells,” IST Austria, 2019.
2019 | Journal Article | IST-REx-ID: 7161
Inertial projection-type methods for solving quasi-variational inequalities in real Hilbert spaces
Y. Shehu, A. Gibali, S. Sagratella, Journal of Optimization Theory and Applications (2019).
View
| DOI
Y. Shehu, A. Gibali, S. Sagratella, Journal of Optimization Theory and Applications (2019).
2019 | Preprint | IST-REx-ID: 7084
Single-component order parameter in URu2Si2 uncovered by resonant ultrasound spectroscopy and machine learning
S. Ghosh, M. Matty, R. Baumbach, E.D. Bauer, K.A. Modic, A. Shekhter, J.A. Mydosh, E.-A. Kim, B.J. Ramshaw, ArXiv:1903.00552 (n.d.).
View
| Download (ext.)
| arXiv
S. Ghosh, M. Matty, R. Baumbach, E.D. Bauer, K.A. Modic, A. Shekhter, J.A. Mydosh, E.-A. Kim, B.J. Ramshaw, ArXiv:1903.00552 (n.d.).
2019 | Journal Article | IST-REx-ID: 7128
Common regulatory pathways mediate activity of microRNAs inducing cardiomyocyte proliferation
C. Torrini, R.J. Cubero, E. Dirkx, L. Braga, H. Ali, G. Prosdocimo, M.I. Gutierrez, C. Collesi, D. Licastro, L. Zentilin, M. Mano, S. Zacchigna, M. Vendruscolo, M. Marsili, A. Samal, M. Giacca, Cell Reports 27 (2019) 2759–2771.e5.
View
| Files available
| DOI
| PubMed | Europe PMC
C. Torrini, R.J. Cubero, E. Dirkx, L. Braga, H. Ali, G. Prosdocimo, M.I. Gutierrez, C. Collesi, D. Licastro, L. Zentilin, M. Mano, S. Zacchigna, M. Vendruscolo, M. Marsili, A. Samal, M. Giacca, Cell Reports 27 (2019) 2759–2771.e5.
2019 | Journal Article | IST-REx-ID: 7130
Statistical criticality arises in most informative representations
R.J. Cubero, J. Jo, M. Marsili, Y. Roudi, J. Song, Journal of Statistical Mechanics: Theory and Experiment 2019 (2019).
View
| DOI
| Download (ext.)
| arXiv
R.J. Cubero, J. Jo, M. Marsili, Y. Roudi, J. Song, Journal of Statistical Mechanics: Theory and Experiment 2019 (2019).
2019 | Conference Paper | IST-REx-ID: 7010
Blood cell-vessel wall interactions probed by reflection interference contrast microscopy
H.S. Davies, N.S. Baranova, N. El Amri, L. Coche-Guérente, C. Verdier, L. Bureau, R.P. Richter, D. Débarre, in:, Advances in Microscopic Imaging II, SPIE, 2019.
View
| DOI
H.S. Davies, N.S. Baranova, N. El Amri, L. Coche-Guérente, C. Verdier, L. Bureau, R.P. Richter, D. Débarre, in:, Advances in Microscopic Imaging II, SPIE, 2019.
2019 | Journal Article | IST-REx-ID: 7015
Floating Wigner crystal with no boundary charge fluctuations
M. Lewin, E.H. Lieb, R. Seiringer, Physical Review B 100 (2019).
View
| DOI
| Download (ext.)
| arXiv
M. Lewin, E.H. Lieb, R. Seiringer, Physical Review B 100 (2019).
2019 | Conference Paper | IST-REx-ID: 6985
Response characterization for auditing cell dynamics in long short-term memory networks
R. Hasani, A. Amini, M. Lechner, F. Naser, R. Grosu, D. Rus, in:, Proceedings of the International Joint Conference on Neural Networks, IEEE, 2019.
View
| DOI
| Download (ext.)
| arXiv
R. Hasani, A. Amini, M. Lechner, F. Naser, R. Grosu, D. Rus, in:, Proceedings of the International Joint Conference on Neural Networks, IEEE, 2019.
2019 | Journal Article | IST-REx-ID: 7197
Cooperative ordering of treadmilling filaments in cytoskeletal networks of FtsZ and its crosslinker ZapA
P.R. Dos Santos Caldas, M.D. Lopez Pelegrin, D.J.G. Pearce, N.B. Budanur, J. Brugués, M. Loose, Nature Communications 10 (2019).
View
| Files available
| DOI
P.R. Dos Santos Caldas, M.D. Lopez Pelegrin, D.J.G. Pearce, N.B. Budanur, J. Brugués, M. Loose, Nature Communications 10 (2019).
2019 | Journal Article | IST-REx-ID: 7200
Effect of anomalous diffusion of fluctuating Cooper pairs on the density of states of superconducting NbN thin films
P. Brighi, M. Grilli, B. Leridon, S. Caprara, Physical Review B 100 (2019).
View
| DOI
| Download (ext.)
| arXiv
P. Brighi, M. Grilli, B. Leridon, S. Caprara, Physical Review B 100 (2019).
2019 | Journal Article | IST-REx-ID: 7205
Is embryo abortion a post-zygotic barrier to gene flow between Littorina ecotypes?
K. Johannesson, Z. Zagrodzka, R. Faria, A.M. Westram, R.K. Butlin, Journal of Evolutionary Biology (2019).
View
| DOI
| PubMed | Europe PMC
K. Johannesson, Z. Zagrodzka, R. Faria, A.M. Westram, R.K. Butlin, Journal of Evolutionary Biology (2019).
2019 | Journal Article | IST-REx-ID: 6377
Disruption of endocytosis through chemical inhibition of clathrin heavy chain function
W. Dejonghe, I. Sharma, B. Denoo, S. De Munck, Q. Lu, K. Mishev, H. Bulut, E. Mylle, R. De Rycke, M.K. Vasileva, D.V. Savatin, W. Nerinckx, A. Staes, A. Drozdzecki, D. Audenaert, K. Yperman, A. Madder, J. Friml, D. Van Damme, K. Gevaert, V. Haucke, S.N. Savvides, J. Winne, E. Russinova, Nature Chemical Biology 15 (2019) 641–649.
View
| Files available
| DOI
W. Dejonghe, I. Sharma, B. Denoo, S. De Munck, Q. Lu, K. Mishev, H. Bulut, E. Mylle, R. De Rycke, M.K. Vasileva, D.V. Savatin, W. Nerinckx, A. Staes, A. Drozdzecki, D. Audenaert, K. Yperman, A. Madder, J. Friml, D. Van Damme, K. Gevaert, V. Haucke, S.N. Savvides, J. Winne, E. Russinova, Nature Chemical Biology 15 (2019) 641–649.
2019 | Thesis | IST-REx-ID: 6947
Lymph node mechanics: Deciphering the interplay between stroma contractility, morphology and lymphocyte trafficking
F.P. Assen, Lymph Node Mechanics: Deciphering the Interplay between Stroma Contractility, Morphology and Lymphocyte Trafficking, IST Austria, 2019.
View
| Files available
| DOI
F.P. Assen, Lymph Node Mechanics: Deciphering the Interplay between Stroma Contractility, Morphology and Lymphocyte Trafficking, IST Austria, 2019.
2019 | Journal Article | IST-REx-ID: 5886
Variational approaches to quantum impurities: from the Fröhlich polaron to the angulon
X. Li, G. Bighin, E. Yakaboylu, M. Lemeshko, Molecular Physics (2019).
View
| Files available
| DOI
X. Li, G. Bighin, E. Yakaboylu, M. Lemeshko, Molecular Physics (2019).
2019 | Conference Paper | IST-REx-ID: 6428
Interface-aware signal temporal logic
T. Ferrere, D. Nickovic, A. Donzé, H. Ito, J. Kapinski, in:, Proceedings of the 2019 22nd ACM International Conference on Hybrid Systems: Computation and Control, ACM, 2019, pp. 57–66.
View
| DOI
T. Ferrere, D. Nickovic, A. Donzé, H. Ito, J. Kapinski, in:, Proceedings of the 2019 22nd ACM International Conference on Hybrid Systems: Computation and Control, ACM, 2019, pp. 57–66.
2019 | Journal Article | IST-REx-ID: 6601
Mechanochemical feedback loops in development and disease
E.B. Hannezo, C.-P.J. Heisenberg, Cell 178 (2019) 12–25.
View
| DOI
E.B. Hannezo, C.-P.J. Heisenberg, Cell 178 (2019) 12–25.
2019 | Journal Article | IST-REx-ID: 6808
Strategies to maximize performance in STimulated Emission Depletion (STED) nanoscopy of biological specimens
W. Jahr, P. Velicky, J.G. Danzl, Methods (n.d.).
View
| DOI
W. Jahr, P. Velicky, J.G. Danzl, Methods (n.d.).
2019 | Conference Paper | IST-REx-ID: 6822
Bidding games on Markov decision processes
G. Avni, T.A. Henzinger, R. Ibsen-Jensen, P. Novotny, in:, Proceedings of the 13th International Conference of Reachability Problems, Springer, 2019, pp. 1–12.
View
| Files available
| DOI
G. Avni, T.A. Henzinger, R. Ibsen-Jensen, P. Novotny, in:, Proceedings of the 13th International Conference of Reachability Problems, Springer, 2019, pp. 1–12.
2019 | Conference Paper | IST-REx-ID: 6884
Bidding mechanisms in graph games
G. Avni, T.A. Henzinger, D. Zikelic, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019.
View
| Files available
| DOI
| arXiv
G. Avni, T.A. Henzinger, D. Zikelic, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019.
2019 | Conference Paper | IST-REx-ID: 6889
Combinations of Qualitative Winning for Stochastic Parity Games
K. Chatterjee, N. Piterman, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019.
View
| Files available
| DOI
K. Chatterjee, N. Piterman, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019.
2019 | Thesis | IST-REx-ID: 6473
Estimating information flow in single cells
S.A. Cepeda Humerez, Estimating Information Flow in Single Cells, IST Austria, 2019.
View
| Files available
| DOI
S.A. Cepeda Humerez, Estimating Information Flow in Single Cells, IST Austria, 2019.
2019 | Conference Paper | IST-REx-ID: 6942
Strategy representation by decision trees with linear classifiers
P. Ashok, T. Brázdil, K. Chatterjee, J. Křetínský, C. Lampert, V. Toman, in:, 16th International Conference on Quantitative Evaluation of Systems, Springer Nature, 2019, pp. 109–128.
View
| DOI
| Download (ext.)
| arXiv
P. Ashok, T. Brázdil, K. Chatterjee, J. Křetínský, C. Lampert, V. Toman, in:, 16th International Conference on Quantitative Evaluation of Systems, Springer Nature, 2019, pp. 109–128.
2019 | Journal Article | IST-REx-ID: 6980
Tissue rheology in embryonic organization
N. Petridou, C.-P.J. Heisenberg, The EMBO Journal 38 (2019).
View
| Files available
| DOI
| PubMed | Europe PMC
N. Petridou, C.-P.J. Heisenberg, The EMBO Journal 38 (2019).
2019 | Thesis | IST-REx-ID: 6891
The implication of cytoskeletal dynamics on leukocyte migration
A. Kopf, The Implication of Cytoskeletal Dynamics on Leukocyte Migration, IST Austria, 2019.
View
| Files available
| DOI
A. Kopf, The Implication of Cytoskeletal Dynamics on Leukocyte Migration, IST Austria, 2019.
2019 | Journal Article | IST-REx-ID: 6877
The neural crest pitches in to remove apoptotic debris
A. Kopf, M.K. Sixt, Cell 179 (2019) 51–53.
View
| Files available
| DOI
| PubMed | Europe PMC
A. Kopf, M.K. Sixt, Cell 179 (2019) 51–53.
2019 | Journal Article | IST-REx-ID: 7109
From real-time logic to timed automata
T. Ferrere, O. Maler, D. Ničković, A. Pnueli, Journal of the ACM 66 (2019).
View
| DOI
T. Ferrere, O. Maler, D. Ničković, A. Pnueli, Journal of the ACM 66 (2019).
2019 | Conference Paper | IST-REx-ID: 7147
Transient memory in gene regulation
C.C. Guet, T.A. Henzinger, C. Igler, T. Petrov, A. Sezgin, in:, 17th International Conference on Computational Methods in Systems Biology, Springer Nature, 2019, pp. 155–187.
View
| DOI
C.C. Guet, T.A. Henzinger, C. Igler, T. Petrov, A. Sezgin, in:, 17th International Conference on Computational Methods in Systems Biology, Springer Nature, 2019, pp. 155–187.
2019 | Conference Paper | IST-REx-ID: 7159
Shape expressions for specifying and extracting signal features
D. Ničković, X. Qin, T. Ferrere, C. Mateis, J. Deshmukh, in:, 19th International Conference on Runtime Verification, Springer Nature, 2019, pp. 292–309.
View
| DOI
D. Ničković, X. Qin, T. Ferrere, C. Mateis, J. Deshmukh, in:, 19th International Conference on Runtime Verification, Springer Nature, 2019, pp. 292–309.
2019 | Journal Article | IST-REx-ID: 7180
Brassinosteroid signaling delimits root gravitropism via sorting of the Arabidopsis PIN2 auxin transporter
K. Retzer, M. Akhmanova, N. Konstantinova, K. Malínská, J. Leitner, J. Petrášek, C. Luschnig, Nature Communications 10 (2019).
View
| Files available
| DOI
| PubMed | Europe PMC
K. Retzer, M. Akhmanova, N. Konstantinova, K. Malínská, J. Leitner, J. Petrášek, C. Luschnig, Nature Communications 10 (2019).
2019 | Conference Paper | IST-REx-ID: 7231
Piecewise robust barrier tubes for nonlinear hybrid systems with uncertainty
H. Kong, E. Bartocci, Y. Jiang, T.A. Henzinger, in:, Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Nature, 2019, pp. 123–141.
View
| DOI
| Download (ext.)
| arXiv
H. Kong, E. Bartocci, Y. Jiang, T.A. Henzinger, in:, Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Nature, 2019, pp. 123–141.
2019 | Journal Article | IST-REx-ID: 6752
Infinite-duration bidding games
G. Avni, T.A. Henzinger, V.K. Chonev, Journal of the ACM 66 (2019).
View
| Files available
| DOI
| Download (ext.)
| arXiv
G. Avni, T.A. Henzinger, V.K. Chonev, Journal of the ACM 66 (2019).
2019 | Journal Article | IST-REx-ID: 7281
Mutual conservation of redox mediator and singlet oxygen quencher in Lithium–Oxygen batteries
W.-J. Kwak, S.A. Freunberger, H. Kim, J. Park, T.T. Nguyen, H.-G. Jung, H.R. Byon, Y.-K. Sun, ACS Catalysis 9 (2019) 9914–9922.
View
| DOI
W.-J. Kwak, S.A. Freunberger, H. Kim, J. Park, T.T. Nguyen, H.-G. Jung, H.R. Byon, Y.-K. Sun, ACS Catalysis 9 (2019) 9914–9922.
2019 | Journal Article | IST-REx-ID: 6194
The entorhinal cognitive map is attracted to goals
C.N. Boccara, M. Nardin, F. Stella, J. O’Neill, J.L. Csicsvari, Science 363 (2019) 1443–1447.
View
| Files available
| DOI
C.N. Boccara, M. Nardin, F. Stella, J. O’Neill, J.L. Csicsvari, Science 363 (2019) 1443–1447.
2019 | Research Data | IST-REx-ID: 6062
Supplementary Code and Data for the paper "The Entorhinal Cognitive Map is Attracted to Goals"
M. Nardin, Supplementary Code and Data for the Paper “The Entorhinal Cognitive Map Is Attracted to Goals,” IST Austria, 2019.
View
| Files available
| DOI
M. Nardin, Supplementary Code and Data for the Paper “The Entorhinal Cognitive Map Is Attracted to Goals,” IST Austria, 2019.
2019 | Journal Article | IST-REx-ID: 7421
A reciprocal translocation radically reshapes sex‐linked inheritance in the common frog
M.A. Toups, N. Rodrigues, N. Perrin, M. Kirkpatrick, Molecular Ecology 28 (2019) 1877–1889.
View
| DOI
| PubMed | Europe PMC
M.A. Toups, N. Rodrigues, N. Perrin, M. Kirkpatrick, Molecular Ecology 28 (2019) 1877–1889.
2019 | Conference Paper | IST-REx-ID: 7402
Graph planning with expected finite horizon
K. Chatterjee, L. Doyen, in:, 34th Annual ACM/IEEE Symposium on Logic in Computer Science, IEEE, 2019, pp. 1–13.
View
| DOI
| Download (ext.)
| arXiv
K. Chatterjee, L. Doyen, in:, 34th Annual ACM/IEEE Symposium on Logic in Computer Science, IEEE, 2019, pp. 1–13.
2019 | Journal Article | IST-REx-ID: 7399
The Airn lncRNA does not require any DNA elements within its locus to silence distant imprinted genes
D. Andergassen, M. Muckenhuber, P.C. Bammer, T.M. Kulinski, H.-C. Theussl, T. Shimizu, J.M. Penninger, F. Pauler, Q.J. Hudson, PLOS Genetics 15 (2019) e1008268.
View
| Files available
| DOI
| PubMed | Europe PMC
D. Andergassen, M. Muckenhuber, P.C. Bammer, T.M. Kulinski, H.-C. Theussl, T. Shimizu, J.M. Penninger, F. Pauler, Q.J. Hudson, PLOS Genetics 15 (2019) e1008268.
2019 | Journal Article | IST-REx-ID: 7414
S.16.03 A homozygous missense mutation in SLC7A5 leads to autism spectrum disorder and microcephaly
L. Knaus, D.-C. Tarlungeanu, G. Novarino, European Neuropsychopharmacology 29 (2019) S11.
View
| DOI
L. Knaus, D.-C. Tarlungeanu, G. Novarino, European Neuropsychopharmacology 29 (2019) S11.
2019 | Journal Article | IST-REx-ID: 7394
Editorial overview: Cell biology in the era of omics?
E. Benková, Y. Dagdas, Current Opinion in Plant Biology 52 (2019) A1–A2.
View
| DOI
| PubMed | Europe PMC
E. Benková, Y. Dagdas, Current Opinion in Plant Biology 52 (2019) A1–A2.
2019 | Journal Article | IST-REx-ID: 7476
Tracing the cellular dynamics of sebaceous gland development in normal and perturbed states
M.S. Andersen, E.B. Hannezo, S. Ulyanchenko, S. Estrach, Y. Antoku, S. Pisano, K.E. Boonekamp, S. Sendrup, M. Maimets, M.T. Pedersen, J.V. Johansen, D.L. Clement, C.C. Feral, B.D. Simons, K.B. Jensen, Nature Cell Biology 21 (2019) 924–932.
View
| DOI
| Download (ext.)
| PubMed | Europe PMC
M.S. Andersen, E.B. Hannezo, S. Ulyanchenko, S. Estrach, Y. Antoku, S. Pisano, K.E. Boonekamp, S. Sendrup, M. Maimets, M.T. Pedersen, J.V. Johansen, D.L. Clement, C.C. Feral, B.D. Simons, K.B. Jensen, Nature Cell Biology 21 (2019) 924–932.
2019 | Journal Article | IST-REx-ID: 7034
Counterexample to an extension of the Hanani-Tutte theorem on the surface of genus 4
R. Fulek, J. Kynčl, Combinatorica 39 (2019) 1267–1279.
View
| DOI
| Download (ext.)
| arXiv
R. Fulek, J. Kynčl, Combinatorica 39 (2019) 1267–1279.
2019 | Thesis | IST-REx-ID: 6269
Clathrin-Mediated endocytosis, post-endocytic trafficking and their regulatory controls in plants
M. Narasimhan, Clathrin-Mediated Endocytosis, Post-Endocytic Trafficking and Their Regulatory Controls in Plants , IST Austria, 2019.
View
| Files available
| DOI
M. Narasimhan, Clathrin-Mediated Endocytosis, Post-Endocytic Trafficking and Their Regulatory Controls in Plants , IST Austria, 2019.
2019 | Journal Article | IST-REx-ID: 6310
Counting rational points on biquadratic hypersurfaces
T.D. Browning, L.Q. Hu, Advances in Mathematics 349 (2019) 920–940.
View
| Files available
| DOI
| arXiv
T.D. Browning, L.Q. Hu, Advances in Mathematics 349 (2019) 920–940.