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.

7346 Publications


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

2018 | Thesis | IST-REx-ID: 50 | OA
D. Capek, “Optogenetic Frizzled 7 reveals a permissive function of Wnt/PCP signaling in directed mesenchymal cell migration,” IST Austria, 2018.
View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 26 | OA
M. Steinrück, “The influence of sequence context on the evolution of bacterial gene expression,” IST Austria, 2018.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 449 | OA
T. Prat et al., “WRKY23 is a component of the transcriptional network mediating auxin feedback on PIN polarity,” PLoS Genetics, vol. 14, no. 1. Public Library of Science, 2018.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 191 | OA
P. Grones et al., “PID/WAG-mediated phosphorylation of the Arabidopsis PIN3 auxin transporter mediates polarity switches during gravitropism,” Scientific Reports, vol. 8, no. 1. Springer, 2018.
View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 6263 | OA
M. Lukacisinova, “Genetic determinants of antibiotic resistance evolution,” IST Austria, 2018.
View | Files available | DOI
 

2018 | Conference Paper | IST-REx-ID: 66 | OA
K. Chatterjee, A. K. Goharshady, R. Ibsen-Jensen, and Y. Velner, “Ergodic mean-payoff games for the analysis of attacks in crypto-currencies,” presented at the CONCUR: Conference on Concurrency Theory, Beijing, China, 2018, vol. 118.
View | Files available | DOI | arXiv
 

2018 | Conference Paper | IST-REx-ID: 6340 | OA
A. K. Goharshady, A. Behrouz, and K. Chatterjee, “Secure Credit Reporting on the Blockchain,” in Proceedings of the IEEE International Conference on Blockchain, Halifax, Canada, 2018, pp. 1343–1348.
View | Files available | DOI | arXiv
 

2018 | Journal Article | IST-REx-ID: 6009 | OA
K. Chatterjee, R. Ibsen-Jensen, A. K. Goharshady, and A. Pavlogiannis, “Algorithms for algebraic path properties in concurrent systems of constant treewidth components,” ACM Transactions on Programming Languages and Systems, vol. 40, no. 3. Association for Computing Machinery (ACM), 2018.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2018 | Conference Paper | IST-REx-ID: 5977 | OA
K. Chatterjee, H. Fu, A. K. Goharshady, and N. Okati, “Computational approaches for stochastic shortest path on succinct MDPs,” in Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, Stockholm, Sweden, 2018, vol. 2018, pp. 4700–4707.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2018 | Conference Paper | IST-REx-ID: 311 | OA
K. Chatterjee, A. K. Goharshady, and Y. Velner, “Quantitative analysis of smart contracts,” presented at the ESOP: European Symposium on Programming, Thessaloniki, Greece, 2018, vol. 10801, pp. 739–767.
View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 313 | OA
N. Camus et al., “Experimental evidence for Wigner’s tunneling time,” presented at the Annual International Laser Physics Workshop LPHYS, Kazan, Russian Federation, 2017, vol. 999, no. 1.
View | Files available | DOI | arXiv
 

2017 | Conference Paper | IST-REx-ID: 787 | OA
D.-A. Alistarh, J. Aspnes, D. Eisenstat, R. Rivest, and R. Gelashvili, “Time-space trade-offs in population protocols,” presented at the SODA: Symposium on Discrete Algorithms, 2017, pp. 2560–2579.
View | DOI | Download None (ext.)
 

2017 | Conference Paper | IST-REx-ID: 788 | OA
D.-A. Alistarh, B. Dudek, A. Kosowski, D. Soloveichik, and P. Uznański, “Robust detection in leak-prone population protocols,” presented at the DNA Computing and Molecular Programming, 2017, vol. 10467 LNCS, pp. 155–171.
View | DOI | Download None (ext.) | arXiv
 

2017 | Conference Paper | IST-REx-ID: 789
D.-A. Alistarh, W. Leiserson, A. Matveev, and N. Shavit, “Forkscan: Conservative memory reclamation for modern operating systems,” presented at the EuroSys: European Conference on Computer Systems, 2017, pp. 483–498.
View | DOI
 

2017 | Conference Paper | IST-REx-ID: 790
K. Kara, D.-A. Alistarh, G. Alonso, O. Mutlu, and C. Zhang, “FPGA-accelerated dense linear machine learning: A precision-convergence trade-off,” presented at the FCCM: Field-Programmable Custom Computing Machines, 2017, pp. 160–167.
View | DOI
 

2017 | Conference Paper | IST-REx-ID: 791 | OA
D.-A. Alistarh, J. Kopinsky, J. Li, and G. Nadiradze, “The power of choice in priority scheduling,” in Proceedings of the ACM Symposium on Principles of Distributed Computing, Washington, WA, USA, 2017, vol. Part F129314, pp. 283–292.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 792 | OA
N. B. Budanur, K. Short, M. Farazmand, A. Willis, and P. Cvitanović, “Relative periodic orbits form the backbone of turbulent pipe flow,” Journal of Fluid Mechanics, vol. 833. Cambridge University Press, pp. 274–301, 2017.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 793 | OA
R. Fulek, H. Mojarrad, M. Naszódi, J. Solymosi, S. Stich, and M. Szedlák, “On the existence of ordinary triangles,” Computational Geometry: Theory and Applications, vol. 66. Elsevier, pp. 28–31, 2017.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 794 | OA
R. Fulek, “C-planarity of embedded cyclic c-graphs,” Computational Geometry: Theory and Applications, vol. 66. Elsevier, pp. 1–13, 2017.
View | Files available | DOI | Download Preprint (ext.)
 

Search

Filter Publications