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.

447 Publications


2019 | Journal Article | IST-REx-ID: 6187 | OA
K. Valosková et al., “A conserved major facilitator superfamily member orchestrates a subset of O-glycosylation to aid macrophage tissue invasion,” eLife, vol. 8. eLife Sciences Publications, 2019.
View | Files available | DOI
 

2019 | Thesis | IST-REx-ID: 6546 | OA
K. Valosková, “The role of a highly conserved major facilitator superfamily member in Drosophila embryonic macrophage migration,” IST Austria, 2019.
View | Files available | DOI
 

2019 | Thesis | IST-REx-ID: 6371 | OA
C. Igler, “On the nature of gene regulatory design - The biophysics of transcription factor binding shapes gene regulation,” IST Austria, 2019.
View | Files available | DOI
 

2019 | Thesis | IST-REx-ID: 6363 | OA
C. M. Espinoza Martinez, “Parvalbumin+ interneurons enable efficient pattern separation in hippocampal microcircuits,” IST Austria, 2019.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 5949 | OA
K. Käfer et al., “Disrupted-in-schizophrenia 1 overexpression disrupts hippocampal coding and oscillatory synchronization,” Hippocampus, vol. 29, no. 9. Wiley, pp. 802–816, 2019.
View | Files available | DOI
 

2019 | Thesis | IST-REx-ID: 6825 | OA
K. Käfer, “The hippocampus and medial prefrontal cortex during flexible behavior,” IST Austria, 2019.
View | Files available | DOI
 

2019 | Thesis | IST-REx-ID: 7132 | OA
C. Mckenzie, “Design and characterization of methods and biological components to realize synthetic neurotransmission,” IST Austria, 2019.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6486 | OA
J. Kühnen, D. Scarselli, and B. Hof, “Relaminarization of pipe flow by means of 3D-printed shaped honeycombs,” Journal of Fluids Engineering, vol. 141, no. 11. ASME, 2019.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 6228 | OA
D. Scarselli, J. Kühnen, and B. Hof, “Relaminarising pipe flow by wall movement,” Journal of Fluid Mechanics, vol. 867. Cambridge University Press, pp. 934–948, 2019.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2019 | Conference Paper | IST-REx-ID: 6780 | OA
M. Huang, H. Fu, K. Chatterjee, and A. K. 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 , Athens, Greece, 2019, vol. 3.
View | Files available | DOI | arXiv
 

2019 | Journal Article | IST-REx-ID: 7158 | OA
K. Chatterjee, A. K. Goharshady, P. Goyal, R. Ibsen-Jensen, and A. Pavlogiannis, “Faster algorithms for dynamic algebraic queries in basic RSMs with constant treewidth,” ACM Transactions on Programming Languages and Systems, vol. 41, no. 4. ACM, 2019.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 7014 | OA
K. Chatterjee, H. Fu, and A. K. Goharshady, “Non-polynomial worst-case analysis of recursive programs,” ACM Transactions on Programming Languages and Systems, vol. 41, no. 4. ACM, 2019.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2019 | Conference Paper | IST-REx-ID: 6378 | OA
K. Chatterjee, A. K. Goharshady, and A. Pourdamghani, “Hybrid Mining: Exploiting blockchain’s computational power for distributed problem solving,” in Proceedings of the 34th ACM Symposium on Applied Computing, Limassol, Cyprus, 2019, vol. Part F147772, pp. 374–381.
View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 6175 | OA
P. Wang, H. Fu, A. K. Goharshady, K. Chatterjee, X. Qin, and W. Shi, “Cost analysis of nondeterministic probabilistic programs,” in PLDI 2019: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, Phoenix, AZ, United States, 2019, pp. 204–220.
View | Files available | DOI | arXiv
 

2019 | Journal Article | IST-REx-ID: 6380 | OA
K. Chatterjee, A. K. Goharshady, N. Okati, and A. Pavlogiannis, “Efficient parameterized algorithms for data packing,” Proceedings of the ACM on Programming Languages, vol. 3, no. POPL. ACM, 2019.
View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 6490 | OA
K. Chatterjee, A. K. Goharshady, and E. K. Goharshady, “The treewidth of smart contracts,” in Proceedings of the 34th ACM Symposium on Applied Computing, Limassol, Cyprus, vol. Part F147772, pp. 400–408.
View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 6056 | OA
K. Chatterjee, A. K. Goharshady, and A. Pourdamghani, “Probabilistic smart contracts: Secure randomness on the blockchain,” in IEEE International Conference on Blockchain and Cryptocurrency, Seoul, Korea, 2019.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

Filters and Search Terms

year=2019

Search

Filter Publications