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.

4128 Publications


2017 | Journal Article | IST-REx-ID: 1018
Dobisova T, Hrdinova V, Cuesta C, et al. Light regulated expression of sensor histidine kinase CKI1 controls cytokinin related development. Plant Physiology. 2017;174(1):387-404. doi:10.1104/pp.16.01964
View | DOI
 

2017 | Journal Article | IST-REx-ID: 1020 | OA
Caixeiro S, Peruzzo M, Onelli O, Vignolini S, Sapienza R. Disordered cellulose based nanostructures for enhanced light scattering. ACS Applied Materials and Interfaces. 2017;9(9):7885-7890. doi:10.1021/acsami.6b15986
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 1021 | OA
Lopez Alonso JM, Avila M. Boundary layer turbulence in experiments on quasi Keplerian flows. Journal of Fluid Mechanics. 2017;817:21-34. doi:10.1017/jfm.2017.109
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 1022 | OA
Pranav P, Edelsbrunner H, Van De Weygaert R, et al. The topology of the cosmic web in terms of persistent Betti numbers. Monthly Notices of the Royal Astronomical Society. 2017;465(4):4281-4310. doi:10.1093/mnras/stw2862
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 1023 | OA
Nemish Y. Local law for the product of independent non-Hermitian random matrices with independent entries. Electronic Journal of Probability. 2017;22. doi:10.1214/17-EJP38
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1025
Heisenberg C-PJ. Cell biology: Stretched divisions. Nature. 2017;543(7643):43-44. doi:10.1038/nature21502
View | DOI
 

2017 | Journal Article | IST-REx-ID: 1030 | OA
Villányi M. Ein freies Bibliothekssystem für wissenschaftliche Bibliotheken – Werkstattbericht der IST Austria Library. Informationspraxis. 2017;3(1). doi:10.11588/ip.2017.1.35227
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 10416 | OA
Chatterjee K, Choudhary B, Pavlogiannis A. Optimal Dyck reachability for data-dependence and Alias analysis. Proceedings of the ACM on Programming Languages. 2017;2(POPL). doi:10.1145/3158118
View | Files available | DOI | arXiv
 

2017 | Journal Article | IST-REx-ID: 10417 | OA
Chalupa M, Chatterjee K, Pavlogiannis A, Sinha N, Vaidya K. Data-centric dynamic partial order reduction. Proceedings of the ACM on Programming Languages. 2017;2(POPL). doi:10.1145/3158119
View | Files available | DOI | Download Published Version (ext.) | arXiv
 

2017 | Journal Article | IST-REx-ID: 10418 | OA
Mciver A, Morgan C, Kaminski BL, Katoen JP. A new proof rule for almost-sure termination. Proceedings of the ACM on Programming Languages. 2017;2(POPL). doi:10.1145/3158121
View | DOI | Download Published Version (ext.) | arXiv
 

2017 | Journal Article | IST-REx-ID: 2016 | OA
Martin Del Campo Sanchez A, Cepeda Humerez SA, Uhler C. Exact goodness-of-fit testing for the Ising model. Scandinavian Journal of Statistics. 2017;44(2):285-306. doi:10.1111/sjos.12251
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2017 | Conference Paper | IST-REx-ID: 274 | OA
Kolmogorov V. A faster approximation algorithm for the Gibbs partition function. In: Proceedings of the 31st Conference On Learning Theory. Vol 75. PMLR; 2017:228-249.
View | Files available | arXiv
 

2017 | Thesis | IST-REx-ID: 938 | OA
Adamowski M. Investigations into cell polarity and trafficking in the plant model Arabidopsis thaliana . 2017. doi:10.15479/AT:ISTA:th_842
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 939 | OA
Midya B, Konotop V. Waveguides with absorbing boundaries: Nonlinearity controlled by an exceptional point and solitons. Physical Review Letters. 2017;119(3). doi:10.1103/PhysRevLett.119.033905
View | DOI | Download Submitted Version (ext.)
 

2017 | Conference Paper | IST-REx-ID: 941
Le X, Chu DH, Lo D, Le Goues C, Visser W. JFIX: Semantics-based repair of Java programs via symbolic  PathFinder. In: Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis. ACM; 2017:376-379. doi:10.1145/3092703.3098225
View | DOI
 

2017 | Conference Paper | IST-REx-ID: 942
Le X, Chu DH, Lo D, Le Goues C, Visser W. S3: Syntax- and semantic-guided repair synthesis via programming by examples. In: Vol F130154. ACM; 2017:593-604. doi:10.1145/3106237.3106309
View | DOI
 

2017 | Journal Article | IST-REx-ID: 943 | OA
Zagórski MP, Tabata Y, Brandenberg N, et al. Decoding of position in the developing neural tube from antiparallel morphogen gradients. Science. 2017;356(6345):1379-1383. doi:10.1126/science.aam5887
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 944
Beattie RJ, Postiglione MP, Burnett L, et al. Mosaic analysis with double markers reveals distinct sequential functions of Lgl1 in neural stem cells. Neuron. 2017;94(3):517-533.e3. doi:10.1016/j.neuron.2017.04.012
View | DOI
 

2017 | Journal Article | IST-REx-ID: 945 | OA
Huylmans AK, Macon A, Vicoso B. Global dosage compensation is ubiquitous in Lepidoptera, but counteracted by the masculinization of the Z chromosome. Molecular Biology and Evolution. 2017;34(10):2637-2649. doi:10.1093/molbev/msx190
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 946 | OA
von Wangenheim D, Hauschild R, Fendrych M, Barone V, Benková E, Friml J. Live tracking of moving samples in confocal microscopy for vertically grown roots. eLife. 2017;6. doi:10.7554/eLife.26792
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 947 | OA
De Martino D, Capuani F, De Martino A. Quantifying the entropic cost of cellular growth control. Physical Review E Statistical Nonlinear and Soft Matter Physics . 2017;96(1). doi:10.1103/PhysRevE.96.010401
View | DOI | Download Submitted Version (ext.)
 

2017 | Conference Paper | IST-REx-ID: 950 | OA
Avni G, Henzinger TA, Chonev VK. Infinite-duration bidding games. In: Vol 85. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2017. doi:10.4230/LIPIcs.CONCUR.2017.21
View | Files available | DOI | arXiv
 

2017 | Journal Article | IST-REx-ID: 951 | OA
Schmidt T, Barton NH, Rasic G, et al. Local introduction and heterogeneous spatial spread of dengue-suppressing Wolbachia through an urban population of Aedes Aegypti. PLoS Biology. 2017;15(5). doi:10.1371/journal.pbio.2001894
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 952 | OA
Turelli M, Barton NH. Deploying dengue-suppressing Wolbachia: Robust models predict slow but effective spatial spread in Aedes aegypti. Theoretical Population Biology. 2017;115:45-60. doi:10.1016/j.tpb.2017.03.003
View | Files available | DOI | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 953 | OA
Charlesworth D, Barton NH, Charlesworth B. The sources of adaptive evolution. Proceedings of the Royal Society of London Series B Biological Sciences. 2017;284(1855). doi:10.1098/rspb.2016.2864
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 954 | OA
Lagator M, Paixao T, Barton NH, Bollback JP, Guet CC. On the mechanistic nature of epistasis in a canonical cis-regulatory element. eLife. 2017;6. doi:10.7554/eLife.25192
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 955 | OA
Friedlander T, Prizak R, Barton NH, Tkačik G. Evolution of new regulatory functions on biophysically realistic fitness landscapes. Nature Communications. 2017;8(1). doi:10.1038/s41467-017-00238-8
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 956 | OA
Carlen E, Maas J. Gradient flow and entropy inequalities for quantum Markov semigroups with detailed balance. Journal of Functional Analysis. 2017;273(5):1810-1869. doi:10.1016/j.jfa.2017.05.003
View | DOI | Download Submitted Version (ext.)
 

2017 | Book Chapter | IST-REx-ID: 957
Clifton B, Whitfield J, Sanchez-Romero I, et al. Ancestral protein reconstruction and circular permutation for improving the stability and dynamic range of FRET sensors. In: Stein V, ed. Synthetic Protein Switches. Vol 1596. Synthetic Protein Switches. Springer; 2017:71-87. doi:10.1007/978-1-4939-6940-1_5
View | DOI
 

2017 | Book Chapter | IST-REx-ID: 958
Mitchell J, Zhang W, Herde M, et al. Method for developing optical sensors using a synthetic dye fluorescent protein FRET pair and computational modeling and assessment. In: Stein V, ed. Synthetic Protein Switches. Vol 1596. Synthetic Protein Switches. Springer; 2017:89-99. doi:10.1007/978-1-4939-6940-1_6
View | DOI
 

2017 | Journal Article | IST-REx-ID: 959 | OA
De Martino D. Scales and multimodal flux distributions in stationary metabolic network models via thermodynamics. Physical Review E Statistical Nonlinear and Soft Matter Physics . 2017;95(6):062419. doi:10.1103/PhysRevE.95.062419
View | DOI | Download Submitted Version (ext.)
 

