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 | OA [Published Version] View | Files available | DOI | PubMed | Europe PMC
 
2024 | Published | Journal Article | IST-REx-ID: 15018 | OA
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
 
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
 
2024 | Published | Journal Article | IST-REx-ID: 18653 | OA
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
 
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
 
2024 | Epub ahead of print | Journal Article | IST-REx-ID: 17094 | OA
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
 
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
 
2024 | Published | Thesis | IST-REx-ID: 17850 | OA
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
 
2024 | Published | Journal Article | IST-REx-ID: 15381 | OA
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
 
2024 | Published | Journal Article | IST-REx-ID: 18655 | OA
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
 
2024 | Published | Conference Paper | IST-REx-ID: 18976 | OA
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
 
2024 | Published | Journal Article | IST-REx-ID: 18586 | OA
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
 
2024 | Published | Journal Article | IST-REx-ID: 17396 | OA
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
 
2024 | Published | Journal Article | IST-REx-ID: 17127 | OA
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
 
2024 | Published | Journal Article | IST-REx-ID: 15248 | OA
Mirror symmetry for parabolic Higgs bundles via p-adic integration
S. Shen, Advances in Mathematics 443 (2024).
[Published Version] View | Files available | DOI | arXiv
 
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
 
2024 | Published | Journal Article | IST-REx-ID: 14733 | OA
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
 
2024 | Published | Conference Paper | IST-REx-ID: 17402 | OA
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
 
2024 | Published | Journal Article | IST-REx-ID: 17447 | OA
Special cubic zeros and the dual variety
V. Wang, Journal of the London Mathematical Society 110 (2024).
[Published Version] View | Files available | DOI | arXiv
 
2024 | Published | Journal Article | IST-REx-ID: 18528 | OA
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
 

Search

Filter Publications

Display / Sort

Citation Style: Default

Export / Embed