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.
369 Publications
2022 | Published | Thesis | IST-REx-ID: 12390 | 
Brooks M. 2022. Translation-invariant quantum systems with effectively broken symmetry. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2022 | Published | Thesis | IST-REx-ID: 12358 |
Sperl G. 2022. Homogenizing yarn simulations: Large-scale mechanics, small-scale detail, and quantitative fitting. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2022 | Published | Conference Paper | IST-REx-ID: 11775 |
Henzinger TA, Mazzocchi NA, Sarac NE. 2022. Abstract monitors for quantitative specifications. 22nd International Conference on Runtime Verification. RV: Runtime Verification, LNCS, vol. 13498, 200–220.
[Published Version]
View
| Files available
| DOI
| WoS
2022 | Published | Conference Paper | IST-REx-ID: 11459 |
Zikelic D, Chang B-YE, Bolignano P, Raimondi F. 2022. Differential cost analysis with simultaneous potentials and anti-potentials. Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation. PLDI: Programming Language Design and Implementation, 442–457.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2022 | Submitted | Preprint | IST-REx-ID: 12677 |
Chatterjee K, Mohammadi M, Saona Urmeneta RJ. Repeated prophet inequality with near-optimal bounds. arXiv, 2209.14368.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 9311 |
Chatterjee K, Saona Urmeneta RJ, Ziliotto B. 2022. Finite-memory strategies in POMDPs with long-run average objectives. Mathematics of Operations Research. 47(1), 100–119.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2022 | Published | Thesis | IST-REx-ID: 12368 |
Arslan FN. 2022. Remodeling of E-cadherin-mediated contacts via cortical flows. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2022 | Published | Thesis | IST-REx-ID: 12072 |
Shute AL. 2022. Existence and density problems in Diophantine geometry: From norm forms to Campana points. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2022 | Published | Thesis | IST-REx-ID: 11473 |
Mysliwy K. 2022. Polarons in Bose gases and polar crystals: Some rigorous energy estimates. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2022 | Published | Journal Article | IST-REx-ID: 10920 |
Jirovec D, Mutter PM, Hofmann AC, Crippa A, Rychetsky M, Craig DL, Kukucka J, Martins F, Ballabio A, Ares N, Chrastina D, Isella G, Burkard G, Katsaros G. 2022. Dynamics of hole singlet-triplet qubits with large g-factor differences. Physical Review Letters. 128(12), 126803.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
| arXiv
2022 | Published | Thesis | IST-REx-ID: 11945 |
Schulz R. 2022. Chimeric G protein-coupled receptors mimic distinct signaling pathways and modulate microglia function. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2022 | Research Data | IST-REx-ID: 11542 |
Schulz R. 2022. Source Data (Chimeric GPCRs mimic distinct signaling pathways and modulate microglia responses), Institute of Science and Technology Austria, 10.15479/AT:ISTA:11542.
View
| Files available
| DOI
2022 | Published | Journal Article | IST-REx-ID: 10787 |
Barton NH, Olusanya OO. 2022. The response of a metapopulation to a changing environment. Philosophical Transactions of the Royal Society B: Biological Sciences. 377(1848).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2022 | Published | Journal Article | IST-REx-ID: 10658 |
Sachdeva H, Olusanya OO, Barton NH. 2022. Genetic load and extinction in peripheral populations: The roles of migration, drift and demographic stochasticity. Philosophical Transactions of the Royal Society B. 377(1846), 20210010.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2022 | Published | Journal Article | IST-REx-ID: 10643 |
Henheik SJ, Teufel S. 2022. Adiabatic theorem in the thermodynamic limit: Systems with a gap in the bulk. Forum of Mathematics, Sigma. 10, e4.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 10600 |
Henheik SJ, Teufel S. 2022. Adiabatic theorem in the thermodynamic limit: Systems with a uniform gap. Journal of Mathematical Physics. 63(1), 011901.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2022 | Research Data | IST-REx-ID: 11321 |
Surendranadh P, Arathoon LS, Baskett C, Field D, Pickup M, Barton NH. 2022. Effects of fine-scale population structure on the distribution of heterozygosity in a long-term study of Antirrhinum majus, Institute of Science and Technology Austria, 10.15479/at:ista:11321.
[Published Version]
View
| Files available
| DOI
2022 | Draft | Preprint | IST-REx-ID: 17157 |
Hausel T, Rychlewicz KP. Spectrum of equivariant cohomology as a fixed point scheme. arXiv, 2212.11836.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 11732 |
Henheik SJ, Lauritsen AB. 2022. The BCS energy gap at high density. Journal of Statistical Physics. 189, 5.
[Published Version]
View
| Files available
| DOI
| WoS
2022 | Published | Journal Article | IST-REx-ID: 10623 |
Henheik SJ. 2022. The BCS critical temperature at high density. Mathematical Physics, Analysis and Geometry. 25(1), 3.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv