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.
8915 Publications
2020 | Published | Journal Article | IST-REx-ID: 10701 | 
Skyrmion solids in monolayer graphene
H. Zhou, H. Polshyn, T. Taniguchi, K. Watanabe, A.F. Young, Nature Physics 16 (2020) 154–158.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
H. Zhou, H. Polshyn, T. Taniguchi, K. Watanabe, A.F. Young, Nature Physics 16 (2020) 154–158.
2020 | Published | Journal Article | IST-REx-ID: 10861
AMT 2.0: Qualitative and quantitative trace analysis with extended signal temporal logic
D. Nickovic, O. Lebeltel, O. Maler, T. Ferrere, D. Ulus, International Journal on Software Tools for Technology Transfer 22 (2020) 741–758.
View
| Files available
| DOI
| WoS
D. Nickovic, O. Lebeltel, O. Maler, T. Ferrere, D. Ulus, International Journal on Software Tools for Technology Transfer 22 (2020) 741–758.
2020 | Published | Journal Article | IST-REx-ID: 10862 |
Spectral rigidity for addition of random matrices at the regular edge
Z. Bao, L. Erdös, K. Schnelli, Journal of Functional Analysis 279 (2020).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
Z. Bao, L. Erdös, K. Schnelli, Journal of Functional Analysis 279 (2020).
2020 | Published | Book Chapter | IST-REx-ID: 10865 |
Witness maps and applications
S. Chakraborty, M. Prabhakaran, D. Wichs, in:, A. Kiayias (Ed.), Public-Key Cryptography, Springer Nature, Cham, 2020, pp. 220–246.
[Preprint]
View
| DOI
| Download Preprint (ext.)
S. Chakraborty, M. Prabhakaran, D. Wichs, in:, A. Kiayias (Ed.), Public-Key Cryptography, Springer Nature, Cham, 2020, pp. 220–246.
2020 | Published | Journal Article | IST-REx-ID: 10866 |
Twisted nano-optics: Manipulating light at the nanoscale with twisted phonon polaritonic slabs
J. Duan, N. Capote-Robayna, J. Taboada-Gutiérrez, G. Álvarez-Pérez, I. Prieto Gonzalez, J. Martín-Sánchez, A.Y. Nikitin, P. Alonso-González, Nano Letters 20 (2020) 5323–5329.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| PubMed | Europe PMC
| arXiv
J. Duan, N. Capote-Robayna, J. Taboada-Gutiérrez, G. Álvarez-Pérez, I. Prieto Gonzalez, J. Martín-Sánchez, A.Y. Nikitin, P. Alonso-González, Nano Letters 20 (2020) 5323–5329.
2020 | Published | Journal Article | IST-REx-ID: 10867 |
Waist of balls in hyperbolic and spherical spaces
A. Akopyan, R. Karasev, International Mathematics Research Notices 2020 (2020) 669–697.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
A. Akopyan, R. Karasev, International Mathematics Research Notices 2020 (2020) 669–697.
2020 | Published | Journal Article | IST-REx-ID: 9114 |
Bidirectional electro-optic wavelength conversion in the quantum ground state
W.J. Hease, A.R. Rueda Sanchez, R. Sahu, M. Wulf, G.M. Arnold, H.G.L. Schwefel, J.M. Fink, PRX Quantum 1 (2020).
[Published Version]
View
| Files available
| DOI
| WoS
W.J. Hease, A.R. Rueda Sanchez, R. Sahu, M. Wulf, G.M. Arnold, H.G.L. Schwefel, J.M. Fink, PRX Quantum 1 (2020).
2020 | Published | Journal Article | IST-REx-ID: 8986 |
Functional innovations of PIN auxin transporters mark crucial evolutionary transitions during rise of flowering plants
Y. Zhang, L. Rodriguez Solovey, L. Li, X. Zhang, J. Friml, Science Advances 6 (2020).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
Y. Zhang, L. Rodriguez Solovey, L. Li, X. Zhang, J. Friml, Science Advances 6 (2020).
2020 | Published | Journal Article | IST-REx-ID: 8283 |
AcoMYB4, an Ananas comosus L. MYB transcription factor, functions in osmotic stress through negative regulation of ABA signaling
H. Chen, L. Lai, L. Li, L. Liu, B.H. Jakada, Y. Huang, Q. He, M. Chai, X. Niu, Y. Qin, International Journal of Molecular Sciences 21 (2020).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
H. Chen, L. Lai, L. Li, L. Liu, B.H. Jakada, Y. Huang, Q. He, M. Chai, X. Niu, Y. Qin, International Journal of Molecular Sciences 21 (2020).
2020 | Published | Journal Article | IST-REx-ID: 7582 |
Molecular evolution and diversification of proteins involved in miRNA maturation pathway
T.R. Moturu, S. Sinha, H. Salava, S. Thula, T. Nodzyński, R.S. Vařeková, J. Friml, S. Simon, Plants 9 (2020).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
T.R. Moturu, S. Sinha, H. Salava, S. Thula, T. Nodzyński, R.S. Vařeková, J. Friml, S. Simon, Plants 9 (2020).
2020 | Published | Thesis | IST-REx-ID: 8822 |
Identification and characterization of the molecular machinery of auxin-dependent canalization during vasculature formation and regeneration
J. Hajny, Identification and Characterization of the Molecular Machinery of Auxin-Dependent Canalization during Vasculature Formation and Regeneration, Institute of Science and Technology Austria, 2020.
[Published Version]
View
| Files available
| DOI
J. Hajny, Identification and Characterization of the Molecular Machinery of Auxin-Dependent Canalization during Vasculature Formation and Regeneration, Institute of Science and Technology Austria, 2020.
2020 | Published | Conference Paper | IST-REx-ID: 7810 |
Optimal and perfectly parallel algorithms for on-demand data-flow analysis
K. Chatterjee, A.K. Goharshady, R. Ibsen-Jensen, A. Pavlogiannis, in:, European Symposium on Programming, Springer Nature, 2020, pp. 112–140.
[Published Version]
View
| Files available
| DOI
| WoS
K. Chatterjee, A.K. Goharshady, R. Ibsen-Jensen, A. Pavlogiannis, in:, European Symposium on Programming, Springer Nature, 2020, pp. 112–140.
2020 | Published | Conference Paper | IST-REx-ID: 8728 |
Faster algorithms for quantitative analysis of MCs and MDPs with small treewidth
A. Asadi, K. Chatterjee, A.K. Goharshady, K. Mohammadi, A. Pavlogiannis, in:, Automated Technology for Verification and Analysis, Springer Nature, 2020, pp. 253–270.
[Submitted Version]
View
| Files available
| DOI
| WoS
A. Asadi, K. Chatterjee, A.K. Goharshady, K. Mohammadi, A. Pavlogiannis, in:, Automated Technology for Verification and Analysis, Springer Nature, 2020, pp. 253–270.
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.