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.
4854 Publications
2020 | Published | Conference Paper | IST-REx-ID: 8533 | 
Simplified game of life: Algorithms and complexity
K. Chatterjee, R. Ibsen-Jensen, I.R. Jecker, J. Svoboda, in:, 45th International Symposium on Mathematical Foundations of Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
[Published Version]
View
| Files available
| DOI
| arXiv
K. Chatterjee, R. Ibsen-Jensen, I.R. Jecker, J. Svoboda, in:, 45th International Symposium on Mathematical Foundations of Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
2020 | Published | Conference Paper | IST-REx-ID: 8089 |
Polynomial invariant generation for non-deterministic recursive programs
K. Chatterjee, H. Fu, A.K. Goharshady, E.K. Goharshady, in:, Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, Association for Computing Machinery, 2020, pp. 672–687.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
K. Chatterjee, H. Fu, A.K. Goharshady, E.K. Goharshady, in:, Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, Association for Computing Machinery, 2020, pp. 672–687.
2020 | Published | Journal Article | IST-REx-ID: 8789 |
Prioritised learning in snowdrift-type games
M. Kleshnina, S. Streipert, J. Filar, K. Chatterjee, Mathematics 8 (2020).
[Published Version]
View
| Files available
| DOI
| WoS
M. Kleshnina, S. Streipert, J. Filar, K. Chatterjee, Mathematics 8 (2020).
2020 | Published | Conference Paper | IST-REx-ID: 8272 |
Stochastic games with lexicographic reachability-safety objectives
K. Chatterjee, J.P. Katoen, M. Weininger, T. Winkler, in:, International Conference on Computer Aided Verification, Springer Nature, 2020, pp. 398–420.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
K. Chatterjee, J.P. Katoen, M. Weininger, T. Winkler, in:, International Conference on Computer Aided Verification, Springer Nature, 2020, pp. 398–420.
2020 | Published | Conference Paper | IST-REx-ID: 7955 |
Approximating values of generalized-reachability stochastic games
P. Ashok, K. Chatterjee, J. Kretinsky, M. Weininger, T. Winkler, in:, Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science , Association for Computing Machinery, 2020, pp. 102–115.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
P. Ashok, K. Chatterjee, J. Kretinsky, M. Weininger, T. Winkler, in:, Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science , Association for Computing Machinery, 2020, pp. 102–115.
2019 | Published | Journal Article | IST-REx-ID: 27 |
Epigenetic cues modulating the generation of cell type diversity in the cerebral cortex
N. Amberg, S. Laukoter, S. Hippenmeyer, Journal of Neurochemistry 149 (2019) 12–26.
[Published Version]
View
| Files available
| DOI
| WoS
N. Amberg, S. Laukoter, S. Hippenmeyer, Journal of Neurochemistry 149 (2019) 12–26.
2019 | Published | Journal Article | IST-REx-ID: 301 |
A Feynman–Kac formula for stochastic Dirichlet problems
M. Gerencser, I. Gyöngy, Stochastic Processes and Their Applications 129 (2019) 995–1012.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
M. Gerencser, I. Gyöngy, Stochastic Processes and Their Applications 129 (2019) 995–1012.
2019 | Published | Journal Article | IST-REx-ID: 319 |
Singular SPDEs in domains with boundaries
M. Gerencser, M. Hairer, Probability Theory and Related Fields 173 (2019) 697–758.
[Published Version]
View
| Files available
| DOI
| WoS
M. Gerencser, M. Hairer, Probability Theory and Related Fields 173 (2019) 697–758.
2019 | Published | Journal Article | IST-REx-ID: 405 |
Jointly convex quantum Jensen divergences
D. Virosztek, Linear Algebra and Its Applications 576 (2019) 67–78.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
D. Virosztek, Linear Algebra and Its Applications 576 (2019) 67–78.
2019 | Published | Journal Article | IST-REx-ID: 429 |
Stability of the matrix Dyson equation and random matrices with correlations
O.H. Ajanki, L. Erdös, T.H. Krüger, Probability Theory and Related Fields 173 (2019) 293–373.
[Published Version]
View
| Files available
| DOI
| WoS
O.H. Ajanki, L. Erdös, T.H. Krüger, Probability Theory and Related Fields 173 (2019) 293–373.
2019 | Published | Journal Article | IST-REx-ID: 439 |
Arithmetic and representation theory of wild character varieties
T. Hausel, M. Mereb, M. Wong, Journal of the European Mathematical Society 21 (2019) 2995–3052.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
T. Hausel, M. Mereb, M. Wong, Journal of the European Mathematical Society 21 (2019) 2995–3052.
2019 | Published | Journal Article | IST-REx-ID: 441 |
Tropical formulae for summation over a part of SL(2,Z)
N. Kalinin, M. Shkolnikov, European Journal of Mathematics 5 (2019) 909–928.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
N. Kalinin, M. Shkolnikov, European Journal of Mathematics 5 (2019) 909–928.
2019 | Published | Journal Article | IST-REx-ID: 5 |
The wonderful compactification for quantum groups
I.V. Ganev, Journal of the London Mathematical Society 99 (2019) 778–806.
[Published Version]
View
| Files available
| DOI
| WoS
I.V. Ganev, Journal of the London Mathematical Society 99 (2019) 778–806.
2019 | Published | Journal Article | IST-REx-ID: 5678 |
Poisson–Delaunay Mosaics of Order k
H. Edelsbrunner, A. Nikitenko, Discrete and Computational Geometry 62 (2019) 865–878.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
H. Edelsbrunner, A. Nikitenko, Discrete and Computational Geometry 62 (2019) 865–878.
2019 | Published | Journal Article | IST-REx-ID: 5680
Prevalence of legitimate pollinators and nectar robbers and the consequences for fruit set in an Antirrhinum majus hybrid zone
C. Andalo, M. Burrus, S. Paute, C. Lauzeral, D. Field, Botany Letters 166 (2019) 80–92.
View
| DOI
| WoS
C. Andalo, M. Burrus, S. Paute, C. Lauzeral, D. Field, Botany Letters 166 (2019) 80–92.
2019 | Published | Journal Article | IST-REx-ID: 5789 |
Fluidization-mediated tissue spreading by mitotic cell rounding and non-canonical Wnt signalling
N. Petridou, S. Grigolon, G. Salbreux, E.B. Hannezo, C.-P.J. Heisenberg, Nature Cell Biology 21 (2019) 169–178.
[Submitted Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
N. Petridou, S. Grigolon, G. Salbreux, E.B. Hannezo, C.-P.J. Heisenberg, Nature Cell Biology 21 (2019) 169–178.
2019 | Published | Journal Article | IST-REx-ID: 5790 |
Extending partial representations of circle graphs
S. Chaplick, R. Fulek, P. Klavík, Journal of Graph Theory 91 (2019) 365–394.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
S. Chaplick, R. Fulek, P. Klavík, Journal of Graph Theory 91 (2019) 365–394.
2019 | Published | Book Chapter | IST-REx-ID: 5793
Studying YAP-mediated 3D morphogenesis using fish embryos and human spheroids
Y. Asaoka, H. Morita, H. Furumoto, C.-P.J. Heisenberg, M. Furutani-Seiki, in:, A. Hergovich (Ed.), The Hippo Pathway, Springer, 2019, pp. 167–181.
View
| DOI
Y. Asaoka, H. Morita, H. Furumoto, C.-P.J. Heisenberg, M. Furutani-Seiki, in:, A. Hergovich (Ed.), The Hippo Pathway, Springer, 2019, pp. 167–181.
2019 | Published | Journal Article | IST-REx-ID: 5817 |
Limiting shapes of confined lipid vesicles
B. Kavcic, A. Sakashita, H. Noguchi, P. Ziherl, Soft Matter 15 (2019) 602–614.
[Submitted Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
B. Kavcic, A. Sakashita, H. Noguchi, P. Ziherl, Soft Matter 15 (2019) 602–614.
2019 | Published | Journal Article | IST-REx-ID: 5828 |
Assembly responses of hippocampal CA1 place cells predict learned behavior in goal-directed spatial tasks on the radial eight-arm maze
H. Xu, P. Baracskay, J. O’Neill, J.L. Csicsvari, Neuron 101 (2019) 119–132.e4.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
H. Xu, P. Baracskay, J. O’Neill, J.L. Csicsvari, Neuron 101 (2019) 119–132.e4.