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.
4854 Publications
2022 | Published | Conference Paper | IST-REx-ID: 11775 | 
Henzinger, T. A., Mazzocchi, N. A., & Sarac, N. E. (2022). Abstract monitors for quantitative specifications. In 22nd International Conference on Runtime Verification (Vol. 13498, pp. 200–220). Tbilisi, Georgia: Springer Nature. https://doi.org/10.1007/978-3-031-17196-3_11
[Published Version]
View
| Files available
| DOI
| WoS
2022 | Published | Thesis | IST-REx-ID: 11777 |
Wild, P. (2022). High-dimensional expansion and crossing numbers of simplicial complexes. Institute of Science and Technology. https://doi.org/10.15479/at:ista:11777
[Published Version]
View
| Files available
| DOI
2022 | Published | Journal Article | IST-REx-ID: 11783 |
Bossmann, L. (2022). Low-energy spectrum and dynamics of the weakly interacting Bose gas. Journal of Mathematical Physics. AIP Publishing. https://doi.org/10.1063/5.0089983
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2022 | Published | Conference Paper | IST-REx-ID: 11839 |
Prach, B., & Lampert, C. (2022). Almost-orthogonal layers for efficient general-purpose Lipschitz networks. In Computer Vision – ECCV 2022 (Vol. 13681, pp. 350–365). Tel Aviv, Israel: Springer Nature. https://doi.org/10.1007/978-3-031-19803-8_21
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 11841 |
Toprakcioglu, Z., Kamada, A., Michaels, T. C. T., Xie, M., Krausser, J., Wei, J., … Knowles, T. P. J. (2022). Adsorption free energy predicts amyloid protein nucleation rates. Proceedings of the National Academy of Sciences of the United States of America. Proceedings of the National Academy of Sciences. https://doi.org/10.1073/pnas.2109718119
[Published Version]
View
| Files available
| DOI
| WoS
2022 | Published | Journal Article | IST-REx-ID: 11842 |
Hensel, S., & Marveggio, A. (2022). Weak-strong uniqueness for the Navier–Stokes equation for two fluids with ninety degree contact angle and same viscosities. Journal of Mathematical Fluid Mechanics. Springer Nature. https://doi.org/10.1007/s00021-022-00722-2
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 11843 |
Tomasek, K., Leithner, A. F., Glatzová, I., Lukesch, M. S., Guet, C. C., & Sixt, M. K. (2022). Type 1 piliated uropathogenic Escherichia coli hijack the host immune response by binding to CD14. ELife. eLife Sciences Publications. https://doi.org/10.7554/eLife.78995
[Published Version]
View
| Files available
| DOI
| WoS
2022 | Published | Conference Paper | IST-REx-ID: 11844 |
Alistarh, D.-A., Rybicki, J., & Voitovych, S. (2022). Near-optimal leader election in population protocols on graphs. In Proceedings of the Annual ACM Symposium on Principles of Distributed Computing (pp. 246–256). Salerno, Italy: Association for Computing Machinery. https://doi.org/10.1145/3519270.3538435
[Published Version]
View
| Files available
| DOI
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 11858 |
Agresti, A., & Veraar, M. (2022). Nonlinear parabolic stochastic evolution equations in critical spaces part II. Journal of Evolution Equations. Springer Nature. https://doi.org/10.1007/s00028-022-00786-7
[Published Version]
View
| Files available
| DOI
| WoS
2022 | Published | Thesis | IST-REx-ID: 11879 |
Artner, C. (2022). Modulation of auxin transport via ZF proteins adjust plant response to high ambient temperature. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:11879
[Published Version]
View
| Files available
| DOI
2022 | Published | Journal Article | IST-REx-ID: 11916 |
Wirth, M. (2022). Kac regularity and domination of quadratic forms. Advances in Operator Theory. Springer Nature. https://doi.org/10.1007/s43036-022-00199-w
[Published Version]
View
| Files available
| DOI
2022 | Published | Journal Article | IST-REx-ID: 11917 |
Rademacher, S. A. E., & Seiringer, R. (2022). Large deviation estimates for weakly interacting bosons. Journal of Statistical Physics. Springer Nature. https://doi.org/10.1007/s10955-022-02940-4
[Published Version]
View
| Files available
| DOI
| WoS
2022 | Published | Thesis | IST-REx-ID: 11932 |
Nardin, M. (2022). On the encoding, transfer, and consolidation of spatial memories. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:11932
[Published Version]
View
| Files available
| DOI
2022 | Published | Journal Article | IST-REx-ID: 11937 |
Reinhardt, A., Bethkenhagen, M., Coppari, F., Millot, M., Hamel, S., & Cheng, B. (2022). Thermodynamics of high-pressure ice phases explored with atomistic simulations. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-022-32374-1
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2022 | Published | Journal Article | IST-REx-ID: 11938 |
Aichholzer, O., Arroyo Guevara, A. M., Masárová, Z., Parada, I., Perz, D., Pilz, A., … Vogtenhuber, B. (2022). On compatible matchings. Journal of Graph Algorithms and Applications. Brown University. https://doi.org/10.7155/jgaa.00591
[Published Version]
View
| Files available
| DOI
| arXiv
2022 | Submitted | Preprint | IST-REx-ID: 11943 |
Velicky, P., Miguel Villalba, E., Michalska, J. M., Wei, D., Lin, Z., Watson, J., … Danzl, J. G. (n.d.). Saturated reconstruction of living brain tissue. bioRxiv. Cold Spring Harbor Laboratory. https://doi.org/10.1101/2022.03.16.484431
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2022 | Published | Thesis | IST-REx-ID: 11945 |
Schulz, R. (2022). Chimeric G protein-coupled receptors mimic distinct signaling pathways and modulate microglia function. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:11945
[Published Version]
View
| Files available
| DOI
2022 | Submitted | Preprint | IST-REx-ID: 11950 |
Michalska, J. M., Lyudchik, J., Velicky, P., Korinkova, H., Watson, J., Cenameri, A., … Danzl, J. G. (n.d.). Uncovering brain tissue architecture across scales with super-resolution light microscopy. bioRxiv. Cold Spring Harbor Laboratory. https://doi.org/10.1101/2022.08.17.504272
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2022 | Published | Journal Article | IST-REx-ID: 11951 |
Ben Simon, Y., Käfer, K., Velicky, P., Csicsvari, J. L., Danzl, J. G., & Jonas, P. M. (2022). A direct excitatory projection from entorhinal layer 6b neurons to the hippocampus contributes to spatial coding and memory. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-022-32559-8
[Published Version]
View
| Files available
| DOI
| WoS
2022 | Published | Journal Article | IST-REx-ID: 11991 |
Krokhin, A., & Opršal, J. (2022). An invitation to the promise constraint satisfaction problem. ACM SIGLOG News. Association for Computing Machinery. https://doi.org/10.1145/3559736.3559740
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv