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.
1937 Publications
2022 | Published | Journal Article | IST-REx-ID: 12245 | 
Sequential and additive expression of miR-9 precursors control timing of neurogenesis
X. Soto, J. Burton, C.S. Manning, T. Minchington, R. Lea, J. Lee, J. Kursawe, M. Rattray, N. Papalopulu, Development 149 (2022).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
X. Soto, J. Burton, C.S. Manning, T. Minchington, R. Lea, J. Lee, J. Kursawe, M. Rattray, N. Papalopulu, Development 149 (2022).
2022 | Published | Conference Paper | IST-REx-ID: 12298 |
Jolteon and ditto: Network-adaptive efficient consensus with asynchronous fallback
R. Gelashvili, E. Kokoris Kogias, A. Sonnino, A. Spiegelman, Z. Xiang, in:, Financial Cryptography and Data Security, Springer Nature, 2022, pp. 296–315.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
R. Gelashvili, E. Kokoris Kogias, A. Sonnino, A. Spiegelman, Z. Xiang, in:, Financial Cryptography and Data Security, Springer Nature, 2022, pp. 296–315.
2022 | Published | Conference Paper | IST-REx-ID: 12300 |
Practical asynchronous distributed key generation
S. Das, T. Yurek, Z. Xiang, A. Miller, E. Kokoris Kogias, L. Ren, in:, 2022 IEEE Symposium on Security and Privacy, Institute of Electrical and Electronics Engineers, 2022, pp. 2518–2534.
[Preprint]
View
| DOI
| Download Preprint (ext.)
S. Das, T. Yurek, Z. Xiang, A. Miller, E. Kokoris Kogias, L. Ren, in:, 2022 IEEE Symposium on Security and Privacy, Institute of Electrical and Electronics Engineers, 2022, pp. 2518–2534.
2022 | Published | Conference Paper | IST-REx-ID: 12302 |
FORQ-based language inclusion formal testing
K. Doveri, P. Ganty, N.A. Mazzocchi, in:, Computer Aided Verification, Springer Nature, 2022, pp. 109–129.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
K. Doveri, P. Ganty, N.A. Mazzocchi, in:, Computer Aided Verification, Springer Nature, 2022, pp. 109–129.
2022 | Published | Book Chapter | IST-REx-ID: 12303 |
Loop Grassmannians of Quivers and Affine Quantum Groups
I. Mirković, Y. Yang, G. Zhao, in:, V. Baranovskky, N. Guay, T. Schedler (Eds.), Representation Theory and Algebraic Geometry, 1st ed., Springer Nature; Birkhäuser, Cham, 2022, pp. 347–392.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
I. Mirković, Y. Yang, G. Zhao, in:, V. Baranovskky, N. Guay, T. Schedler (Eds.), Representation Theory and Algebraic Geometry, 1st ed., Springer Nature; Birkhäuser, Cham, 2022, pp. 347–392.
2022 | Published | Thesis | IST-REx-ID: 12368 |
Remodeling of E-cadherin-mediated contacts via cortical flows
F.N. Arslan, Remodeling of E-Cadherin-Mediated Contacts via Cortical Flows, Institute of Science and Technology Austria, 2022.
[Published Version]
View
| Files available
| DOI
F.N. Arslan, Remodeling of E-Cadherin-Mediated Contacts via Cortical Flows, Institute of Science and Technology Austria, 2022.
2022 | Published | Conference Paper | IST-REx-ID: 12432
Solving the Hamilton cycle problem fast on average
M. Anastos, in:, 63rd Annual IEEE Symposium on Foundations of Computer Science, Institute of Electrical and Electronics Engineers, 2022, pp. 919–930.
View
| DOI
| WoS
M. Anastos, in:, 63rd Annual IEEE Symposium on Foundations of Computer Science, Institute of Electrical and Electronics Engineers, 2022, pp. 919–930.
2022 | Published | Conference Paper | IST-REx-ID: 12516 |
Public-Key Encryption from Homogeneous CLWE
A. Bogdanov, M. Cueto Noval, C. Hoffmann, A. Rosen, in:, Theory of Cryptography, Springer Nature, 2022, pp. 565–592.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
A. Bogdanov, M. Cueto Noval, C. Hoffmann, A. Rosen, in:, Theory of Cryptography, Springer Nature, 2022, pp. 565–592.
2022 | Published | Conference Paper | IST-REx-ID: 12529 |
A direct symbolic algorithm for solving stochastic rabin games
T. Banerjee, R. Majumdar, K. Mallik, A.-K. Schmuck, S. Soudjani, in:, 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2022, pp. 81–98.
[Published Version]
View
| DOI
| Download Published Version (ext.)
T. Banerjee, R. Majumdar, K. Mallik, A.-K. Schmuck, S. Soudjani, in:, 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2022, pp. 81–98.
2022 | Published | Journal Article | IST-REx-ID: 12574 |
Sub-seasonal variability of supraglacial ice cliff melt rates and associated processes from time-lapse photogrammetry
M. Kneib, E.S. Miles, P. Buri, S. Fugger, M. McCarthy, T.E. Shaw, Z. Chuanxi, M. Truffer, M.J. Westoby, W. Yang, F. Pellicciotti, The Cryosphere 16 (2022) 4701–4725.
[Published Version]
View
| DOI
| Download Published Version (ext.)
M. Kneib, E.S. Miles, P. Buri, S. Fugger, M. McCarthy, T.E. Shaw, Z. Chuanxi, M. Truffer, M.J. Westoby, W. Yang, F. Pellicciotti, The Cryosphere 16 (2022) 4701–4725.
2022 | Published | Journal Article | IST-REx-ID: 12582 |
Controls on the relative melt rates of debris-covered glacier surfaces
E.S. Miles, J.F. Steiner, P. Buri, W.W. Immerzeel, F. Pellicciotti, Environmental Research Letters 17 (2022).
[Published Version]
View
| DOI
| Download Published Version (ext.)
E.S. Miles, J.F. Steiner, P. Buri, W.W. Immerzeel, F. Pellicciotti, Environmental Research Letters 17 (2022).
2022 | Published | Conference Abstract | IST-REx-ID: 12894 |
Where is the sweet spot? A procurement story of general purpose compute nodes
A. Schlögl, A. Hornoiu, S. Elefante, S. Stadlbauer, in:, ASHPC22 - Austrian-Slovenian HPC Meeting 2022, EuroCC Austria c/o Universität Wien, 2022, p. 7.
[Published Version]
View
| Files available
| DOI
A. Schlögl, A. Hornoiu, S. Elefante, S. Stadlbauer, in:, ASHPC22 - Austrian-Slovenian HPC Meeting 2022, EuroCC Austria c/o Universität Wien, 2022, p. 7.
2022 | Research Data Reference | IST-REx-ID: 13064 |
Improving genome-wide association discovery and genomic prediction accuracy in biobank data
E. Orliac, D. Trejo Banos, S. Ojavee, K. Läll, R. Mägi, P. Visscher, M.R. Robinson, (2022).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
E. Orliac, D. Trejo Banos, S. Ojavee, K. Läll, R. Mägi, P. Visscher, M.R. Robinson, (2022).
2022 | Published | Book Chapter | IST-REx-ID: 10820
Effects of streaky structures on the instability of supersonic boundary layers
J. Liu, E. Marensi, X. Wu, in:, S. Sherwin, P. Schmid, X. Wu (Eds.), IUTAM Laminar-Turbulent Transition, 1st ed., Springer Nature, Cham, 2022, pp. 587–598.
View
| DOI
| WoS
J. Liu, E. Marensi, X. Wu, in:, S. Sherwin, P. Schmid, X. Wu (Eds.), IUTAM Laminar-Turbulent Transition, 1st ed., Springer Nature, Cham, 2022, pp. 587–598.
2022 | Published | Journal Article | IST-REx-ID: 10841 |
Proteomic characterization of isolated Arabidopsis clathrin-coated vesicles reveals evolutionarily conserved and plant-specific components
D. Dahhan, G. Reynolds, J. Cárdenas, D. Eeckhout, A.J. Johnson, K. Yperman, W. Kaufmann, N. Vang, X. Yan, I. Hwang, A. Heese, G. De Jaeger, J. Friml, D. Van Damme, J. Pan, S. Bednarek, Plant Cell 34 (2022) 2150–2173.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| PubMed | Europe PMC
D. Dahhan, G. Reynolds, J. Cárdenas, D. Eeckhout, A.J. Johnson, K. Yperman, W. Kaufmann, N. Vang, X. Yan, I. Hwang, A. Heese, G. De Jaeger, J. Friml, D. Van Damme, J. Pan, S. Bednarek, Plant Cell 34 (2022) 2150–2173.
2022 | Published | Journal Article | IST-REx-ID: 10888 |
Proteome-wide cellular thermal shift assay reveals unexpected cross-talk between brassinosteroid and auxin signaling
Q. Lu, Y. Zhang, J. Hellner, C. Giannini, X. Xu, J. Pauwels, Q. Ma, W. Dejonghe, H. Han, B. Van De Cotte, F. Impens, K. Gevaert, I. De Smet, J. Friml, D.M. Molina, E. Russinova, Proceedings of the National Academy of Sciences of the United States of America 119 (2022).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
Q. Lu, Y. Zhang, J. Hellner, C. Giannini, X. Xu, J. Pauwels, Q. Ma, W. Dejonghe, H. Han, B. Van De Cotte, F. Impens, K. Gevaert, I. De Smet, J. Friml, D.M. Molina, E. Russinova, Proceedings of the National Academy of Sciences of the United States of America 119 (2022).
2022 | Published | Journal Article | IST-REx-ID: 10889 |
Electron microscopic visualization of single molecules by tag-mediated metal particle labeling
R. Shigemoto, Microscopy 71 (2022) i72–i80.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
R. Shigemoto, Microscopy 71 (2022) i72–i80.
2022 | Published | Thesis | IST-REx-ID: 11128 |
Genetic basis of flower colour as a model for adaptive evolution
L. Matejovicova, Genetic Basis of Flower Colour as a Model for Adaptive Evolution, Institute of Science and Technology Austria, 2022.
[Published Version]
View
| Files available
| DOI
L. Matejovicova, Genetic Basis of Flower Colour as a Model for Adaptive Evolution, Institute of Science and Technology Austria, 2022.
2022 | Published | Journal Article | IST-REx-ID: 11144
High thermoelectric performance realized through manipulating layered phonon-electron decoupling
L. Su, D. Wang, S. Wang, B. Qin, Y. Wang, Y. Qin, Y. Jin, C. Chang, L.D. Zhao, Science 375 (2022) 1385–1389.
View
| DOI
| WoS
| PubMed | Europe PMC
L. Su, D. Wang, S. Wang, B. Qin, Y. Wang, Y. Qin, Y. Jin, C. Chang, L.D. Zhao, Science 375 (2022) 1385–1389.
2022 | Published | Conference Paper | IST-REx-ID: 11181 |
PathCAS: An efficient middle ground for concurrent search data structures
T.A. Brown, W. Sigouin, D.-A. Alistarh, in:, Proceedings of the 27th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Association for Computing Machinery, 2022, pp. 385–399.
[Published Version]
View
| Files available
| DOI
| WoS
T.A. Brown, W. Sigouin, D.-A. Alistarh, in:, Proceedings of the 27th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Association for Computing Machinery, 2022, pp. 385–399.