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.
8915 Publications
2022 | Published | Conference Paper | IST-REx-ID: 12302 | 
Doveri K, Ganty P, Mazzocchi NA. 2022. FORQ-based language inclusion formal testing. Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 13372, 109–129.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2022 | Published | Book Chapter | IST-REx-ID: 12303 |
Mirković I, Yang Y, Zhao G. 2022.Loop Grassmannians of Quivers and Affine Quantum Groups. In: Representation Theory and Algebraic Geometry. Trends in Mathematics, , 347–392.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 12304 |
De Nitti N, Fischer JL. 2022. Sharp criteria for the waiting time phenomenon in solutions to the thin-film equation. Communications in Partial Differential Equations. 47(7), 1394–1434.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 12305 |
Abels H, Moser M. 2022. Convergence of the Allen--Cahn equation with a nonlinear Robin boundary condition to mean curvature flow with contact angle close to 90°. SIAM Journal on Mathematical Analysis. 54(1), 114–172.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2022 | Submitted | Preprint | IST-REx-ID: 12311 |
Naskręcki B, Verzobio M. Common valuations of division polynomials. arXiv, 2203.02015.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 12332 |
Mlynarski WF, Tkačik G. 2022. Efficient coding theory of dynamic attentional modulation. PLoS Biology. 20(12), e3001889.
[Published Version]
View
| Files available
| DOI
| WoS
2022 | Published | Journal Article | IST-REx-ID: 12333 |
Tomanek I, Guet CC. 2022. Adaptation dynamics between copynumber and point mutations. eLife. 11, e82240.
[Published Version]
View
| Files available
| DOI
| WoS
2022 | Research Data Reference | IST-REx-ID: 12339 |
Tomanek I, Guet CC. 2022. Flow cytometry YFP and CFP data and deep sequencing data of populations evolving in galactose, Dryad, 10.5061/dryad.rfj6q57ds.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
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 | Thesis | IST-REx-ID: 12364 |
Dotter C. 2022. Transcriptional consequences of mutations in genes associated with Autism Spectrum Disorder. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2022 | Published | Thesis | IST-REx-ID: 12366 |
Redchenko E. 2022. Controllable states of superconducting Qubit ensembles. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
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: 12378 |
Colombo G. 2022. MorphOMICs, a tool for mapping microglial morphology, reveals brain region- and sex-dependent phenotypes. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
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: 12401 |
Tasciyan S. 2022. Role of microenvironment heterogeneity in cancer cell invasion. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2022 | Published | Journal Article | IST-REx-ID: 12431 |
Ishida S, Wojtan C, Chern A. 2022. Hidden degrees of freedom in implicit vortex filaments. ACM Transactions on Graphics. 41(6), 241.
[Published Version]
View
| Files available
| DOI
| WoS
2022 | Published | Conference Paper | IST-REx-ID: 12452 |
Rao P, B R M, Fox G, Weyrich T, Bickel B, Seidel H-P, Pfister H, Matusik W, Tewari A, Theobalt C, Elgharib M. 2022. VoRF: Volumetric Relightable Faces. 33rd British Machine Vision Conference. BMVC: British Machine Vision Conference, 708.
[Published Version]
View
| Files available
| Download Published Version (ext.)
2022 | Published | Journal Article | IST-REx-ID: 12480 |
Mondelli M, Venkataramanan R. 2022. Approximate message passing with spectral initialization for generalized linear models. Journal of Statistical Mechanics: Theory and Experiment. 2022(11), 114003.
[Published Version]
View
| Files available
| DOI
| WoS