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.
5502 Publications
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: 13225 |
N. P. Benedikter, M. Porta, B. Schlein, and R. Seiringer, “Correlation energy of a weakly interacting Fermi gas with large interaction potential,” Archive for Rational Mechanics and Analysis, vol. 247, no. 4. Springer Nature, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Published | Conference Paper | IST-REx-ID: 13228 |
T. A. Henzinger, M. Karimi, K. Kueffner, and K. Mallik, “Runtime monitoring of dynamic fairness properties,” in FAccT ’23: Proceedings of the 2023 ACM Conference on Fairness, Accountability, and Transparency, Chicago, IL, United States, 2023, pp. 604–614.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 13229 |
S. Shamipour, L. Hofmann, I. Steccari, R. Kardos, and C.-P. J. Heisenberg, “Yolk granule fusion and microtubule aster formation regulate cortical granule translocation and exocytosis in zebrafish oocytes,” PLoS Biology, vol. 21, no. 6. Public Library of Science, p. e3002146, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Published | Journal Article | IST-REx-ID: 13230 |
J. A. Charlton, W. F. Mlynarski, Y. H. Bai, A. M. Hermundstad, and R. L. T. Goris, “Environmental dynamics shape perceptual decision bias,” PLoS Computational Biology, vol. 19, no. 6. Public Library of Science, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Published | Journal Article | IST-REx-ID: 13231 |
M. Schörner et al., “X-ray Thomson scattering spectra from density functional theory molecular dynamics simulations based on a modified Chihara formula,” Physical Review E, vol. 107, no. 6. American Physical Society, 2023.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 13232 |
D. Dormeshkin et al., “Design and immunogenicity of SARS-CoV-2 DNA vaccine encoding RBD-PVXCP fusion protein,” Vaccines, vol. 11, no. 6. MDPI, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Published | Journal Article | IST-REx-ID: 13233 |
S. Agafonova, M. Lemeshko, and A. Volosniev, “Finite-range bias in fitting three-body loss to the zero-range model,” Physical Review A, vol. 107, no. 6. American Physical Society, 2023.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 13234 |
K. Kueffner, A. Lukina, C. Schilling, and T. A. Henzinger, “Into the unknown: Active monitoring of neural networks (extended version),” International Journal on Software Tools for Technology Transfer, vol. 25. Springer Nature, pp. 575–592, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 13235
Y. Liu et al., “Surface chemistry and band engineering in AgSbSe₂: Toward high thermoelectric performance,” ACS Nano, vol. 17, no. 12. American Chemical Society, pp. 11923–11934, 2023.
View
| DOI
| WoS
| PubMed | Europe PMC
2023 | Published | Conference Paper | IST-REx-ID: 13236 |
D. W. Zheng and M. Henzinger, “Multiplicative auction algorithm for approximate maximum weight bipartite matching,” in International Conference on Integer Programming and Combinatorial Optimization, Madison, WI, United States, 2023, vol. 13904, pp. 453–465.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 13251 |
Y. Wei et al., “Bond polarizability as a probe of local crystal fields in hybrid lead-halide perovskites,” The Journal of Physical Chemistry Letters, vol. 14, no. 27. American Chemical Society, pp. 6309–6314, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 13256 |
B. B. GOSWAMI and S. I. An, “An assessment of the ENSO-monsoon teleconnection in a warming climate,” npj Climate and Atmospheric Science, vol. 6. Springer Nature, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Published | Journal Article | IST-REx-ID: 13257 |
A. Shekhter, R. D. Mcdonald, B. J. Ramshaw, and K. A. Modic, “Magnetotropic susceptibility,” Physical Review B, vol. 108, no. 3. American Physical Society, 2023.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 13258 |
M. Kleshnina, C. Hilbe, S. Simsa, K. Chatterjee, and M. A. Nowak, “The effect of environmental information on evolution of cooperation in stochastic games,” Nature Communications, vol. 14. Springer Nature, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Published | Journal Article | IST-REx-ID: 13260 |
C. de Castro Barbosa Rodrigues Barata, R. R. Snook, M. G. Ritchie, and C. Kosiol, “Selection on the fly: Short-term adaptation to an altered sexual selection regime in Drosophila pseudoobscura,” Genome biology and evolution, vol. 15, no. 7. Oxford Academic, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Published | Journal Article | IST-REx-ID: 13261 |
D. Brückner, H. Chen, L. Barinov, B. Zoller, and T. Gregor, “Stochastic motion and transcriptional dynamics of pairs of distal DNA loci on a compacted chromosome,” Science, vol. 380, no. 6652. American Association for the Advancement of Science, pp. 1357–1362, 2023.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
2023 | Published | Conference Paper | IST-REx-ID: 13262 |
A. Fedorov, D. Hashemi, G. Nadiradze, and D.-A. Alistarh, “Provably-efficient and internally-deterministic parallel Union-Find,” in Proceedings of the 35th ACM Symposium on Parallelism in Algorithms and Architectures, Orlando, FL, United States, 2023, pp. 261–271.
[Published Version]
View
| Files available
| DOI
| arXiv