Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
5473 Publications
2017 | Published | Journal Article | IST-REx-ID: 1016
Uner Tan syndrome caused by a homozygous TUBB2B mutation affecting microtubule stability
M. Breuss, T. Nguyen, A. Srivatsan, I. Leca, G. Tian, T. Fritz, A.H. Hansen, D. Musaev, J. Mcevoy Venneri, J. Kiely, R. Rosti, E. Scott, U. Tan, R. Kolodner, N. Cowan, D. Keays, J. Gleeson, Human Molecular Genetics 26 (2017) 258–269.
View
| DOI
| WoS
M. Breuss, T. Nguyen, A. Srivatsan, I. Leca, G. Tian, T. Fritz, A.H. Hansen, D. Musaev, J. Mcevoy Venneri, J. Kiely, R. Rosti, E. Scott, U. Tan, R. Kolodner, N. Cowan, D. Keays, J. Gleeson, Human Molecular Genetics 26 (2017) 258–269.
2017 | Published | Journal Article | IST-REx-ID: 1017 |
Tubulins and brain development: The origins of functional specification
M. Breuss, I. Leca, T. Gstrein, A.H. Hansen, D. Keays, Molecular and Cellular Neuroscience 84 (2017) 58–67.
[Published Version]
View
| Files available
| DOI
| WoS
M. Breuss, I. Leca, T. Gstrein, A.H. Hansen, D. Keays, Molecular and Cellular Neuroscience 84 (2017) 58–67.
2017 | Published | Journal Article | IST-REx-ID: 1018
Light regulated expression of sensor histidine kinase CKI1 controls cytokinin related development
T. Dobisova, V. Hrdinova, C. Cuesta, S. Michlickova, I. Urbankova, R. Hejatkova, P. Zadnikova, M. Pernisová, E. Benková, J. Hejátko, Plant Physiology 174 (2017) 387–404.
View
| DOI
| WoS
T. Dobisova, V. Hrdinova, C. Cuesta, S. Michlickova, I. Urbankova, R. Hejatkova, P. Zadnikova, M. Pernisová, E. Benková, J. Hejátko, Plant Physiology 174 (2017) 387–404.
2017 | Published | Journal Article | IST-REx-ID: 1019
X-linkage is not a general inhibitor of tissue-specific gene expression in Drosophila melanogaster
E. Argyridou, A.K. Huylmans, A. Königer, J. Parsch, Heredity 119 (2017) 27–34.
View
| Files available
| DOI
| WoS
E. Argyridou, A.K. Huylmans, A. Königer, J. Parsch, Heredity 119 (2017) 27–34.
2017 | Published | Journal Article | IST-REx-ID: 1020 |
Disordered cellulose based nanostructures for enhanced light scattering
S. Caixeiro, M. Peruzzo, O. Onelli, S. Vignolini, R. Sapienza, ACS Applied Materials and Interfaces 9 (2017) 7885–7890.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
S. Caixeiro, M. Peruzzo, O. Onelli, S. Vignolini, R. Sapienza, ACS Applied Materials and Interfaces 9 (2017) 7885–7890.
2017 | Published | Journal Article | IST-REx-ID: 1021 |
Boundary layer turbulence in experiments on quasi Keplerian flows
J.M. Lopez Alonso, M. Avila, Journal of Fluid Mechanics 817 (2017) 21–34.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
J.M. Lopez Alonso, M. Avila, Journal of Fluid Mechanics 817 (2017) 21–34.
2017 | Published | Journal Article | IST-REx-ID: 1022 |
The topology of the cosmic web in terms of persistent Betti numbers
P. Pranav, H. Edelsbrunner, R. Van De Weygaert, G. Vegter, M. Kerber, B. Jones, M. Wintraecken, Monthly Notices of the Royal Astronomical Society 465 (2017) 4281–4310.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
P. Pranav, H. Edelsbrunner, R. Van De Weygaert, G. Vegter, M. Kerber, B. Jones, M. Wintraecken, Monthly Notices of the Royal Astronomical Society 465 (2017) 4281–4310.
2017 | Published | Journal Article | IST-REx-ID: 1023 |
Local law for the product of independent non-Hermitian random matrices with independent entries
Y. Nemish, Electronic Journal of Probability 22 (2017).
[Published Version]
View
| Files available
| DOI
| WoS
Y. Nemish, Electronic Journal of Probability 22 (2017).
2017 | Published | Journal Article | IST-REx-ID: 1025
Cell biology: Stretched divisions
C.-P.J. Heisenberg, Nature 543 (2017) 43–44.
View
| DOI
| WoS
C.-P.J. Heisenberg, Nature 543 (2017) 43–44.
2017 | Published | Journal Article | IST-REx-ID: 1026
Optogenetic methods in drug screening: Technologies and applications
V. Agus, H.L. Janovjak, Current Opinion in Biotechnology 48 (2017) 8–14.
View
| DOI
| WoS
V. Agus, H.L. Janovjak, Current Opinion in Biotechnology 48 (2017) 8–14.
2017 | Published | Journal Article | IST-REx-ID: 1030 |
Ein freies Bibliothekssystem für wissenschaftliche Bibliotheken – Werkstattbericht der IST Austria Library
M. Villányi, Informationspraxis 3 (2017).
[Published Version]
View
| Files available
| DOI
M. Villányi, Informationspraxis 3 (2017).
2017 | Published | Journal Article | IST-REx-ID: 10416 |
Optimal Dyck reachability for data-dependence and Alias analysis
K. Chatterjee, B. Choudhary, A. Pavlogiannis, Proceedings of the ACM on Programming Languages 2 (2017).
[Published Version]
View
| Files available
| DOI
| arXiv
K. Chatterjee, B. Choudhary, A. Pavlogiannis, Proceedings of the ACM on Programming Languages 2 (2017).
2017 | Published | Journal Article | IST-REx-ID: 10417 |
Data-centric dynamic partial order reduction
M. Chalupa, K. Chatterjee, A. Pavlogiannis, N. Sinha, K. Vaidya, Proceedings of the ACM on Programming Languages 2 (2017).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| arXiv
M. Chalupa, K. Chatterjee, A. Pavlogiannis, N. Sinha, K. Vaidya, Proceedings of the ACM on Programming Languages 2 (2017).
2017 | Published | Journal Article | IST-REx-ID: 10418 |
A new proof rule for almost-sure termination
A. Mciver, C. Morgan, B.L. Kaminski, J.P. Katoen, Proceedings of the ACM on Programming Languages 2 (2017).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
A. Mciver, C. Morgan, B.L. Kaminski, J.P. Katoen, Proceedings of the ACM on Programming Languages 2 (2017).
2017 | Published | Journal Article | IST-REx-ID: 1063 |
Evolutionary rescue in randomly mating, selfing, and clonal populations
H. Uecker, Evolution 71 (2017) 845–858.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
H. Uecker, Evolution 71 (2017) 845–858.
2017 | Published | Journal Article | IST-REx-ID: 1065 |
Pushdown reachability with constant treewidth
K. Chatterjee, G.F. Osang, Information Processing Letters 122 (2017) 25–29.
[Submitted Version]
View
| Files available
| DOI
| WoS
K. Chatterjee, G.F. Osang, Information Processing Letters 122 (2017) 25–29.
2017 | Published | Journal Article | IST-REx-ID: 1066
Quantitative fair simulation games
K. Chatterjee, T.A. Henzinger, J. Otop, Y. Velner, Information and Computation 254 (2017) 143–166.
View
| Files available
| DOI
| WoS
K. Chatterjee, T.A. Henzinger, J. Otop, Y. Velner, Information and Computation 254 (2017) 143–166.
2017 | Published | Journal Article | IST-REx-ID: 1067 |
The physical basis of coordinated tissue spreading in zebrafish gastrulation
H. Morita, S. Grigolon, M. Bock, G. Krens, G. Salbreux, C.-P.J. Heisenberg, Developmental Cell 40 (2017) 354–366.
[Published Version]
View
| Files available
| DOI
| WoS
H. Morita, S. Grigolon, M. Bock, G. Krens, G. Salbreux, C.-P.J. Heisenberg, Developmental Cell 40 (2017) 354–366.
2017 | Published | Journal Article | IST-REx-ID: 1072 |
The Morse theory of Čech and delaunay complexes
U. Bauer, H. Edelsbrunner, Transactions of the American Mathematical Society 369 (2017) 3741–3762.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
U. Bauer, H. Edelsbrunner, Transactions of the American Mathematical Society 369 (2017) 3741–3762.
2017 | Published | Journal Article | IST-REx-ID: 1073 |
Algorithmic solvability of the lifting extension problem
M. Čadek, M. Krcál, L. Vokřínek, Discrete & Computational Geometry 54 (2017) 915–965.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
M. Čadek, M. Krcál, L. Vokřínek, Discrete & Computational Geometry 54 (2017) 915–965.