2017 | Conference Paper | IST-REx-ID: 962
Trinh M, Chu DH, Jaffar J. Model counting for recursively-defined strings. In: Majumdar R, Kunčak V, eds. Vol 10427. Springer; 2017:399-418. doi:10.1007/978-3-319-63390-9_21
View | DOI
 

2017 | Conference Paper | IST-REx-ID: 963 | OA
Avni G, Guha S, Kupferman O. Timed network games with clocks. In: Vol 83. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2017. doi:10.4230/LIPIcs.MFCS.2017.37
View | Files available | DOI
 

2017 | Research Data Reference | IST-REx-ID: 9844
Nikolic N, Schreiber F, Dal Co A, et al. Source data for figures and tables. 2017. doi:10.1371/journal.pgen.1007122.s018
View | Files available | DOI
 

2017 | Research Data Reference | IST-REx-ID: 9845
Nikolic N, Schreiber F, Dal Co A, et al. Mathematical model. 2017. doi:10.1371/journal.pgen.1007122.s017
View | Files available | DOI
 

2017 | Research Data Reference | IST-REx-ID: 9846
Nikolic N, Schreiber F, Dal Co A, et al. Supplementary methods. 2017. doi:10.1371/journal.pgen.1007122.s016
View | Files available | DOI
 

2017 | Research Data Reference | IST-REx-ID: 9849
Lukacisinova M, Novak S, Paixao T. Modelling and simulation details. 2017. doi:10.1371/journal.pcbi.1005609.s001
View | Files available | DOI
 

2017 | Research Data Reference | IST-REx-ID: 9850
Lukacisinova M, Novak S, Paixao T. Extensions of the model. 2017. doi:10.1371/journal.pcbi.1005609.s002
View | Files available | DOI
 

2017 | Research Data Reference | IST-REx-ID: 9851
Lukacisinova M, Novak S, Paixao T. Heuristic prediction for multiple stresses. 2017. doi:10.1371/journal.pcbi.1005609.s003
View | Files available | DOI
 

2017 | Research Data Reference | IST-REx-ID: 9852
Lukacisinova M, Novak S, Paixao T. Resistance frequencies for different combination strategies. 2017. doi:10.1371/journal.pcbi.1005609.s004
View | Files available | DOI
 

2017 | Research Data Reference | IST-REx-ID: 9855
Chalk MJ, Masset P, Gutkin B, Denève S. Supplementary appendix. 2017. doi:10.1371/journal.pcbi.1005582.s001
View | Files available | DOI
 

2017 | Research Data Reference | IST-REx-ID: 9856
Schmidt T, Barton NH, Rasic G, et al. Supporting Information concerning additional likelihood analyses and results. 2017. doi:10.1371/journal.pbio.2001894.s014
View | Files available | DOI
 

2017 | Research Data Reference | IST-REx-ID: 9857
Schmidt T, Barton NH, Rasic G, et al. Supporting information concerning observed wMel frequencies and analyses of habitat variables. 2017. doi:10.1371/journal.pbio.2001894.s015
View | Files available | DOI
 

2017 | Research Data Reference | IST-REx-ID: 9858
Schmidt T, Barton NH, Rasic G, et al. Excel file with data on mosquito densities, Wolbachia infection status and housing characteristics. 2017. doi:10.1371/journal.pbio.2001894.s016
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 988 | OA
Nanda G, Aguilera Servin JL, Rakyta P, et al. Current-phase relation of ballistic graphene Josephson junctions. Nano Letters. 2017;17(6):3396-3401. doi:10.1021/acs.nanolett.7b00097
View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 989
Maas J, Rumpf M, Simon S. Transport based image morphing with intensity modulation. In: Lauze F, Dong Y, Bjorholm Dahl A, eds. Vol 10302. Springer; 2017:563-577. doi:10.1007/978-3-319-58771-4_45
View | DOI
 

2017 | Journal Article | IST-REx-ID: 990 | OA
Sachdeva H, Barton NH. Divergence and evolution of assortative mating in a polygenic trait model of speciation with gene flow. Evolution; International Journal of Organic Evolution. 2017;71(6):1478-1493. doi:10.1111/evo.13252
View | Files available | DOI | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 991
Chen C, Jonas PM. Synaptotagmins: That’s why so many. Neuron. 2017;94(4):694-696. doi:10.1016/j.neuron.2017.05.011
View | DOI
 

2017 | Thesis | IST-REx-ID: 992 | OA
Rolinek M. Complexity of constraint satisfaction. 2017. doi:10.15479/AT:ISTA:th_815
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 993 | OA
Levina (Martius) A, Priesemann V. Subsampling scaling. Nature Communications. 2017;8. doi:10.1038/ncomms15140
View | Files available | DOI
 

Filters and Search Terms

extern<>1

Search

Filter Publications