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.
7036 Publications
2022 | Research Data Reference | IST-REx-ID: 14520 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Zemlicka M, Redchenko E, Peruzzo M, Hassani F, Trioni A, Barzanjeh S, Fink JM. 2022. Compact vacuum gap transmon qubits: Selective and sensitive probes for superconductor surface losses, Zenodo, 10.5281/ZENODO.8408897.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2022 |Published| Journal Article | IST-REx-ID: 10791 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |Published| Conference Paper | IST-REx-ID: 12000 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |Published| Journal Article | IST-REx-ID: 12511 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |Submitted| Preprint | IST-REx-ID: 14601 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |Published| Journal Article | IST-REx-ID: 10851 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |Published| Journal Article | IST-REx-ID: 12272 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |Submitted| Preprint | IST-REx-ID: 14600 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 | Research Data | IST-REx-ID: 10934 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |Published| Journal Article | IST-REx-ID: 11373 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |Published| Journal Article | IST-REx-ID: 11995 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |Published| Journal Article | IST-REx-ID: 12118 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |Published| Journal Article | IST-REx-ID: 11411 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Surendranadh P, Arathoon LS, Baskett C, Field D, Pickup M, Barton NH. 2022. Effects of fine-scale population structure on the distribution of heterozygosity in a long-term study of Antirrhinum majus. Genetics. 221(3), iyac083.
[Submitted Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2022 | Research Data | IST-REx-ID: 11321 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Surendranadh P, Arathoon LS, Baskett C, Field D, Pickup M, Barton NH. 2022. Effects of fine-scale population structure on the distribution of heterozygosity in a long-term study of Antirrhinum majus, Institute of Science and Technology Austria, 10.15479/at:ista:11321.
[Published Version]
View
| Files available
| DOI
2022 |Published| Journal Article | IST-REx-ID: 7791 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Akopyan A, Karasev R. 2022. When different norms lead to same billiard trajectories? European Journal of Mathematics. 8(4), 1309–1312.
[Published Version]
View
| Files available
| DOI
| arXiv
2022 |Published| Thesis | IST-REx-ID: 12358 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Sperl G. 2022. Homogenizing yarn simulations: Large-scale mechanics, small-scale detail, and quantitative fitting. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2022 |Published| Thesis | IST-REx-ID: 10759 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Rzadkowski W. 2022. Analytic and machine learning approaches to composite quantum impurities. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2022 |Published| Journal Article | IST-REx-ID: 10755 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Feliciangeli D, Rademacher SAE, Seiringer R. 2022. The effective mass problem for the Landau-Pekar equations. Journal of Physics A: Mathematical and Theoretical. 55(1), 015201.
[Published Version]
View
| Files available
| DOI
| arXiv
2022 |Submitted| Journal Article | IST-REx-ID: 11660 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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