Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
4238 Publications
2018 | Journal Article | IST-REx-ID: 402 | 
M. Brown et al., “Lymph node blood vessels provide exit routes for metastatic tumor cell dissemination in mice,” Science, vol. 359, no. 6382. American Association for the Advancement of Science, pp. 1408–1411, 2018.
View
| Files available
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2018 | Research Data | IST-REx-ID: 5585 |
C. Igler, M. Lagator, G. Tkačik, J. P. Bollback, and C. C. Guet, “Data for the paper Evolutionary potential of transcription factors for gene regulatory rewiring.” IST Austria, 2018.
View
| Files available
| DOI
2018 | Thesis | IST-REx-ID: 6263 |
M. Lukacisinova, “Genetic determinants of antibiotic resistance evolution,” IST Austria, 2018.
View
| Files available
| DOI
2018 | Journal Article | IST-REx-ID: 21 |
C. Espinoza Martinez, J. Guzmán, X. Zhang, and P. M. Jonas, “Parvalbumin+ interneurons obey unique connectivity rules and establish a powerful lateral-inhibition microcircuit in dentate gyrus,” Nature Communications, vol. 9, no. 1. Nature Publishing Group, 2018.
View
| Files available
| DOI
2018 | Thesis | IST-REx-ID: 6266 |
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 |
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 | Journal Article | IST-REx-ID: 422 |
J. Kühnen, D. Scarselli, M. Schaner, and B. Hof, “Relaminarization by steady modification of the streamwise velocity profile in a pipe,” Flow Turbulence and Combustion, vol. 100, no. 4. Springer, pp. 919–942, 2018.
View
| Files available
| DOI
2018 | Thesis | IST-REx-ID: 26 |
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: 461 |
J. Kühnen et al., “Destabilizing turbulence in pipe flow,” Nature Physics, vol. 14. Nature Publishing Group, pp. 386–390, 2018.
View
| Files available
| DOI
| Download Preprint (ext.)
2018 | Journal Article | IST-REx-ID: 28
X. Contreras and S. Hippenmeyer, “Incorrect trafficking route leads to autism,” Brain a journal of neurology, vol. 141, no. 9. Oxford University Press, pp. 2542–2544, 2018.
View
| Files available
| DOI
2018 | Journal Article | IST-REx-ID: 449 |
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 |
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: 9 |
V. Belyaeva, “Transcriptional regulation of macrophage migration in the Drosophila melanogaster embryo ,” IST Austria, 2018.
View
| Files available
| DOI
2018 | Journal Article | IST-REx-ID: 5816 |
A. Hollmann, D. Jirovec, M. Kucharski, D. Kissinger, G. Fischer, and L. R. Schreiber, “30 GHz-voltage controlled oscillator operating at 4 K,” Review of Scientific Instruments, vol. 89, no. 11. AIP Publishing, 2018.
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2018 | Journal Article | IST-REx-ID: 612 |
R. Luján et al., “Differential association of GABAB receptors with their effector ion channels in Purkinje cells,” Brain Structure and Function, vol. 223, no. 3. Springer, pp. 1565–1587, 2018.
View
| Files available
| DOI
2018 | Conference Paper | IST-REx-ID: 311 |
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
2018 | Journal Article | IST-REx-ID: 6009 |
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 |
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: 66 |
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 |
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: 442 |
L. Li, G. Krens, M. Fendrych, and J. Friml, “Real-time analysis of auxin response, cell wall pH and elongation in Arabidopsis thaliana Hypocotyls,” Bio-protocol, vol. 8, no. 1. Bio-protocol, 2018.
View
| Files available
| DOI
2018 | Journal Article | IST-REx-ID: 47
R. Abualia, E. Benková, and B. Lacombe, “Transporters and mechanisms of hormone transport in arabidopsis,” Advances in Botanical Research, vol. 87. Elsevier, pp. 115–138, 2018.
View
| Files available
| DOI
2018 | Journal Article | IST-REx-ID: 2 |
C. Hilbe, L. Schmid, J. Tkadlec, K. Chatterjee, and M. Nowak, “Indirect reciprocity with private, noisy, and incomplete information,” PNAS, vol. 115, no. 48. National Academy of Sciences, pp. 12241–12246, 2018.
View
| Files available
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2017 | Conference Paper | IST-REx-ID: 1000 |
A. Kolesnikov and C. Lampert, “PixelCNN models with auxiliary variables for natural image modeling,” in 34th International Conference on Machine Learning, Sydney, Australia, 2017, vol. 70, pp. 1905–1914.
View
| Download Submitted Version (ext.)
| arXiv
2017 | Journal Article | IST-REx-ID: 1004 |
K. Ötvös and E. Benková, “Spatiotemporal mechanisms of root branching,” Current Opinion in Genetics & Development, vol. 45. Elsevier, pp. 82–89, 2017.
View
| Files available
| DOI
| PubMed | Europe PMC
2017 | Journal Article | IST-REx-ID: 1007 |
M. Lang and E. Sontag, “Zeros of nonlinear systems with input invariances,” Automatica, vol. 81C. IFAC, the International Federation of Automatic Control, pp. 46–55, 2017.
View
| Files available
| DOI
2017 | Conference Paper | IST-REx-ID: 1009 |
K. Chatterjee, P. Novotný, G. Pérez, J. Raskin, and D. Zikelic, “Optimizing expectation with guarantees in POMDPs,” in Proceedings of the 31st AAAI Conference on Artificial Intelligence, San Francisco, CA, United States, 2017, vol. 5, pp. 3725–3732.
View
| Download Submitted Version (ext.)
2017 | Conference Paper | IST-REx-ID: 1011 |
K. Chatterjee, B. Kragl, S. Mishra, and A. Pavlogiannis, “Faster algorithms for weighted recursive state machines,” presented at the ESOP: European Symposium on Programming, Uppsala, Sweden, 2017, vol. 10201, pp. 287–313.
View
| DOI
| Download Submitted Version (ext.)
2017 | Journal Article | IST-REx-ID: 1013 |
J. M. Fink, “Viewpoint: Microwave quantum states beat the heat,” Physics, vol. 10, no. 32. American Physical Society, 2017.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 1015 |
G. Bighin and L. Salasnich, “Vortices and antivortices in two-dimensional ultracold Fermi gases,” Scientific Reports, vol. 7. Nature Publishing Group, 2017.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 1017 |
M. Breuss, I. Leca, T. Gstrein, A. H. Hansen, and D. Keays, “Tubulins and brain development: The origins of functional specification,” Molecular and Cellular Neuroscience, vol. 84. Academic Press, pp. 58–67, 2017.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 1020 |
S. Caixeiro, M. Peruzzo, O. Onelli, S. Vignolini, and R. Sapienza, “Disordered cellulose based nanostructures for enhanced light scattering,” ACS Applied Materials and Interfaces, vol. 9, no. 9. American Chemical Society, pp. 7885–7890, 2017.
View
| DOI
| Download Submitted Version (ext.)
2017 | Journal Article | IST-REx-ID: 1021 |
J. M. Lopez Alonso and M. Avila, “Boundary layer turbulence in experiments on quasi Keplerian flows,” Journal of Fluid Mechanics, vol. 817. Cambridge University Press, pp. 21–34, 2017.
View
| DOI
| Download Submitted Version (ext.)
2017 | Journal Article | IST-REx-ID: 1022 |
P. Pranav et al., “The topology of the cosmic web in terms of persistent Betti numbers,” Monthly Notices of the Royal Astronomical Society, vol. 465, no. 4. Oxford University Press, pp. 4281–4310, 2017.
View
| DOI
| Download Submitted Version (ext.)
2017 | Journal Article | IST-REx-ID: 1023 |
Y. Nemish, “Local law for the product of independent non-Hermitian random matrices with independent entries,” Electronic Journal of Probability, vol. 22. Institute of Mathematical Statistics, 2017.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 1030 |
M. Villányi, “Ein freies Bibliothekssystem für wissenschaftliche Bibliotheken – Werkstattbericht der IST Austria Library,” Informationspraxis, vol. 3, no. 1. Univ.-Bibliothek Heidelberg, 2017.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 10418 |
A. Mciver, C. Morgan, B. L. Kaminski, and J. P. Katoen, “A new proof rule for almost-sure termination,” Proceedings of the ACM on Programming Languages, vol. 2, no. POPL. Association for Computing Machinery, 2017.
View
| DOI
| Download Published Version (ext.)
| arXiv
2017 | Journal Article | IST-REx-ID: 1063 |
H. Uecker, “Evolutionary rescue in randomly mating, selfing, and clonal populations,” Evolution, vol. 71, no. 4. Wiley-Blackwell, pp. 845–858, 2017.
View
| DOI
| Download Submitted Version (ext.)
2017 | Journal Article | IST-REx-ID: 1065 |
K. Chatterjee and G. F. Osang, “Pushdown reachability with constant treewidth,” Information Processing Letters, vol. 122. Elsevier, pp. 25–29, 2017.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 1067 |
H. Morita, S. Grigolon, M. Bock, G. Krens, G. Salbreux, and C.-P. J. Heisenberg, “The physical basis of coordinated tissue spreading in zebrafish gastrulation,” Developmental Cell, vol. 40, no. 4. Cell Press, pp. 354–366, 2017.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 1072 |
U. Bauer and H. Edelsbrunner, “The Morse theory of Čech and delaunay complexes,” Transactions of the American Mathematical Society, vol. 369, no. 5. American Mathematical Society, pp. 3741–3762, 2017.
View
| DOI
| Download Preprint (ext.)
| arXiv
2017 | Journal Article | IST-REx-ID: 1073 |
M. Čadek, M. Krcál, and L. Vokřínek, “Algorithmic solvability of the lifting extension problem,” Discrete & Computational Geometry, vol. 54, no. 4. Springer, pp. 915–965, 2017.
View
| DOI
| Download Submitted Version (ext.)
2017 | Journal Article | IST-REx-ID: 1076 |
M. Klaiber, J. Daněk, E. Yakaboylu, K. Hatsagortsyan, and C. Keitel, “Strong-field ionization via a high-order Coulomb-corrected strong-field approximation,” Physical Review A - Atomic, Molecular, and Optical Physics, vol. 95, no. 2. American Physical Society, 2017.
View
| DOI
| Download Submitted Version (ext.)
2017 | Journal Article | IST-REx-ID: 1079 |
P. Nam and H. Van Den Bosch, “Nonexistence in Thomas Fermi-Dirac-von Weizsäcker theory with small nuclear charges,” Mathematical Physics, Analysis and Geometry, vol. 20, no. 2. Springer, 2017.
View
| DOI
| Download Submitted Version (ext.)
2017 | Journal Article | IST-REx-ID: 1080 |
J. Reiter et al., “Reconstructing metastatic seeding patterns of human cancers,” Nature Communications, vol. 8. Nature Publishing Group, 2017.
View
| Files available
| DOI