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.
4958 Publications
2019 | Published | Journal Article | IST-REx-ID: 10878 | 
Flandoli, F., Priola, E., & Zanco, G. A. (2019). A mean-field model with discontinuous coefficients for neurons with spatial interaction. Discrete and Continuous Dynamical Systems. American Institute of Mathematical Sciences. https://doi.org/10.3934/dcds.2019126
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 | Published | Journal Article | IST-REx-ID: 10879 |
Dietlein, A. M., Gebert, M., & Müller, P. (2019). Perturbations of continuum random Schrödinger operators with applications to Anderson orthogonality and the spectral shift function. Journal of Spectral Theory. European Mathematical Society Publishing House. https://doi.org/10.4171/jst/267
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 | Published | Journal Article | IST-REx-ID: 6262 |
Rakusová, H., Han, H., Valošek, P., & Friml, J. (2019). Genetic screen for factors mediating PIN polarization in gravistimulated Arabidopsis thaliana hypocotyls. The Plant Journal. Wiley. https://doi.org/10.1111/tpj.14301
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2019 | Published | Journal Article | IST-REx-ID: 6627 |
Adamowski, M., Li, L., & Friml, J. (2019). Reorientation of cortical microtubule arrays in the hypocotyl of arabidopsis thaliana is induced by the cell growth process and independent of auxin signaling. International Journal of Molecular Sciences. MDPI. https://doi.org/10.3390/ijms20133337
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2019 | Published | Journal Article | IST-REx-ID: 6897 |
Zhu, Q., Gallemi, M., Pospíšil, J., Žádníková, P., Strnad, M., & Benková, E. (2019). Root gravity response module guides differential growth determining both root bending and apical hook formation in Arabidopsis. Development. The Company of Biologists. https://doi.org/10.1242/dev.175919
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
2019 | Published | Thesis | IST-REx-ID: 6269 |
Narasimhan, M. (2019). Clathrin-Mediated endocytosis, post-endocytic trafficking and their regulatory controls in plants . Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:th1075
[Published Version]
View
| Files available
| DOI
2019 | Published | Thesis | IST-REx-ID: 7172 |
Vasileva, M. K. (2019). Molecular mechanisms of endomembrane trafficking in Arabidopsis thaliana. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:7172
[Published Version]
View
| Files available
| DOI
2019 | Published | Thesis | IST-REx-ID: 6473 |
Cepeda Humerez, S. A. (2019). Estimating information flow in single cells. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:6473
[Published Version]
View
| Files available
| DOI
2019 | Published | Thesis | IST-REx-ID: 6071 |
Prizak, R. (2019). Coevolution of transcription factors and their binding sites in sequence space. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:th6071
[Published Version]
View
| Files available
| DOI
2019 | Published | Conference Paper | IST-REx-ID: 5948
Fu, H., & Chatterjee, K. (2019). Termination of nondeterministic probabilistic programs. In International Conference on Verification, Model Checking, and Abstract Interpretation (Vol. 11388, pp. 468–490). Cascais, Portugal: Springer Nature. https://doi.org/10.1007/978-3-030-11245-5_22
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 | Published | Conference Paper | IST-REx-ID: 6175 |
Wang, P., Fu, H., Goharshady, A. K., Chatterjee, K., Qin, X., & Shi, W. (2019). Cost analysis of nondeterministic probabilistic programs. In PLDI 2019: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation (pp. 204–220). Phoenix, AZ, United States: Association for Computing Machinery. https://doi.org/10.1145/3314221.3314581
[Submitted Version]
View
| Files available
| DOI
| WoS
| arXiv
2019 | Published | Conference Paper | IST-REx-ID: 6056 |
Chatterjee, K., Goharshady, A. K., & Pourdamghani, A. (2019). Probabilistic smart contracts: Secure randomness on the blockchain. In IEEE International Conference on Blockchain and Cryptocurrency. Seoul, Korea: IEEE. https://doi.org/10.1109/BLOC.2019.8751326
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2019 | Published | Conference Paper | IST-REx-ID: 6378 |
Chatterjee, K., Goharshady, A. K., & Pourdamghani, A. (2019). Hybrid Mining: Exploiting blockchain’s computational power for distributed problem solving. In Proceedings of the 34th ACM Symposium on Applied Computing (Vol. Part F147772, pp. 374–381). Limassol, Cyprus: ACM. https://doi.org/10.1145/3297280.3297319
[Submitted Version]
View
| Files available
| DOI
| WoS
2019 | Published | Conference Paper | IST-REx-ID: 6780 |
Huang, M., Fu, H., Chatterjee, K., & Goharshady, A. K. (2019). Modular verification for almost-sure termination of probabilistic programs. In Proceedings of the 34th ACM International Conference on Object-Oriented Programming, Systems, Languages, and Applications (Vol. 3). Athens, Greece: ACM. https://doi.org/10.1145/3360555
[Published Version]
View
| Files available
| DOI
| arXiv
2019 | Published | Journal Article | IST-REx-ID: 6380 |
Chatterjee, K., Goharshady, A. K., Okati, N., & Pavlogiannis, A. (2019). Efficient parameterized algorithms for data packing. Proceedings of the ACM on Programming Languages. ACM. https://doi.org/10.1145/3290366
[Published Version]
View
| Files available
| DOI
2019 | Published | Conference Paper | IST-REx-ID: 6942 |
Ashok, P., Brázdil, T., Chatterjee, K., Křetínský, J., Lampert, C., & Toman, V. (2019). Strategy representation by decision trees with linear classifiers. In 16th International Conference on Quantitative Evaluation of Systems (Vol. 11785, pp. 109–128). Glasgow, United Kingdom: Springer Nature. https://doi.org/10.1007/978-3-030-30281-8_7
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 | Published | Conference Paper | IST-REx-ID: 6889 |
Chatterjee, K., & Piterman, N. (2019). Combinations of Qualitative Winning for Stochastic Parity Games (Vol. 140). Presented at the CONCUR: International Conference on Concurrency Theory, Amsterdam, Netherlands: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPICS.CONCUR.2019.6
[Published Version]
View
| Files available
| DOI
2019 | Published | Journal Article | IST-REx-ID: 7014 |
Chatterjee, K., Fu, H., & Goharshady, A. K. (2019). Non-polynomial worst-case analysis of recursive programs. ACM Transactions on Programming Languages and Systems. ACM. https://doi.org/10.1145/3339984
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 | Published | Conference Paper | IST-REx-ID: 7606 |
Hledik, M., Sokolowski, T. R., & Tkačik, G. (2019). A tight upper bound on mutual information. In IEEE Information Theory Workshop, ITW 2019. Visby, Sweden: IEEE. https://doi.org/10.1109/ITW44776.2019.8989292
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 | Published | Conference Paper | IST-REx-ID: 7402 |
Chatterjee, K., & Doyen, L. (2019). Graph planning with expected finite horizon. In 34th Annual ACM/IEEE Symposium on Logic in Computer Science (pp. 1–13). Vancouver, BC, Canada: IEEE. https://doi.org/10.1109/lics.2019.8785706
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv