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.




6436 Publications

2022 | Published | Conference Paper | IST-REx-ID: 12299 | OA
Iofinova, E. B., Krumes, A., Kurtz, M., & Alistarh, D.-A. (2022). How well do sparse ImageNet models transfer? In 2022 IEEE/CVF Conference on Computer Vision and Pattern Recognition (pp. 12256–12266). New Orleans, LA, United States: Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/cvpr52688.2022.01195
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 
2022 | Published | Conference Paper | IST-REx-ID: 12300 | OA
Das, S., Yurek, T., Xiang, Z., Miller, A., Kokoris Kogias, E., & Ren, L. (2022). Practical asynchronous distributed key generation. In 2022 IEEE Symposium on Security and Privacy (pp. 2518–2534). San Francisco, CA, United States: Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/sp46214.2022.9833584
[Preprint] View | DOI | Download Preprint (ext.)
 
2022 | Published | Conference Paper | IST-REx-ID: 12302 | OA
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 | Book Chapter | IST-REx-ID: 12303 | OA
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: 12304 | OA
De Nitti, N., & Fischer, J. L. (2022). Sharp criteria for the waiting time phenomenon in solutions to the thin-film equation. Communications in Partial Differential Equations. Taylor & Francis. https://doi.org/10.1080/03605302.2022.2056702
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2022 | Published | Journal Article | IST-REx-ID: 12305 | OA
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. Society for Industrial and Applied Mathematics. https://doi.org/10.1137/21m1424925
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2022 | Published | Journal Article | IST-REx-ID: 12307
Shipman, B. A., & Stephenson, E. R. (2022). Tangible topology through the lens of limits. PRIMUS. Taylor & Francis. https://doi.org/10.1080/10511970.2021.1872750
View | DOI
 
2022 | Published | Journal Article | IST-REx-ID: 12332 | OA
Mlynarski, W. F., & Tkačik, G. (2022). Efficient coding theory of dynamic attentional modulation. PLoS Biology. Public Library of Science. https://doi.org/10.1371/journal.pbio.3001889
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2022 | Published | Journal Article | IST-REx-ID: 12333 | OA
Tomanek, I., & Guet, C. C. (2022). Adaptation dynamics between copynumber and point mutations. ELife. eLife Sciences Publications. https://doi.org/10.7554/ELIFE.82240
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2022 | Research Data Reference | IST-REx-ID: 12339 | OA
Tomanek, I., & Guet, C. C. (2022). Flow cytometry YFP and CFP data and deep sequencing data of populations evolving in galactose. Dryad. https://doi.org/10.5061/dryad.rfj6q57ds
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2022 | Published | Thesis | PhD | IST-REx-ID: 12358 | OA
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 | Thesis | PhD | IST-REx-ID: 12368 | OA
Arslan, F. N. (2022). Remodeling of E-cadherin-mediated contacts via cortical  flows. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:12153
[Published Version] View | Files available | DOI
 
2022 | Published | Thesis | PhD | IST-REx-ID: 12390 | OA
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 | Journal Article | IST-REx-ID: 12431 | OA
Ishida, S., Wojtan, C., & Chern, A. (2022). Hidden degrees of freedom in implicit vortex filaments. ACM Transactions on Graphics. Association for Computing Machinery. https://doi.org/10.1145/3550454.3555459
[Published Version] View | Files available | DOI | WoS
 
2022 | Published | Conference Paper | IST-REx-ID: 12432
Anastos, M. (2022). Solving the Hamilton cycle problem fast on average. In 63rd Annual IEEE Symposium on Foundations of Computer Science (Vol. 2022–October, pp. 919–930). Denver, CO, United States: Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/FOCS54457.2022.00091
View | DOI | WoS
 
2022 | Published | Conference Paper | IST-REx-ID: 12452 | OA
Rao, P., B R, M., Fox, G., Weyrich, T., Bickel, B., Seidel, H.-P., … Elgharib, M. (2022). VoRF: Volumetric Relightable Faces. In 33rd British Machine Vision Conference. London, United Kingdom: British Machine Vision Association and Society for Pattern Recognition.
[Published Version] View | Files available | Download Published Version (ext.)
 
2022 | Published | Journal Article | IST-REx-ID: 12480 | OA
Mondelli, M., & Venkataramanan, R. (2022). Approximate message passing with spectral initialization for generalized linear models. Journal of Statistical Mechanics: Theory and Experiment. IOP Publishing. https://doi.org/10.1088/1742-5468/ac9828
[Published Version] View | Files available | DOI | WoS
 
2022 | Published | Journal Article | IST-REx-ID: 12495 | OA
Iofinova, E. B., Konstantinov, N. H., & Lampert, C. (2022). FLEA: Provably robust fair multisource learning from unreliable training data. Transactions on Machine Learning Research. ML Research Press.
[Published Version] View | Files available | Download Published Version (ext.) | arXiv
 
2022 | Published | Conference Paper | IST-REx-ID: 12508 | OA
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
 
2022 | Published | Conference Paper | IST-REx-ID: 12509 | OA
Avni, G., & Henzinger, T. A. (2022). An updated survey of bidding games on graphs. In 47th International Symposium on Mathematical Foundations of Computer Science (Vol. 241, p. 3:1-3:6). Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.MFCS.2022.3
[Published Version] View | Files available | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed