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.
2035 Publications
2021 |Published| Conference Paper | IST-REx-ID: 10553 | 
Gelashvili R, Kokoris Kogias E, Spiegelman A, Xiang Z. 2021. Brief announcement: Be prepared when network goes bad: An asynchronous view-change protocol. Proceedings of the 2021 ACM Symposium on Principles of Distributed Computing. PODC: Principles of Distributed Computing, 187–190.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 |Published| Journal Article | IST-REx-ID: 8824 |
Marquès-Bueno M, Armengot L, Noack L, Bareille J, Rodriguez Solovey L, Platre M, Bayle V, Liu M, Opdenacker D, Vanneste S, Möller B, Nimchuk Z, Beeckman T, Caño-Delgado A, Friml J, Jaillais Y. 2021. Auxin-regulated reversible inhibition of TMK1 signaling by MAKR2 modulates the dynamics of root gravitropism. Current Biology. 31(1).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2021 |Published| Journal Article | IST-REx-ID: 9121 |
Lauritsen AB. 2021. The BCS energy gap at low density. Letters in Mathematical Physics. 111, 20.
[Published Version]
View
| Files available
| DOI
| WoS
2021 |Published| Journal Article | IST-REx-ID: 9111 |
Brown A, Bobrowski O, Munch E, Wang B. 2021. Probabilistic convergence and stability of random mapper graphs. Journal of Applied and Computational Topology. 5(1), 99–140.
[Published Version]
View
| Files available
| DOI
| arXiv
2021 |Published| Thesis | IST-REx-ID: 9022 |
Cipolloni G. 2021. Fluctuations in the spectrum of random matrices. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2021 |Published| Conference Paper | IST-REx-ID: 9987 |
Agarwal P, Chatterjee K, Pathak S, Pavlogiannis A, Toman V. 2021. Stateless model checking under a reads-value-from equivalence. 33rd International Conference on Computer-Aided Verification . CAV: Computer Aided Verification , LNCS, vol. 12759, 341–366.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2021 |Published| Thesis | IST-REx-ID: 10007 |
Hensel S. 2021. Curvature driven interface evolution: Uniqueness properties of weak solution concepts. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2021 |Published| Journal Article | IST-REx-ID: 10191 |
Bui TL, Chatterjee K, Gautam T, Pavlogiannis A, Toman V. 2021. The reads-from equivalence for the TSO and PSO memory models. Proceedings of the ACM on Programming Languages. 5(OOPSLA), 164.
[Published Version]
View
| Files available
| DOI
| arXiv
2021 |Published| Conference Paper | IST-REx-ID: 10041 |
Kamath Hosdurg C, Klein K, Pietrzak KZ, Wichs D. 2021. Limits on the Adaptive Security of Yao’s Garbling. 41st Annual International Cryptology Conference, Part II . CRYPTO: Annual International Cryptology Conference, LCNS, vol. 12826, 486–515.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2021 |Published| Journal Article | IST-REx-ID: 8429 |
Patxot M, Trejo Banos D, Kousathanas A, Orliac EJ, Ojavee SE, Moser G, Sidorenko J, Kutalik Z, Magi R, Visscher PM, Ronnegard L, Robinson MR. 2021. Probabilistic inference of the genetic architecture underlying functional enrichment of complex traits. Nature Communications. 12(1), 6972.
[Published Version]
View
| Files available
| DOI
| WoS
2021 |Published| Journal Article | IST-REx-ID: 10327 |
Li M, Liu Y, Zhang Y, Han X, Xiao K, Nabahat M, Arbiol J, Llorca J, Ibáñez M, Cabot A. 2021. PbS–Pb–CuxS composites for thermoelectric application. ACS Applied Materials and Interfaces. 13(43), 51373–51382.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| PubMed | Europe PMC
2021 |Published| Conference Paper | IST-REx-ID: 9441 |
Boissonnat J-D, Kachanovich S, Wintraecken M. 2021. Tracing isomanifolds in Rd in time polynomial in d using Coxeter-Freudenthal-Kuhn triangulations. 37th International Symposium on Computational Geometry (SoCG 2021). SoCG: Symposium on Computational GeometryLeibniz International Proceedings in Informatics (LIPIcs), LIPIcs, vol. 189, 17:1-17:16.
[Published Version]
View
| Files available
| DOI
2021 |Published| Journal Article | IST-REx-ID: 9393 |
Chatterjee K, Ibsen-Jensen R, Pavlogiannis A. 2021. Faster algorithms for quantitative verification in bounded treewidth graphs. Formal Methods in System Design. 57, 401–428.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 |Published| Journal Article | IST-REx-ID: 10365 |
Luciano M, Xue S, De Vos WH, Redondo-Morata L, Surin M, Lafont F, Hannezo EB, Gabriele S. 2021. Cell monolayers sense curvature by exploiting active mechanics and nuclear mechanoadaptation. Nature Physics. 17(12), 1382–1390.
[Submitted Version]
View
| Files available
| DOI
| WoS
2021 |Published| Conference Paper | IST-REx-ID: 10410 |
Kamath Hosdurg C, Klein K, Pietrzak KZ, Walter M. 2021. The cost of adaptivity in security games on graphs. 19th International Conference. TCC: Theory of Cryptography, LNCS, vol. 13043, 550–581.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
2021 |Published| Conference Paper | IST-REx-ID: 10593 |
Mondelli M, Venkataramanan R. 2021. PCA initialization for approximate message passing in rotationally invariant models. 35th Conference on Neural Information Processing Systems. NeurIPS: Neural Information Processing Systems vol. 35, 29616–29629.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2021 |Published| Journal Article | IST-REx-ID: 9379 |
Bolger-Munro M, Choi K, Cheung F, Liu YT, Dang-Lawson M, Deretic N, Keane C, Gold MR. 2021. The Wdr1-LIMK-Cofilin axis controls B cell antigen receptor-induced actin remodeling and signaling at the immune synapse. Frontiers in Cell and Developmental Biology. 9, 649433.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2021 |Published| Journal Article | IST-REx-ID: 9189 |
Zhao Y, Wu L, Fu Q, Wang D, Li J, Yao B, Yu S, Jiang L, Qian J, Zhou X, Han L, Zhao S, Ma C, Zhang Y, Luo C, Dong Q, Li S, Zhang L, Jiang X, Li Y, Luo H, Li K, Yang J, Luo Q, Li L, Peng S, Huang H, Zuo Z, Liu C, Wang L, Li C, He X, Friml J, Du Y. 2021. INDITTO2 transposon conveys auxin-mediated DRO1 transcription for rice drought avoidance. Plant, Cell & Environment. 44(6), 1846–1857.
[Submitted Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2021 |Published| Conference Paper | IST-REx-ID: 9969 |
Pietrzak KZ, Salem I, Schmid S, Yeo MX. 2021. LightPIR: Privacy-preserving route discovery for payment channel networks. 2021 IFIP Networking Conference (IFIP Networking).
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| WoS
| arXiv