M. J. Case, “From the left to the right: A tale of asymmetries, environments, and hippocampal development,” Institute of Science and Technology Austria, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/51
DOI: 10.15479/AT:ISTA:th_1032

D.-C. Tarlungeanu, “The branched chain amino acids in autism spectrum disorders ,” Institute of Science and Technology Austria, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/395
DOI: 10.15479/AT:ISTA:th_992

S. Laukoter, “Role of genomic imprinting in cerebral cortex development,” Institute of Science and Technology Austria, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/10
DOI: 10.15479/AT:ISTA:th1057

A. F. Leithner, “Branched actin networks in dendritic cell biology,” Institute of Science and Technology Austria, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/323
DOI: 10.15479/AT:ISTA:th_998

A. Hurny, “Identification and characterization of novel auxin-cytokinin cross-talk components,” Institute of Science and Technology Austria, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/539
DOI: 10.15479/AT:ISTA:th_930

I. Gridchyn, “Reactivation content is important for consolidation of spatial memory,” Institute of Science and Technology Austria, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/48
DOI: 10.15479/AT:ISTA:th_1042

V. Belyaeva, “Transcriptional regulation of macrophage migration in the Drosophila melanogaster embryo ,” Institute of Science and Technology Austria, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/9
DOI: 10.15479/AT:ISTA:th1064

C. Mckenzie, “Design and characterization of methods and biological components to realize synthetic neurotransmission ,” Institute of Science and Technology Austria, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/6266
DOI: 10.15479/at:ista:th_1055

D. Capek, “Optogenetic Frizzled 7 reveals a permissive function of Wnt/PCP signaling in directed mesenchymal cell migration,” Institute of Science and Technology Austria, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/50
DOI: 10.15479/AT:ISTA:TH_1031

M. Steinrück, “The influence of sequence context on the evolution of bacterial gene expression,” Institute of Science and Technology Austria, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/26
DOI: 10.15479/AT:ISTA:th1059

A. Hollmann, D. Jirovec, M. Kucharski, D. Kissinger, G. Fischer, and L. R. Schreiber, “GHz-voltage controlled oscillator operating at 4 K,” Review of Scientific Instruments, vol. 89, no. 11. AIP Publishing, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/5816
DOI: 10.1063/1.5038258
WoS: 000451735700054
arXiv: 1804.09522

M. Lukacisinova, “Genetic determinants of antibiotic resistance evolution,” Institute of Science and Technology Austria, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/6263
DOI: 10.15479/AT:ISTA:th1072

A. György et al., “Tools allowing independent visualization and genetic manipulation of Drosophila melanogaster macrophages and surrounding tissues,” : Genes, Genomes, Genetics, vol. 8, no. 3. Genetics Society of America, pp. 845–857, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/544
DOI: 10.1534/g3.117.300452
WoS: 000426693300011

R. Luján et al., “Differential association of GABAB receptors with their effector ion channels in Purkinje cells,” Brain Structure and Function, vol. 223, no. 3. Springer, pp. 1565–1587, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/612
DOI: 10.1007/s00429-017-1568-y
WoS: 000428419500030

C. Espinoza Martinez, J. Guzmán, X. Zhang, and P. M. Jonas, “Parvalbumin+ interneurons obey unique connectivity rules and establish a powerful lateral-inhibition microcircuit in dentate gyrus,” Nature Communications, vol. 9, no. 1. Nature Publishing Group, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/21
DOI: 10.1038/s41467-018-06899-3
WoS: 000449069700009

K. Chatterjee, A. K. Goharshady, R. Ibsen-Jensen, and Y. Velner, “Ergodic mean-payoff games for the analysis of attacks in crypto-currencies,” presented at the CONCUR: Conference on Concurrency Theory, Beijing, China, 2018, vol. 118.
LibreCat: https://research-explorer.ista.ac.at/record/66
DOI: 10.4230/LIPIcs.CONCUR.2018.11
arXiv: 1806.03108

K. Chatterjee, A. K. Goharshady, and Y. Velner, “Quantitative analysis of smart contracts,” presented at the ESOP: European Symposium on Programming, Thessaloniki, Greece, 2018, vol. 10801, pp. 739–767.
LibreCat: https://research-explorer.ista.ac.at/record/311
DOI: 10.1007/978-3-319-89884-1_26

A. K. Goharshady, A. Behrouz, and K. Chatterjee, “Secure Credit Reporting on the Blockchain,” in Proceedings of the IEEE International Conference on Blockchain, Halifax, Canada, 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

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

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