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 | Book Chapter | IST-REx-ID: 10865 | 
Chakraborty S, Prabhakaran M, Wichs D. Witness maps and applications. In: Kiayias A, ed. Public-Key Cryptography. Vol 12110. LNCS. Cham: Springer Nature; 2020:220-246. doi:10.1007/978-3-030-45374-9_8
[Preprint]
View
| DOI
| Download Preprint (ext.)
2020 | Published | Journal Article | IST-REx-ID: 10866 |
Duan J, Capote-Robayna N, Taboada-Gutiérrez J, et al. Twisted nano-optics: Manipulating light at the nanoscale with twisted phonon polaritonic slabs. Nano Letters. 2020;20(7):5323-5329. doi:10.1021/acs.nanolett.0c01673
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| PubMed | Europe PMC
| arXiv
2020 | Published | Journal Article | IST-REx-ID: 10867 |
Akopyan A, Karasev R. Waist of balls in hyperbolic and spherical spaces. International Mathematics Research Notices. 2020;2020(3):669-697. doi:10.1093/imrn/rny037
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 | Published | Journal Article | IST-REx-ID: 9114 |
Hease WJ, Rueda Sanchez AR, Sahu R, et al. Bidirectional electro-optic wavelength conversion in the quantum ground state. PRX Quantum. 2020;1(2). doi:10.1103/prxquantum.1.020315
[Published Version]
View
| Files available
| DOI
| WoS
2020 | Published | Journal Article | IST-REx-ID: 8986 |
Zhang Y, Rodriguez Solovey L, Li L, Zhang X, Friml J. Functional innovations of PIN auxin transporters mark crucial evolutionary transitions during rise of flowering plants. Science Advances. 2020;6(50). doi:10.1126/sciadv.abc8895
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2020 | Published | Journal Article | IST-REx-ID: 8283 |
Chen H, Lai L, Li L, et al. AcoMYB4, an Ananas comosus L. MYB transcription factor, functions in osmotic stress through negative regulation of ABA signaling. International Journal of Molecular Sciences. 2020;21(16). doi:10.3390/ijms21165727
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2020 | Published | Journal Article | IST-REx-ID: 7582 |
Moturu TR, Sinha S, Salava H, et al. Molecular evolution and diversification of proteins involved in miRNA maturation pathway. Plants. 2020;9(3). doi:10.3390/plants9030299
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2020 | Published | Thesis | IST-REx-ID: 8822 |
Hajny J. Identification and characterization of the molecular machinery of auxin-dependent canalization during vasculature formation and regeneration. 2020. doi:10.15479/AT:ISTA:8822
[Published Version]
View
| Files available
| DOI
2020 | Published | Conference Paper | IST-REx-ID: 7810 |
Chatterjee K, Goharshady AK, Ibsen-Jensen R, Pavlogiannis A. Optimal and perfectly parallel algorithms for on-demand data-flow analysis. In: European Symposium on Programming. Vol 12075. Springer Nature; 2020:112-140. doi:10.1007/978-3-030-44914-8_5
[Published Version]
View
| Files available
| DOI
| WoS
2020 | Published | Conference Paper | IST-REx-ID: 8728 |
Asadi A, Chatterjee K, Goharshady AK, Mohammadi K, Pavlogiannis A. Faster algorithms for quantitative analysis of MCs and MDPs with small treewidth. In: Automated Technology for Verification and Analysis. Vol 12302. Springer Nature; 2020:253-270. doi:10.1007/978-3-030-59152-6_14
[Submitted Version]
View
| Files available
| DOI
| WoS
2020 | Published | Conference Paper | IST-REx-ID: 8533 |
Chatterjee K, Ibsen-Jensen R, Jecker IR, Svoboda J. Simplified game of life: Algorithms and complexity. In: 45th International Symposium on Mathematical Foundations of Computer Science. Vol 170. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2020. doi: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 AK, Goharshady EK. Polynomial invariant generation for non-deterministic recursive programs. In: Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation. Association for Computing Machinery; 2020:672-687. doi: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. Prioritised learning in snowdrift-type games. Mathematics. 2020;8(11). doi:10.3390/math8111945
[Published Version]
View
| Files available
| DOI
| WoS
2020 | Published | Conference Paper | IST-REx-ID: 8272 |
Chatterjee K, Katoen JP, Weininger M, Winkler T. Stochastic games with lexicographic reachability-safety objectives. In: International Conference on Computer Aided Verification. Vol 12225. Springer Nature; 2020:398-420. doi: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. Approximating values of generalized-reachability stochastic games. In: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science . Association for Computing Machinery; 2020:102-115. doi: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. Epigenetic cues modulating the generation of cell type diversity in the cerebral cortex. Journal of Neurochemistry. 2019;149(1):12-26. doi:10.1111/jnc.14601
[Published Version]
View
| Files available
| DOI
| WoS
2019 | Published | Journal Article | IST-REx-ID: 301 |
Gerencser M, Gyöngy I. A Feynman–Kac formula for stochastic Dirichlet problems. Stochastic Processes and their Applications. 2019;129(3):995-1012. doi: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. Singular SPDEs in domains with boundaries. Probability Theory and Related Fields. 2019;173(3-4):697–758. doi:10.1007/s00440-018-0841-1
[Published Version]
View
| Files available
| DOI
| WoS
2019 | Published | Journal Article | IST-REx-ID: 405 |
Virosztek D. Jointly convex quantum Jensen divergences. Linear Algebra and Its Applications. 2019;576:67-78. doi:10.1016/j.laa.2018.03.002
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 | Published | Journal Article | IST-REx-ID: 429 |
Ajanki OH, Erdös L, Krüger TH. Stability of the matrix Dyson equation and random matrices with correlations. Probability Theory and Related Fields. 2019;173(1-2):293–373. doi:10.1007/s00440-018-0835-z
[Published Version]
View
| Files available
| DOI
| WoS