Espinoza Martinez, C. (2019). Parvalbumin+ interneurons enable efficient pattern separation in hippocampal microcircuits. Institute of Science and Technology Austria.https://doi.org/10.15479/AT:ISTA:6363 

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 

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 

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 

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 7772, pp. 374–381). Limassol, Cyprus: ACM.https://doi.org/10.1145/3297280.3297319 

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 

Chatterjee, K., Goharshady, A. K., &; Goharshady, E. K. (n.d.). The treewidth of smart contracts. In Proceedings of the 34th ACM Symposium on Applied Computing (Vol. Part 7772, pp. 400–408). Limassol, Cyprus: ACM.https://doi.org/10.1145/3297280.3297322 

Chatterjee, K., Goharshady, A. K., Goyal, P., Ibsen-Jensen, R., &; Pavlogiannis, A. (2019). Faster algorithms for dynamic algebraic queries in basic RSMs with constant treewidth. ACM Transactions on Programming Languages and Systems. ACM.https://doi.org/10.1145/3363525 

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 

Kühnen, J., Scarselli, D., &; Hof, B. (2019). Relaminarization of pipe flow by means of 3D-printed shaped honeycombs. Journal of Fluids Engineering. ASME.https://doi.org/10.1115/1.4043494 

Scarselli, D., Kühnen, J., &; Hof, B. (2019). Relaminarising pipe flow by wall movement. Journal of Fluid Mechanics. Cambridge University Press.https://doi.org/10.1017/jfm.2019.191 

Oochi, A., Hajny, J., Fukui, K., Nakao, Y., Gallei, M. C., Quareshy, M.,https://doi.org/10.1104/pp.19.00201__Hayashi, K. (2019). Pinstatic acid promotes auxin transport by inhibiting PIN internalization. Plant Physiology. ASPB.https://doi.org/10.1104/pp.19.00201 

Shamipour, S., Kardos, R., Xue, S., Hof, B., Hannezo, E. B., &; Heisenberg, C.-P. J. (2019). Bulk actin dynamics drive phase segregation in zebrafish oocytes. Cell. Elsevier.https://doi.org/10.1016/j.cell.2019.04.030 

Schwayer, C., Shamipour, S., Pranjic-Ferscha, K., Schauer, A., Balda, M., Tada, M.,https://doi.org/10.1016/j.cell.2019.10.006__Heisenberg, C.-P. J. (2019). Mechanosensation of tight junctions depends on ZO-1 phase separation and flow. Cell. Cell Press.https://doi.org/10.1016/j.cell.2019.10.006 

Kopf, A. (2019). The implication of cytoskeletal dynamics on leukocyte migration. Institute of Science and Technology Austria.https://doi.org/10.15479/AT:ISTA:6891 

Renkawitz, J., Kopf, A., Stopp, J. A., de Vries, I., Driscoll, M. K., Merrin, J.,https://doi.org/10.1038/s41586-019-1087-5__Sixt, M. K. (2019). Nuclear positioning facilitates amoeboid migration along the path of least resistance. Nature. Springer Nature.https://doi.org/10.1038/s41586-019-1087-5 

Kopf, A., &; Sixt, M. K. (2019). The neural crest pitches in to remove apoptotic debris. Cell. Elsevier.https://doi.org/10.1016/j.cell.2019.08.047 

Contreras, X., &; Hippenmeyer, S. (2019). Memo1 tiles the radial glial cell grid. Neuron. Elsevier.https://doi.org/10.1016/j.neuron.2019.08.021 

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 

Hafner, C., Schumacher, C., Knoop, E., Auzinger, T., Bickel, B., &; Bächer, M. (2019). X-CAD: Optimizing CAD Models with Extended Finite Elements. ACM Transactions on Graphics. ACM.https://doi.org/10.1145/3355089.3356576