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 | 
Boker, U., Henzinger, T. A., Mazzocchi, N. A., & Sarac, N. E. (2023). Safety and liveness of quantitative automata. In 34th International Conference on Concurrency Theory (Vol. 279). Antwerp, Belgium: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CONCUR.2023.17
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 13225 |
Benedikter, N. P., Porta, M., Schlein, B., & Seiringer, R. (2023). Correlation energy of a weakly interacting Fermi gas with large interaction potential. Archive for Rational Mechanics and Analysis. Springer Nature. https://doi.org/10.1007/s00205-023-01893-6
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 13226
Bossmann, L., & Petrat, S. P. (2023). Weak Edgeworth expansion for the mean-field Bose gas. Letters in Mathematical Physics. Springer Nature. https://doi.org/10.1007/s11005-023-01698-4
[Published Version]
View
| DOI
| WoS
| arXiv
2023 | Published | Conference Paper | IST-REx-ID: 13228 |
Henzinger, T. A., Karimi, M., Kueffner, K., & Mallik, K. (2023). Runtime monitoring of dynamic fairness properties. In FAccT ’23: Proceedings of the 2023 ACM Conference on Fairness, Accountability, and Transparency (pp. 604–614). Chicago, IL, United States: Association for Computing Machinery. https://doi.org/10.1145/3593013.3594028
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 13229 |
Shamipour, S., Hofmann, L., Steccari, I., Kardos, R., & Heisenberg, C.-P. J. (2023). Yolk granule fusion and microtubule aster formation regulate cortical granule translocation and exocytosis in zebrafish oocytes. PLoS Biology. Public Library of Science. https://doi.org/10.1371/journal.pbio.3002146
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Published | Journal Article | IST-REx-ID: 13230 |
Charlton, J. A., Mlynarski, W. F., Bai, Y. H., Hermundstad, A. M., & Goris, R. L. T. (2023). Environmental dynamics shape perceptual decision bias. PLoS Computational Biology. Public Library of Science. https://doi.org/10.1371/journal.pcbi.1011104
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Published | Journal Article | IST-REx-ID: 13231 |
Schörner, M., Bethkenhagen, M., Döppner, T., Kraus, D., Fletcher, L. B., Glenzer, S. H., & Redmer, R. (2023). X-ray Thomson scattering spectra from density functional theory molecular dynamics simulations based on a modified Chihara formula. Physical Review E. American Physical Society. https://doi.org/10.1103/PhysRevE.107.065207
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 13232 |
Dormeshkin, D., Katsin, M., Stegantseva, M., Golenchenko, S., Shapira, M., Dubovik, S., … Meleshko, A. (2023). Design and immunogenicity of SARS-CoV-2 DNA vaccine encoding RBD-PVXCP fusion protein. Vaccines. MDPI. https://doi.org/10.3390/vaccines11061014
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Published | Journal Article | IST-REx-ID: 13233 |
Agafonova, S., Lemeshko, M., & Volosniev, A. (2023). Finite-range bias in fitting three-body loss to the zero-range model. Physical Review A. American Physical Society. https://doi.org/10.1103/PhysRevA.107.L061304
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 13234 |
Kueffner, K., Lukina, A., Schilling, C., & Henzinger, T. A. (2023). Into the unknown: Active monitoring of neural networks (extended version). International Journal on Software Tools for Technology Transfer. Springer Nature. https://doi.org/10.1007/s10009-023-00711-4
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 13235
Liu, Y., Li, M., Wan, S., Lim, K. H., Zhang, Y., Li, M., … Cabot, A. (2023). Surface chemistry and band engineering in AgSbSe₂: Toward high thermoelectric performance. ACS Nano. American Chemical Society. https://doi.org/10.1021/acsnano.3c03541
View
| DOI
| WoS
| PubMed | Europe PMC
2023 | Published | Conference Paper | IST-REx-ID: 13236 |
Zheng, D. W., & Henzinger, M. (2023). Multiplicative auction algorithm for approximate maximum weight bipartite matching. In International Conference on Integer Programming and Combinatorial Optimization (Vol. 13904, pp. 453–465). Madison, WI, United States: Springer Nature. https://doi.org/10.1007/978-3-031-32726-1_32
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 13237
Michaels, T. C. T., Qian, D., Šarić, A., Vendruscolo, M., Linse, S., & Knowles, T. P. J. (2023). Amyloid formation as a protein phase transition. Nature Reviews Physics. Springer Nature. https://doi.org/10.1038/s42254-023-00598-9
View
| DOI
| WoS
2023 | Published | Journal Article | IST-REx-ID: 13251 |
Wei, Y., Volosniev, A., Lorenc, D., Zhumekenov, A. A., Bakr, O. M., Lemeshko, M., & Alpichshev, Z. (2023). Bond polarizability as a probe of local crystal fields in hybrid lead-halide perovskites. The Journal of Physical Chemistry Letters. American Chemical Society. https://doi.org/10.1021/acs.jpclett.3c01158
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 13256 |
GOSWAMI, B. B., & An, S. I. (2023). An assessment of the ENSO-monsoon teleconnection in a warming climate. Npj Climate and Atmospheric Science. Springer Nature. https://doi.org/10.1038/s41612-023-00411-5
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Published | Journal Article | IST-REx-ID: 13257 |
Shekhter, A., Mcdonald, R. D., Ramshaw, B. J., & Modic, K. A. (2023). Magnetotropic susceptibility. Physical Review B. American Physical Society. https://doi.org/10.1103/PhysRevB.108.035111
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 13258 |
Kleshnina, M., Hilbe, C., Simsa, S., Chatterjee, K., & Nowak, M. A. (2023). The effect of environmental information on evolution of cooperation in stochastic games. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-023-39625-9
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Published | Journal Article | IST-REx-ID: 13260 |
de Castro Barbosa Rodrigues Barata, C., Snook, R. R., Ritchie, M. G., & Kosiol, C. (2023). Selection on the fly: Short-term adaptation to an altered sexual selection regime in Drosophila pseudoobscura. Genome Biology and Evolution. Oxford Academic. https://doi.org/10.1093/gbe/evad113
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Published | Journal Article | IST-REx-ID: 13261 |
Brückner, D., Chen, H., Barinov, L., Zoller, B., & Gregor, T. (2023). Stochastic motion and transcriptional dynamics of pairs of distal DNA loci on a compacted chromosome. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.adf5568
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
2023 | Published | Conference Paper | IST-REx-ID: 13262 |
Fedorov, A., Hashemi, D., Nadiradze, G., & Alistarh, D.-A. (2023). Provably-efficient and internally-deterministic parallel Union-Find. In Proceedings of the 35th ACM Symposium on Parallelism in Algorithms and Architectures (pp. 261–271). Orlando, FL, United States: Association for Computing Machinery. https://doi.org/10.1145/3558481.3591082
[Published Version]
View
| Files available
| DOI
| arXiv