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.

4858 Publications


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: 12364 | OA
Dotter, C. (2022). Transcriptional consequences of mutations in genes associated with Autism Spectrum Disorder. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:12094
[Published Version] View | Files available | DOI
 

2022 | Published | Thesis | PhD | IST-REx-ID: 12366 | OA
Redchenko, E. (2022). Controllable states of superconducting Qubit ensembles. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:12132
[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: 12378 | OA
Colombo, G. (2022). MorphOMICs, a tool for mapping microglial morphology, reveals brain region- and sex-dependent phenotypes. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:12378
[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 | Thesis | PhD | IST-REx-ID: 12401 | OA
Tasciyan, S. (2022). Role of microenvironment heterogeneity in cancer cell invasion. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:12401
[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
 

2022 | Published | Journal Article | IST-REx-ID: 12510 | OA
Gruenbacher, S. A., Lechner, M., Hasani, R., Rus, D., Henzinger, T. A., Smolka, S. A., & Grosu, R. (2022). GoTube: Scalable statistical verification of continuous-depth models. Proceedings of the AAAI Conference on Artificial Intelligence. Association for the Advancement of Artificial Intelligence. https://doi.org/10.1609/aaai.v36i6.20631
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2022 | Published | Journal Article | IST-REx-ID: 12511 | OA
Lechner, M., Zikelic, D., Chatterjee, K., & Henzinger, T. A. (2022). Stability verification in stochastic control systems via neural network supermartingales. Proceedings of the AAAI Conference on Artificial Intelligence. Association for the Advancement of Artificial Intelligence. https://doi.org/10.1609/aaai.v36i7.20695
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2022 | Published | Conference Paper | IST-REx-ID: 12516 | OA
Bogdanov, A., Cueto Noval, M., Hoffmann, C., & Rosen, A. (2022). Public-Key Encryption from Homogeneous CLWE. In Theory of Cryptography (Vol. 13748, pp. 565–592). Chicago, IL, United States: Springer Nature. https://doi.org/10.1007/978-3-031-22365-5_20
[Preprint] View | DOI | Download Preprint (ext.) | WoS
 

2022 | Research Data | IST-REx-ID: 12522 | OA
Valentini, M., San-Jose, P., Arbiol, J., Marti-Sanchez, S., & Botifoll, M. (2022). Data for “Majorana-like Coulomb spectroscopy in the absence of zero bias peaks.” Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:12102
[Published Version] View | Files available | DOI
 

2022 | Accepted | Preprint | IST-REx-ID: 12536 | OA
Barbier, J., Hou, T., Mondelli, M., & Saenz, M. (n.d.). The price of ignorance: How much does it cost to forget noise structure in low-rank matrix estimation? arXiv. https://doi.org/10.48550/arXiv.2205.10009
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2022 | Published | Conference Paper | IST-REx-ID: 12537 | OA
Bombari, S., Amani, M. H., & Mondelli, M. (2022). Memorization and optimization in deep neural networks with minimum over-parameterization. In 36th Conference on Neural Information Processing Systems (Vol. 35, pp. 7628–7640). Curran Associates.
[Preprint] View | Download Preprint (ext.) | arXiv
 

Filters and Search Terms

extern<>1

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed