Please note that IST 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.

441 Publications


2019 | Thesis | IST-REx-ID: 6269 | OA
Narasimhan, Madhumitha. “Clathrin-Mediated Endocytosis, Post-Endocytic Trafficking and Their Regulatory Controls in Plants .” IST Austria, 2019. https://doi.org/10.15479/at:ista:th1075.
View | Files available | DOI
 

2019 | Thesis | IST-REx-ID: 6947 | OA
Assen, Frank P. “Lymph Node Mechanics: Deciphering the Interplay between Stroma Contractility, Morphology and Lymphocyte Trafficking.” IST Austria, 2019. https://doi.org/10.15479/AT:ISTA:6947.
View | Files available | DOI
 

2019 | Thesis | IST-REx-ID: 6849 | OA
Rangel Guerrero, Dámaris K. “The Role of CCK-Interneurons in Regulating Hippocampal Network Dynamics.” IST Austria, 2019. https://doi.org/10.15479/AT:ISTA:6849.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6187 | OA
Valosková, Katarina, Julia Biebl, Marko Roblek, Shamsi Emtenani, Attila György, Michaela Misova, Aparna Ratheesh, et al. “A Conserved Major Facilitator Superfamily Member Orchestrates a Subset of O-Glycosylation to Aid Macrophage Tissue Invasion.” ELife. eLife Sciences Publications, 2019. https://doi.org/10.7554/elife.41801.
View | Files available | DOI
 

2019 | Thesis | IST-REx-ID: 6546 | OA
Valosková, Katarina. “The Role of a Highly Conserved Major Facilitator Superfamily Member in Drosophila Embryonic Macrophage Migration.” IST Austria, 2019. https://doi.org/10.15479/AT:ISTA:6546.
View | Files available | DOI
 

2019 | Thesis | IST-REx-ID: 6371 | OA
Igler, Claudia. “On the Nature of Gene Regulatory Design - The Biophysics of Transcription Factor Binding Shapes Gene Regulation.” IST Austria, 2019. https://doi.org/10.15479/AT:ISTA:6371.
View | Files available | DOI
 

2019 | Thesis | IST-REx-ID: 6363 | OA
Espinoza Martinez, Claudia M. “Parvalbumin+ Interneurons Enable Efficient Pattern Separation in Hippocampal Microcircuits.” IST Austria, 2019. https://doi.org/10.15479/AT:ISTA:6363.
View | Files available | DOI
 

2019 | Thesis | IST-REx-ID: 6435 | OA
Casillas Perez, Barbara E. “Collective Defenses of Garden Ants against a Fungal Pathogen.” IST Austria, 2019. https://doi.org/10.15479/AT:ISTA:6435.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 5949 | OA
Käfer, Karola, Hugo Malagon-Vina, Desiree Dickerson, Joseph O’Neill, Svenja V. Trossbach, Carsten Korth, and Jozsef L Csicsvari. “Disrupted-in-Schizophrenia 1 Overexpression Disrupts Hippocampal Coding and Oscillatory Synchronization.” Hippocampus. Wiley, 2019. https://doi.org/10.1002/hipo.23076.
View | Files available | DOI
 

2019 | Thesis | IST-REx-ID: 6825 | OA
Käfer, Karola. “The Hippocampus and Medial Prefrontal Cortex during Flexible Behavior.” IST Austria, 2019. https://doi.org/10.15479/AT:ISTA:6825.
View | Files available | DOI
 

2019 | Thesis | IST-REx-ID: 7132 | OA
Mckenzie, Catherine. “Design and Characterization of Methods and Biological Components to Realize Synthetic Neurotransmission.” IST Austria, 2019. https://doi.org/10.15479/at:ista:7132.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6486 | OA
Kühnen, Jakob, Davide Scarselli, and Björn Hof. “Relaminarization of Pipe Flow by Means of 3D-Printed Shaped Honeycombs.” Journal of Fluids Engineering. ASME, 2019. https://doi.org/10.1115/1.4043494.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 6228 | OA
Scarselli, Davide, Jakob Kühnen, and Björn Hof. “Relaminarising Pipe Flow by Wall Movement.” Journal of Fluid Mechanics. Cambridge University Press, 2019. https://doi.org/10.1017/jfm.2019.191.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2019 | Conference Paper | IST-REx-ID: 6378 | OA
Chatterjee, Krishnendu, Amir Kafshdar Goharshady, and Arash Pourdamghani. “Hybrid Mining: Exploiting Blockchain’s Computational Power for Distributed Problem Solving.” In Proceedings of the 34th ACM Symposium on Applied Computing, Part F147772:374–81. ACM, 2019. https://doi.org/10.1145/3297280.3297319.
View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 6780 | OA
Huang, Mingzhang, Hongfei Fu, Krishnendu Chatterjee, and Amir Kafshdar Goharshady. “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. https://doi.org/10.1145/3360555.
View | Files available | DOI | arXiv
 

2019 | Conference Paper | IST-REx-ID: 6175 | OA
Wang, Peixin, Hongfei Fu, Amir Kafshdar Goharshady, Krishnendu Chatterjee, Xudong Qin, and Wenjun Shi. “Cost Analysis of Nondeterministic Probabilistic Programs.” In PLDI 2019: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 204–20. Association for Computing Machinery, 2019. https://doi.org/10.1145/3314221.3314581.
View | Files available | DOI | arXiv
 

2019 | Conference Paper | IST-REx-ID: 6490 | OA
Chatterjee, Krishnendu, Amir Kafshdar Goharshady, and Ehsan Kafshdar Goharshady. “The Treewidth of Smart Contracts.” In Proceedings of the 34th ACM Symposium on Applied Computing, Part F147772:400–408. ACM, n.d. https://doi.org/10.1145/3297280.3297322.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 7158 | OA
Chatterjee, Krishnendu, Amir Kafshdar Goharshady, Prateesh Goyal, Rasmus Ibsen-Jensen, and Andreas Pavlogiannis. “Faster Algorithms for Dynamic Algebraic Queries in Basic RSMs with Constant Treewidth.” ACM Transactions on Programming Languages and Systems. ACM, 2019. https://doi.org/10.1145/3363525.
View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 6056 | OA
Chatterjee, Krishnendu, Amir Kafshdar Goharshady, and Arash Pourdamghani. “Probabilistic Smart Contracts: Secure Randomness on the Blockchain.” In IEEE International Conference on Blockchain and Cryptocurrency. IEEE, 2019. https://doi.org/10.1109/BLOC.2019.8751326.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 7014 | OA
Chatterjee, Krishnendu, Hongfei Fu, and Amir Kafshdar Goharshady. “Non-Polynomial Worst-Case Analysis of Recursive Programs.” ACM Transactions on Programming Languages and Systems. ACM, 2019. https://doi.org/10.1145/3339984.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

Filters and Search Terms

year=2019

Search

Filter Publications