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.
405 Publications
2023 | Journal Article | IST-REx-ID: 14920 | 
Banerjee, Tamajit, et al. “Fast Symbolic Algorithms for Mega-Regular Games under Strong Transition Fairness.” TheoretiCS, vol. 2, 4, EPI Sciences, 2023, doi:10.46298/theoretics.23.4.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Journal Article | IST-REx-ID: 12802 |
Knaus, Lisa, et al. “Large Neutral Amino Acid Levels Tune Perinatal Neuronal Excitability and Survival.” Cell, vol. 186, no. 9, Elsevier, 2023, p. 1950–1967.e25, doi:10.1016/j.cell.2023.02.037.
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Journal Article | IST-REx-ID: 14985 |
Liu, Zhengtao, et al. “Lattice Expansion Enables Interstitial Doping to Achieve a High Average ZT in N‐type PbS.” Interdisciplinary Materials, vol. 2, no. 1, Wiley, 2023, pp. 161–70, doi:10.1002/idm2.12056.
[Published Version]
View
| Files available
| DOI
2023 | Conference Paper | IST-REx-ID: 14758 |
Majumdar, Rupak, et al. “A Flexible Toolchain for Symbolic Rabin Games under Fair and Stochastic Uncertainties.” 35th International Conference on Computer Aided Verification, vol. 13966, Springer Nature, 2023, pp. 3–15, doi:10.1007/978-3-031-37709-9_1.
[Published Version]
View
| Files available
| DOI
2023 | Preprint | IST-REx-ID: 15128 |
Riabov, Volodymyr. “Mesoscopic Eigenvalue Statistics for Wigner-Type Matrices.” ArXiv, 2301.01712, doi:10.48550/arXiv.2301.01712.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv