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.
4551 Publications
2017 | Report | IST-REx-ID: 5450 | 
Petritsch B. Implementing the Institutional Data Repository IST DataRep. IST Austria; 2017.
View
| Files available
| Download (ext.)
2017 | Technical Report | IST-REx-ID: 5455 |
Chatterjee K, Choudhary B, Pavlogiannis A. Optimal Dyck Reachability for Data-Dependence and Alias Analysis. IST Austria; 2017. doi: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. Data-Centric Dynamic Partial Order Reduction. IST Austria; 2017. doi:10.15479/AT:IST-2017-872-v1-1
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 548 |
De Martino D. Maximum entropy modeling of metabolic networks by constraining growth-rate moments predicts coexistence of phenotypes. Physical Review E. 2017;96(6). doi:10.1103/PhysRevE.96.060401
View
| DOI
| Download Submitted Version (ext.)
2017 | Conference Paper | IST-REx-ID: 549 |
Finkbeiner B, Kupriyanov A. Causality-based model checking. In: Electronic Proceedings in Theoretical Computer Science. Vol 259. Open Publishing Association; 2017:31-38. doi:10.4204/EPTCS.259.3
View
| Files available
| DOI
| Download Submitted Version (ext.)
2017 | Journal Article | IST-REx-ID: 550 |
Alt J. Singularities of the density of states of random Gram matrices. Electronic Communications in Probability. 2017;22. doi:10.1214/17-ECP97
View
| Files available
| DOI
2017 | Conference Paper | IST-REx-ID: 551 |
Chatterjee K, Ibsen-Jensen R, Nowak M. Faster Monte Carlo algorithms for fixation probability of the Moran process on undirected graphs. In: Leibniz International Proceedings in Informatics. Vol 83. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2017. doi:10.4230/LIPIcs.MFCS.2017.61
View
| Files available
| DOI
2017 | Conference Paper | IST-REx-ID: 553 |
Chatterjee K, Hansen K, Ibsen-Jensen R. Strategy complexity of concurrent safety games. In: Leibniz International Proceedings in Informatics. Vol 83. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2017. doi: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. Strong amplifiers of natural selection. 2017. doi:10.15479/AT:ISTA:51
View
| Files available
| DOI
2017 | Research Data | IST-REx-ID: 5560 |
Bergmiller T, Andersson AM, Tomasek K, et al. Biased partitioning of the multi-drug efflux pump AcrAB-TolC underlies long-lived phenotypic heterogeneity. 2017. doi: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. Graph matching problems for annotating C. Elegans. 2017. doi: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. Multi-electrode array recording from salamander retinal ganglion cells. 2017. doi:10.15479/AT:ISTA:61
View
| Files available
| DOI
2017 | Research Data | IST-REx-ID: 5563 |
Lukacisin M. MATLAB analysis code for “Sequence-Specific Thermodynamic Properties of Nucleic Acids Influence Both Transcriptional Pausing and Backtracking in Yeast.” 2017. doi:10.15479/AT:ISTA:64
View
| Files available
| DOI
2017 | Research Data | IST-REx-ID: 5564 |
Steinrück M, Guet CC. Fastq files for “Complex chromosomal neighborhood effects determine the adaptive potential of a gene under selection.” 2017. doi:10.15479/AT:ISTA:65
View
| Files available
| DOI
2017 | Research Data | IST-REx-ID: 5565 |
von Wangenheim D, Hauschild R, Friml J. Light Sheet Fluorescence microscopy of plant roots growing on the surface of a gel. 2017. doi:10.15479/AT:ISTA:66
View
| Files available
| DOI
2017 | Research Data | IST-REx-ID: 5566 |
Hauschild R. Live tracking of moving samples in confocal microscopy for vertically grown roots. 2017. doi:10.15479/AT:ISTA:69
View
| Files available
| DOI
2017 | Research Data | IST-REx-ID: 5567 |
Leithner AF. Immunological synapse DC-Tcells. 2017. doi:10.15479/AT:ISTA:71
View
| Files available
| DOI
2017 | Research Data | IST-REx-ID: 5568 |
Hahn D. Source codes: Brittle fracture simulation with boundary elements for computer graphics. 2017. doi:10.15479/AT:ISTA:73
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 557 |
Nickells R, Schmitt H, Maes ME, Schlamp C. AAV2 mediated transduction of the mouse retina after optic nerve injury. Investigative Ophthalmology and Visual Science. 2017;58(14):6091-6104. doi:10.1167/iovs.17-22634
View
| Files available
| DOI
2017 | Research Data | IST-REx-ID: 5570 |
Hauschild R. Forward migration indexes. 2017. doi:10.15479/AT:ISTA:75
View
| Files available
| DOI
2017 | Research Data | IST-REx-ID: 5571 |
Vicoso B. Data for “The genomic characterization of the t-haplotype, a mouse meiotic driver, highlights its complex history and specialized biology.” 2017. doi:10.15479/AT:ISTA:78
View
| Files available
| DOI
2017 | Research Data | IST-REx-ID: 5572 |
Vicoso B. Code for “The genomic characterization of the t-haplotype, a mouse meiotic driver, highlights its complex history and specialized biology.” 2017. doi:10.15479/AT:ISTA:79
View
| Files available
| DOI
2017 | Conference Paper | IST-REx-ID: 559 |
Abusalah HM, Alwen JF, Cohen B, Khilko D, Pietrzak KZ, Reyzin L. Beyond Hellman’s time-memory trade-offs with applications to proofs of space. In: Vol 10625. Springer; 2017:357-379. doi: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. 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. 2017;473(2207). doi:10.1098/rspa.2017.0104
View
| DOI
| Download Submitted Version (ext.)
2017 | Journal Article | IST-REx-ID: 568 |
Franek P, Krcál M. Persistence of zero sets. Homology, Homotopy and Applications. 2017;19(2):313-342. doi: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, et al. Cytokinesis in vertebrate cells initiates by contraction of an equatorial actomyosin network composed of randomly oriented filaments. eLife. 2017;6. doi:10.7554/eLife.30867
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 570 |
Lagator M, Sarikas S, Acar H, Bollback JP, Guet CC. Regulatory network structure determines patterns of intermolecular epistasis. eLife. 2017;6. doi:10.7554/eLife.28921
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 572 |
Olatunji D, Geelen D, Verstraeten I. Control of endogenous auxin levels in plant root development. International Journal of Molecular Sciences. 2017;18(12). doi:10.3390/ijms18122587
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 601 |
Xu Y, Bernecky C, Lee C, et al. Architecture of the RNA polymerase II-Paf1C-TFIIS transcription elongation complex. Nature Communications. 2017;8. doi:10.1038/ncomms15741
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 6013 |
Camus N, Yakaboylu E, Fechner L, et al. Experimental evidence for quantum tunneling time. Physical Review Letters. 2017;119(2). doi:10.1103/PhysRevLett.119.023201
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2017 | Book Chapter | IST-REx-ID: 604 |
Lemeshko M, Schmidt R. Molecular impurities interacting with a many-particle environment: From ultracold gases to helium nanodroplets. In: Dulieu O, Osterwalder A, eds. Cold Chemistry: Molecular Scattering and Reactivity Near Absolute Zero . Vol 11. Theoretical and Computational Chemistry Series. The Royal Society of Chemistry; 2017:444-495. doi:10.1039/9781782626800-00444
View
| DOI
| Download Submitted Version (ext.)
2017 | Conference Paper | IST-REx-ID: 605 |
Brody J, Dziembowski S, Faust S, Pietrzak KZ. Position based cryptography and multiparty communication complexity. In: Kalai Y, Reyzin L, eds. Vol 10677. Springer; 2017:56-81. doi:10.1007/978-3-319-70500-2_3
View
| DOI
| Download Submitted Version (ext.)
2017 | Conference Paper | IST-REx-ID: 697 |
Pietrzak KZ, Skórski M. Non uniform attacks against pseudoentropy. In: Vol 80. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2017. doi:10.4230/LIPIcs.ICALP.2017.39
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 698 |
Wang Y, Nagarajan M, Uhler C, Shivashankar G. Orientation and repositioning of chromosomes correlate with cell geometry dependent gene expression. Molecular Biology of the Cell. 2017;28(14):1997-2009. doi:10.1091/mbc.E16-12-0825
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 699 |
Veller C, Hayward L, Nowak M, Hilbe C. The red queen and king in finite populations. PNAS. 2017;114(27):E5396-E5405. doi:10.1073/pnas.1702020114
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2017 | Journal Article | IST-REx-ID: 700 |
Barzanjeh S, Salari V, Tuszynski J, Cifra M, Simon C. Optomechanical proposal for monitoring microtubule mechanical vibrations. Physical Review E Statistical Nonlinear and Soft Matter Physics . 2017;96(1). doi:10.1103/PhysRevE.96.012404
View
| DOI
| Download Submitted Version (ext.)
2017 | Journal Article | IST-REx-ID: 701 |
Kynčl J, Patakova Z. On the nonexistence of k reptile simplices in ℝ^3 and ℝ^4. The Electronic Journal of Combinatorics. 2017;24(3):1-44.
View
| Files available
2017 | Journal Article | IST-REx-ID: 7064 |
Modic KA, Ramshaw BJ, Betts JB, et al. Robust spin correlations at high magnetic fields in the harmonic honeycomb iridates. Nature Communications. 2017;8(1). doi:10.1038/s41467-017-00264-6
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 7066 |
Zhu Z, McDonald RD, Shekhter A, et al. Magnetic field tuning of an excitonic insulator between the weak and strong coupling regimes in quantum limit graphite. Scientific Reports. 2017;7. doi:10.1038/s41598-017-01693-5
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 7067 |
Ramshaw BJ, Harrison N, Sebastian SE, et al. Broken rotational symmetry on the Fermi surface of a high-Tc superconductor. npj Quantum Materials. 2017;2(1). doi:10.1038/s41535-017-0013-z
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 707 |
Akopyan A, Karasev R. A tight estimate for the waist of the ball . Bulletin of the London Mathematical Society. 2017;49(4):690-693. doi:10.1112/blms.12062
View
| DOI
| Download Preprint (ext.)
2017 | Journal Article | IST-REx-ID: 708 |
Nagy B, Hovhannisyan A, Barzan R, Chen T, Kukley M. Different patterns of neuronal activity trigger distinct responses of oligodendrocyte precursor cells in the corpus callosum. PLoS Biology. 2017;15(8). doi:10.1371/journal.pbio.2001993
View
| Files available
| DOI
2017 | Conference Paper | IST-REx-ID: 710 |
Obremski M, Skórski M. Renyi entropy estimation revisited. In: Vol 81. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2017. doi:10.4230/LIPIcs.APPROX-RANDOM.2017.20
View
| Files available
| DOI
2017 | Conference Paper | IST-REx-ID: 711 |
Chatterjee K, Henzinger TA, Otop J. Bidirectional nested weighted automata. In: Vol 85. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2017. doi:10.4230/LIPIcs.CONCUR.2017.5
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 712 |
Fischer JL. Weak–strong uniqueness of solutions to entropy dissipating reaction–diffusion equations. Nonlinear Analysis: Theory, Methods and Applications. 2017;159:181-207. doi:10.1016/j.na.2017.03.001
View
| DOI
| Download Submitted Version (ext.)
2017 | Journal Article | IST-REx-ID: 713 |
Andergassen D, Dotter C, Wenzel D, et al. Mapping the mouse Allelome reveals tissue specific regulation of allelic expression. eLife. 2017;6. doi:10.7554/eLife.25125
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 714 |
Brailoiu G, Deliu E, Barr J, et al. HIV Tat excites D1 receptor-like expressing neurons from rat nucleus accumbens. Drug and Alcohol Dependence. 2017;178:7-14. doi:10.1016/j.drugalcdep.2017.04.015
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2017 | Journal Article | IST-REx-ID: 716 |
Chatterjee K, Velner Y. The complexity of mean-payoff pushdown games. Journal of the ACM. 2017;64(5):34. doi:10.1145/3121408
View
| DOI
| Download Preprint (ext.)
| arXiv
2017 | Research Data | IST-REx-ID: 7163 |
Fraisse C. Supplementary Files for “The deep conservation of the Lepidoptera Z chromosome suggests a non canonical origin of the W.” 2017. doi:10.15479/AT:ISTA:7163
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 717 |
Chatterjee K, Velner Y. Hyperplane separation technique for multidimensional mean-payoff games. Journal of Computer and System Sciences. 2017;88:236-259. doi:10.1016/j.jcss.2017.04.005
View
| Files available
| DOI
| Download Preprint (ext.)