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.
5735 Publications
2023 | Published | Journal Article | IST-REx-ID: 13179 | 
CQS: A formally-verified framework for fair and abortable synchronization
N. Koval, D. Khalanskiy, D.-A. Alistarh, Proceedings of the ACM on Programming Languages 7 (2023).
[Published Version]
View
| Files available
| DOI
N. Koval, D. Khalanskiy, D.-A. Alistarh, Proceedings of the ACM on Programming Languages 7 (2023).
2023 | Published | Journal Article | IST-REx-ID: 13180 |
Local solubility for a family of quadrics over a split quadric surface
T.D. Browning, J. Lyczak, R. Sarapin, Involve 16 (2023) 331–342.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
T.D. Browning, J. Lyczak, R. Sarapin, Involve 16 (2023) 331–342.
2023 | Published | Journal Article | IST-REx-ID: 13209 |
Chemical inhibition of Arabidopsis PIN-FORMED auxin transporters by the anti-inflammatory drug naproxen
J. Xia, M. Kong, Z. Yang, L. Sun, Y. Peng, Y. Mao, H. Wei, W. Ying, Y. Gao, J. Friml, J. Weng, X. Liu, L. Sun, S. Tan, Plant Communications 4 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
J. Xia, M. Kong, Z. Yang, L. Sun, Y. Peng, Y. Mao, H. Wei, W. Ying, Y. Gao, J. Friml, J. Weng, X. Liu, L. Sun, S. Tan, Plant Communications 4 (2023).
2023 | Published | Journal Article | IST-REx-ID: 13213 |
Multi-copper oxidases SKU5 and SKS1 coordinate cell wall formation using apoplastic redox-based reactions in roots
C. Chen, Y. Zhang, J. Cai, Y. Qiu, L. Li, C. Gao, Y. Gao, M. Ke, S. Wu, C. Wei, J. Chen, T. Xu, J. Friml, J. Wang, R. Li, D. Chao, B. Zhang, X. Chen, Z. Gao, Plant Physiology 192 (2023) 2243–2260.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
C. Chen, Y. Zhang, J. Cai, Y. Qiu, L. Li, C. Gao, Y. Gao, M. Ke, S. Wu, C. Wei, J. Chen, T. Xu, J. Friml, J. Wang, R. Li, D. Chao, B. Zhang, X. Chen, Z. Gao, Plant Physiology 192 (2023) 2243–2260.
2023 | Published | Journal Article | IST-REx-ID: 13216 |
Reactivity of single-atom alloy nanoparticles: Modeling the dehydrogenation of propane
R. Bunting, F. Wodaczek, T. Torabi, B. Cheng, Journal of the American Chemical Society 145 (2023) 14894–14902.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
R. Bunting, F. Wodaczek, T. Torabi, B. Cheng, Journal of the American Chemical Society 145 (2023) 14894–14902.
2023 | Published | Journal Article | IST-REx-ID: 13230 |
Environmental dynamics shape perceptual decision bias
J.A. Charlton, W.F. Mlynarski, Y.H. Bai, A.M. Hermundstad, R.L.T. Goris, PLoS Computational Biology 19 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
J.A. Charlton, W.F. Mlynarski, Y.H. Bai, A.M. Hermundstad, R.L.T. Goris, PLoS Computational Biology 19 (2023).
2023 | Published | Journal Article | IST-REx-ID: 13237
Amyloid formation as a protein phase transition
T.C.T. Michaels, D. Qian, A. Šarić, M. Vendruscolo, S. Linse, T.P.J. Knowles, Nature Reviews Physics 5 (2023) 379–397.
View
| DOI
| WoS
T.C.T. Michaels, D. Qian, A. Šarić, M. Vendruscolo, S. Linse, T.P.J. Knowles, Nature Reviews Physics 5 (2023) 379–397.
2023 | Published | Journal Article | IST-REx-ID: 13256 |
An assessment of the ENSO-monsoon teleconnection in a warming climate
B.B. GOSWAMI, S.I. An, Npj Climate and Atmospheric Science 6 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
B.B. GOSWAMI, S.I. An, Npj Climate and Atmospheric Science 6 (2023).
2023 | Published | Journal Article | IST-REx-ID: 13257 |
Magnetotropic susceptibility
A. Shekhter, R.D. Mcdonald, B.J. Ramshaw, K.A. Modic, Physical Review B 108 (2023).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
A. Shekhter, R.D. Mcdonald, B.J. Ramshaw, K.A. Modic, Physical Review B 108 (2023).
2023 | Published | Conference Paper | IST-REx-ID: 13262 |
Provably-efficient and internally-deterministic parallel Union-Find
A. Fedorov, D. Hashemi, G. Nadiradze, D.-A. Alistarh, in:, Proceedings of the 35th ACM Symposium on Parallelism in Algorithms and Architectures, Association for Computing Machinery, 2023, pp. 261–271.
[Published Version]
View
| Files available
| DOI
| arXiv
A. Fedorov, D. Hashemi, G. Nadiradze, D.-A. Alistarh, in:, Proceedings of the 35th ACM Symposium on Parallelism in Algorithms and Architectures, Association for Computing Machinery, 2023, pp. 261–271.
2023 | Published | Journal Article | IST-REx-ID: 13265 |
As-Continuous-As-Possible extrusion-based fabrication of surface models
F. Zhong, Y. Xu, H. Zhao, L. Lu, ACM Transactions on Graphics 42 (2023).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
F. Zhong, Y. Xu, H. Zhao, L. Lu, ACM Transactions on Graphics 42 (2023).
2023 | Published | Journal Article | IST-REx-ID: 13269 |
Codes for the Z-channel
N. Polyanskii, Y. Zhang, IEEE Transactions on Information Theory 69 (2023) 6340–6357.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
N. Polyanskii, Y. Zhang, IEEE Transactions on Information Theory 69 (2023) 6340–6357.
2023 | Published | Journal Article | IST-REx-ID: 13270 |
Iterated medial triangle subdivision in surfaces of constant curvature
F.R. Brunck, Discrete and Computational Geometry 70 (2023) 1059–1089.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
F.R. Brunck, Discrete and Computational Geometry 70 (2023) 1059–1089.
2023 | Published | Journal Article | IST-REx-ID: 13278 |
Magnetic impurity in a one-dimensional few-fermion system
L. Rammelmüller, D. Huber, M. Čufar, J. Brand, H.-W. Hammer, A. Volosniev, SciPost Physics 14 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
L. Rammelmüller, D. Huber, M. Čufar, J. Brand, H.-W. Hammer, A. Volosniev, SciPost Physics 14 (2023).
2023 | Published | Journal Article | IST-REx-ID: 13316 |
The yeast endocytic early/sorting compartment exists as an independent sub-compartment within the trans-Golgi network
J.Y. Toshima, A. Tsukahara, M. Nagano, T. Tojima, D.E. Siekhaus, A. Nakano, J. Toshima, ELife 12 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
J.Y. Toshima, A. Tsukahara, M. Nagano, T. Tojima, D.E. Siekhaus, A. Nakano, J. Toshima, ELife 12 (2023).
2023 | Published | Thesis | IST-REx-ID: 13331 |
Exterior algebra and combinatorics
S. Köse, Exterior Algebra and Combinatorics, Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
S. Köse, Exterior Algebra and Combinatorics, Institute of Science and Technology Austria, 2023.
2023 | Published | Journal Article | IST-REx-ID: 13342 |
Adaptive pathfinding by nucleokinesis during amoeboid migration
J. Kroll, R. Hauschild, A. Kuznetcov, K. Stefanowski, M.D. Hermann, J. Merrin, L.B. Shafeek, A. Müller-Taubenberger, J. Renkawitz, EMBO Journal (2023).
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
J. Kroll, R. Hauschild, A. Kuznetcov, K. Stefanowski, M.D. Hermann, J. Merrin, L.B. Shafeek, A. Müller-Taubenberger, J. Renkawitz, EMBO Journal (2023).
2023 | Published | Journal Article | IST-REx-ID: 13443 |
Magnetic activity evolution of solar-like stars. I. Sph–age relation derived from Kepler observations
S. Mathur, Z.R. Claytor, Â.R.G. Santos, R.A. García, L. Amard, L.A. Bugnet, E. Corsaro, A. Bonanno, S.N. Breton, D. Godoy-Rivera, M.H. Pinsonneault, J. van Saders, The Astrophysical Journal 952 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
S. Mathur, Z.R. Claytor, Â.R.G. Santos, R.A. García, L. Amard, L.A. Bugnet, E. Corsaro, A. Bonanno, S.N. Breton, D. Godoy-Rivera, M.H. Pinsonneault, J. van Saders, The Astrophysical Journal 952 (2023).
2023 | Submitted | Preprint | IST-REx-ID: 13447 |
Asteroseismology with the Roman galactic bulge time-domain survey
Huber D, Pinsonneault M, Beck P, Bedding TR, Joss Bland-Hawthorn JB-H, Breton SN, Bugnet LA, Chaplin WJ, Garcia RA, Grunblatt SK, Guzik JA, Hekker S, Kawaler SD, Mathis S, Mathur S, Metcalfe T, Mosser B, Ness MK, Piro AL, Serenelli A, Sharma S, Soderblom DR, Stassun KG, Stello D, Tayar J, Belle GT van, Zinn JC. Asteroseismology with the Roman galactic bulge time-domain survey. arXiv, 2307.03237.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
Huber D, Pinsonneault M, Beck P, Bedding TR, Joss Bland-Hawthorn JB-H, Breton SN, Bugnet LA, Chaplin WJ, Garcia RA, Grunblatt SK, Guzik JA, Hekker S, Kawaler SD, Mathis S, Mathur S, Metcalfe T, Mosser B, Ness MK, Piro AL, Serenelli A, Sharma S, Soderblom DR, Stassun KG, Stello D, Tayar J, Belle GT van, Zinn JC. Asteroseismology with the Roman galactic bulge time-domain survey. arXiv, 2307.03237.
2023 | Journal Article | IST-REx-ID: 13965 |
Concepts, mechanisms and implications of long-term epigenetic inheritance
E. Hollwey, A. Briffa, M. Howard, D. Zilberman, Current Opinion in Genetics and Development 81 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
E. Hollwey, A. Briffa, M. Howard, D. Zilberman, Current Opinion in Genetics and Development 81 (2023).