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 | OA
Petritsch B. Implementing the Institutional Data Repository IST DataRep. IST Austria; 2017.
View | Files available | Download (ext.)
 

2017 | Technical Report | IST-REx-ID: 5455 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
Leithner AF. Immunological synapse DC-Tcells. 2017. doi:10.15479/AT:ISTA:71
View | Files available | DOI
 

2017 | Research Data | IST-REx-ID: 5568 | OA
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 | OA
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 | OA
Hauschild R. Forward migration indexes. 2017. doi:10.15479/AT:ISTA:75
View | Files available | DOI
 

2017 | Research Data | IST-REx-ID: 5571 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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.)
 

Filters and Search Terms

oa=1

Search

Filter Publications