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 | 
Chatterjee, K., Ibsen-Jensen, R., Jecker, I. R., & Svoboda, J. (2020). Simplified game of life: Algorithms and complexity. In 45th International Symposium on Mathematical Foundations of Computer Science (Vol. 170). Prague, Czech Republic: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.MFCS.2020.22
[Published Version]
View
| Files available
| DOI
| arXiv
2020 | Published | Conference Paper | IST-REx-ID: 8089 |
Chatterjee, K., Fu, H., Goharshady, A. K., & Goharshady, E. K. (2020). Polynomial invariant generation for non-deterministic recursive programs. In Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation (pp. 672–687). London, United Kingdom: Association for Computing Machinery. https://doi.org/10.1145/3385412.3385969
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 | Published | Journal Article | IST-REx-ID: 8789 |
Kleshnina, M., Streipert, S., Filar, J., & Chatterjee, K. (2020). Prioritised learning in snowdrift-type games. Mathematics. MDPI. https://doi.org/10.3390/math8111945
[Published Version]
View
| Files available
| DOI
| WoS
2020 | Published | Conference Paper | IST-REx-ID: 8272 |
Chatterjee, K., Katoen, J. P., Weininger, M., & Winkler, T. (2020). Stochastic games with lexicographic reachability-safety objectives. In International Conference on Computer Aided Verification (Vol. 12225, pp. 398–420). Springer Nature. https://doi.org/10.1007/978-3-030-53291-8_21
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2020 | Published | Conference Paper | IST-REx-ID: 7955 |
Ashok, P., Chatterjee, K., Kretinsky, J., Weininger, M., & Winkler, T. (2020). Approximating values of generalized-reachability stochastic games. In Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science (pp. 102–115). Saarbrücken, Germany: Association for Computing Machinery. https://doi.org/10.1145/3373718.3394761
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2019 | Published | Journal Article | IST-REx-ID: 27 |
Amberg, N., Laukoter, S., & Hippenmeyer, S. (2019). Epigenetic cues modulating the generation of cell type diversity in the cerebral cortex. Journal of Neurochemistry. Wiley. https://doi.org/10.1111/jnc.14601
[Published Version]
View
| Files available
| DOI
| WoS
2019 | Published | Journal Article | IST-REx-ID: 301 |
Gerencser, M., & Gyöngy, I. (2019). A Feynman–Kac formula for stochastic Dirichlet problems. Stochastic Processes and Their Applications. Elsevier. https://doi.org/10.1016/j.spa.2018.04.003
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 | Published | Journal Article | IST-REx-ID: 319 |
Gerencser, M., & Hairer, M. (2019). Singular SPDEs in domains with boundaries. Probability Theory and Related Fields. Springer. https://doi.org/10.1007/s00440-018-0841-1
[Published Version]
View
| Files available
| DOI
| WoS
2019 | Published | Journal Article | IST-REx-ID: 405 |
Virosztek, D. (2019). Jointly convex quantum Jensen divergences. Linear Algebra and Its Applications. Elsevier. https://doi.org/10.1016/j.laa.2018.03.002
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 | Published | Journal Article | IST-REx-ID: 429 |
Ajanki, O. H., Erdös, L., & Krüger, T. H. (2019). Stability of the matrix Dyson equation and random matrices with correlations. Probability Theory and Related Fields. Springer. https://doi.org/10.1007/s00440-018-0835-z
[Published Version]
View
| Files available
| DOI
| WoS
2019 | Published | Journal Article | IST-REx-ID: 439 |
Hausel, T., Mereb, M., & Wong, M. (2019). Arithmetic and representation theory of wild character varieties. Journal of the European Mathematical Society. European Mathematical Society. https://doi.org/10.4171/JEMS/896
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 | Published | Journal Article | IST-REx-ID: 441 |
Kalinin, N., & Shkolnikov, M. (2019). Tropical formulae for summation over a part of SL(2,Z). European Journal of Mathematics. Springer Nature. https://doi.org/10.1007/s40879-018-0218-0
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2019 | Published | Journal Article | IST-REx-ID: 5 |
Ganev, I. V. (2019). The wonderful compactification for quantum groups. Journal of the London Mathematical Society. Wiley. https://doi.org/10.1112/jlms.12193
[Published Version]
View
| Files available
| DOI
| WoS
2019 | Published | Journal Article | IST-REx-ID: 5678 |
Edelsbrunner, H., & Nikitenko, A. (2019). Poisson–Delaunay Mosaics of Order k. Discrete and Computational Geometry. Springer. https://doi.org/10.1007/s00454-018-0049-2
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2019 | Published | Journal Article | IST-REx-ID: 5680
Andalo, C., Burrus, M., Paute, S., Lauzeral, C., & Field, D. (2019). Prevalence of legitimate pollinators and nectar robbers and the consequences for fruit set in an Antirrhinum majus hybrid zone. Botany Letters. Taylor and Francis. https://doi.org/10.1080/23818107.2018.1545142
View
| DOI
| WoS
2019 | Published | Journal Article | IST-REx-ID: 5789 |
Petridou, N., Grigolon, S., Salbreux, G., Hannezo, E. B., & Heisenberg, C.-P. J. (2019). Fluidization-mediated tissue spreading by mitotic cell rounding and non-canonical Wnt signalling. Nature Cell Biology. Nature Publishing Group. https://doi.org/10.1038/s41556-018-0247-4
[Submitted Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2019 | Published | Journal Article | IST-REx-ID: 5790 |
Chaplick, S., Fulek, R., & Klavík, P. (2019). Extending partial representations of circle graphs. Journal of Graph Theory. Wiley. https://doi.org/10.1002/jgt.22436
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 | Published | Book Chapter | IST-REx-ID: 5793
Asaoka, Y., Morita, H., Furumoto, H., Heisenberg, C.-P. J., & Furutani-Seiki, M. (2019). Studying YAP-mediated 3D morphogenesis using fish embryos and human spheroids. In A. Hergovich (Ed.), The hippo pathway (Vol. 1893, pp. 167–181). Springer. https://doi.org/10.1007/978-1-4939-8910-2_14
View
| DOI
2019 | Published | Journal Article | IST-REx-ID: 5817 |
Kavcic, B., Sakashita, A., Noguchi, H., & Ziherl, P. (2019). Limiting shapes of confined lipid vesicles. Soft Matter. Royal Society of Chemistry. https://doi.org/10.1039/c8sm01956h
[Submitted Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2019 | Published | Journal Article | IST-REx-ID: 5828 |
Xu, H., Baracskay, P., O’Neill, J., & Csicsvari, J. L. (2019). Assembly responses of hippocampal CA1 place cells predict learned behavior in goal-directed spatial tasks on the radial eight-arm maze. Neuron. Elsevier. https://doi.org/10.1016/j.neuron.2018.11.015
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS