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 | 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
2022 | Published | Journal Article | IST-REx-ID: 12495 |
Iofinova EB, Konstantinov NH, Lampert C. 2022. FLEA: Provably robust fair multisource learning from unreliable training data. Transactions on Machine Learning Research.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
2022 | Published | Conference Paper | IST-REx-ID: 12508 |
Henzinger TA, Lehtinen K, Totzke P. 2022. History-deterministic timed automata. 33rd International Conference on Concurrency Theory. CONCUR: Conference on Concurrency Theory, LIPIcs, vol. 243, 14:1-14:21.
[Published Version]
View
| Files available
| DOI
2022 | Published | Conference Paper | IST-REx-ID: 12509 |
Avni G, Henzinger TA. 2022. An updated survey of bidding games on graphs. 47th International Symposium on Mathematical Foundations of Computer Science. MFCS: Symposium on Mathematical Foundations of Computer ScienceLeibniz International Proceedings in Informatics (LIPIcs) vol. 241, 3:1-3:6.
[Published Version]
View
| Files available
| DOI
2022 | Published | Journal Article | IST-REx-ID: 12510 |
Gruenbacher SA, Lechner M, Hasani R, Rus D, Henzinger TA, Smolka SA, Grosu R. 2022. GoTube: Scalable statistical verification of continuous-depth models. Proceedings of the AAAI Conference on Artificial Intelligence. 36(6), 6755–6764.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Published | Conference Paper | IST-REx-ID: 12516 |
Bogdanov A, Cueto Noval M, Hoffmann C, Rosen A. 2022. Public-Key Encryption from Homogeneous CLWE. Theory of Cryptography. TCC: Theory of Cryptography, LNCS, vol. 13748, 565–592.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
2022 | Research Data | IST-REx-ID: 12522 |
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, 10.15479/AT:ISTA:12102.
[Published Version]
View
| Files available
| DOI
2022 | Published | Conference Paper | IST-REx-ID: 12529 |
Banerjee T, Majumdar R, Mallik K, Schmuck A-K, Soudjani S. 2022. A direct symbolic algorithm for solving stochastic rabin games. 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 13244, 81–98.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 | Published | Conference Paper | IST-REx-ID: 12530
Finkbeiner B, Mallik K, Passing N, Schledjewski M, Schmuck A-K. 2022. BOCoSy: Small but powerful symbolic output-feedback control. 25th ACM International Conference on Hybrid Systems: Computation and Control. HSCC: International Conference on Hybrid Systems Computation and Control, 24:1-24:11.
View
| DOI
2022 | Accepted | Preprint | IST-REx-ID: 12536 |
Barbier J, Hou T, Mondelli M, Saenz M. The price of ignorance: How much does it cost to forget noise structure in low-rank matrix estimation? arXiv, 2205.10009.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Published | Conference Paper | IST-REx-ID: 12537 |
Bombari S, Amani MH, Mondelli M. 2022. Memorization and optimization in deep neural networks with minimum over-parameterization. 36th Conference on Neural Information Processing Systems. vol. 35, 7628–7640.
[Preprint]
View
| Download Preprint (ext.)
| arXiv