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.
243 Publications
2023 |Published| Journal Article | IST-REx-ID: 13166 | 
A. A. Vetrova et al., “The evolutionary history of Brachyury genes in Hydrozoa involves duplications, divergence, and neofunctionalization,” Scientific Reports, vol. 13. Springer Nature, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 |Published| Journal Article | IST-REx-ID: 13138 |
P. Orlov, A. Tiutiakina, R. Sharipov, E. Petrova, V. Gritsev, and D. V. Kurlov, “Adiabatic eigenstate deformations and weak integrability breaking of Heisenberg chain,” Physical Review B, vol. 107, no. 18. American Physical Society, 2023.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 |Published| Thesis | IST-REx-ID: 13074 |
E.-A. Peste, “Efficiency and generalization of sparse neural networks,” Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
2023 |Published| Journal Article | IST-REx-ID: 12521 |
A. Mrnjavac, K. Khudiakova, N. H. Barton, and B. Vicoso, “Slower-X: Reduced efficiency of selection in the early stages of X chromosome evolution,” Evolution Letters, vol. 7, no. 1. Oxford University Press, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 |Published| Journal Article | IST-REx-ID: 12762 |
F. Lombardi, S. Pepic, O. Shriki, G. Tkačik, and D. De Martino, “Statistical modeling of adaptive neural networks explains co-existence of avalanches and oscillations in resting human brain,” Nature Computational Science, vol. 3. Springer Nature, pp. 254–263, 2023.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 |Published| Thesis | IST-REx-ID: 13175 |
R. Sahu, “Cavity quantum electrooptics,” Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
2023 |Published| Thesis | IST-REx-ID: 12900
R. Sahu, “Cavity quantum electrooptics,” Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
2023 |Published| Conference Paper | IST-REx-ID: 13310 |
T. A. Henzinger, M. Karimi, K. Kueffner, and K. Mallik, “Monitoring algorithmic fairness,” in Computer Aided Verification, Paris, France, 2023, vol. 13965, pp. 358–382.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 |Published| Journal Article | IST-REx-ID: 14261 |
J. Gamper, F. Kluibenschedl, A. K. H. Weiss, and T. S. Hofer, “Accessing position space wave functions in band structure calculations of periodic systems - a generalized, adapted numerov implementation for one-, two-, and three-dimensional quantum problems,” Journal of Physical Chemistry Letters, vol. 14, no. 33. American Chemical Society, pp. 7395–7403, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 |Published| Thesis | IST-REx-ID: 12732 |
P. Brighi, “Ergodicity breaking in disordered and kinetically constrained quantum many-body systems,” Institute of Science and Technology Austria, 2023.
View
| Files available
| DOI
2023 |Published| Conference Paper | IST-REx-ID: 13120 |
M. Dvorak and J. Blanchette, “Closure properties of general grammars - formally verified,” in 14th International Conference on Interactive Theorem Proving, Bialystok, Poland, 2023, vol. 268.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 |Published| Journal Article | IST-REx-ID: 12349 |
D. Gupta, W. F. Mlynarski, A. L. Sumser, O. Symonova, J. Svaton, and M. A. Jösch, “Panoramic visual statistics shape retina-wide organization of receptive fields,” Nature Neuroscience, vol. 26. Springer Nature, pp. 606–614, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 |Published| Thesis | IST-REx-ID: 13331 |
S. Köse, “Exterior algebra and combinatorics,” Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
2023 |Published| Journal Article | IST-REx-ID: 12680 |
G. Ivanov and S. Köse, “Erdős-Ko-Rado and Hilton-Milner theorems for two-forms,” Discrete Mathematics, vol. 346, no. 6. Elsevier, 2023.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2023 |Published| Conference Paper | IST-REx-ID: 13221 |
U. Boker, T. A. Henzinger, N. A. Mazzocchi, and N. E. Sarac, “Safety and liveness of quantitative automata,” in 34th International Conference on Concurrency Theory, Antwerp, Belgium, 2023, vol. 279.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 |Published| Journal Article | IST-REx-ID: 12406 |
Y. Diao, “Density of the union of positive diagonal binary quadratic forms,” Acta Arithmetica, vol. 207. Instytut Matematyczny, pp. 1–17, 2023.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 |Published| Thesis | IST-REx-ID: 14422
B. J. Confavreux, “Synapseek: Meta-learning synaptic plasticity rules,” Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
2023 |Published| Thesis | IST-REx-ID: 14374 |
B. Roos, “Boundary superconductivity in BCS theory,” Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
2023 |Published| Journal Article | IST-REx-ID: 13207 |
C. Hainzl, B. Roos, and R. Seiringer, “Boundary superconductivity in the BCS model,” Journal of Spectral Theory, vol. 12, no. 4. EMS Press, pp. 1507–1540, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 |Published| Conference Paper | IST-REx-ID: 14485 |
V. Aksenov, M. Anoprenko, A. Fedorov, and M. Spear, “Brief announcement: BatchBoost: Universal batching for concurrent data structures,” in 37th International Symposium on Distributed Computing, L’Aquila, Italy, 2023, vol. 281.
[Published Version]
View
| Files available
| DOI