Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

3818 Publications


2019 | Thesis | IST-REx-ID: 6546 | OA
Valosková K. The role of a highly conserved major facilitator superfamily member in Drosophila embryonic macrophage migration. 2019. doi:10.15479/AT:ISTA:6546
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 5949 | OA
Käfer K, Malagon-Vina H, Dickerson D, et al. Disrupted-in-schizophrenia 1 overexpression disrupts hippocampal coding and oscillatory synchronization. Hippocampus. 2019;29(9):802-816. doi:10.1002/hipo.23076
View | Files available | DOI
 

2019 | Thesis | IST-REx-ID: 6825 | OA
Käfer K. The hippocampus and medial prefrontal cortex during flexible behavior. 2019. doi:10.15479/AT:ISTA:6825
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6328 | OA
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
View | Files available | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2019 | 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 | PubMed | Europe PMC
 

2019 | Thesis | IST-REx-ID: 6849 | OA
Rangel Guerrero DK. The role of CCK-interneurons in regulating hippocampal network dynamics. 2019. doi:10.15479/AT:ISTA:6849
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6260 | OA
Oochi A, Hajny J, Fukui K, et al. Pinstatic acid promotes auxin transport by inhibiting PIN internalization. Plant Physiology. 2019;180(2):1152-1165. doi:10.1104/pp.19.00201
View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6187 | OA
Valosková K, Biebl J, Roblek M, et al. A conserved major facilitator superfamily member orchestrates a subset of O-glycosylation to aid macrophage tissue invasion. eLife. 2019;8. doi:10.7554/elife.41801
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6351 | OA
Marhavá P, Hörmayer L, Yoshida S, Marhavý P, Benková E, Friml J. Re-activation of stem cell pathways for pattern restoration in plant wound healing. Cell. 2019;177(4):957-969.e13. doi:10.1016/j.cell.2019.04.015
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6943 | OA
Hörmayer L, Friml J. Targeted cell ablation-based insights into wound healing and restorative patterning. Current Opinion in Plant Biology. 2019;52:124-130. doi:10.1016/j.pbi.2019.08.006
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Conference Paper | IST-REx-ID: 6378 | OA
Chatterjee K, Goharshady AK, Pourdamghani A. Hybrid Mining: Exploiting blockchain’s computational power for distributed problem solving. In: Proceedings of the 34th ACM Symposium on Applied Computing. Vol Part F147772. ACM; 2019:374-381. doi:10.1145/3297280.3297319
View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 6175 | OA
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
View | Files available | DOI | arXiv
 

2019 | Journal Article | IST-REx-ID: 7158 | OA
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
View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 6056 | OA
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
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 7014 | OA
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
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 6380 | OA
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
View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 6490 | OA
Chatterjee K, Goharshady AK, Goharshady EK. The treewidth of smart contracts. In: Proceedings of the 34th ACM Symposium on Applied Computing. Vol Part F147772. ACM; :400-408. doi:10.1145/3297280.3297322
View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 6780 | OA
Huang M, Fu H, Chatterjee K, Goharshady AK. 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. ACM; 2019. doi:10.1145/3360555
View | Files available | DOI | arXiv
 

2019 | Conference Paper | IST-REx-ID: 10877 | OA
Frehse G, Abate A, Adzkiya D, et al. ARCH-COMP19 Category Report: Hybrid systems with piecewise constant dynamics. In: Frehse G, Althoff M, eds. ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems. Vol 61. EasyChair; 2019:1-13. doi:10.29007/rjwn
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 280
Gao Z, Daneva A, Salanenka Y, et al. KIRA1 and ORESARA1 terminate flower receptivity by promoting cell death in the stigma of Arabidopsis. Nature Plants. 2018;4(6):365-375. doi:10.1038/s41477-018-0160-7
View | DOI
 

Filters and Search Terms

extern<>1

Search

Filter Publications