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.
6474 Publications
2018 |
Published |
Thesis | PhD |
IST-REx-ID: 51 |
Case MJ. From the left to the right: A tale of asymmetries, environments, and hippocampal development. 2018. doi:10.15479/AT:ISTA:th_1032
[Published Version]
View
| Files available
| DOI
2018 |
Published |
Thesis | PhD |
IST-REx-ID: 10 |
Laukoter S. Role of genomic imprinting in cerebral cortex development. 2018:1-139. doi:10.15479/AT:ISTA:th1057
[Published Version]
View
| Files available
| DOI
2018 |
Published |
Thesis | PhD |
IST-REx-ID: 9 |
Belyaeva V. Transcriptional regulation of macrophage migration in the Drosophila melanogaster embryo . 2018. doi:10.15479/AT:ISTA:th1064
[Published Version]
View
| Files available
| DOI
2018 |
Published |
Thesis | PhD |
IST-REx-ID: 48 |
Gridchyn I. Reactivation content is important for consolidation of spatial memory. 2018. doi:10.15479/AT:ISTA:th_1042
[Published Version]
View
| Files available
| DOI
2018 |
Published |
Thesis | PhD |
IST-REx-ID: 395 |
Tarlungeanu D-C. The branched chain amino acids in autism spectrum disorders . 2018. doi:10.15479/AT:ISTA:th_992
[Published Version]
View
| Files available
| DOI
2018 |
Published |
Thesis | PhD |
IST-REx-ID: 539 |
Hurny A. Identification and characterization of novel auxin-cytokinin cross-talk components. 2018. doi:10.15479/AT:ISTA:th_930
[Published Version]
View
| Files available
| DOI
2018 |
Published |
Thesis | PhD |
IST-REx-ID: 6266 |
Mckenzie C. Design and characterization of methods and biological components to realize synthetic neurotransmission . 2018. doi:10.15479/at:ista:th_1055
[Published Version]
View
| Files available
| DOI
2018 |
Published |
Thesis | PhD |
IST-REx-ID: 26 |
Steinrück M. The influence of sequence context on the evolution of bacterial gene expression. 2018. doi:10.15479/AT:ISTA:th1059
[Published Version]
View
| Files available
| DOI
2018 |
Published |
Journal Article |
IST-REx-ID: 28
Contreras X, Hippenmeyer S. Incorrect trafficking route leads to autism. Brain a journal of neurology. 2018;141(9):2542-2544. doi:10.1093/brain/awy218
View
| Files available
| DOI
| WoS
2018 |
Published |
Thesis | PhD |
IST-REx-ID: 50 |
Capek D. Optogenetic Frizzled 7 reveals a permissive function of Wnt/PCP signaling in directed mesenchymal cell migration. 2018. doi:10.15479/AT:ISTA:TH_1031
[Published Version]
View
| Files available
| DOI
2018 |
Published |
Conference Paper |
IST-REx-ID: 66 |
Chatterjee K, Goharshady AK, Ibsen-Jensen R, Velner Y. Ergodic mean-payoff games for the analysis of attacks in crypto-currencies. In: Vol 118. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2018. doi:10.4230/LIPIcs.CONCUR.2018.11
[Published Version]
View
| Files available
| DOI
| arXiv
2018 |
Published |
Conference Paper |
IST-REx-ID: 6340 |
Goharshady AK, Behrouz A, Chatterjee K. Secure Credit Reporting on the Blockchain. In: Proceedings of the IEEE International Conference on Blockchain. IEEE; 2018:1343-1348. doi:10.1109/Cybermatics_2018.2018.00231
[Submitted Version]
View
| Files available
| DOI
| WoS
| arXiv
2018 |
Published |
Conference Paper |
IST-REx-ID: 311 |
Chatterjee K, Goharshady AK, Velner Y. Quantitative analysis of smart contracts. In: Vol 10801. Springer; 2018:739-767. doi:10.1007/978-3-319-89884-1_26
[Published Version]
View
| Files available
| DOI
2018 |
Published |
Journal Article |
IST-REx-ID: 6009 |
Chatterjee K, Ibsen-Jensen R, Goharshady AK, Pavlogiannis A. Algorithms for algebraic path properties in concurrent systems of constant treewidth components. ACM Transactions on Programming Languages and Systems. 2018;40(3). doi:10.1145/3210257
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2018 |
Published |
Conference Paper |
IST-REx-ID: 5977 |
Chatterjee K, Fu H, Goharshady AK, Okati N. Computational approaches for stochastic shortest path on succinct MDPs. In: Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence. Vol 2018. IJCAI; 2018:4700-4707. doi:10.24963/ijcai.2018/653
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2018 |
Published |
Journal Article |
IST-REx-ID: 442 |
Li L, Krens G, Fendrych M, Friml J. Real-time analysis of auxin response, cell wall pH and elongation in Arabidopsis thaliana Hypocotyls. Bio-protocol. 2018;8(1). doi:10.21769/BioProtoc.2685
[Published Version]
View
| Files available
| DOI
2017 |
Published |
Journal Article |
IST-REx-ID: 1146
Sun W, Zhai M-Z, Li D, et al. Comparison of the effects of nicotinic acid and nicotinamide degradation on plasma betaine and choline levels. Clinical Nutrition. 2017;36(4):1136-1142. doi:10.1016/j.clnu.2016.07.016
View
| DOI
| WoS
2017 |
Published |
Journal Article |
IST-REx-ID: 1152 |
Gajda-Zagorska EP, Schaefer R, Smołka M, Pardo D, Alvarez Aramberri J. A multi objective memetic inverse solver reinforced by local optimization methods. Journal of Computational Science. 2017;18:85-94. doi:10.1016/j.jocs.2016.06.007
[Submitted Version]
View
| Files available
| DOI
| WoS
2017 |
Published |
Journal Article |
IST-REx-ID: 1159 |
Steenackers W, Klíma P, Quareshy M, et al. Cis-cinnamic acid is a novel natural auxin efflux inhibitor that promotes lateral root formation. Plant Physiology. 2017;173(1):552-565. doi:10.1104/pp.16.00943
[Submitted Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2017 |
Published |
Journal Article |
IST-REx-ID: 1160 |
Altmeyer S, Do Y, Lai Y. Dynamics of ferrofluidic flow in the Taylor-Couette system with a small aspect ratio. Scientific Reports. 2017;7. doi:10.1038/srep40012
[Published Version]
View
| Files available
| DOI
| WoS