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 TA, Mazzocchi NA, Sarac NE. Abstract monitors for quantitative specifications. In: 22nd International Conference on Runtime Verification. Vol 13498. Springer Nature; 2022:200-220. doi:10.1007/978-3-031-17196-3_11
[Published Version]
View
| Files available
| DOI
| WoS
2022 | Published | Thesis | IST-REx-ID: 11777 |
Wild P. High-dimensional expansion and crossing numbers of simplicial complexes. 2022. doi:10.15479/at:ista:11777
[Published Version]
View
| Files available
| DOI
2022 | Published | Journal Article | IST-REx-ID: 11783 |
Bossmann L. Low-energy spectrum and dynamics of the weakly interacting Bose gas. Journal of Mathematical Physics. 2022;63(6). doi:10.1063/5.0089983
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2022 | Published | Conference Paper | IST-REx-ID: 11839 |
Prach B, Lampert C. Almost-orthogonal layers for efficient general-purpose Lipschitz networks. In: Computer Vision – ECCV 2022. Vol 13681. Springer Nature; 2022:350-365. doi: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 TCT, et al. Adsorption free energy predicts amyloid protein nucleation rates. Proceedings of the National Academy of Sciences of the United States of America. 2022;119(31). doi:10.1073/pnas.2109718119
[Published Version]
View
| Files available
| DOI
| WoS
2022 | Published | Journal Article | IST-REx-ID: 11842 |
Hensel S, Marveggio A. Weak-strong uniqueness for the Navier–Stokes equation for two fluids with ninety degree contact angle and same viscosities. Journal of Mathematical Fluid Mechanics. 2022;24(3). doi: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 AF, Glatzová I, Lukesch MS, Guet CC, Sixt MK. Type 1 piliated uropathogenic Escherichia coli hijack the host immune response by binding to CD14. eLife. 2022;11. doi: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. Near-optimal leader election in population protocols on graphs. In: Proceedings of the Annual ACM Symposium on Principles of Distributed Computing. Association for Computing Machinery; 2022:246-256. doi:10.1145/3519270.3538435
[Published Version]
View
| Files available
| DOI
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 11858 |
Agresti A, Veraar M. Nonlinear parabolic stochastic evolution equations in critical spaces part II. Journal of Evolution Equations. 2022;22(2). doi:10.1007/s00028-022-00786-7
[Published Version]
View
| Files available
| DOI
| WoS
2022 | Published | Thesis | IST-REx-ID: 11879 |
Artner C. Modulation of auxin transport via ZF proteins adjust plant response to high ambient temperature. 2022. doi:10.15479/at:ista:11879
[Published Version]
View
| Files available
| DOI
2022 | Published | Journal Article | IST-REx-ID: 11916 |
Wirth M. Kac regularity and domination of quadratic forms. Advances in Operator Theory. 2022;7(3). doi:10.1007/s43036-022-00199-w
[Published Version]
View
| Files available
| DOI
2022 | Published | Journal Article | IST-REx-ID: 11917 |
Rademacher SAE, Seiringer R. Large deviation estimates for weakly interacting bosons. Journal of Statistical Physics. 2022;188. doi:10.1007/s10955-022-02940-4
[Published Version]
View
| Files available
| DOI
| WoS
2022 | Published | Thesis | IST-REx-ID: 11932 |
Nardin M. On the encoding, transfer, and consolidation of spatial memories. 2022. doi: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. Thermodynamics of high-pressure ice phases explored with atomistic simulations. Nature Communications. 2022;13. doi: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 AM, Masárová Z, et al. On compatible matchings. Journal of Graph Algorithms and Applications. 2022;26(2):225-240. doi:10.7155/jgaa.00591
[Published Version]
View
| Files available
| DOI
| arXiv
2022 | Submitted | Preprint | IST-REx-ID: 11943 |
Velicky P, Miguel Villalba E, Michalska JM, et al. Saturated reconstruction of living brain tissue. bioRxiv. doi:10.1101/2022.03.16.484431
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2022 | Published | Thesis | IST-REx-ID: 11945 |
Schulz R. Chimeric G protein-coupled receptors mimic distinct signaling pathways and modulate microglia function. 2022. doi:10.15479/at:ista:11945
[Published Version]
View
| Files available
| DOI
2022 | Submitted | Preprint | IST-REx-ID: 11950 |
Michalska JM, Lyudchik J, Velicky P, et al. Uncovering brain tissue architecture across scales with super-resolution light microscopy. bioRxiv. doi: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 JL, Danzl JG, Jonas PM. A direct excitatory projection from entorhinal layer 6b neurons to the hippocampus contributes to spatial coding and memory. Nature Communications. 2022;13. doi: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. An invitation to the promise constraint satisfaction problem. ACM SIGLOG News. 2022;9(3):30-59. doi:10.1145/3559736.3559740
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv