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.
5782 Publications
2024 | Published | Journal Article | IST-REx-ID: 14834 |

A dynamic duo: Understanding the roles of FtsZ and FtsA for Escherichia coli cell division through in vitro approaches
P. Radler, M. Loose, European Journal of Cell Biology 103 (2024).
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
P. Radler, M. Loose, European Journal of Cell Biology 103 (2024).
2024 | Published | Journal Article | IST-REx-ID: 15018 |

Compressively strained epitaxial Ge layers for quantum computing applications
Y. Shimura, C. Godfrin, A. Hikavyy, R. Li, J.L. Aguilera Servin, G. Katsaros, P. Favia, H. Han, D. Wan, K. de Greve, R. Loo, Materials Science in Semiconductor Processing 174 (2024).
[Published Version]
View
| Files available
| DOI
| WoS
Y. Shimura, C. Godfrin, A. Hikavyy, R. Li, J.L. Aguilera Servin, G. Katsaros, P. Favia, H. Han, D. Wan, K. de Greve, R. Loo, Materials Science in Semiconductor Processing 174 (2024).
2024 | Published | Journal Article | IST-REx-ID: 15118
Proteins containing photosynthetic reaction centre domains modulate FtsZ-based archaeal cell division
P. Nußbaum, D. Kureisaite-Ciziene, D. Bellini, C. Van Der Does, M. Kojic, N. Taib, A. Yeates, M. Tourte, S. Gribaldo, M. Loose, J. Löwe, S.V. Albers, Nature Microbiology 9 (2024) 698–711.
View
| DOI
| PubMed | Europe PMC
P. Nußbaum, D. Kureisaite-Ciziene, D. Bellini, C. Van Der Does, M. Kojic, N. Taib, A. Yeates, M. Tourte, S. Gribaldo, M. Loose, J. Löwe, S.V. Albers, Nature Microbiology 9 (2024) 698–711.
2024 | Published | Journal Article | IST-REx-ID: 18653 |

Automated long-range compensation of an rf quantum dot sensor
J. Hickie, B. Van Straaten, F. Fedele, D. Jirovec, A. Ballabio, D. Chrastina, G. Isella, G. Katsaros, N. Ares, Physical Review Applied 22 (2024).
[Published Version]
View
| Files available
| DOI
J. Hickie, B. Van Straaten, F. Fedele, D. Jirovec, A. Ballabio, D. Chrastina, G. Isella, G. Katsaros, N. Ares, Physical Review Applied 22 (2024).
2024 | Published | Conference Paper | IST-REx-ID: 18599
Monitoring extended hypernode logic
M. Chalupa, T.A. Henzinger, A. Oliveira da Costa, in:, Integrated Formal Methods, Springer Nature, 2024, pp. 151–171.
View
| DOI
M. Chalupa, T.A. Henzinger, A. Oliveira da Costa, in:, Integrated Formal Methods, Springer Nature, 2024, pp. 151–171.
2024 | Epub ahead of print | Journal Article | IST-REx-ID: 17094 |

Information-flow interfaces
E. Bartocci, T. Ferrere, T.A. Henzinger, D. Nickovic, A. Oliveira da Costa, Formal Methods in System Design (2024).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| arXiv
E. Bartocci, T. Ferrere, T.A. Henzinger, D. Nickovic, A. Oliveira da Costa, Formal Methods in System Design (2024).
2024 | Published | Conference Paper | IST-REx-ID: 18086
DeCAF: Decentralizable CGKA with fast healing
J.F. Alwen, B. Auerbach, M. Cueto Noval, K. Klein, G. Pascual Perez, K.Z. Pietrzak, in:, C. Galdi, D.H. Phan (Eds.), Security and Cryptography for Networks: 14th International Conference, Springer Nature, Cham, 2024, pp. 294–313.
View
| Files available
| DOI
J.F. Alwen, B. Auerbach, M. Cueto Noval, K. Klein, G. Pascual Perez, K.Z. Pietrzak, in:, C. Galdi, D.H. Phan (Eds.), Security and Cryptography for Networks: 14th International Conference, Springer Nature, Cham, 2024, pp. 294–313.
2024 | Published | Thesis | IST-REx-ID: 17850 |

Fitness landscapes of orthologous green fluorescent proteins
L. Gonzalez Somermeyer, Fitness Landscapes of Orthologous Green Fluorescent Proteins, Institute of Science and Technology Austria, 2024.
[Published Version]
View
| Files available
| DOI
L. Gonzalez Somermeyer, Fitness Landscapes of Orthologous Green Fluorescent Proteins, Institute of Science and Technology Austria, 2024.
2024 | Published | Journal Article | IST-REx-ID: 15381 |

Hippocampal cholecystokinin-expressing interneurons regulate temporal coding and contextual learning
D.K. Rangel Guerrero, K. Balueva, U. Barayeu, P. Baracskay, I. Gridchyn, M. Nardin, C.N. Roth, P. Wulff, J.L. Csicsvari, Neuron 112 (2024) 2045–2061.e10.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
D.K. Rangel Guerrero, K. Balueva, U. Barayeu, P. Baracskay, I. Gridchyn, M. Nardin, C.N. Roth, P. Wulff, J.L. Csicsvari, Neuron 112 (2024) 2045–2061.e10.
2024 | Published | Journal Article | IST-REx-ID: 18655 |

Climbing up a random subgraph of the hypercube
M. Anastos, S. Diskin, D. Elboim, M. Krivelevich, Electronic Communications in Probability 29 (2024).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| arXiv
M. Anastos, S. Diskin, D. Elboim, M. Krivelevich, Electronic Communications in Probability 29 (2024).
2024 | Published | Conference Paper | IST-REx-ID: 18976 |

AsGrad: A sharp unified analysis of asynchronous-SGD algorithms
R. Islamov, M. Safaryan, D.-A. Alistarh, in:, Proceedings of The 27th International Conference on Artificial Intelligence and Statistics, ML Research Press, 2024, pp. 649–657.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
R. Islamov, M. Safaryan, D.-A. Alistarh, in:, Proceedings of The 27th International Conference on Artificial Intelligence and Statistics, ML Research Press, 2024, pp. 649–657.
2024 | Published | Journal Article | IST-REx-ID: 18586 |

The central limit theorem and rate of mixing for simple random walks on the circle
K.S. CZUDEK, D. Dolgopyat, Alea 21 (2024) 1853–1865.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
K.S. CZUDEK, D. Dolgopyat, Alea 21 (2024) 1853–1865.
2024 | Published | Journal Article | IST-REx-ID: 17396 |

Wildfires impact on PM2.5 concentration in galicia Spain
C. Quishpe-Vásquez, P. Oliva, E.A. López-Barrera, A. Casallas Garcia, Journal of Environmental Management 367 (2024).
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
C. Quishpe-Vásquez, P. Oliva, E.A. López-Barrera, A. Casallas Garcia, Journal of Environmental Management 367 (2024).
2024 | Published | Journal Article | IST-REx-ID: 17127 |

Paucity phenomena for polynomial products
V. Wang, M.W. Xu, Bulletin of the London Mathematical Society 56 (2024) 2718–2726.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| arXiv
V. Wang, M.W. Xu, Bulletin of the London Mathematical Society 56 (2024) 2718–2726.
2024 | Published | Journal Article | IST-REx-ID: 15248 |

Mirror symmetry for parabolic Higgs bundles via p-adic integration
S. Shen, Advances in Mathematics 443 (2024).
[Published Version]
View
| Files available
| DOI
| arXiv
S. Shen, Advances in Mathematics 443 (2024).
2024 | Published | Journal Article | IST-REx-ID: 17189
Supergranular-scale solar convection not explained by mixing-length theory
C.S. Hanson, S.B. Das, P. Mani, S. Hanasoge, K.R. Sreenivasan, Nature Astronomy 8 (2024) 1088–1101.
View
| DOI
C.S. Hanson, S.B. Das, P. Mani, S. Hanasoge, K.R. Sreenivasan, Nature Astronomy 8 (2024) 1088–1101.
2024 | Published | Journal Article | IST-REx-ID: 14733 |

Exploring the landscape of heterocyclic quinones for redox flow batteries
R.B. Jethwa, D. Hey, R.N. Kerber, A.D. Bond, D.S. Wright, C.P. Grey, ACS Applied Energy Materials 7 (2024) 414–426.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
R.B. Jethwa, D. Hey, R.N. Kerber, A.D. Bond, D.S. Wright, C.P. Grey, ACS Applied Energy Materials 7 (2024) 414–426.
2024 | Published | Conference Paper | IST-REx-ID: 17402 |

Playing games with your PET: Extending the Partial Exploration Tool to stochastic games
T. Meggendorfer, M. Weininger, in:, 36th International Conference on Computer Aided Verification, Springer Nature, 2024, pp. 359–372.
[Published Version]
View
| Files available
| DOI
| arXiv
T. Meggendorfer, M. Weininger, in:, 36th International Conference on Computer Aided Verification, Springer Nature, 2024, pp. 359–372.
2024 | Published | Journal Article | IST-REx-ID: 17447 |

Special cubic zeros and the dual variety
V. Wang, Journal of the London Mathematical Society 110 (2024).
[Published Version]
View
| Files available
| DOI
| arXiv
V. Wang, Journal of the London Mathematical Society 110 (2024).
2024 | Published | Journal Article | IST-REx-ID: 18528 |

Unveiling complex magnetic field configurations in red giant stars
S.B. Das, L. Einramhof, L.A. Bugnet, Astronomy and Astrophysics 690 (2024).
[Published Version]
View
| Files available
| DOI
| arXiv
S.B. Das, L. Einramhof, L.A. Bugnet, Astronomy and Astrophysics 690 (2024).