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.
5859 Publications
2022 |Published| Conference Paper | IST-REx-ID: 12000 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
K. Chatterjee, A. K. Goharshady, T. Meggendorfer, and D. Zikelic, “Sound and complete certificates for auantitative termination analysis of probabilistic programs,” in Proceedings of the 34th International Conference on Computer Aided Verification, Haifa, Israel, 2022, vol. 13371, pp. 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)
M. Lechner, D. Zikelic, K. Chatterjee, and T. A. Henzinger, “Stability verification in stochastic control systems via neural network supermartingales,” Proceedings of the AAAI Conference on Artificial Intelligence, vol. 36, no. 7. Association for the Advancement of Artificial Intelligence, pp. 7326–7336, 2022.
[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)
D. Zikelic, M. Lechner, K. Chatterjee, and T. A. Henzinger, “Learning stabilizing policies in stochastic control systems,” arXiv. .
[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)
D. T. Phan et al., “Detecting induced p±ip pairing at the Al-InAs interface with a quantum microwave circuit,” Physical Review Letters, vol. 128, no. 10. American Physical Society, 2022.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| PubMed | Europe PMC
| arXiv
2022 |Published| Journal Article | IST-REx-ID: 11471 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
S. Sack, R. A. Medina Ramos, A. Michailidis, R. Kueng, and M. Serbyn, “Avoiding barren plateaus using classical shadows,” PRX Quantum, vol. 3, no. 2. American Physical Society, 2022.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2022 |Published| Journal Article | IST-REx-ID: 12538 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
M. H. Amani, S. Bombari, M. Mondelli, R. Pukdee, and S. Rini, “Sharp asymptotics on the compression of two-layer neural networks,” IEEE Information Theory Workshop. IEEE, pp. 588–593, 2022.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 |Published| Conference Paper | IST-REx-ID: 12537 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
S. Bombari, M. H. Amani, and M. Mondelli, “Memorization and optimization in deep neural networks with minimum over-parameterization,” in 36th Conference on Neural Information Processing Systems, 2022, vol. 35, pp. 7628–7640.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2022 |Published| Journal Article | IST-REx-ID: 12272 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
J. A. Stopp and M. K. Sixt, “Plan your trip before you leave: The neutrophils’ search-and-run journey,” Journal of Cell Biology, vol. 221, no. 8. Rockefeller University Press, 2022.
[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)
D. Zikelic, M. Lechner, T. A. Henzinger, and K. Chatterjee, “Learning control policies for stochastic systems with reach-avoid guarantees,” arXiv. .
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2022 |Submitted| Preprint | IST-REx-ID: 14216 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
A. Norelli, M. Fumero, V. Maiorca, L. Moschella, E. Rodolà, and F. Locatello, “ASIF: Coupled data turns unimodal models to multimodal without training,” arXiv. .
[Preprint]
View
| 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)
P. Radler, “In vitro reconstitution of Escherichia coli divisome activation.” Institute of Science and Technology Austria, 2022.
[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)
P. Radler et al., “In vitro reconstitution of Escherichia coli divisome activation,” Nature Communications, vol. 13. Springer Nature, 2022.
[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)
R. Schulz, M. Korkut, A. Venturino, G. Colombo, and S. Siegert, “Chimeric GPCRs mimic distinct signaling pathways and modulate microglia responses,” Nature Communications, vol. 13. Springer Nature, 2022.
[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)
R. Schulz, “Source Data (Chimeric GPCRs mimic distinct signaling pathways and modulate microglia responses).” Institute of Science and Technology Austria, 2022.
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)
M. Valentini et al., “Majorana-like Coulomb spectroscopy in the absence of zero-bias peaks,” Nature, vol. 612, no. 7940. Springer Nature, pp. 442–447, 2022.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2022 | Research Data | IST-REx-ID: 12522 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
M. Valentini, P. San-Jose, J. Arbiol, S. Marti-Sanchez, and M. Botifoll, “Data for ‘Majorana-like Coulomb spectroscopy in the absence of zero bias peaks.’” Institute of Science and Technology Austria, 2022.
[Published Version]
View
| Files available
| DOI
2022 |Published| Journal Article | IST-REx-ID: 11411 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
P. Surendranadh, L. S. Arathoon, C. Baskett, D. Field, M. Pickup, and N. H. Barton, “Effects of fine-scale population structure on the distribution of heterozygosity in a long-term study of Antirrhinum majus,” Genetics, vol. 221, no. 3. Oxford University Press, 2022.
[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)
P. Surendranadh, L. S. Arathoon, C. Baskett, D. Field, M. Pickup, and N. H. Barton, “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, 2022.
[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)
A. Akopyan and R. Karasev, “When different norms lead to same billiard trajectories?,” European Journal of Mathematics, vol. 8, no. 4. Springer Nature, pp. 1309–1312, 2022.
[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)
G. Sperl, “Homogenizing yarn simulations: Large-scale mechanics, small-scale detail, and quantitative fitting,” Institute of Science and Technology Austria, 2022.
[Published Version]
View
| Files available
| DOI