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.
4572 Publications
2017 | Journal Article | IST-REx-ID: 465 | 
Chatterjee, K., Henzinger, T. A., Ibsen-Jensen, R., & Otop, J. (2017). Edit distance for pushdown automata. Logical Methods in Computer Science. International Federation of Computational Logic. https://doi.org/10.23638/LMCS-13(3:23)2017
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 466 |
Chatterjee, K., Křetínská, Z., & Kretinsky, J. (2017). Unifying two views on multiple mean-payoff objectives in Markov decision processes. Logical Methods in Computer Science. International Federation of Computational Logic. https://doi.org/10.23638/LMCS-13(2:15)2017
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 467 |
Chatterjee, K., Henzinger, T. A., & Otop, J. (2017). Nested weighted automata. ACM Transactions on Computational Logic (TOCL). ACM. https://doi.org/10.1145/3152769
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2017 | Journal Article | IST-REx-ID: 470 |
Jeschke, S., & Wojtan, C. J. (2017). Water wave packets. ACM Transactions on Graphics. ACM. https://doi.org/10.1145/3072959.3073678
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 471 |
Daca, P., Henzinger, T. A., Kretinsky, J., & Petrov, T. (2017). Faster statistical model checking for unbounded temporal properties. ACM Transactions on Computational Logic (TOCL). ACM. https://doi.org/10.1145/3060139
View
| Files available
| DOI
| Download Submitted Version (ext.)
2017 | Journal Article | IST-REx-ID: 483 |
Bourgade, P., Erdös, L., Yau, H., & Yin, J. (2017). Universality for a class of random band matrices. Advances in Theoretical and Mathematical Physics. International Press. https://doi.org/10.4310/ATMP.2017.v21.n3.a5
View
| DOI
| Download Submitted Version (ext.)
2017 | Journal Article | IST-REx-ID: 484 |
Nam, P., & Napiórkowski, M. M. (2017). Bogoliubov correction to the mean-field dynamics of interacting bosons. Advances in Theoretical and Mathematical Physics. International Press. https://doi.org/10.4310/ATMP.2017.v21.n3.a4
View
| DOI
| Download Submitted Version (ext.)
2017 | Journal Article | IST-REx-ID: 486 |
Elek, O., Sumin, D., Zhang, R., Weyrich, T., Myszkowski, K., Bickel, B., … Krivanek, J. (2017). Scattering-aware texture reproduction for 3D printing. ACM Transactions on Graphics. ACM. https://doi.org/10.1145/3130800.3130890
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 512 |
Pavlogiannis, A., Tkadlec, J., Chatterjee, K., & Nowak, M. (2017). Amplification on undirected population structures: Comets beat stars. Scientific Reports. Nature Publishing Group. https://doi.org/10.1038/s41598-017-00107-w
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 513 |
Klotz, L., Lemoult, G. M., Frontczak, I., Tuckerman, L., & Wesfreid, J. (2017). Couette-Poiseuille flow experiment with zero mean advection velocity: Subcritical transition to turbulence. Physical Review Fluids. American Physical Society. https://doi.org/10.1103/PhysRevFluids.2.043904
View
| DOI
| Download Preprint (ext.)
2017 | Journal Article | IST-REx-ID: 514 |
Simonnet, J., Nassar, M., Stella, F., Cohen, I., Mathon, B., Boccara, C. N., … Fricker, D. (2017). Activity dependent feedback inhibition may maintain head direction signals in mouse presubiculum. Nature Communications. Nature Publishing Group. https://doi.org/10.1038/ncomms16032
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 515 |
Letts, J. A., & Sazanov, L. A. (2017). Clarifying the supercomplex: The higher-order organization of the mitochondrial electron transport chain. Nature Structural and Molecular Biology. Nature Publishing Group. https://doi.org/10.1038/nsmb.3460
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 521 |
Austin, K., & Virk, Z. (2017). Higson compactification and dimension raising. Topology and Its Applications. Elsevier. https://doi.org/10.1016/j.topol.2016.10.005
View
| DOI
| Download Submitted Version (ext.)
2017 | Journal Article | IST-REx-ID: 525 |
von Wangenheim, D., Goh, T., Dietrich, D., & Bennett, M. (2017). Plant biology: Building barriers… in roots. Current Biology. Cell Press. https://doi.org/10.1016/j.cub.2017.01.060
View
| Files available
| DOI
| Download (ext.)
2017 | Journal Article | IST-REx-ID: 534 |
Burton, B., de Mesmay, A. N., & Wagner, U. (2017). Finding non-orientable surfaces in 3-Manifolds. Discrete & Computational Geometry. Springer. https://doi.org/10.1007/s00454-017-9900-0
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2017 | Journal Article | IST-REx-ID: 538 |
Kainrath, S., Stadler, M., Gschaider-Reichhart, E., Distel, M., & Janovjak, H. L. (2017). Grünlicht-induzierte Rezeptorinaktivierung durch Cobalamin-bindende Domänen. Angewandte Chemie. Wiley. https://doi.org/10.1002/ange.201611998
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 540 |
Khamina, K., Lercher, A., Caldera, M., Schliehe, C., Vilagos, B., Sahin, M., … Bergthaler, A. (2017). Characterization of host proteins interacting with the lymphocytic choriomeningitis virus L protein. PLoS Pathogens. Public Library of Science. https://doi.org/10.1371/journal.ppat.1006758
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 541 |
Nikolic, N., Schreiber, F., Dal Co, A., Kiviet, D., Bergmiller, T., Littmann, S., … Ackermann, M. (2017). Cell-to-cell variation and specialization in sugar metabolism in clonal bacterial populations. PLoS Genetics. Public Library of Science. https://doi.org/10.1371/journal.pgen.1007122
View
| Files available
| DOI
2017 | Book Chapter | IST-REx-ID: 545 |
Mazur, E., & Friml, J. (2017). Vascular tissue development and regeneration in the model plant arabidopsis. In S. Jurić (Ed.), Plant Engineering (pp. 113–140). InTech. https://doi.org/10.5772/intechopen.69712
View
| Files available
| DOI
2017 | Report | IST-REx-ID: 5450 |
Petritsch, B. (2017). Implementing the institutional data repository IST DataRep. IST Austria.
View
| Files available
| Download (ext.)
2017 | Technical Report | IST-REx-ID: 5455 |
Chatterjee, K., Choudhary, B., & Pavlogiannis, A. (2017). Optimal Dyck reachability for data-dependence and alias analysis. IST Austria. https://doi.org/10.15479/AT:IST-2017-870-v1-1
View
| Files available
| DOI
2017 | Technical Report | IST-REx-ID: 5456 |
Chalupa, M., Chatterjee, K., Pavlogiannis, A., Sinha, N., & Vaidya, K. (2017). Data-centric dynamic partial order reduction. IST Austria. https://doi.org/10.15479/AT:IST-2017-872-v1-1
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 548 |
De Martino, D. (2017). Maximum entropy modeling of metabolic networks by constraining growth-rate moments predicts coexistence of phenotypes. Physical Review E. American Physiological Society. https://doi.org/10.1103/PhysRevE.96.060401
View
| DOI
| Download Submitted Version (ext.)
2017 | Conference Paper | IST-REx-ID: 549 |
Finkbeiner, B., & Kupriyanov, A. (2017). Causality-based model checking. In Electronic Proceedings in Theoretical Computer Science (Vol. 259, pp. 31–38). Uppsala, Sweden: Open Publishing Association. https://doi.org/10.4204/EPTCS.259.3
View
| Files available
| DOI
| Download Submitted Version (ext.)
2017 | Journal Article | IST-REx-ID: 550 |
Alt, J. (2017). Singularities of the density of states of random Gram matrices. Electronic Communications in Probability. Institute of Mathematical Statistics. https://doi.org/10.1214/17-ECP97
View
| Files available
| DOI
2017 | Conference Paper | IST-REx-ID: 551 |
Chatterjee, K., Ibsen-Jensen, R., & Nowak, M. (2017). Faster Monte Carlo algorithms for fixation probability of the Moran process on undirected graphs. In Leibniz International Proceedings in Informatics (Vol. 83). Aalborg, Denmark: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.MFCS.2017.61
View
| Files available
| DOI
2017 | Conference Paper | IST-REx-ID: 553 |
Chatterjee, K., Hansen, K., & Ibsen-Jensen, R. (2017). Strategy complexity of concurrent safety games. In Leibniz International Proceedings in Informatics (Vol. 83). Aalborg, Denmark: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.MFCS.2017.55
View
| Files available
| DOI
| Download Published Version (ext.)
2017 | Research Data | IST-REx-ID: 5559 |
Pavlogiannis, A., Tkadlec, J., Chatterjee, K., & Nowak , M. (2017). Strong amplifiers of natural selection. IST Austria. https://doi.org/10.15479/AT:ISTA:51
View
| Files available
| DOI
2017 | Research Data | IST-REx-ID: 5560 |
Bergmiller, T., Andersson, A. M., Tomasek, K., Balleza, E., Kiviet, D., Hauschild, R., … Guet, C. C. (2017). Biased partitioning of the multi-drug efflux pump AcrAB-TolC underlies long-lived phenotypic heterogeneity. IST Austria. https://doi.org/doi:10.15479/AT:ISTA:53
View
| Files available
| DOI
2017 | Research Data | IST-REx-ID: 5561 |
Kainmueller, D., Jug, F., Rother, C., & Meyers, G. (2017). Graph matching problems for annotating C. Elegans. IST Austria. https://doi.org/10.15479/AT:ISTA:57
View
| Files available
| DOI
2017 | Research Data | IST-REx-ID: 5562 |
Marre, O., Tkačik, G., Amodei, D., Schneidman, E., Bialek, W., & Berry, M. (2017). Multi-electrode array recording from salamander retinal ganglion cells. IST Austria. https://doi.org/10.15479/AT:ISTA:61
View
| Files available
| DOI
2017 | Research Data | IST-REx-ID: 5563 |
Lukacisin, M. (2017). MATLAB analysis code for “Sequence-Specific Thermodynamic Properties of Nucleic Acids Influence Both Transcriptional Pausing and Backtracking in Yeast.” IST Austria. https://doi.org/10.15479/AT:ISTA:64
View
| Files available
| DOI
2017 | Research Data | IST-REx-ID: 5564 |
Steinrück, M., & Guet, C. C. (2017). Fastq files for “Complex chromosomal neighborhood effects determine the adaptive potential of a gene under selection.” IST Austria. https://doi.org/10.15479/AT:ISTA:65
View
| Files available
| DOI
2017 | Research Data | IST-REx-ID: 5565 |
von Wangenheim, D., Hauschild, R., & Friml, J. (2017). Light Sheet Fluorescence microscopy of plant roots growing on the surface of a gel. IST Austria. https://doi.org/10.15479/AT:ISTA:66
View
| Files available
| DOI
2017 | Research Data | IST-REx-ID: 5566 |
Hauschild, R. (2017). Live tracking of moving samples in confocal microscopy for vertically grown roots. IST Austria. https://doi.org/10.15479/AT:ISTA:69
View
| Files available
| DOI
2017 | Research Data | IST-REx-ID: 5567 |
Leithner, A. F. (2017). Immunological synapse DC-Tcells. IST Austria. https://doi.org/10.15479/AT:ISTA:71
View
| Files available
| DOI
2017 | Research Data | IST-REx-ID: 5568 |
Hahn, D. (2017). Source codes: Brittle fracture simulation with boundary elements for computer graphics. IST Austria. https://doi.org/10.15479/AT:ISTA:73
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 557 |
Nickells, R., Schmitt, H., Maes, M. E., & Schlamp, C. (2017). AAV2 mediated transduction of the mouse retina after optic nerve injury. Investigative Ophthalmology and Visual Science. Association for Research in Vision and Ophthalmology Inc. https://doi.org/10.1167/iovs.17-22634
View
| Files available
| DOI
2017 | Research Data | IST-REx-ID: 5570 |
Hauschild, R. (2017). Forward migration indexes. IST Austria. https://doi.org/10.15479/AT:ISTA:75
View
| Files available
| DOI
2017 | Research Data | IST-REx-ID: 5571 |
Vicoso, B. (2017). Data for “The genomic characterization of the t-haplotype, a mouse meiotic driver, highlights its complex history and specialized biology.” IST Austria. https://doi.org/10.15479/AT:ISTA:78
View
| Files available
| DOI
2017 | Research Data | IST-REx-ID: 5572 |
Vicoso, B. (2017). Code for “The genomic characterization of the t-haplotype, a mouse meiotic driver, highlights its complex history and specialized biology.” IST Austria. https://doi.org/10.15479/AT:ISTA:79
View
| Files available
| DOI
2017 | Conference Paper | IST-REx-ID: 559 |
Abusalah, H. M., Alwen, J. F., Cohen, B., Khilko, D., Pietrzak, K. Z., & Reyzin, L. (2017). Beyond Hellman’s time-memory trade-offs with applications to proofs of space (Vol. 10625, pp. 357–379). Presented at the ASIACRYPT: Theory and Applications of Cryptology and Information Security, Hong Kong, China: Springer. https://doi.org/10.1007/978-3-319-70697-9_13
View
| Files available
| DOI
| Download Submitted Version (ext.)
2017 | Journal Article | IST-REx-ID: 560 |
Gerencser, M., Jentzen, A., & Salimova, D. (2017). On stochastic differential equations with arbitrarily slow convergence rates for strong approximation in two space dimensions. Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences. Royal Society of London. https://doi.org/10.1098/rspa.2017.0104
View
| DOI
| Download Submitted Version (ext.)
2017 | Journal Article | IST-REx-ID: 568 |
Franek, P., & Krcál, M. (2017). Persistence of zero sets. Homology, Homotopy and Applications. International Press. https://doi.org/10.4310/HHA.2017.v19.n2.a16
View
| DOI
| Download Submitted Version (ext.)
2017 | Journal Article | IST-REx-ID: 569 |
Spira, F., Cuylen Haering, S., Mehta, S., Samwer, M., REVERSAT, A., Verma, A., … Gerlich, D. (2017). Cytokinesis in vertebrate cells initiates by contraction of an equatorial actomyosin network composed of randomly oriented filaments. ELife. eLife Sciences Publications. https://doi.org/10.7554/eLife.30867
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 570 |
Lagator, M., Sarikas, S., Acar, H., Bollback, J. P., & Guet, C. C. (2017). Regulatory network structure determines patterns of intermolecular epistasis. ELife. eLife Sciences Publications. https://doi.org/10.7554/eLife.28921
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 572 |
Olatunji, D., Geelen, D., & Verstraeten, I. (2017). Control of endogenous auxin levels in plant root development. International Journal of Molecular Sciences. MDPI. https://doi.org/10.3390/ijms18122587
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 601 |
Xu, Y., Bernecky, C., Lee, C., Maier, K., Schwalb, B., Tegunov, D., … Cramer, P. (2017). Architecture of the RNA polymerase II-Paf1C-TFIIS transcription elongation complex. Nature Communications. Nature Publishing Group. https://doi.org/10.1038/ncomms15741
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 6013 |
Camus, N., Yakaboylu, E., Fechner, L., Klaiber, M., Laux, M., Mi, Y., … Moshammer, R. (2017). Experimental evidence for quantum tunneling time. Physical Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.119.023201
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2017 | Book Chapter | IST-REx-ID: 604 |
Lemeshko, M., & Schmidt, R. (2017). Molecular impurities interacting with a many-particle environment: From ultracold gases to helium nanodroplets. In O. Dulieu & A. Osterwalder (Eds.), Cold Chemistry: Molecular Scattering and Reactivity Near Absolute Zero (Vol. 11, pp. 444–495). The Royal Society of Chemistry. https://doi.org/10.1039/9781782626800-00444
View
| DOI
| Download Submitted Version (ext.)