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 | 
Tissue-wide effects override cell-intrinsic gene function in radial neuron migration
A.H. Hansen, F. Pauler, M. Riedl, C. Streicher, A.-M. Heger, S. Laukoter, C.M. Sommer, A. Nicolas, B. Hof, L.H. Tsai, T. Rülicke, S. Hippenmeyer, Oxford Open Neuroscience 1 (2022).
[Published Version]
View
| Files available
| DOI
A.H. Hansen, F. Pauler, M. Riedl, C. Streicher, A.-M. Heger, S. Laukoter, C.M. Sommer, A. Nicolas, B. Hof, L.H. Tsai, T. Rülicke, S. Hippenmeyer, Oxford Open Neuroscience 1 (2022).
2022 |Published| Conference Paper | IST-REx-ID: 12000 |
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 |Published| Journal Article | IST-REx-ID: 12511 |
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 |Submitted| Preprint | IST-REx-ID: 14601 |
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 |Published| Journal Article | IST-REx-ID: 10851 |
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 |Published| Journal Article | IST-REx-ID: 11471 |
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 |Published| Journal Article | IST-REx-ID: 12272 |
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 |Submitted| Preprint | IST-REx-ID: 14600 |
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 | Research Data | IST-REx-ID: 10934 |
In vitro reconstitution of Escherichia coli divisome activation
P. Radler, (2022).
[Submitted Version]
View
| Files available
| DOI
P. Radler, (2022).
2022 |Published| Journal Article | IST-REx-ID: 11373 |
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 |Published| Journal Article | IST-REx-ID: 11995 |
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 |
Source Data (Chimeric GPCRs mimic distinct signaling pathways and modulate microglia responses)
R. Schulz, (2022).
View
| Files available
| DOI
R. Schulz, (2022).
2022 |Published| Journal Article | IST-REx-ID: 12118 |
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 |Published| Journal Article | IST-REx-ID: 11411 |
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 |
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 |Published| Journal Article | IST-REx-ID: 7791 |
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 |Published| Thesis | IST-REx-ID: 12358 |
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.
2022 |Published| Thesis | IST-REx-ID: 10759 |
Analytic and machine learning approaches to composite quantum impurities
W. Rzadkowski, Analytic and Machine Learning Approaches to Composite Quantum Impurities, Institute of Science and Technology Austria, 2022.
[Published Version]
View
| Files available
| DOI
W. Rzadkowski, Analytic and Machine Learning Approaches to Composite Quantum Impurities, Institute of Science and Technology Austria, 2022.
2022 |Published| Journal Article | IST-REx-ID: 10755 |
The effective mass problem for the Landau-Pekar equations
D. Feliciangeli, S.A.E. Rademacher, R. Seiringer, Journal of Physics A: Mathematical and Theoretical 55 (2022).
[Published Version]
View
| Files available
| DOI
| arXiv
D. Feliciangeli, S.A.E. Rademacher, R. Seiringer, Journal of Physics A: Mathematical and Theoretical 55 (2022).
2022 |Submitted| Journal Article | IST-REx-ID: 11660 |
A window to the persistence of 1D maps. I: Geometric characterization of critical point pairs
R. Biswas, S. Cultrera di Montesano, H. Edelsbrunner, M. Saghafian, LIPIcs (n.d.).
[Submitted Version]
View
| Files available
R. Biswas, S. Cultrera di Montesano, H. Edelsbrunner, M. Saghafian, LIPIcs (n.d.).