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