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.
6436 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
| WoS
| 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 |
Journal Article |
IST-REx-ID: 13226 |
L. Bossmann and S. P. Petrat, “Weak Edgeworth expansion for the mean-field Bose gas,” Letters in Mathematical Physics, vol. 113, no. 4. Springer Nature, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 |
Published |
Journal Article |
IST-REx-ID: 13227 |
F. Hassani, M. Peruzzo, L. Kapoor, A. Trioni, M. Zemlicka, and J. M. Fink, “Inductively shunted transmons exhibit noise insensitive plasmon states and a fluxon decay exceeding 3 hours,” Nature Communications, vol. 14. Springer Nature, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
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
| PubMed | Europe PMC
| 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
| PubMed | Europe PMC
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.)
| WoS
| 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
| PubMed | Europe PMC
| 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 University Press, 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