ISTA Research Explorer

Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

6511 Publications

2022 | Published | Journal Article | IST-REx-ID: 11135 |

Reker J. On the operator norm of a Hermitian random matrix with correlated entries. Random Matrices: Theory and Applications. 2022;11(4). doi:10.1142/s2010326322500368

2022 | Published | Journal Article | IST-REx-ID: 11448 |

Gonzalez Somermeyer L, Fleiss A, Mishin AS, et al. Heterogeneity of the GFP fitness landscape and data-driven protein design. eLife. 2022;11. doi:10.7554/elife.75842

2022 | Published | Journal Article | IST-REx-ID: 10851 |

Phan DT, Senior JL, Ghazaryan A, et al. Detecting induced p±ip pairing at the Al-InAs interface with a quantum microwave circuit. Physical Review Letters. 2022;128(10). doi:10.1103/physrevlett.128.107701

2022 | Published | Journal Article | IST-REx-ID: 10042 |

Liu Y, Calcabrini M, Yu Y, et al. Defect engineering in solution-processed polycrystalline SnSe leads to high thermoelectric performance. ACS Nano. 2022;16(1):78-88. doi:10.1021/acsnano.1c06720

2022 | Published | Journal Article | IST-REx-ID: 12237 |

Fiedler C, Kleinhanns T, Garcia M, Lee S, Calcabrini M, Ibáñez M. Solution-processed inorganic thermoelectric materials: Opportunities and challenges ∇. Chemistry of Materials. 2022;34(19):8471-8489. doi:10.1021/acs.chemmater.2c01967

2022 | Published | Journal Article | IST-REx-ID: 11469 |

Brighi P, Michailidis A, Kirova K, Abanin DA, Serbyn M. Localization of a mobile impurity interacting with an Anderson insulator. Physical Review B. 2022;105(22). doi:10.1103/physrevb.105.224208

2022 | Published | Journal Article | IST-REx-ID: 11470 |

Brighi P, Michailidis AA, Abanin DA, Serbyn M. Propagation of many-body localization in an Anderson insulator. Physical Review B. 2022;105(22). doi:10.1103/physrevb.105.l220203

2022 | Draft | Preprint | IST-REx-ID: 12750 |

Brighi P, Ljubotina M, Serbyn M. Hilbert space fragmentation and slow dynamics in particle-conserving quantum East models. arXiv. doi:10.48550/arXiv.2210.15607

[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv

2022 | Published | Journal Article | IST-REx-ID: 12118 |

Valentini M, Borovkov M, Prada E, et al. Majorana-like Coulomb spectroscopy in the absence of zero-bias peaks. Nature. 2022;612(7940):442-447. doi:10.1038/s41586-022-05382-w

2022 | Published | Journal Article | IST-REx-ID: 10850 |

Roos B, Seiringer R. Two-particle bound states at interfaces and corners. Journal of Functional Analysis. 2022;282(12). doi:10.1016/j.jfa.2022.109455

[Published Version] View | Files available | DOI | WoS | arXiv

2022 | Research Data | IST-REx-ID: 12522 |

Valentini M, San-Jose P, Arbiol J, Marti-Sanchez S, Botifoll M. Data for “Majorana-like Coulomb spectroscopy in the absence of zero bias peaks.” 2022. doi:10.15479/AT:ISTA:12102

[Published Version] View | Files available | DOI

2022 | Published | Conference Paper | IST-REx-ID: 12000 |

Chatterjee K, Goharshady AK, Meggendorfer T, Zikelic D. Sound and complete certificates for auantitative termination analysis of probabilistic programs. In: Proceedings of the 34th International Conference on Computer Aided Verification. Vol 13371. Springer; 2022:55-78. doi: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 TA. Stability verification in stochastic control systems via neural network supermartingales. Proceedings of the AAAI Conference on Artificial Intelligence. 2022;36(7):7326-7336. doi: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 TA, Chatterjee K. Learning control policies for stochastic systems with reach-avoid guarantees. arXiv. doi: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 TA. Learning stabilizing policies in stochastic control systems. arXiv. doi: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 LS, Baskett C, Field D, Pickup M, Barton NH. Effects of fine-scale population structure on the distribution of heterozygosity in a long-term study of Antirrhinum majus. Genetics. 2022;221(3). doi:10.1093/genetics/iyac083

2022 | Published | Journal Article | IST-REx-ID: 11842 |

Hensel S, Marveggio A. Weak-strong uniqueness for the Navier–Stokes equation for two fluids with ninety degree contact angle and same viscosities. Journal of Mathematical Fluid Mechanics. 2022;24(3). doi:10.1007/s00021-022-00722-2

[Published Version] View | Files available | DOI | WoS | arXiv

2022 | Draft | Preprint | IST-REx-ID: 14597 |

Fischer JL, Marveggio A. Quantitative convergence of the vectorial Allen-Cahn equation towards multiphase mean curvature flow. arXiv. doi:10.48550/ARXIV.2203.17143

[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv

2022 | Published | Journal Article | IST-REx-ID: 10791 |

Hansen AH, Pauler F, Riedl M, et al. Tissue-wide effects override cell-intrinsic gene function in radial neuron migration. Oxford Open Neuroscience. 2022;1(1). doi:10.1093/oons/kvac009

[Published Version] View | Files available | DOI | PubMed | Europe PMC

2022 | Published | Conference Paper | IST-REx-ID: 12299 |

Iofinova EB, Krumes A, Kurtz M, Alistarh D-A. How well do sparse ImageNet models transfer? In: 2022 IEEE/CVF Conference on Computer Vision and Pattern Recognition. Institute of Electrical and Electronics Engineers; 2022:12256-12266. doi:10.1109/cvpr52688.2022.01195

Institute of Science and Technology Austria (ISTA)

Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

6511 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Institute of Science and Technology Austria (ISTA)

Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

6511 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Export Options