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 |
Boker U, Henzinger TA, Mazzocchi NA, Sarac NE. 2023. Safety and liveness of quantitative automata. 34th International Conference on Concurrency Theory. CONCUR: Conference on Concurrency Theory, LIPIcs, vol. 279, 17.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 |
Published |
Journal Article |
IST-REx-ID: 13225 |
Benedikter NP, 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. 247(4), 65.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 |
Published |
Journal Article |
IST-REx-ID: 13226 |
Bossmann L, Petrat SP. 2023. Weak Edgeworth expansion for the mean-field Bose gas. Letters in Mathematical Physics. 113(4), 77.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 |
Published |
Journal Article |
IST-REx-ID: 13227 |
Hassani F, Peruzzo M, Kapoor L, Trioni A, Zemlicka M, Fink JM. 2023. Inductively shunted transmons exhibit noise insensitive plasmon states and a fluxon decay exceeding 3 hours. Nature Communications. 14, 3968.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 |
Published |
Conference Paper |
IST-REx-ID: 13228 |
Henzinger TA, Karimi M, Kueffner K, Mallik K. 2023. Runtime monitoring of dynamic fairness properties. FAccT ’23: Proceedings of the 2023 ACM Conference on Fairness, Accountability, and Transparency. FAccT: Conference on Fairness, Accountability and Transparency, 604–614.
[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-PJ. 2023. Yolk granule fusion and microtubule aster formation regulate cortical granule translocation and exocytosis in zebrafish oocytes. PLoS Biology. 21(6), e3002146.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 |
Published |
Journal Article |
IST-REx-ID: 13230 |
Charlton JA, Mlynarski WF, Bai YH, Hermundstad AM, Goris RLT. 2023. Environmental dynamics shape perceptual decision bias. PLoS Computational Biology. 19(6), e1011104.
[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 LB, Glenzer SH, Redmer R. 2023. X-ray Thomson scattering spectra from density functional theory molecular dynamics simulations based on a modified Chihara formula. Physical Review E. 107(6), 065207.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| PubMed | Europe PMC
| arXiv
2023 |
Published |
Journal Article |
IST-REx-ID: 13232 |
Dormeshkin D, Katsin M, Stegantseva M, Golenchenko S, Shapira M, Dubovik S, Lutskovich D, Kavaleuski A, Meleshko A. 2023. Design and immunogenicity of SARS-CoV-2 DNA vaccine encoding RBD-PVXCP fusion protein. Vaccines. 11(6), 1014.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
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. 107(6), L061304.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 |
Published |
Journal Article |
IST-REx-ID: 13234 |
Kueffner K, Lukina A, Schilling C, Henzinger TA. 2023. Into the unknown: Active monitoring of neural networks (extended version). International Journal on Software Tools for Technology Transfer. 25, 575–592.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 |
Published |
Journal Article |
IST-REx-ID: 13235
Liu Y, Li M, Wan S, Lim KH, Zhang Y, Li M, Li J, Ibáñez M, Hong M, Cabot A. 2023. Surface chemistry and band engineering in AgSbSe₂: Toward high thermoelectric performance. ACS Nano. 17(12), 11923–11934.
View
| DOI
| WoS
| PubMed | Europe PMC
2023 |
Published |
Conference Paper |
IST-REx-ID: 13236 |
Zheng DW, Henzinger M. 2023. Multiplicative auction algorithm for approximate maximum weight bipartite matching. International Conference on Integer Programming and Combinatorial Optimization. IPCO: Integer Programming and Combinatorial Optimization, LNCS, vol. 13904, 453–465.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 |
Published |
Journal Article |
IST-REx-ID: 13251 |
Wei Y, Volosniev A, Lorenc D, Zhumekenov AA, Bakr OM, 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. 14(27), 6309–6314.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
| arXiv
2023 |
Published |
Journal Article |
IST-REx-ID: 13256 |
GOSWAMI BB, An SI. 2023. An assessment of the ENSO-monsoon teleconnection in a warming climate. npj Climate and Atmospheric Science. 6, 82.
[Published Version]
View
| Files available
| DOI
| WoS
2023 |
Published |
Journal Article |
IST-REx-ID: 13257 |
Shekhter A, Mcdonald RD, Ramshaw BJ, Modic KA. 2023. Magnetotropic susceptibility. Physical Review B. 108(3), 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 MA. 2023. The effect of environmental information on evolution of cooperation in stochastic games. Nature Communications. 14, 4153.
[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 RR, Ritchie MG, Kosiol C. 2023. Selection on the fly: Short-term adaptation to an altered sexual selection regime in Drosophila pseudoobscura. Genome biology and evolution. 15(7), 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. 380(6652), 1357–1362.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS