Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
5473 Publications
2019 | Published | Journal Article | IST-REx-ID: 5949 | 
Käfer, K., Malagon-Vina, H., Dickerson, D., O’Neill, J., Trossbach, S. V., Korth, C., & Csicsvari, J. L. (2019). Disrupted-in-schizophrenia 1 overexpression disrupts hippocampal coding and oscillatory synchronization. Hippocampus. Wiley. https://doi.org/10.1002/hipo.23076
[Published Version]
View
| Files available
| DOI
| WoS
2019 | Published | Thesis | IST-REx-ID: 6363 |
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
[Published Version]
View
| Files available
| DOI
2019 | Published | Journal Article | IST-REx-ID: 6848 |
Kampjut, D., & Sazanov, L. A. (2019). Structure and mechanism of mitochondrial proton-translocating transhydrogenase. Nature. Springer Nature. https://doi.org/10.1038/s41586-019-1519-2
[Submitted Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2019 | Published | Journal Article | IST-REx-ID: 6508 |
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
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
2019 | Published | Journal Article | IST-REx-ID: 7001 |
Schwayer, C., Shamipour, S., Pranjic-Ferscha, K., Schauer, A., Balda, M., Tada, M., … 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
[Submitted Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2019 | Published | Thesis | IST-REx-ID: 6891 |
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
[Published Version]
View
| Files available
| DOI
2019 | Published | Journal Article | IST-REx-ID: 6328 |
Renkawitz, J., Kopf, A., Stopp, J. A., de Vries, I., Driscoll, M. K., Merrin, J., … 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
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| WoS
| PubMed | Europe PMC
2019 | Published | Journal Article | IST-REx-ID: 6486 |
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
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 | Published | Journal Article | IST-REx-ID: 6228 |
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
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 | Published | Journal Article | IST-REx-ID: 6877
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
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: 6189 |
Agrawal, N., Choueiri, G. H., & Hof, B. (2019). Transition to turbulence in particle laden flows. Physical Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.122.114502
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| 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: 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: 6490 |
Chatterjee, K., Goharshady, A. K., & Goharshady, E. K. (2019). The treewidth of smart contracts. In Proceedings of the 34th ACM Symposium on Applied Computing (Vol. Part F147772, pp. 400–408). Limassol, Cyprus: ACM. https://doi.org/10.1145/3297280.3297322
[Submitted Version]
View
| Files available
| DOI
| WoS
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 | Journal Article | IST-REx-ID: 7158 |
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
[Submitted Version]
View
| Files available
| DOI
| WoS
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 | 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: 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