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.
10763 Publications
2022 | Published | Journal Article | IST-REx-ID: 11470 |

Propagation of many-body localization in an Anderson insulator
P. Brighi, A.A. Michailidis, D.A. Abanin, M. Serbyn, Physical Review B 105 (2022).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
P. Brighi, A.A. Michailidis, D.A. Abanin, M. Serbyn, Physical Review B 105 (2022).
2022 | Draft | Preprint | IST-REx-ID: 12750 |

Hilbert space fragmentation and slow dynamics in particle-conserving quantum East models
P. Brighi, M. Ljubotina, M. Serbyn, ArXiv (n.d.).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
P. Brighi, M. Ljubotina, M. Serbyn, ArXiv (n.d.).
2022 | Published | Journal Article | IST-REx-ID: 10924 |

Quantum-enabled operation of a microwave-optical interface
R. Sahu, W.J. Hease, A.R. Rueda Sanchez, G.M. Arnold, L. Qiu, J.M. Fink, Nature Communications 13 (2022).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
| arXiv
R. Sahu, W.J. Hease, A.R. Rueda Sanchez, G.M. Arnold, L. Qiu, J.M. Fink, Nature Communications 13 (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
| PubMed | Europe PMC
| 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 |

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 | Published | Journal Article | IST-REx-ID: 10850 |

Two-particle bound states at interfaces and corners
B. Roos, R. Seiringer, Journal of Functional Analysis 282 (2022).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
B. Roos, R. Seiringer, Journal of Functional Analysis 282 (2022).
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
| PubMed | Europe PMC
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 | Draft | 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 | Draft | 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: 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 | Published | Journal Article | IST-REx-ID: 11842 |

Weak-strong uniqueness for the Navier–Stokes equation for two fluids with ninety degree contact angle and same viscosities
S. Hensel, A. Marveggio, Journal of Mathematical Fluid Mechanics 24 (2022).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
S. Hensel, A. Marveggio, Journal of Mathematical Fluid Mechanics 24 (2022).
2022 | Draft | Preprint | IST-REx-ID: 14597 |

Quantitative convergence of the vectorial Allen-Cahn equation towards multiphase mean curvature flow
J.L. Fischer, A. Marveggio, ArXiv (n.d.).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
J.L. Fischer, A. Marveggio, ArXiv (n.d.).
2022 | Published | Conference Paper | IST-REx-ID: 18876 |

The unreasonable effectiveness of fully-connected layers for low-data regimes
P. Kocsis, P. Súkeník, G. Brasó, M. Niessner, L. Leal-Taixé, I. Elezi, in:, 36th Conference on Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2022, pp. 1896–1908.
[Published Version]
View
| Files available
| arXiv
P. Kocsis, P. Súkeník, G. Brasó, M. Niessner, L. Leal-Taixé, I. Elezi, in:, 36th Conference on Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2022, pp. 1896–1908.
2022 | Published | Journal Article | IST-REx-ID: 19491 |

The 8-rank of the narrow class group and the negative Pell equation
S. Chan, P. Koymans, D. Milovic, C. Pagano, Forum of Mathematics, Sigma 10 (2022).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
S. Chan, P. Koymans, D. Milovic, C. Pagano, Forum of Mathematics, Sigma 10 (2022).
2022 | Published | Journal Article | IST-REx-ID: 19490 |

Integral points on the congruent number curve
S. Chan, Transactions of the American Mathematical Society 375 (2022) 6675–6700.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
S. Chan, Transactions of the American Mathematical Society 375 (2022) 6675–6700.
2022 | Published | Journal Article | IST-REx-ID: 11402 |

Graph planning with expected finite horizon
K. Chatterjee, L. Doyen, Journal of Computer and System Sciences 129 (2022) 1–21.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
K. Chatterjee, L. Doyen, Journal of Computer and System Sciences 129 (2022) 1–21.
2022 | Published | Journal Article | IST-REx-ID: 12129 |

Connectivity of triangulation flip graphs in the plane
U. Wagner, E. Welzl, Discrete & Computational Geometry 68 (2022) 1227–1284.
[Published Version]
View
| Files available
| DOI
| WoS
U. Wagner, E. Welzl, Discrete & Computational Geometry 68 (2022) 1227–1284.
2022 | Published | Journal Article | IST-REx-ID: 8286 |

Dynamic averaging load balancing on cycles
D.-A. Alistarh, G. Nadiradze, A. Sabour, Algorithmica 84 (2022) 1007–1029.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
D.-A. Alistarh, G. Nadiradze, A. Sabour, Algorithmica 84 (2022) 1007–1029.