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.
4208 Publications
2018 | Journal Article | IST-REx-ID: 28
Contreras, Ximena, and Simon Hippenmeyer. “Incorrect Trafficking Route Leads to Autism.” Brain a Journal of Neurology, vol. 141, no. 9, Oxford University Press, 2018, pp. 2542–44, doi:10.1093/brain/awy218.
View
| Files available
| DOI
2018 | Journal Article | IST-REx-ID: 449 | 
Prat, Tomas, et al. “WRKY23 Is a Component of the Transcriptional Network Mediating Auxin Feedback on PIN Polarity.” PLoS Genetics, vol. 14, no. 1, Public Library of Science, 2018, doi:10.1371/journal.pgen.1007177.
View
| Files available
| DOI
2018 | Journal Article | IST-REx-ID: 191 |
Grones, Peter, et al. “PID/WAG-Mediated Phosphorylation of the Arabidopsis PIN3 Auxin Transporter Mediates Polarity Switches during Gravitropism.” Scientific Reports, vol. 8, no. 1, 10279, Springer, 2018, doi:10.1038/s41598-018-28188-1.
View
| Files available
| DOI
2018 | Thesis | IST-REx-ID: 9 |
Belyaeva, Vera. Transcriptional Regulation of Macrophage Migration in the Drosophila Melanogaster Embryo . IST Austria, 2018, doi:10.15479/AT:ISTA:th1064.
View
| Files available
| DOI
2018 | Journal Article | IST-REx-ID: 5816 |
Hollmann, Arne, et al. “30 GHz-Voltage Controlled Oscillator Operating at 4 K.” Review of Scientific Instruments, vol. 89, no. 11, 114701, AIP Publishing, 2018, doi:10.1063/1.5038258.
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2018 | Journal Article | IST-REx-ID: 612 |
Luján, Rafael, et al. “Differential Association of GABAB Receptors with Their Effector Ion Channels in Purkinje Cells.” Brain Structure and Function, vol. 223, no. 3, Springer, 2018, pp. 1565–87, doi:10.1007/s00429-017-1568-y.
View
| Files available
| DOI
2018 | Conference Paper | IST-REx-ID: 311 |
Chatterjee, Krishnendu, et al. Quantitative Analysis of Smart Contracts. Vol. 10801, Springer, 2018, pp. 739–67, doi:10.1007/978-3-319-89884-1_26.
View
| Files available
| DOI
2018 | Journal Article | IST-REx-ID: 6009 |
Chatterjee, Krishnendu, et al. “Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components.” ACM Transactions on Programming Languages and Systems, vol. 40, no. 3, 9, Association for Computing Machinery (ACM), 2018, doi:10.1145/3210257.
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2018 | Conference Paper | IST-REx-ID: 5977 |
Chatterjee, Krishnendu, et al. “Computational Approaches for Stochastic Shortest Path on Succinct MDPs.” Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, vol. 2018, IJCAI, 2018, pp. 4700–07, doi:10.24963/ijcai.2018/653.
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2018 | Conference Paper | IST-REx-ID: 66 |
Chatterjee, Krishnendu, et al. Ergodic Mean-Payoff Games for the Analysis of Attacks in Crypto-Currencies. Vol. 118, 11, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018, doi:10.4230/LIPIcs.CONCUR.2018.11.
View
| Files available
| DOI
| arXiv
2018 | Conference Paper | IST-REx-ID: 6340 |
Goharshady, Amir Kafshdar, et al. “Secure Credit Reporting on the Blockchain.” Proceedings of the IEEE International Conference on Blockchain, IEEE, 2018, pp. 1343–48, doi:10.1109/Cybermatics_2018.2018.00231.
View
| Files available
| DOI
| arXiv
2018 | Journal Article | IST-REx-ID: 442 |
Li, Lanxin, et al. “Real-Time Analysis of Auxin Response, Cell Wall PH and Elongation in Arabidopsis Thaliana Hypocotyls.” Bio-Protocol, vol. 8, no. 1, Bio-protocol, 2018, doi:10.21769/BioProtoc.2685.
View
| Files available
| DOI
2018 | Journal Article | IST-REx-ID: 47
Abualia, Rashed, et al. “Transporters and Mechanisms of Hormone Transport in Arabidopsis.” Advances in Botanical Research, vol. 87, Elsevier, 2018, pp. 115–38, doi:10.1016/bs.abr.2018.09.007.
View
| Files available
| DOI
2018 | Journal Article | IST-REx-ID: 2 |
Hilbe, Christian, et al. “Indirect Reciprocity with Private, Noisy, and Incomplete Information.” PNAS, vol. 115, no. 48, National Academy of Sciences, 2018, pp. 12241–46, doi:10.1073/pnas.1810565115.
View
| Files available
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2017 | Conference Paper | IST-REx-ID: 1000 |
Kolesnikov, Alexander, and Christoph Lampert. “PixelCNN Models with Auxiliary Variables for Natural Image Modeling.” 34th International Conference on Machine Learning, vol. 70, JMLR, 2017, pp. 1905–14.
View
| Download Submitted Version (ext.)
| arXiv
2017 | Journal Article | IST-REx-ID: 1004 |
Ötvös, Krisztina, and Eva Benková. “Spatiotemporal Mechanisms of Root Branching.” Current Opinion in Genetics & Development, vol. 45, Elsevier, 2017, pp. 82–89, doi:10.1016/j.gde.2017.03.010.
View
| Files available
| DOI
| PubMed | Europe PMC
2017 | Journal Article | IST-REx-ID: 1007 |
Lang, Moritz, and Eduardo Sontag. “Zeros of Nonlinear Systems with Input Invariances.” Automatica, vol. 81C, IFAC, the International Federation of Automatic Control, 2017, pp. 46–55, doi:10.1016/j.automatica.2017.03.030.
View
| Files available
| DOI
2017 | Conference Paper | IST-REx-ID: 1009 |
Chatterjee, Krishnendu, et al. “Optimizing Expectation with Guarantees in POMDPs.” Proceedings of the 31st AAAI Conference on Artificial Intelligence, vol. 5, AAAI Press, 2017, pp. 3725–32.
View
| Download Submitted Version (ext.)
2017 | Conference Paper | IST-REx-ID: 1011 |
Chatterjee, Krishnendu, et al. Faster Algorithms for Weighted Recursive State Machines. Edited by Hongseok Yang, vol. 10201, Springer, 2017, pp. 287–313, doi:10.1007/978-3-662-54434-1_11.
View
| DOI
| Download Submitted Version (ext.)
2017 | Journal Article | IST-REx-ID: 1013 |
Fink, Johannes M. “Viewpoint: Microwave Quantum States Beat the Heat.” Physics, vol. 10, no. 32, American Physical Society, 2017, doi:10.1103/Physics.10.32.
View
| Files available
| DOI