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 | OA
Translation-invariant quantum systems with effectively broken symmetry
M. Brooks, Translation-Invariant Quantum Systems with Effectively Broken Symmetry, Institute of Science and Technology Austria, 2022.
[Published Version] View | Files available | DOI
 
2022 | Published | Thesis | IST-REx-ID: 12358 | OA
Homogenizing yarn simulations: Large-scale mechanics, small-scale detail, and quantitative fitting
G. Sperl, Homogenizing Yarn Simulations: Large-Scale Mechanics, Small-Scale Detail, and Quantitative Fitting, Institute of Science and Technology Austria, 2022.
[Published Version] View | Files available | DOI
 
2022 | Published | Conference Paper | IST-REx-ID: 11775 | OA
Abstract monitors for quantitative specifications
T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, in:, 22nd International Conference on Runtime Verification, Springer Nature, 2022, pp. 200–220.
[Published Version] View | Files available | DOI | WoS
 
2022 | Published | Conference Paper | IST-REx-ID: 11459 | OA
Differential cost analysis with simultaneous potentials and anti-potentials
D. Zikelic, B.-Y.E. Chang, P. Bolignano, F. Raimondi, in:, Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Association for Computing Machinery, 2022, pp. 442–457.
[Published Version] View | Files available | DOI | WoS | arXiv
 
2022 | Submitted | Preprint | IST-REx-ID: 12677 | OA
Repeated prophet inequality with near-optimal bounds
K. Chatterjee, M. Mohammadi, R.J. Saona Urmeneta, ArXiv (n.d.).
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2022 | Published | Journal Article | IST-REx-ID: 9311 | OA
Finite-memory strategies in POMDPs with long-run average objectives
K. Chatterjee, R.J. Saona Urmeneta, B. Ziliotto, Mathematics of Operations Research 47 (2022) 100–119.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2022 | Published | Thesis | IST-REx-ID: 12368 | OA
Remodeling of E-cadherin-mediated contacts via cortical flows
F.N. Arslan, Remodeling of E-Cadherin-Mediated Contacts via Cortical  Flows, Institute of Science and Technology Austria, 2022.
[Published Version] View | Files available | DOI
 
2022 | Published | Thesis | IST-REx-ID: 12072 | OA
Existence and density problems in Diophantine geometry: From norm forms to Campana points
A.L. Shute, Existence and Density Problems in Diophantine Geometry: From Norm Forms to Campana Points, Institute of Science and Technology Austria, 2022.
[Published Version] View | Files available | DOI
 
2022 | Published | Thesis | IST-REx-ID: 11473 | OA
Polarons in Bose gases and polar crystals: Some rigorous energy estimates
K. Mysliwy, Polarons in Bose Gases and Polar Crystals: Some Rigorous Energy Estimates, Institute of Science and Technology Austria, 2022.
[Published Version] View | Files available | DOI
 
2022 | Published | Journal Article | IST-REx-ID: 10920 | OA
Dynamics of hole singlet-triplet qubits with large g-factor differences
D. Jirovec, P.M. Mutter, A.C. Hofmann, A. Crippa, M. Rychetsky, D.L. Craig, J. Kukucka, F. Martins, A. Ballabio, N. Ares, D. Chrastina, G. Isella, G. Burkard, G. Katsaros, Physical Review Letters 128 (2022).
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC | arXiv
 
2022 | Published | Thesis | IST-REx-ID: 11945 | OA
Chimeric G protein-coupled receptors mimic distinct signaling pathways and modulate microglia function
R. Schulz, Chimeric G Protein-Coupled Receptors Mimic Distinct Signaling Pathways and Modulate Microglia Function, Institute of Science and Technology Austria, 2022.
[Published Version] View | Files available | DOI
 
 
2022 | Published | Journal Article | IST-REx-ID: 10787 | OA
The response of a metapopulation to a changing environment
N.H. Barton, O.O. Olusanya, Philosophical Transactions of the Royal Society B: Biological Sciences 377 (2022).
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2022 | Published | Journal Article | IST-REx-ID: 10658 | OA
Genetic load and extinction in peripheral populations: The roles of migration, drift and demographic stochasticity
H. Sachdeva, O.O. Olusanya, N.H. Barton, Philosophical Transactions of the Royal Society B 377 (2022).
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2022 | Published | Journal Article | IST-REx-ID: 10643 | OA
Adiabatic theorem in the thermodynamic limit: Systems with a gap in the bulk
S.J. Henheik, S. Teufel, Forum of Mathematics, Sigma 10 (2022).
[Published Version] View | Files available | DOI | WoS | arXiv
 
2022 | Published | Journal Article | IST-REx-ID: 10600 | OA
Adiabatic theorem in the thermodynamic limit: Systems with a uniform gap
S.J. Henheik, S. Teufel, Journal of Mathematical Physics 63 (2022).
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2022 | Research Data | IST-REx-ID: 11321 | OA
Effects of fine-scale population structure on the distribution of heterozygosity in a long-term study of Antirrhinum majus
P. Surendranadh, L.S. Arathoon, C. Baskett, D. Field, M. Pickup, N.H. Barton, (2022).
[Published Version] View | Files available | DOI
 
2022 | Draft | Preprint | IST-REx-ID: 17157 | OA
Spectrum of equivariant cohomology as a fixed point scheme
T. Hausel, K.P. Rychlewicz, ArXiv (n.d.).
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2022 | Published | Journal Article | IST-REx-ID: 11732 | OA
The BCS energy gap at high density
S.J. Henheik, A.B. Lauritsen, Journal of Statistical Physics 189 (2022).
[Published Version] View | Files available | DOI | WoS
 
2022 | Published | Journal Article | IST-REx-ID: 10623 | OA
The BCS critical temperature at high density
S.J. Henheik, Mathematical Physics, Analysis and Geometry 25 (2022).
[Published Version] View | Files available | DOI | WoS | arXiv
 

Search

Filter Publications

Display / Sort

Citation Style: Default

Export / Embed