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.
10932 Publications
2022 | Published | Conference Paper | IST-REx-ID: 11459 | 
Zikelic, D., Chang, B.-Y. E., Bolignano, P., & Raimondi, F. (2022). Differential cost analysis with simultaneous potentials and anti-potentials. In Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation (pp. 442–457). San Diego, CA, United States: Association for Computing Machinery. https://doi.org/10.1145/3519939.3523435
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 12280 |
Schmid, L., Hilbe, C., Chatterjee, K., & Nowak, M. (2022). Direct reciprocity between individuals that use different strategy spaces. PLOS Computational Biology. Public Library of Science. https://doi.org/10.1371/journal.pcbi.1010149
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2022 | Submitted | Preprint | IST-REx-ID: 12677 |
Chatterjee, K., Mohammadi, M., & Saona Urmeneta, R. J. (n.d.). Repeated prophet inequality with near-optimal bounds. arXiv. https://doi.org/10.48550/ARXIV.2209.14368
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Published | Conference Paper | IST-REx-ID: 10891
Henzinger, T. A. (2022). Quantitative monitoring of software. In Software Verification (Vol. 13124, pp. 3–6). New Haven, CT, United States: Springer Nature. https://doi.org/10.1007/978-3-030-95561-8_1
View
| DOI
| WoS
2022 | Published | Journal Article | IST-REx-ID: 12147 |
Hasani, R., Lechner, M., Amini, A., Liebenwein, L., Ray, A., Tschaikowski, M., … Rus, D. (2022). Closed-form continuous-time neural networks. Nature Machine Intelligence. Springer Nature. https://doi.org/10.1038/s42256-022-00556-7
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 12510 |
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 | Draft | Preprint | IST-REx-ID: 11366 |
Lechner, M., Amini, A., Rus, D., & Henzinger, T. A. (n.d.). Revisiting the adversarial robustness-accuracy tradeoff in robot learning. arXiv. https://doi.org/10.48550/arXiv.2204.07373
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 12214 |
Gehér, G. P., Titkos, T., & Virosztek, D. (2022). The isometry group of Wasserstein spaces: The Hilbertian case. Journal of the London Mathematical Society. Wiley. https://doi.org/10.1112/jlms.12676
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 11353 |
Qiu, L., Huang, G., Shomroni, I., Pan, J., Seidler, P., & Kippenberg, T. J. (2022). Dissipative quantum feedback in measurements using a parametrically coupled microcavity. PRX Quantum. American Physical Society. https://doi.org/10.1103/PRXQuantum.3.020309
[Published Version]
View
| Files available
| DOI
| WoS
2022 | Published | Thesis | IST-REx-ID: 12368 |
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 | Journal Article | IST-REx-ID: 12209 |
Nunes Pinheiro, D. C., Kardos, R., Hannezo, E. B., & Heisenberg, C.-P. J. (2022). Morphogen gradient orchestrates pattern-preserving tissue morphogenesis via motility-driven unjamming. Nature Physics. Springer Nature. https://doi.org/10.1038/s41567-022-01787-6
[Published Version]
View
| Files available
| DOI
| WoS
2022 | Published | Thesis | IST-REx-ID: 12072 |
Shute, A. L. (2022). Existence and density problems in Diophantine geometry: From norm forms to Campana points. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:12072
[Published Version]
View
| Files available
| DOI
2022 | Published | Journal Article | IST-REx-ID: 12226 |
Pokusaeva, V., Diez, A. R., Espinar, L., Pérez, A. T., & Filion, G. J. (2022). Strand asymmetry influences mismatch resolution during single-strand annealing. Genome Biology. Springer Nature. https://doi.org/10.1186/s13059-022-02665-3
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2022 | Published | Journal Article | IST-REx-ID: 11552 |
Qiang, J., Zhou, L., Lu, P., Lin, K., Ma, Y., Pan, S., … Wu, J. (2022). Femtosecond rotational dynamics of D2 molecules in superfluid helium nanodroplets. Physical Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.128.243201
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| PubMed | Europe PMC
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 12150 |
Rzadkowski, W., Lemeshko, M., & Mentink, J. H. (2022). Artificial neural network states for nonadditive systems. Physical Review B. American Physical Society. https://doi.org/10.1103/physrevb.106.155127
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 10802 |
Konstantinov, N. H., & Lampert, C. (2022). Fairness-aware PAC learning from corrupted data. Journal of Machine Learning Research. ML Research Press.
[Published Version]
View
| Files available
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 10758 |
Dubini, R. C. A., Korytiaková, E., Schinkel, T., Heinrichs, P., Carell, T., & Rovo, P. (2022). 1H NMR chemical exchange techniques reveal local and global effects of oxidized cytosine derivatives. ACS Physical Chemistry Au. American Chemical Society. https://doi.org/10.1021/acsphyschemau.1c00050
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2022 | Published | Journal Article | IST-REx-ID: 10211 |
Mondelli, M., Thrampoulidis, C., & Venkataramanan, R. (2022). Optimal combination of linear and spectral estimators for generalized linear models. Foundations of Computational Mathematics. Springer. https://doi.org/10.1007/s10208-021-09531-x
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 10704 |
Hausel, T., & Hitchin, N. (2022). Very stable Higgs bundles, equivariant multiplicity and mirror symmetry. Inventiones Mathematicae. Springer Nature. https://doi.org/10.1007/s00222-021-01093-7
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 10602 |
Kretinsky, J., Meggendorfer, T., Waldmann, C., & Weininger, M. (2022). Index appearance record with preorders. Acta Informatica. Springer Nature. https://doi.org/10.1007/s00236-021-00412-y
[Published Version]
View
| Files available
| DOI
| WoS