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.
5736 Publications
2019 | Published | Conference Paper | IST-REx-ID: 6175 | 
Wang P, Fu H, Goharshady AK, Chatterjee K, Qin X, Shi W. Cost analysis of nondeterministic probabilistic programs. In: PLDI 2019: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation. Association for Computing Machinery; 2019:204-220. doi:10.1145/3314221.3314581
[Submitted Version]
View
| Files available
| DOI
| WoS
| arXiv
2019 | Published | Journal Article | IST-REx-ID: 7158 |
Chatterjee K, Goharshady AK, Goyal P, Ibsen-Jensen R, Pavlogiannis A. Faster algorithms for dynamic algebraic queries in basic RSMs with constant treewidth. ACM Transactions on Programming Languages and Systems. 2019;41(4). doi:10.1145/3363525
[Submitted Version]
View
| Files available
| DOI
| WoS
2019 | Published | Conference Paper | IST-REx-ID: 6056 |
Chatterjee K, Goharshady AK, Pourdamghani A. Probabilistic smart contracts: Secure randomness on the blockchain. In: IEEE International Conference on Blockchain and Cryptocurrency. IEEE; 2019. doi: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 AK. Non-polynomial worst-case analysis of recursive programs. ACM Transactions on Programming Languages and Systems. 2019;41(4). doi:10.1145/3339984
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 | Published | Journal Article | IST-REx-ID: 6380 |
Chatterjee K, Goharshady AK, Okati N, Pavlogiannis A. Efficient parameterized algorithms for data packing. Proceedings of the ACM on Programming Languages. 2019;3(POPL). doi:10.1145/3290366
[Published Version]
View
| Files available
| DOI
2019 | Published | Thesis | IST-REx-ID: 6891 |
Kopf A. The implication of cytoskeletal dynamics on leukocyte migration. 2019. doi:10.15479/AT:ISTA:6891
[Published Version]
View
| Files available
| DOI
2019 | Published | Thesis | IST-REx-ID: 6849 |
Rangel Guerrero DK. The role of CCK-interneurons in regulating hippocampal network dynamics. 2019. doi:10.15479/AT:ISTA:6849
[Published Version]
View
| Files available
| DOI
2019 | Published | Journal Article | IST-REx-ID: 6877
Kopf A, Sixt MK. The neural crest pitches in to remove apoptotic debris. Cell. 2019;179(1):51-53. doi:10.1016/j.cell.2019.08.047
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2019 | Published | Thesis | IST-REx-ID: 6435 |
Casillas Perez BE. Collective defenses of garden ants against a fungal pathogen. 2019. doi:10.15479/AT:ISTA:6435
[Published Version]
View
| Files available
| DOI
2019 | Published | Thesis | IST-REx-ID: 6392 |
Lukacisin M. Quantitative investigation of gene expression principles through combinatorial drug perturbation and theory. 2019. doi:10.15479/AT:ISTA:6392
[Published Version]
View
| Files available
| DOI
2019 | Published | Thesis | IST-REx-ID: 6269 |
Narasimhan M. Clathrin-Mediated endocytosis, post-endocytic trafficking and their regulatory controls in plants . 2019. doi:10.15479/at:ista:th1075
[Published Version]
View
| Files available
| DOI
2019 | Published | Thesis | IST-REx-ID: 7132 |
Mckenzie C. Design and characterization of methods and biological components to realize synthetic neurotransmission. 2019. doi:10.15479/at:ista:7132
[Published Version]
View
| Files available
| DOI
2019 | Published | Thesis | IST-REx-ID: 6947 |
Assen FP. Lymph node mechanics: Deciphering the interplay between stroma contractility, morphology and lymphocyte trafficking. 2019. doi:10.15479/AT:ISTA:6947
[Published Version]
View
| Files available
| DOI
2019 | Published | Journal Article | IST-REx-ID: 6848 |
Kampjut D, Sazanov LA. Structure and mechanism of mitochondrial proton-translocating transhydrogenase. Nature. 2019;573(7773):291–295. doi:10.1038/s41586-019-1519-2
[Submitted Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2019 | Published | Journal Article | IST-REx-ID: 7391 |
Tabata S, Jevtic M, Kurashige N, et al. Electron microscopic detection of single membrane proteins by a specific chemical labeling. iScience. 2019;22(12):256-268. doi:10.1016/j.isci.2019.11.025
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2019 | Published | Journal Article | IST-REx-ID: 6508 |
Shamipour, Shayan, Bulk actin dynamics drive phase segregation in zebrafish oocytes. Cell 177 (6). 2019
[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, et al. Mechanosensation of tight junctions depends on ZO-1 phase separation and flow. Cell. 2019;179(4):937-952.e18. doi:10.1016/j.cell.2019.10.006
[Submitted Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2019 | Published | Journal Article | IST-REx-ID: 6486 |
Kühnen, Jakob, Relaminarization of pipe flow by means of 3D-printed shaped honeycombs. Journal of Fluids Engineering 141 (11). 2019
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 | Published | Journal Article | IST-REx-ID: 6228 |
Scarselli, Davide, Relaminarising pipe flow by wall movement. Journal of Fluid Mechanics 867. 2019
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 | Published | Journal Article | IST-REx-ID: 6328 |
Renkawitz J, Kopf A, Stopp JA, et al. Nuclear positioning facilitates amoeboid migration along the path of least resistance. Nature. 2019;568:546-550. doi:10.1038/s41586-019-1087-5
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| WoS
| PubMed | Europe PMC