Chatterjee, K., Goharshady, A. K., Ibsen-Jensen, R., &; Velner, Y. (2018). Ergodic mean-payoff games for the analysis of attacks in crypto-currencies (Vol. 118). Presented at the CONCUR: Conference on Concurrency Theory, Beijing, China: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPIcs.CONCUR.2018.11 
LibreCat: https://research-explorer.ista.ac.at/record/66
DOI: 10.4230/LIPIcs.CONCUR.2018.11
arXiv: 1806.03108

Chatterjee, K., Goharshady, A. K., &; Velner, Y. (2018). Quantitative analysis of smart contracts (Vol. 10801, pp. 739–767). Presented at the ESOP: European Symposium on Programming, Thessaloniki, Greece: Springer.https://doi.org/10.1007/978-3-319-89884-1_26 
LibreCat: https://research-explorer.ista.ac.at/record/311
DOI: 10.1007/978-3-319-89884-1_26

Goharshady, A. K., Behrouz, A., &; Chatterjee, K. (2018). Secure Credit Reporting on the Blockchain. In Proceedings of the IEEE International Conference on Blockchain (pp. 1343–1348). Halifax, Canada: IEEE.https://doi.org/10.1109/Cybermatics_2018.2018.00231 
LibreCat: https://research-explorer.ista.ac.at/record/6340
DOI: 10.1109/Cybermatics_2018.2018.00231
WoS: 000481634500196
arXiv: 1805.09104

Chatterjee, K., Ibsen-Jensen, R., Goharshady, A. K., &; Pavlogiannis, A. (2018). Algorithms for algebraic path properties in concurrent systems of constant treewidth components. ACM Transactions on Programming Languages and Systems. Association for Computing Machinery (ACM).https://doi.org/10.1145/3210257 
LibreCat: https://research-explorer.ista.ac.at/record/6009
DOI: 10.1145/3210257
WoS: 000444694800001
arXiv: 1510.07565

Chatterjee, K., Fu, H., Goharshady, A. K., &; Okati, N. (2018). Computational approaches for stochastic shortest path on succinct MDPs. In Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence (Vol. 2018, pp. 4700–4707). Stockholm, Sweden: IJCAI.https://doi.org/10.24963/ijcai.2018/653 
LibreCat: https://research-explorer.ista.ac.at/record/5977
DOI: 10.24963/ijcai.2018/653
WoS: 000764175404118
arXiv: 1804.08984

Kühnen, J., Scarselli, D., Schaner, M., &; Hof, B. (2018). Relaminarization by steady modification of the streamwise velocity profile in a pipe. Flow Turbulence and Combustion. Springer.https://doi.org/10.1007/s10494-018-9896-4 
LibreCat: https://research-explorer.ista.ac.at/record/422
DOI: 10.1007/s10494-018-9896-4
WoS: 000433113900004

Kühnen, J., Song, B., Scarselli, D., Budanur, N. B., Riedl, M., Willis, A.,https://doi.org/10.1038/s41567-017-0018-3__Hof, B. (2018). Destabilizing turbulence in pipe flow. Nature Physics. Nature Publishing Group.https://doi.org/10.1038/s41567-017-0018-3 
LibreCat: https://research-explorer.ista.ac.at/record/461
DOI: 10.1038/s41567-017-0018-3
WoS: 000429434100020

Prat, T., Hajny, J., Grunewald, W., Vasileva, M. K., Molnar, G., Tejos, R.,https://doi.org/10.1371/journal.pgen.1007177__Friml, J. (2018). WRK is a component of the transcriptional network mediating auxin feedback on PIN polarity. PLoS Genetics. Public Library of Science.https://doi.org/10.1371/journal.pgen.1007177 
LibreCat: https://research-explorer.ista.ac.at/record/449
DOI: 10.1371/journal.pgen.1007177
WoS: 000423718600034

Grones, P., Abas, M. F., Hajny, J., Jones, A., Waidmann, S., Kleine Vehn, J., &; Friml, J. (2018). PID/WAG-mediated phosphorylation of the Arabidopsis PIN3 auxin transporter mediates polarity switches during gravitropism. Scientific Reports. Springer.https://doi.org/10.1038/s41598-018-28188-1 
LibreCat: https://research-explorer.ista.ac.at/record/191
DOI: 10.1038/s41598-018-28188-1
WoS: 000437673200053

Abualia, R., Benková, E., &; Lacombe, B. (2018). Transporters and mechanisms of hormone transport in arabidopsis. Advances in Botanical Research. Elsevier.https://doi.org/10.1016/bs.abr.2018.09.007 
LibreCat: https://research-explorer.ista.ac.at/record/47
DOI: 10.1016/bs.abr.2018.09.007
WoS: 000453657800006