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.
5872 Publications
2022 | Published | Thesis | IST-REx-ID: 12368 | 
Arslan FN. Remodeling of E-cadherin-mediated contacts via cortical flows. 2022. doi:10.15479/at:ista:12153
[Published Version]
View
| Files available
| DOI
2022 | Published | Journal Article | IST-REx-ID: 12209 |
Nunes Pinheiro DC, Kardos R, Hannezo EB, Heisenberg C-PJ. Morphogen gradient orchestrates pattern-preserving tissue morphogenesis via motility-driven unjamming. Nature Physics. 2022;18(12):1482-1493. doi:10.1038/s41567-022-01787-6
[Published Version]
View
| Files available
| DOI
| WoS
2022 | Published | Conference Paper | IST-REx-ID: 11355 |
Bartocci E, Ferrere T, Henzinger TA, Nickovic D, Da Costa AO. Information-flow interfaces. In: Fundamental Approaches to Software Engineering. Vol 13241. Springer Nature; 2022:3-22. doi:10.1007/978-3-030-99429-7_1
[Published Version]
View
| Files available
| DOI
| WoS
2022 | Published | Thesis | IST-REx-ID: 12072 |
Shute AL. Existence and density problems in Diophantine geometry: From norm forms to Campana points. 2022. doi:10.15479/at:ista:12072
[Published Version]
View
| Files available
| DOI
2022 | Published | Journal Article | IST-REx-ID: 12226 |
Pokusaeva V, Diez AR, Espinar L, Pérez AT, Filion GJ. Strand asymmetry influences mismatch resolution during single-strand annealing. Genome Biology. 2022;23. doi:10.1186/s13059-022-02665-3
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2022 | Published | Journal Article | IST-REx-ID: 11552 |
Qiang J, Zhou L, Lu P, et al. Femtosecond rotational dynamics of D2 molecules in superfluid helium nanodroplets. Physical Review Letters. 2022;128(24). doi:10.1103/PhysRevLett.128.243201
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| PubMed | Europe PMC
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 12150 |
Rzadkowski W, Lemeshko M, Mentink JH. Artificial neural network states for nonadditive systems. Physical Review B. 2022;106(15). doi:10.1103/physrevb.106.155127
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 10802 |
Konstantinov NH, Lampert C. Fairness-aware PAC learning from corrupted data. Journal of Machine Learning Research. 2022;23:1-60.
[Published Version]
View
| Files available
| arXiv
2022 | Published | Conference Paper | IST-REx-ID: 12102 |
Ahmadi, Ali, Algorithms and hardness results for computing cores of Markov chains. 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science 250. 2022
[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: 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
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2022 | Published | Journal Article | IST-REx-ID: 10758 |
Dubini RCA, Korytiaková E, Schinkel T, Heinrichs P, Carell T, Rovo P. 1H NMR chemical exchange techniques reveal local and global effects of oxidized cytosine derivatives. ACS Physical Chemistry Au. 2022;2(3):237-246. doi:10.1021/acsphyschemau.1c00050
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2022 | Published | Journal Article | IST-REx-ID: 10211 |
Mondelli M, Thrampoulidis C, Venkataramanan R. Optimal combination of linear and spectral estimators for generalized linear models. Foundations of Computational Mathematics. 2022;22(5):1513-1566. doi:10.1007/s10208-021-09531-x
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 10704 |
Hausel T, Hitchin N. Very stable Higgs bundles, equivariant multiplicity and mirror symmetry. Inventiones Mathematicae. 2022;228:893-989. doi:10.1007/s00222-021-01093-7
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 10602 |
Kretinsky J, Meggendorfer T, Waldmann C, Weininger M. Index appearance record with preorders. Acta Informatica. 2022;59:585-618. doi:10.1007/s00236-021-00412-y
[Published Version]
View
| Files available
| DOI
| WoS
2022 | Published | Journal Article | IST-REx-ID: 7791 |
Akopyan A, Karasev R. When different norms lead to same billiard trajectories? European Journal of Mathematics. 2022;8(4):1309-1312. doi:10.1007/s40879-020-00405-0
[Published Version]
View
| Files available
| DOI
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 8286 |
Alistarh, Dan-Adrian, Dynamic averaging load balancing on cycles. Algorithmica 84 (4). 2022
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv