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.
10785 Publications
2022 | Published | Conference Paper | IST-REx-ID: 12664 |

Súkeník, P., Kuvshinov, A., & Günnemann, S. (2022). Intriguing properties of input-dependent randomized smoothing. In Proceedings of the 39th International Conference on Machine Learning (Vol. 162, pp. 20697–20743). Baltimore, MD, United States: ML Research Press.
[Published Version]
View
| Files available
| arXiv
2022 | Published | Conference Paper | IST-REx-ID: 12229 |

Spiegelman, A., Giridharan, N., Sonnino, A., & Kokoris Kogias, E. (2022). Bullshark: DAG BFT protocols made practical. In Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security (pp. 2705–2718). Los Angeles, CA, United States: Association for Computing Machinery. https://doi.org/10.1145/3548606.3559361
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Published | Conference Paper | IST-REx-ID: 12432
Anastos, M. (2022). Solving the Hamilton cycle problem fast on average. In 63rd Annual IEEE Symposium on Foundations of Computer Science (Vol. 2022–October, pp. 919–930). Denver, CO, United States: Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/FOCS54457.2022.00091
View
| DOI
| WoS
2022 | Published | Journal Article | IST-REx-ID: 11469 |

Brighi, P., Michailidis, A., Kirova, K., Abanin, D. A., & Serbyn, M. (2022). Localization of a mobile impurity interacting with an Anderson insulator. Physical Review B. American Physical Society. https://doi.org/10.1103/physrevb.105.224208
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 11470 |

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

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

Sahu, R., Hease, W. J., Rueda Sanchez, A. R., Arnold, G. M., Qiu, L., & Fink, J. M. (2022). Quantum-enabled operation of a microwave-optical interface. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-022-28924-2
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 12118 |

Valentini, M., Borovkov, M., Prada, E., Martí-Sánchez, S., Botifoll, M., Hofmann, A. C., … Katsaros, G. (2022). Majorana-like Coulomb spectroscopy in the absence of zero-bias peaks. Nature. Springer Nature. https://doi.org/10.1038/s41586-022-05382-w
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| PubMed | Europe PMC
| arXiv
2022 | Research Data | IST-REx-ID: 12522 |

Valentini, M., San-Jose, P., Arbiol, J., Marti-Sanchez, S., & Botifoll, M. (2022). Data for “Majorana-like Coulomb spectroscopy in the absence of zero bias peaks.” Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:12102
[Published Version]
View
| Files available
| DOI
2022 | Published | Journal Article | IST-REx-ID: 10850 |

Roos, B., & Seiringer, R. (2022). Two-particle bound states at interfaces and corners. Journal of Functional Analysis. Elsevier. https://doi.org/10.1016/j.jfa.2022.109455
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 10791 |

Hansen, A. H., Pauler, F., Riedl, M., Streicher, C., Heger, A.-M., Laukoter, S., … Hippenmeyer, S. (2022). Tissue-wide effects override cell-intrinsic gene function in radial neuron migration. Oxford Open Neuroscience. Oxford University Press. https://doi.org/10.1093/oons/kvac009
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2022 | Published | Conference Paper | IST-REx-ID: 12000 |

Chatterjee, K., Goharshady, A. K., Meggendorfer, T., & Zikelic, D. (2022). Sound and complete certificates for auantitative termination analysis of probabilistic programs. In Proceedings of the 34th International Conference on Computer Aided Verification (Vol. 13371, pp. 55–78). Haifa, Israel: Springer. https://doi.org/10.1007/978-3-031-13185-1_4
[Published Version]
View
| Files available
| DOI
| WoS
2022 | Published | Journal Article | IST-REx-ID: 12511 |

Lechner, M., Zikelic, D., Chatterjee, K., & Henzinger, T. A. (2022). Stability verification in stochastic control systems via neural network supermartingales. Proceedings of the AAAI Conference on Artificial Intelligence. Association for the Advancement of Artificial Intelligence. https://doi.org/10.1609/aaai.v36i7.20695
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Draft | Preprint | IST-REx-ID: 14600 |

Zikelic, D., Lechner, M., Henzinger, T. A., & Chatterjee, K. (n.d.). Learning control policies for stochastic systems with reach-avoid guarantees. arXiv. https://doi.org/10.48550/ARXIV.2210.05308
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Draft | Preprint | IST-REx-ID: 14601 |

Zikelic, D., Lechner, M., Chatterjee, K., & Henzinger, T. A. (n.d.). Learning stabilizing policies in stochastic control systems. arXiv. https://doi.org/10.48550/arXiv.2205.11991
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 11411 |

Surendranadh, P., Arathoon, L. S., Baskett, C., Field, D., Pickup, M., & Barton, N. H. (2022). Effects of fine-scale population structure on the distribution of heterozygosity in a long-term study of Antirrhinum majus. Genetics. Oxford University Press. https://doi.org/10.1093/genetics/iyac083
[Submitted Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2022 | Published | Journal Article | IST-REx-ID: 11842 |

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

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

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

Chan, S., Koymans, P., Milovic, D., & Pagano, C. (2022). The 8-rank of the narrow class group and the negative Pell equation. Forum of Mathematics, Sigma. Cambridge University Press. https://doi.org/10.1017/fms.2022.40
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv