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.
555 Publications
2022 | Journal Article | IST-REx-ID: 10791 | 
Hansen AH, Pauler F, Riedl M, Streicher C, Heger A-M, Laukoter S, Sommer CM, Nicolas A, Hof B, Tsai LH, Rülicke T, Hippenmeyer S. 2022. Tissue-wide effects override cell-intrinsic gene function in radial neuron migration. Oxford Open Neuroscience. 1(1), kvac009.
[Published Version]
View
| Files available
| DOI
2022 | Conference Paper | IST-REx-ID: 12000 |
Chatterjee K, Goharshady AK, Meggendorfer T, Zikelic D. 2022. Sound and complete certificates for auantitative termination analysis of probabilistic programs. Proceedings of the 34th International Conference on Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 13371, 55–78.
[Published Version]
View
| Files available
| DOI
| WoS
2022 | Journal Article | IST-REx-ID: 12511 |
Lechner M, Zikelic D, Chatterjee K, Henzinger TA. 2022. Stability verification in stochastic control systems via neural network supermartingales. Proceedings of the AAAI Conference on Artificial Intelligence. 36(7), 7326–7336.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Preprint | IST-REx-ID: 14601 |
Zikelic D, Lechner M, Chatterjee K, Henzinger TA. Learning stabilizing policies in stochastic control systems. arXiv, 10.48550/arXiv.2205.11991.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Journal Article | IST-REx-ID: 10851 |
Phan DT, Senior JL, Ghazaryan A, Hatefipour M, Strickland WM, Shabani J, Serbyn M, Higginbotham AP. 2022. Detecting induced p±ip pairing at the Al-InAs interface with a quantum microwave circuit. Physical Review Letters. 128(10), 107701.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| PubMed | Europe PMC
| arXiv
2022 | Book Chapter | IST-REx-ID: 12294
Kumar R, Reichelt M, Bisht NC. 2022.An LC-MS/MS Assay for Enzymatic Characterization of Methylthioalkylmalate Synthase (MAMS) Involved in Glucosinolate Biosynthesis. In: Biochemical Pathways and Environmental Responses in Plants: Part A. Methods in Enzymology, vol. 676, 49–69.
View
| DOI
| PubMed | Europe PMC
2022 | Journal Article | IST-REx-ID: 11471 |
Sack S, Medina Ramos RA, Michailidis A, Kueng R, Serbyn M. 2022. Avoiding barren plateaus using classical shadows. PRX Quantum. 3(2), 020365.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2022 | Journal Article | IST-REx-ID: 12538 |
Amani MH, Bombari S, Mondelli M, Pukdee R, Rini S. 2022. Sharp asymptotics on the compression of two-layer neural networks. IEEE Information Theory Workshop., 588–593.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Conference Paper | IST-REx-ID: 12537 |
Bombari S, Amani MH, Mondelli M. 2022. Memorization and optimization in deep neural networks with minimum over-parameterization. 36th Conference on Neural Information Processing Systems. vol. 35, 7628–7640.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2022 | Journal Article | IST-REx-ID: 12272 |
Stopp JA, Sixt MK. 2022. Plan your trip before you leave: The neutrophils’ search-and-run journey. Journal of Cell Biology. 221(8), e202206127.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2022 | Journal Article | IST-REx-ID: 12155
Qin Y, Qin B, Wang D, Chang C, Zhao L-D. 2022. Solid-state cooling: Thermoelectrics. Energy & Environmental Science. 15(11), 4527–4541.
View
| Files available
| DOI
| WoS
2022 | Preprint | IST-REx-ID: 14600 |
Zikelic D, Lechner M, Henzinger TA, Chatterjee K. Learning control policies for stochastic systems with reach-avoid guarantees. arXiv, 10.48550/ARXIV.2210.05308.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Preprint | IST-REx-ID: 14216 |
Norelli A, Fumero M, Maiorca V, Moschella L, Rodolà E, Locatello F. ASIF: Coupled data turns unimodal models to multimodal without training. arXiv, 2210.01738.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Research Data | IST-REx-ID: 10934 |
Radler P. 2022. In vitro reconstitution of Escherichia coli divisome activation, Institute of Science and Technology Austria, 10.15479/AT:ISTA:10934.
[Submitted Version]
View
| Files available
| DOI
2022 | Journal Article | IST-REx-ID: 11373 |
Radler P, Baranova NS, Dos Santos Caldas PR, Sommer CM, Lopez Pelegrin MD, Michalik D, Loose M. 2022. In vitro reconstitution of Escherichia coli divisome activation. Nature Communications. 13, 2635.
[Published Version]
View
| Files available
| DOI
| WoS
2022 | Journal Article | IST-REx-ID: 11995 |
Schulz R, Korkut M, Venturino A, Colombo G, Siegert S. 2022. Chimeric GPCRs mimic distinct signaling pathways and modulate microglia responses. Nature Communications. 13, 4728.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2022 | Research Data | IST-REx-ID: 11542 |
Schulz R. 2022. Source Data (Chimeric GPCRs mimic distinct signaling pathways and modulate microglia responses), Institute of Science and Technology Austria, 10.15479/AT:ISTA:11542.
View
| Files available
| DOI
2022 | Journal Article | IST-REx-ID: 12118 |
Valentini M, Borovkov M, Prada E, Martí-Sánchez S, Botifoll M, Hofmann AC, Arbiol J, Aguado R, San-Jose P, Katsaros G. 2022. Majorana-like Coulomb spectroscopy in the absence of zero-bias peaks. Nature. 612(7940), 442–447.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2022 | Research Data | IST-REx-ID: 12522 |
Valentini M, San-Jose P, Arbiol J, Marti-Sanchez S, Botifoll M. 2022. Data for ‘Majorana-like Coulomb spectroscopy in the absence of zero bias peaks’, Institute of Science and Technology Austria, 10.15479/AT:ISTA:12102.
[Published Version]
View
| Files available
| DOI