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.
5982 Publications
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 | 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.
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: 11478 |
A systematic characterization of microglia-like cell occurrence during retinal organoid differentiation
K. Bartalska, V. Hübschmann, M. Korkut, R.J. Cubero, A. Venturino, K. Rössler, T. Czech, S. Siegert, IScience 25 (2022).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
K. Bartalska, V. Hübschmann, M. Korkut, R.J. Cubero, A. Venturino, K. Rössler, T. Czech, S. Siegert, IScience 25 (2022).
2022 | Published | Conference Paper | IST-REx-ID: 12101 |
Complexity of spatial games
K. Chatterjee, R. Ibsen-Jensen, I.R. Jecker, J. Svoboda, in:, 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, R. Ibsen-Jensen, I.R. Jecker, J. Svoboda, in:, 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022.
2022 | Published | Journal Article | IST-REx-ID: 12257 |
Social balance on networks: Local minima and best-edge dynamics
K. Chatterjee, J. Svoboda, D. Zikelic, A. Pavlogiannis, J. Tkadlec, Physical Review E 106 (2022).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
K. Chatterjee, J. Svoboda, D. Zikelic, A. Pavlogiannis, J. Tkadlec, Physical Review E 106 (2022).
2022 | Published | Journal Article | IST-REx-ID: 9311 |
Finite-memory strategies in POMDPs with long-run average objectives
K. Chatterjee, R.J. Saona Urmeneta, B. Ziliotto, Mathematics of Operations Research 47 (2022) 100–119.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
K. Chatterjee, R.J. Saona Urmeneta, B. Ziliotto, Mathematics of Operations Research 47 (2022) 100–119.
2022 | Published | Journal Article | IST-REx-ID: 12109 |
Quantifying nanoscale charge density features of contact-charged surfaces with an FEM/KPFM-hybrid approach
F. Pertl, J.C.A. Sobarzo Ponce, L.B. Shafeek, T. Cramer, S.R. Waitukaitis, Physical Review Materials 6 (2022).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
F. Pertl, J.C.A. Sobarzo Ponce, L.B. Shafeek, T. Cramer, S.R. Waitukaitis, Physical Review Materials 6 (2022).
2022 | Published | Conference Paper | IST-REx-ID: 11355 |
Information-flow interfaces
E. Bartocci, T. Ferrere, T.A. Henzinger, D. Nickovic, A.O. Da Costa, in:, Fundamental Approaches to Software Engineering, Springer Nature, 2022, pp. 3–22.
[Published Version]
View
| Files available
| DOI
| WoS
E. Bartocci, T. Ferrere, T.A. Henzinger, D. Nickovic, A.O. Da Costa, in:, Fundamental Approaches to Software Engineering, Springer Nature, 2022, pp. 3–22.
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: 12508 |
History-deterministic timed automata
T.A. Henzinger, K. Lehtinen, P. Totzke, in:, 33rd International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022, p. 14:1-14:21.
[Published Version]
View
| Files available
| DOI
T.A. Henzinger, K. Lehtinen, P. Totzke, in:, 33rd International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022, p. 14:1-14:21.