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

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

5749 Publications


2022 | Published | Book Chapter | IST-REx-ID: 12303 | OA
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
 

2022 | Published | Journal Article | IST-REx-ID: 11713 | OA
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
 

2022 | Published | Journal Article | IST-REx-ID: 11432 | OA
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
 

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 | Journal Article | IST-REx-ID: 11736 | OA
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
 

2022 | Published | Journal Article | IST-REx-ID: 12156 | OA
Eukaryotic gene regulation at equilibrium, or non?
B. Zoller, T. Gregor, G. Tkačik, Current Opinion in Systems Biology 31 (2022).
[Published Version] View | Files available | DOI
 

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
 

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
 

2022 | Published | Journal Article | IST-REx-ID: 11356 | OA
Distinct electron and hole transports in SnSe crystals
C. Chang, B. Qin, L. Su, L.D. Zhao, Science Bulletin 67 (2022) 1105–1107.
[Published Version] View | DOI | Download Published Version (ext.) | WoS
 

2022 | Published | Journal Article | IST-REx-ID: 12079 | OA
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
 

2022 | Published | Journal Article | IST-REx-ID: 11842 | OA
Weak-strong uniqueness for the Navier–Stokes equation for two fluids with ninety degree contact angle and same viscosities
S. Hensel, A. Marveggio, Journal of Mathematical Fluid Mechanics 24 (2022).
[Published Version] View | Files available | DOI | WoS | arXiv
 

2022 | Draft | Preprint | IST-REx-ID: 14597 | OA
Quantitative convergence of the vectorial Allen-Cahn equation towards multiphase mean curvature flow
J.L. Fischer, A. Marveggio, ArXiv (n.d.).
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2022 | Published | Journal Article | IST-REx-ID: 10656 | OA
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
 

2022 | Published | Journal Article | IST-REx-ID: 10653 | OA
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
 

2022 | Published | Conference Paper | IST-REx-ID: 12302 | OA
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
 

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: 12171 | OA
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
 

2022 | Published | Conference Paper | IST-REx-ID: 12175 | OA
History-deterministic timed automata are not determinizable
S. Bose, T.A. Henzinger, K. Lehtinen, S. Schewe, P. Totzke, in:, 16th International Conference on Reachability Problems, Springer Nature, 2022, pp. 67–76.
[Preprint] View | DOI | Download Preprint (ext.)
 

2022 | Published | Conference Paper | IST-REx-ID: 12508 | OA
History-deterministic timed automata
T.A. Henzinger, K. Lehtinen, P. Totzke, in:, 33rd International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022, p. 14:1-14:21.
[Published Version] View | Files available | DOI
 

2022 | Published | Conference Paper | IST-REx-ID: 12509 | OA
An updated survey of bidding games on graphs
Avni, Guy, An updated survey of bidding games on graphs. 47th International Symposium on Mathematical Foundations of Computer Science 241. 2022
[Published Version] View | Files available | DOI
 

Filters and Search Terms

department=IST

Search

Filter Publications

Display / Sort

Export / Embed