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.
5915 Publications
2022 | Published | Book Chapter | IST-REx-ID: 11440 | 
Bleile, B., Garin, A., Heiss, T., Maggs, K., & Robins, V. (2022). The persistent homology of dual digital image constructions. In E. Gasparovic, V. Robins, & K. Turner (Eds.), Research in Computational Topology 2 (1st ed., Vol. 30, pp. 1–26). Cham: Springer Nature. https://doi.org/10.1007/978-3-030-95519-9_1
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Published | Conference Paper | IST-REx-ID: 10828 |
Heiss, T., Tymochko, S., Story, B., Garin, A., Bui, H., Bleile, B., & Robins, V. (2022). The impact of changes in resolution on the persistent homology of images. In 2021 IEEE International Conference on Big Data (pp. 3824–3834). Orlando, FL, United States; Virtuell: IEEE. https://doi.org/10.1109/BigData52589.2021.9671483
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 10537 |
Benedikter, N. P., Nam, P. T., Porta, M., Schlein, B., & Seiringer, R. (2022). Bosonization of fermionic many-body dynamics. Annales Henri Poincaré. Springer Nature. https://doi.org/10.1007/s00023-021-01136-y
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 12246 |
Lewin, M., Lieb, E. H., & Seiringer, R. (2022). Improved Lieb–Oxford bound on the indirect and exchange energies. Letters in Mathematical Physics. Springer Nature. https://doi.org/10.1007/s11005-022-01584-5
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2022 | Published | Thesis | IST-REx-ID: 12390 |
Brooks, M. (2022). Translation-invariant quantum systems with effectively broken symmetry. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:12390
[Published Version]
View
| Files available
| DOI
2022 | Published | Book Chapter | IST-REx-ID: 12303 |
Mirković, I., Yang, Y., & Zhao, G. (2022). Loop Grassmannians of Quivers and Affine Quantum Groups. In V. Baranovskky, N. Guay, & T. Schedler (Eds.), Representation Theory and Algebraic Geometry (1st ed., pp. 347–392). Cham: Springer Nature; Birkhäuser. https://doi.org/10.1007/978-3-030-82007-7_8
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 11713 |
Nikolic, N., Sauert, M., Albanese, T. G., & Moll, I. (2022). Quantifying heterologous gene expression during ectopic MazF production in Escherichia coli. BMC Research Notes. Springer Nature. https://doi.org/10.1186/s13104-022-06061-9
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2022 | Published | Journal Article | IST-REx-ID: 11432 |
Schreck, C., & Wojtan, C. (2022). Coupling 3D liquid simulation with 2D wave propagation for large scale water surface animation using the equivalent sources method. Computer Graphics Forum. Wiley. https://doi.org/10.1111/cgf.14478
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
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. https://doi.org/10.15479/at:ista:12103
[Published Version]
View
| Files available
| DOI
2022 | Published | Journal Article | IST-REx-ID: 11736 |
Sperl, G., Sánchez-Banderas, R. M., Li, M., Wojtan, C., & Otaduy, M. A. (2022). Estimation of yarn-level simulation models for production fabrics. ACM Transactions on Graphics. Association for Computing Machinery. https://doi.org/10.1145/3528223.3530167
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
2022 | Published | Journal Article | IST-REx-ID: 11144
Su, L., Wang, D., Wang, S., Qin, B., Wang, Y., Qin, Y., … Zhao, L. D. (2022). High thermoelectric performance realized through manipulating layered phonon-electron decoupling. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.abn8997
View
| DOI
| WoS
| PubMed | Europe PMC
2022 | Published | Journal Article | IST-REx-ID: 11142
Hong, T., Guo, C., Wang, D., Qin, B., Chang, C., Gao, X., & Zhao, L. D. (2022). Enhanced thermoelectric performance in SnTe due to the energy filtering effect introduced by Bi2O3. Materials Today Energy. Elsevier. https://doi.org/10.1016/j.mtener.2022.100985
View
| DOI
| WoS
2022 | Published | Journal Article | IST-REx-ID: 12079 |
Hensel, S., & Moser, M. (2022). Convergence rates for the Allen–Cahn equation with boundary contact energy: The non-perturbative regime. Calculus of Variations and Partial Differential Equations. Springer Nature. https://doi.org/10.1007/s00526-022-02307-3
[Published Version]
View
| Files available
| DOI
| WoS
2022 | Published | Journal Article | IST-REx-ID: 10656 |
Muller, C. J., Yang, D., Craig, G., Cronin, T., Fildier, B., Haerter, J. O., … Sherwood, S. C. (2022). Spontaneous aggregation of convective storms. Annual Review of Fluid Mechanics. Annual Reviews. https://doi.org/10.1146/annurev-fluid-022421-011319
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
2022 | Published | Journal Article | IST-REx-ID: 10653 |
Abramian, S., Muller, C. J., & Risi, C. (2022). Shear-convection interactions and orientation of tropical squall lines. Geophysical Research Letters. Wiley. https://doi.org/10.1029/2021GL095184
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2022 | Published | Conference Paper | IST-REx-ID: 12302 |
Doveri, K., Ganty, P., & Mazzocchi, N. A. (2022). FORQ-based language inclusion formal testing. In Computer Aided Verification (Vol. 13372, pp. 109–129). Haifa, Israel: Springer Nature. https://doi.org/10.1007/978-3-031-13188-2_6
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2022 | Published | Conference Paper | IST-REx-ID: 11775 |
Henzinger, T. A., Mazzocchi, N. A., & Sarac, N. E. (2022). Abstract monitors for quantitative specifications. In 22nd International Conference on Runtime Verification (Vol. 13498, pp. 200–220). Tbilisi, Georgia: Springer Nature. https://doi.org/10.1007/978-3-031-17196-3_11
[Published Version]
View
| Files available
| DOI
| WoS
2022 | Published | Conference Paper | IST-REx-ID: 12171 |
Garcia Soto, M., Henzinger, T. A., & Schilling, C. (2022). Synthesis of parametric hybrid automata from time series. In 20th International Symposium on Automated Technology for Verification and Analysis (Vol. 13505, pp. 337–353). Virtual: Springer Nature. https://doi.org/10.1007/978-3-031-19992-9_22
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Published | Conference Paper | IST-REx-ID: 12175 |
Bose, S., Henzinger, T. A., Lehtinen, K., Schewe, S., & Totzke, P. (2022). History-deterministic timed automata are not determinizable. In 16th International Conference on Reachability Problems (Vol. 13608, pp. 67–76). Kaiserslautern, Germany: Springer Nature. https://doi.org/10.1007/978-3-031-19135-0_5
[Preprint]
View
| DOI
| Download Preprint (ext.)
2022 | Published | Conference Paper | IST-REx-ID: 12508 |
Henzinger, T. A., Lehtinen, K., & Totzke, P. (2022). History-deterministic timed automata. In 33rd International Conference on Concurrency Theory (Vol. 243, p. 14:1-14:21). Warsaw, Poland: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CONCUR.2022.14
[Published Version]
View
| Files available
| DOI