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.
5806 Publications
2022 | Published | Journal Article | IST-REx-ID: 11438 | 
Laser frequency-offset locking at 10-Hz-level instability using hybrid electronic filters
V. Li, F.R. Diorico, O. Hosten, Physical Review Applied 17 (2022).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
V. Li, F.R. Diorico, O. Hosten, Physical Review Applied 17 (2022).
2022 | Published | Journal Article | IST-REx-ID: 8538 |
Billiards in ellipses revisited
A. Akopyan, R. Schwartz, S. Tabachnikov, European Journal of Mathematics 8 (2022) 1313–1327.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
A. Akopyan, R. Schwartz, S. Tabachnikov, European Journal of Mathematics 8 (2022) 1313–1327.
2022 | Published | Book Chapter | IST-REx-ID: 11440 |
The persistent homology of dual digital image constructions
B. Bleile, A. Garin, T. Heiss, K. Maggs, V. Robins, in:, E. Gasparovic, V. Robins, K. Turner (Eds.), Research in Computational Topology 2, 1st ed., Springer Nature, Cham, 2022, pp. 1–26.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
B. Bleile, A. Garin, T. Heiss, K. Maggs, V. Robins, in:, E. Gasparovic, V. Robins, K. Turner (Eds.), Research in Computational Topology 2, 1st ed., Springer Nature, Cham, 2022, pp. 1–26.
2022 | Published | Conference Paper | IST-REx-ID: 10828 |
The impact of changes in resolution on the persistent homology of images
T. Heiss, S. Tymochko, B. Story, A. Garin, H. Bui, B. Bleile, V. Robins, in:, 2021 IEEE International Conference on Big Data, IEEE, 2022, pp. 3824–3834.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
T. Heiss, S. Tymochko, B. Story, A. Garin, H. Bui, B. Bleile, V. Robins, in:, 2021 IEEE International Conference on Big Data, IEEE, 2022, pp. 3824–3834.
2022 | Published | Journal Article | IST-REx-ID: 10537 |
Bosonization of fermionic many-body dynamics
N.P. Benedikter, P.T. Nam, M. Porta, B. Schlein, R. Seiringer, Annales Henri Poincaré 23 (2022) 1725–1764.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
N.P. Benedikter, P.T. Nam, M. Porta, B. Schlein, R. Seiringer, Annales Henri Poincaré 23 (2022) 1725–1764.
2022 | Published | Journal Article | IST-REx-ID: 12246 |
Improved Lieb–Oxford bound on the indirect and exchange energies
M. Lewin, E.H. Lieb, R. Seiringer, Letters in Mathematical Physics 112 (2022).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
M. Lewin, E.H. Lieb, R. Seiringer, Letters in Mathematical Physics 112 (2022).
2022 | Published | Thesis | IST-REx-ID: 12390 |
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
M. Brooks, Translation-Invariant Quantum Systems with Effectively Broken Symmetry, Institute of Science and Technology Austria, 2022.
2022 | Published | Book Chapter | IST-REx-ID: 12303 |
Loop Grassmannians of Quivers and Affine Quantum Groups
I. Mirković, Y. Yang, G. Zhao, in:, V. Baranovskky, N. Guay, T. Schedler (Eds.), Representation Theory and Algebraic Geometry, 1st ed., Springer Nature; Birkhäuser, Cham, 2022, pp. 347–392.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
I. Mirković, Y. Yang, G. Zhao, in:, V. Baranovskky, N. Guay, T. Schedler (Eds.), Representation Theory and Algebraic Geometry, 1st ed., Springer Nature; Birkhäuser, Cham, 2022, pp. 347–392.
2022 | Published | Journal Article | IST-REx-ID: 11713 |
Quantifying heterologous gene expression during ectopic MazF production in Escherichia coli
N. Nikolic, M. Sauert, T.G. Albanese, I. Moll, BMC Research Notes 15 (2022).
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
N. Nikolic, M. Sauert, T.G. Albanese, I. Moll, BMC Research Notes 15 (2022).
2022 | Published | Journal Article | IST-REx-ID: 11432 |
Coupling 3D liquid simulation with 2D wave propagation for large scale water surface animation using the equivalent sources method
C. Schreck, C. Wojtan, Computer Graphics Forum 41 (2022) 343–353.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
C. Schreck, C. Wojtan, Computer Graphics Forum 41 (2022) 343–353.
2022 | Published | Thesis | IST-REx-ID: 12358 |
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
G. Sperl, Homogenizing Yarn Simulations: Large-Scale Mechanics, Small-Scale Detail, and Quantitative Fitting, Institute of Science and Technology Austria, 2022.
2022 | Published | Journal Article | IST-REx-ID: 11736 |
Estimation of yarn-level simulation models for production fabrics
G. Sperl, R.M. Sánchez-Banderas, M. Li, C. Wojtan, M.A. Otaduy, ACM Transactions on Graphics 41 (2022).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
G. Sperl, R.M. Sánchez-Banderas, M. Li, C. Wojtan, M.A. Otaduy, ACM Transactions on Graphics 41 (2022).
2022 | Published | Journal Article | IST-REx-ID: 11144
High thermoelectric performance realized through manipulating layered phonon-electron decoupling
L. Su, D. Wang, S. Wang, B. Qin, Y. Wang, Y. Qin, Y. Jin, C. Chang, L.D. Zhao, Science 375 (2022) 1385–1389.
View
| DOI
| WoS
| PubMed | Europe PMC
L. Su, D. Wang, S. Wang, B. Qin, Y. Wang, Y. Qin, Y. Jin, C. Chang, L.D. Zhao, Science 375 (2022) 1385–1389.
2022 | Published | Journal Article | IST-REx-ID: 11142
Enhanced thermoelectric performance in SnTe due to the energy filtering effect introduced by Bi2O3
T. Hong, C. Guo, D. Wang, B. Qin, C. Chang, X. Gao, L.D. Zhao, Materials Today Energy 25 (2022).
View
| DOI
| WoS
T. Hong, C. Guo, D. Wang, B. Qin, C. Chang, X. Gao, L.D. Zhao, Materials Today Energy 25 (2022).
2022 | Published | Journal Article | IST-REx-ID: 12079 |
Convergence rates for the Allen–Cahn equation with boundary contact energy: The non-perturbative regime
S. Hensel, M. Moser, Calculus of Variations and Partial Differential Equations 61 (2022).
[Published Version]
View
| Files available
| DOI
| WoS
S. Hensel, M. Moser, Calculus of Variations and Partial Differential Equations 61 (2022).
2022 | Published | Journal Article | IST-REx-ID: 10656 |
Spontaneous aggregation of convective storms
C.J. Muller, D. Yang, G. Craig, T. Cronin, B. Fildier, J.O. Haerter, C. Hohenegger, B. Mapes, D. Randall, S. Shamekh, S.C. Sherwood, Annual Review of Fluid Mechanics 54 (2022) 133–157.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
C.J. Muller, D. Yang, G. Craig, T. Cronin, B. Fildier, J.O. Haerter, C. Hohenegger, B. Mapes, D. Randall, S. Shamekh, S.C. Sherwood, Annual Review of Fluid Mechanics 54 (2022) 133–157.
2022 | Published | Journal Article | IST-REx-ID: 10653 |
Shear-convection interactions and orientation of tropical squall lines
S. Abramian, C.J. Muller, C. Risi, Geophysical Research Letters 49 (2022).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
S. Abramian, C.J. Muller, C. Risi, Geophysical Research Letters 49 (2022).
2022 | Published | Conference Paper | IST-REx-ID: 12302 |
FORQ-based language inclusion formal testing
K. Doveri, P. Ganty, N.A. Mazzocchi, in:, Computer Aided Verification, Springer Nature, 2022, pp. 109–129.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
K. Doveri, P. Ganty, N.A. Mazzocchi, in:, Computer Aided Verification, Springer Nature, 2022, pp. 109–129.
2022 | Published | Conference Paper | IST-REx-ID: 11775 |
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
T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, in:, 22nd International Conference on Runtime Verification, Springer Nature, 2022, pp. 200–220.
2022 | Published | Conference Paper | IST-REx-ID: 12171 |
Synthesis of parametric hybrid automata from time series
M. Garcia Soto, T.A. Henzinger, C. Schilling, in:, 20th International Symposium on Automated Technology for Verification and Analysis, Springer Nature, 2022, pp. 337–353.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
M. Garcia Soto, T.A. Henzinger, C. Schilling, in:, 20th International Symposium on Automated Technology for Verification and Analysis, Springer Nature, 2022, pp. 337–353.