ISTA Research Explorer

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.

4957 Publications

2022 | Published | Conference Paper | IST-REx-ID: 12300 |

Practical asynchronous distributed key generation
S. Das, T. Yurek, Z. Xiang, A. Miller, E. Kokoris Kogias, L. Ren, in:, 2022 IEEE Symposium on Security and Privacy, Institute of Electrical and Electronics Engineers, 2022, pp. 2518–2534.

[Preprint] View | DOI | Download Preprint (ext.)

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

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

2022 | Published | Journal Article | IST-REx-ID: 12304 |

Sharp criteria for the waiting time phenomenon in solutions to the thin-film equation
N. De Nitti, J.L. Fischer, Communications in Partial Differential Equations 47 (2022) 1394–1434.

[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv

2022 | Published | Journal Article | IST-REx-ID: 12305 |

Convergence of the Allen--Cahn equation with a nonlinear Robin boundary condition to mean curvature flow with contact angle close to 90°
H. Abels, M. Moser, SIAM Journal on Mathematical Analysis 54 (2022) 114–172.

[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv

2022 | Published | Journal Article | IST-REx-ID: 12307

Tangible topology through the lens of limits
B.A. Shipman, E.R. Stephenson, PRIMUS 32 (2022) 593–609.

View | DOI

2022 | Published | Journal Article | IST-REx-ID: 12332 |

Efficient coding theory of dynamic attentional modulation
W.F. Mlynarski, G. Tkačik, PLoS Biology 20 (2022) e3001889.

[Published Version] View | Files available | DOI | WoS

2022 | Published | Journal Article | IST-REx-ID: 12333 |

Adaptation dynamics between copynumber and point mutations
I. Tomanek, C.C. Guet, ELife 11 (2022).

[Published Version] View | Files available | DOI | WoS

2022 | Research Data Reference | IST-REx-ID: 12339 |

Flow cytometry YFP and CFP data and deep sequencing data of populations evolving in galactose
I. Tomanek, C.C. Guet, (2022).

[Published Version] View | Files available | DOI | Download Published Version (ext.)

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.