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.
6978 Publications
2022 |Published| Journal Article | IST-REx-ID: 10791 | 
Hansen AH, Pauler F, Riedl M, et al. Tissue-wide effects override cell-intrinsic gene function in radial neuron migration. Oxford Open Neuroscience. 2022;1(1). doi:10.1093/oons/kvac009
[Published Version]
View
| Files available
| DOI
2022 |Published| Conference Paper | IST-REx-ID: 12000 |
Chatterjee K, Goharshady AK, Meggendorfer T, Zikelic D. Sound and complete certificates for auantitative termination analysis of probabilistic programs. In: Proceedings of the 34th International Conference on Computer Aided Verification. Vol 13371. Springer; 2022:55-78. doi:10.1007/978-3-031-13185-1_4
[Published Version]
View
| Files available
| DOI
| WoS
2022 |Published| Journal Article | IST-REx-ID: 12511 |
Lechner M, Zikelic D, Chatterjee K, Henzinger TA. Stability verification in stochastic control systems via neural network supermartingales. Proceedings of the AAAI Conference on Artificial Intelligence. 2022;36(7):7326-7336. doi:10.1609/aaai.v36i7.20695
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2022 |Submitted| Preprint | IST-REx-ID: 14601 |
Zikelic D, Lechner M, Chatterjee K, Henzinger TA. Learning stabilizing policies in stochastic control systems. arXiv. doi:10.48550/arXiv.2205.11991
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2022 |Published| Journal Article | IST-REx-ID: 10851 |
Phan DT, Senior JL, Ghazaryan A, et al. Detecting induced p±ip pairing at the Al-InAs interface with a quantum microwave circuit. Physical Review Letters. 2022;128(10). doi:10.1103/physrevlett.128.107701
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| PubMed | Europe PMC
| arXiv
2022 |Published| Journal Article | IST-REx-ID: 11471 |
Sack S, Medina Ramos RA, Michailidis A, Kueng R, Serbyn M. Avoiding barren plateaus using classical shadows. PRX Quantum. 2022;3(2). doi:10.1103/prxquantum.3.020365
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2022 |Published| Journal Article | IST-REx-ID: 12272 |
Stopp JA, Sixt MK. Plan your trip before you leave: The neutrophils’ search-and-run journey. Journal of Cell Biology. 2022;221(8). doi:10.1083/jcb.202206127
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2022 |Submitted| Preprint | IST-REx-ID: 14600 |
Zikelic D, Lechner M, Henzinger TA, Chatterjee K. Learning control policies for stochastic systems with reach-avoid guarantees. arXiv. doi:10.48550/ARXIV.2210.05308
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Research Data | IST-REx-ID: 10934 |
Radler P. In vitro reconstitution of Escherichia coli divisome activation. 2022. doi:10.15479/AT:ISTA:10934
[Submitted Version]
View
| Files available
| DOI
2022 |Published| Journal Article | IST-REx-ID: 11373 |
Radler P, Baranova NS, Dos Santos Caldas PR, et al. In vitro reconstitution of Escherichia coli divisome activation. Nature Communications. 2022;13. doi:10.1038/s41467-022-30301-y
[Published Version]
View
| Files available
| DOI
| WoS
2022 |Published| Journal Article | IST-REx-ID: 11995 |
Schulz R, Korkut M, Venturino A, Colombo G, Siegert S. Chimeric GPCRs mimic distinct signaling pathways and modulate microglia responses. Nature Communications. 2022;13. doi:10.1038/s41467-022-32390-1
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2022 | Research Data | IST-REx-ID: 11542 |
Schulz R. Source Data (Chimeric GPCRs mimic distinct signaling pathways and modulate microglia responses). 2022. doi:10.15479/AT:ISTA:11542
View
| Files available
| DOI
2022 |Published| Journal Article | IST-REx-ID: 12118 |
Valentini M, Borovkov M, Prada E, et al. Majorana-like Coulomb spectroscopy in the absence of zero-bias peaks. Nature. 2022;612(7940):442-447. doi:10.1038/s41586-022-05382-w
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2022 |Published| Journal Article | IST-REx-ID: 11411 |
Surendranadh P, Arathoon LS, Baskett C, Field D, Pickup M, Barton NH. Effects of fine-scale population structure on the distribution of heterozygosity in a long-term study of Antirrhinum majus. Genetics. 2022;221(3). doi:10.1093/genetics/iyac083
[Submitted Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2022 | Research Data | IST-REx-ID: 11321 |
Surendranadh P, Arathoon LS, Baskett C, Field D, Pickup M, Barton NH. Effects of fine-scale population structure on the distribution of heterozygosity in a long-term study of Antirrhinum majus. 2022. doi:10.15479/at:ista:11321
[Published Version]
View
| Files available
| DOI
2022 |Published| Journal Article | IST-REx-ID: 7791 |
Akopyan A, Karasev R. When different norms lead to same billiard trajectories? European Journal of Mathematics. 2022;8(4):1309-1312. doi:10.1007/s40879-020-00405-0
[Published Version]
View
| Files available
| DOI
| arXiv
2022 |Published| Thesis | IST-REx-ID: 12358 |
Sperl G. Homogenizing yarn simulations: Large-scale mechanics, small-scale detail, and quantitative fitting. 2022. doi:10.15479/at:ista:12103
[Published Version]
View
| Files available
| DOI
2022 |Published| Thesis | IST-REx-ID: 10759 |
Rzadkowski W. Analytic and machine learning approaches to composite quantum impurities. 2022. doi:10.15479/at:ista:10759
[Published Version]
View
| Files available
| DOI
2022 |Published| Journal Article | IST-REx-ID: 10755 |
Feliciangeli D, Rademacher SAE, Seiringer R. The effective mass problem for the Landau-Pekar equations. Journal of Physics A: Mathematical and Theoretical. 2022;55(1). doi:10.1088/1751-8121/ac3947
[Published Version]
View
| Files available
| DOI
| arXiv
2022 |Submitted| Journal Article | IST-REx-ID: 11660 |
Biswas R, Cultrera di Montesano S, Edelsbrunner H, Saghafian M. A window to the persistence of 1D maps. I: Geometric characterization of critical point pairs. LIPIcs.
[Submitted Version]
View
| Files available