Quantitative analysis of smart contracts
K. Chatterjee, A.K. Goharshady, Y. Velner, in:, Springer, 2018, pp. 739–767.
LibreCat: https://research-explorer.ista.ac.at/record/311
DOI: 10.1007/978-3-319-89884-1_26

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.
LibreCat: https://research-explorer.ista.ac.at/record/6340
DOI: 10.1109/Cybermatics_2018.2018.00231
WoS: 000481634500196
arXiv: 1805.09104

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).
LibreCat: https://research-explorer.ista.ac.at/record/6009
DOI: 10.1145/3210257
WoS: 000444694800001
arXiv: 1510.07565

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.
LibreCat: https://research-explorer.ista.ac.at/record/5977
DOI: 10.24963/ijcai.2018/653
WoS: 000764175404118
arXiv: 1804.08984

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

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

WRK 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).
LibreCat: https://research-explorer.ista.ac.at/record/449
DOI: 10.1371/journal.pgen.1007177
WoS: 000423718600034

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).
LibreCat: https://research-explorer.ista.ac.at/record/191
DOI: 10.1038/s41598-018-28188-1
WoS: 000437673200053

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

Chemokines and integrins independently tune actin flow and substrate friction during intranodal migration of T cells
M. Hons, A. Kopf, R. Hauschild, A.F. Leithner, F.R. Gärtner, J. Abe, J. Renkawitz, J. Stein, M.K. Sixt, Nature Immunology 19 (2018) 606–616.
LibreCat: https://research-explorer.ista.ac.at/record/15
DOI: 10.1038/s41590-018-0109-z
WoS: 000433041500026
PMID: 29777221

Incorrect trafficking route leads to autism
X. Contreras, S. Hippenmeyer, Brain a Journal of Neurology 141 (2018) 2542–2544.
LibreCat: https://research-explorer.ista.ac.at/record/28
DOI: 10.1093/brain/awy218
WoS: 000446548100012

Real-time analysis of auxin response, cell wall pH and elongation in Arabidopsis thaliana Hypocotyls
L. Li, G. Krens, M. Fendrych, J. Friml, Bio-Protocol 8 (2018).
LibreCat: https://research-explorer.ista.ac.at/record/442
DOI: 10.21769/BioProtoc.2685

Haploinsufficiency of the intellectual disability gene SET disturbs developmental gene expression and cognition
E. Deliu, N. Arecco, J. Morandell, C. Dotter, X. Contreras, C. Girardot, E. Käsper, A. Kozlova, K. Kishi, I. Chiaradia, K. Noh, G. Novarino, Nature Neuroscience 21 (2018) 1717–1727.
LibreCat: https://research-explorer.ista.ac.at/record/3
DOI: 10.1038/s41593-018-0266-2
WoS: 000451324700010

Indirect reciprocity with private, noisy, and incomplete information
C. Hilbe, L. Schmid, J. Tkadlec, K. Chatterjee, M. Nowak, PNAS 115 (2018) 12241–12246.
LibreCat: https://research-explorer.ista.ac.at/record/2
DOI: 10.1073/pnas.1810565115
WoS: 000451351000063
PMID: 30429320

Evolutionary potential of transcription factors for gene regulatory rewiring
C. Igler, M. Lagator, G. Tkadik, J.P. Bollback, C.C. Guet, Nature Ecology and Evolution 2 (2018) 1633–1643.
LibreCat: https://research-explorer.ista.ac.at/record/67
DOI: 10.1038/s41559-018-0651-y
WoS: 000447947600021

Data for the paper Evolutionary potential of transcription factors for gene regulatory rewiring
C. Igler, M. Lagator, G. Tkadik, J.P. Bollback, C.C. Guet, (2018).
LibreCat: https://research-explorer.ista.ac.at/record/5585
DOI: 10.15479/AT:ISTA:108

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).
LibreCat: https://research-explorer.ista.ac.at/record/5914
DOI: 10.1523/ENEURO.0087-18.2018
WoS: 000443994700007

Viewpoint: Microwave quantum states beat the heat
J.M. Fink, Physics 10 (2017).
LibreCat: https://research-explorer.ista.ac.at/record/1013
DOI: 10.1103/Physics.10.32

A new proof rule for almost-sure termination
A. Mciver, C. Morgan, B.L. Kaminski, J.P. Katoen, Proceedings of the ACM on Programming Languages 2 (2017).
LibreCat: https://research-explorer.ista.ac.at/record/10418
DOI: 10.1145/3158121
arXiv: 1711.03588

An application of stochastic differential equations to evolutionary algorithms
T. Paixao, J. Pérez Heredia, in:, Proceedings of the 14th ACM/SIGEVO Conference on Foundations of Genetic Algorithms, ACM, 2017, pp. 3–11.
LibreCat: https://research-explorer.ista.ac.at/record/1112
DOI: 10.1145/3040718.3040729