ISTA Research Explorer

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. Safety and liveness of quantitative automata. In: 34th International Conference on Concurrency Theory. Vol 279. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2023. doi:10.4230/LIPIcs.CONCUR.2023.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. Correlation energy of a weakly interacting Fermi gas with large interaction potential. Archive for Rational Mechanics and Analysis. 2023;247(4). doi: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 SP. Weak Edgeworth expansion for the mean-field Bose gas. Letters in Mathematical Physics. 2023;113(4). doi:10.1007/s11005-023-01698-4

[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. Inductively shunted transmons exhibit noise insensitive plasmon states and a fluxon decay exceeding 3 hours. Nature Communications. 2023;14. doi:10.1038/s41467-023-39656-2

2023 | Published | Conference Paper | IST-REx-ID: 13228 |

Henzinger TA, Karimi M, Kueffner K, Mallik K. Runtime monitoring of dynamic fairness properties. In: FAccT ’23: Proceedings of the 2023 ACM Conference on Fairness, Accountability, and Transparency. Association for Computing Machinery; 2023:604-614. doi: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-PJ. Yolk granule fusion and microtubule aster formation regulate cortical granule translocation and exocytosis in zebrafish oocytes. PLoS Biology. 2023;21(6):e3002146. doi:10.1371/journal.pbio.3002146

2023 | Published | Journal Article | IST-REx-ID: 13230 |

Charlton JA, Mlynarski WF, Bai YH, Hermundstad AM, Goris RLT. Environmental dynamics shape perceptual decision bias. PLoS Computational Biology. 2023;19(6). doi:10.1371/journal.pcbi.1011104

2023 | Published | Journal Article | IST-REx-ID: 13231 |

Schörner M, Bethkenhagen M, Döppner T, et al. X-ray Thomson scattering spectra from density functional theory molecular dynamics simulations based on a modified Chihara formula. Physical Review E. 2023;107(6). doi:10.1103/PhysRevE.107.065207

2023 | Published | Journal Article | IST-REx-ID: 13232 |

Dormeshkin D, Katsin M, Stegantseva M, et al. Design and immunogenicity of SARS-CoV-2 DNA vaccine encoding RBD-PVXCP fusion protein. Vaccines. 2023;11(6). doi:10.3390/vaccines11061014

2023 | Published | Journal Article | IST-REx-ID: 13233 |

Agafonova S, Lemeshko M, Volosniev A. Finite-range bias in fitting three-body loss to the zero-range model. Physical Review A. 2023;107(6). doi: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 TA. Into the unknown: Active monitoring of neural networks (extended version). International Journal on Software Tools for Technology Transfer. 2023;25:575-592. doi: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, et al. Surface chemistry and band engineering in AgSbSe₂: Toward high thermoelectric performance. ACS Nano. 2023;17(12):11923–11934. doi:10.1021/acsnano.3c03541

View | DOI | WoS | PubMed | Europe PMC

2023 | Published | Conference Paper | IST-REx-ID: 13236 |

Zheng DW, Henzinger M. Multiplicative auction algorithm for approximate maximum weight bipartite matching. In: International Conference on Integer Programming and Combinatorial Optimization. Vol 13904. Springer Nature; 2023:453-465. doi:10.1007/978-3-031-32726-1_32

2023 | Published | Journal Article | IST-REx-ID: 13237

Michaels TCT, Qian D, Šarić A, Vendruscolo M, Linse S, Knowles TPJ. Amyloid formation as a protein phase transition. Nature Reviews Physics. 2023;5:379–397. doi:10.1038/s42254-023-00598-9

View | DOI | WoS

2023 | Published | Journal Article | IST-REx-ID: 13251 |

Wei Y, Volosniev A, Lorenc D, et al. Bond polarizability as a probe of local crystal fields in hybrid lead-halide perovskites. The Journal of Physical Chemistry Letters. 2023;14(27):6309-6314. doi:10.1021/acs.jpclett.3c01158

2023 | Published | Journal Article | IST-REx-ID: 13256 |

GOSWAMI BB, An SI. An assessment of the ENSO-monsoon teleconnection in a warming climate. npj Climate and Atmospheric Science. 2023;6. doi:10.1038/s41612-023-00411-5

[Published Version] View | Files available | DOI | WoS

2023 | Published | Journal Article | IST-REx-ID: 13257 |

Shekhter A, Mcdonald RD, Ramshaw BJ, Modic KA. Magnetotropic susceptibility. Physical Review B. 2023;108(3). doi: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 MA. The effect of environmental information on evolution of cooperation in stochastic games. Nature Communications. 2023;14. doi:10.1038/s41467-023-39625-9

2023 | Published | Journal Article | IST-REx-ID: 13260 |

de Castro Barbosa Rodrigues Barata C, Snook RR, Ritchie MG, Kosiol C. Selection on the fly: Short-term adaptation to an altered sexual selection regime in Drosophila pseudoobscura. Genome biology and evolution. 2023;15(7). doi:10.1093/gbe/evad113

2023 | Published | Journal Article | IST-REx-ID: 13261 |

Brückner D, Chen H, Barinov L, Zoller B, Gregor T. Stochastic motion and transcriptional dynamics of pairs of distal DNA loci on a compacted chromosome. Science. 2023;380(6652):1357-1362. doi:10.1126/science.adf5568

[Preprint] View | DOI | Download Preprint (ext.) | WoS

Institute of Science and Technology Austria (ISTA)

Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

6436 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Institute of Science and Technology Austria (ISTA)

Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

6436 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Export Options