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.
616 Publications
2018 |
Published |
Journal Article |
IST-REx-ID: 449 |
WRKY23 is a component of the transcriptional network mediating auxin feedback on PIN polarity
T. Prat, J. Hajny, W. Grunewald, M.K. Vasileva, G. Molnar, R. Tejos, M. Schmid, M. Sauer, J. Friml, PLoS Genetics 14 (2018).
[Published Version]
View
| Files available
| DOI
| WoS
T. Prat, J. Hajny, W. Grunewald, M.K. Vasileva, G. Molnar, R. Tejos, M. Schmid, M. Sauer, J. Friml, PLoS Genetics 14 (2018).
2018 |
Published |
Journal Article |
IST-REx-ID: 191 |
PID/WAG-mediated phosphorylation of the Arabidopsis PIN3 auxin transporter mediates polarity switches during gravitropism
P. Grones, M.F. Abas, J. Hajny, A. Jones, S. Waidmann, J. Kleine Vehn, J. Friml, Scientific Reports 8 (2018).
[Published Version]
View
| Files available
| DOI
| WoS
P. Grones, M.F. Abas, J. Hajny, A. Jones, S. Waidmann, J. Kleine Vehn, J. Friml, Scientific Reports 8 (2018).
2018 |
Published |
Journal Article |
IST-REx-ID: 5914 |
Tetrode recording from the hippocampus of behaving mice coupled with four-point-irradiation closed-loop optogenetics: A technique to study the contribution of Hippocampal SWR events to learning
D.K. Rangel Guerrero, J.G. Donnett, J.L. Csicsvari, K. Kovács, ENeuro 5 (2018).
[Published Version]
View
| Files available
| DOI
| WoS
D.K. Rangel Guerrero, J.G. Donnett, J.L. Csicsvari, K. Kovács, ENeuro 5 (2018).
2018 |
Published |
Conference Paper |
IST-REx-ID: 66 |
Ergodic mean-payoff games for the analysis of attacks in crypto-currencies
K. Chatterjee, A.K. Goharshady, R. Ibsen-Jensen, Y. Velner, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018.
[Published Version]
View
| Files available
| DOI
| arXiv
K. Chatterjee, A.K. Goharshady, R. Ibsen-Jensen, Y. Velner, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018.
2018 |
Published |
Conference Paper |
IST-REx-ID: 311 |
Quantitative analysis of smart contracts
K. Chatterjee, A.K. Goharshady, Y. Velner, in:, Springer, 2018, pp. 739–767.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, A.K. Goharshady, Y. Velner, in:, Springer, 2018, pp. 739–767.
2018 |
Published |
Conference Paper |
IST-REx-ID: 6340 |
Secure Credit Reporting on the Blockchain
A.K. Goharshady, A. Behrouz, K. Chatterjee, in:, Proceedings of the IEEE International Conference on Blockchain, IEEE, 2018, pp. 1343–1348.
[Submitted Version]
View
| Files available
| DOI
| WoS
| arXiv
A.K. Goharshady, A. Behrouz, K. Chatterjee, in:, Proceedings of the IEEE International Conference on Blockchain, IEEE, 2018, pp. 1343–1348.
2018 |
Published |
Journal Article |
IST-REx-ID: 6009 |
Algorithms for algebraic path properties in concurrent systems of constant treewidth components
K. Chatterjee, R. Ibsen-Jensen, A.K. Goharshady, A. Pavlogiannis, ACM Transactions on Programming Languages and Systems 40 (2018).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
K. Chatterjee, R. Ibsen-Jensen, A.K. Goharshady, A. Pavlogiannis, ACM Transactions on Programming Languages and Systems 40 (2018).
2018 |
Published |
Conference Paper |
IST-REx-ID: 5977 |
Computational approaches for stochastic shortest path on succinct MDPs
K. Chatterjee, H. Fu, A.K. Goharshady, N. Okati, in:, Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI, 2018, pp. 4700–4707.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
K. Chatterjee, H. Fu, A.K. Goharshady, N. Okati, in:, Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI, 2018, pp. 4700–4707.
2018 |
Published |
Journal Article |
IST-REx-ID: 402 |
Lymph node blood vessels provide exit routes for metastatic tumor cell dissemination in mice
M. Brown, F.P. Assen, A.F. Leithner, J. Abe, H. Schachner, G. Asfour, Z. Bagó Horváth, J. Stein, P. Uhrin, M.K. Sixt, D. Kerjaschki, Science 359 (2018) 1408–1411.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
M. Brown, F.P. Assen, A.F. Leithner, J. Abe, H. Schachner, G. Asfour, Z. Bagó Horváth, J. Stein, P. Uhrin, M.K. Sixt, D. Kerjaschki, Science 359 (2018) 1408–1411.
2018 |
Published |
Journal Article |
IST-REx-ID: 612 |
Differential association of GABAB receptors with their effector ion channels in Purkinje cells
R. Luján, C. Aguado, F. Ciruela, J. Cózar, D. Kleindienst, L. De La Ossa, B. Bettler, K. Wickman, M. Watanabe, R. Shigemoto, Y. Fukazawa, Brain Structure and Function 223 (2018) 1565–1587.
[Published Version]
View
| Files available
| DOI
| WoS
R. Luján, C. Aguado, F. Ciruela, J. Cózar, D. Kleindienst, L. De La Ossa, B. Bettler, K. Wickman, M. Watanabe, R. Shigemoto, Y. Fukazawa, Brain Structure and Function 223 (2018) 1565–1587.
2018 |
Published |
Thesis | PhD |
IST-REx-ID: 6263 |
Genetic determinants of antibiotic resistance evolution
M. Lukacisinova, Genetic Determinants of Antibiotic Resistance Evolution, Institute of Science and Technology Austria, 2018.
[Published Version]
View
| Files available
| DOI
M. Lukacisinova, Genetic Determinants of Antibiotic Resistance Evolution, Institute of Science and Technology Austria, 2018.
2018 |
Published |
Thesis | PhD |
IST-REx-ID: 51 |
From the left to the right: A tale of asymmetries, environments, and hippocampal development
M.J. Case, From the Left to the Right: A Tale of Asymmetries, Environments, and Hippocampal Development, Institute of Science and Technology Austria, 2018.
[Published Version]
View
| Files available
| DOI
M.J. Case, From the Left to the Right: A Tale of Asymmetries, Environments, and Hippocampal Development, Institute of Science and Technology Austria, 2018.
2018 |
Published |
Thesis | PhD |
IST-REx-ID: 10 |
Role of genomic imprinting in cerebral cortex development
S. Laukoter, Role of Genomic Imprinting in Cerebral Cortex Development, Institute of Science and Technology Austria, 2018.
[Published Version]
View
| Files available
| DOI
S. Laukoter, Role of Genomic Imprinting in Cerebral Cortex Development, Institute of Science and Technology Austria, 2018.
2018 |
Published |
Thesis | PhD |
IST-REx-ID: 539 |
Identification and characterization of novel auxin-cytokinin cross-talk components
A. Hurny, Identification and Characterization of Novel Auxin-Cytokinin Cross-Talk Components, Institute of Science and Technology Austria, 2018.
[Published Version]
View
| Files available
| DOI
A. Hurny, Identification and Characterization of Novel Auxin-Cytokinin Cross-Talk Components, Institute of Science and Technology Austria, 2018.
2018 |
Published |
Thesis | PhD |
IST-REx-ID: 149 |
Dyson equation and eigenvalue statistics of random matrices
J. Alt, Dyson Equation and Eigenvalue Statistics of Random Matrices, Institute of Science and Technology Austria, 2018.
[Published Version]
View
| Files available
| DOI
J. Alt, Dyson Equation and Eigenvalue Statistics of Random Matrices, Institute of Science and Technology Austria, 2018.
2018 |
Published |
Journal Article |
IST-REx-ID: 566 |
Local inhomogeneous circular law
J. Alt, L. Erdös, T.H. Krüger, Annals of Applied Probability 28 (2018) 148–203.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
J. Alt, L. Erdös, T.H. Krüger, Annals of Applied Probability 28 (2018) 148–203.