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.

4010 Publications


2022 | Journal Article | IST-REx-ID: 10173
Clozeau N. Optimal decay of the parabolic semigroup in stochastic homogenization  for correlated coefficient fields. Stochastics and Partial Differential Equations: Analysis and Computations. doi:10.1007/s40072-022-00254-w
View | DOI | arXiv
 

2022 | Conference Paper | IST-REx-ID: 11844 | OA
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. ; 2022:246-256. doi:10.1145/3519270.3538435
View | Files available | DOI | arXiv
 

2022 | Journal Article | IST-REx-ID: 11917 | OA
Rademacher SAE, Seiringer R. Large deviation estimates for weakly interacting bosons. Journal of Statistical Physics. 2022;188. doi:10.1007/s10955-022-02940-4
View | Files available | DOI
 

2022 | Preprint | IST-REx-ID: 11839 | OA
Prach B, Lampert C. Almost-orthogonal layers for efficient general-purpose Lipschitz  networks. arXiv. doi:10.48550/arXiv.2208.03160
View | DOI | Download Preprint (ext.) | arXiv
 

2022 | Journal Article | IST-REx-ID: 10614 | OA
Belyaeva V, Wachner S, György A, et al. Fos regulates macrophage infiltration against surrounding tissue resistance by a cortical actin-based mechanism in Drosophila. PLoS Biology. 2022;20(1):e3001494. doi:10.1371/journal.pbio.3001494
View | Files available | DOI | PubMed | Europe PMC
 

2022 | Thesis | IST-REx-ID: 11193
Wachner S. Transcriptional regulation by Dfos and BMP-signaling support tissue invasion of Drosophila immune cells. 2022. doi:10.15479/at:ista:11193
View | Files available | DOI
 

2022 | Journal Article | IST-REx-ID: 10653 | OA
Abramian S, Muller CJ, Risi C. Shear-convection interactions and orientation of tropical squall lines. Geophysical Research Letters. 2022;49(1). doi:10.1029/2021GL095184
View | Files available | DOI
 

2022 | Thesis | IST-REx-ID: 11777 | OA
Wild P. High-dimensional expansion and crossing numbers of simplicial complexes. 2022. doi:10.15479/at:ista:11777
View | Files available | DOI
 

2022 | Journal Article | IST-REx-ID: 11938 | OA
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
View | Files available | DOI | arXiv
 

2022 | Journal Article | IST-REx-ID: 11937 | OA
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
View | Files available | DOI | PubMed | Europe PMC
 

2022 | Thesis | IST-REx-ID: 11932
Nardin M. On the encoding, transfer, and consolidation of spatial memories. 2022. doi:10.15479/at:ista:11932
View | Files available | DOI
 

2022 | Thesis | IST-REx-ID: 11626 | OA
Gallei MC. Auxin and strigolactone non-canonical signaling regulating development in Arabidopsis thaliana. 2022. doi:10.15479/at:ista:11626
View | Files available | DOI
 

2022 | Preprint | IST-REx-ID: 10788 | OA
Wilsch FA. Integral points of bounded height on a certain toric variety. arXiv.
View | Download Preprint (ext.) | arXiv
 

2022 | Thesis | IST-REx-ID: 11362 | OA
Lechner M. Learning verifiable representations. 2022. doi:10.15479/at:ista:11362
View | Files available | DOI
 

2022 | Conference Paper | IST-REx-ID: 10891
Henzinger TA. Quantitative monitoring of software. In: Software Verification. Vol 13124. LNCS. Springer Nature; 2022:3-6. doi:10.1007/978-3-030-95561-8_1
View | DOI
 

2022 | Preprint | IST-REx-ID: 11366 | OA
Lechner M, Amini A, Rus D, Henzinger TA. Revisiting the adversarial robustness-accuracy tradeoff in robot learning. arXiv. doi:10.48550/arXiv.2204.07373
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2022 | Conference Paper | IST-REx-ID: 11355 | OA
Bartocci E, Ferrere T, Henzinger TA, Nickovic D, Da Costa AO. Information-flow interfaces. In: Fundamental Approaches to Software Engineering. Vol 13241. Springer Nature; 2022:3-22. doi:10.1007/978-3-030-99429-7_1
View | Files available | DOI
 

2022 | Journal Article | IST-REx-ID: 11951 | OA
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
View | Files available | DOI
 

2022 | Preprint | IST-REx-ID: 11943 | OA
Velicky P, Miguel Villalba E, Michalska JM, et al. Saturated reconstruction of living brain tissue. bioRxiv. doi:10.1101/2022.03.16.484431
View | DOI | Download Preprint (ext.)
 

2022 | Preprint | IST-REx-ID: 11950 | OA
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
View | DOI | Download Preprint (ext.)
 

Filters and Search Terms

extern<>1

Search

Filter Publications