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.
10938 Publications
2013 | Published | Conference Paper | IST-REx-ID: 2279 | 
Chatterjee K, Doyen L, Randour M, Raskin J. Looking at mean-payoff and total-payoff through windows. 2013;8172:118-132. doi:10.1007/978-3-319-02444-8_10
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2013 | Published | Technical Report | IST-REx-ID: 5403 |
Chatterjee K, Ibsen-Jensen R. Qualitative Analysis of Concurrent Mean-Payoff Games. IST Austria; 2013. doi:10.15479/AT:IST-2013-126-v1-1
[Published Version]
View
| Files available
| DOI
2013 | Published | Report | IST-REx-ID: 2274 |
Dziembowski S, Faust S, Kolmogorov V, Pietrzak KZ. Proofs of Space. IST Austria; 2013.
[Published Version]
View
| Files available
2013 | Published | Conference Paper | IST-REx-ID: 2518 |
Kolmogorov V. The power of linear programming for finite-valued CSPs: A constructive characterization. In: Vol 7965. Springer; 2013:625-636. doi:10.1007/978-3-642-39206-1_53
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2013 | Published | Conference Paper | IST-REx-ID: 2843
Edelsbrunner H, Pausinger F. Stable length estimates of tube-like shapes. In: 17th IAPR International Conference on Discrete Geometry for Computer Imagery. Vol 7749. Springer; 2013:XV-XIX. doi:10.1007/978-3-642-37067-0
View
| Files available
| DOI
2013 | Research Data Reference | IST-REx-ID: 9754 |
Hearn J, Stone G, Barton NH, Lohse K, Bunnefeld L. Data from: Likelihood-based inference of population history from low coverage de novo genome assemblies. 2013. doi:10.5061/dryad.r3r60
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2013 | Published | Journal Article | IST-REx-ID: 3261 |
Dubuis J, Tkačik G, Wieschaus E, Gregor T, Bialek W. Positional information, in bits. PNAS. 2013;110(41):16301-16308. doi:10.1073/pnas.1315642110
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2013 | Published | Journal Article | IST-REx-ID: 2944
Aeschbacher S, Futschik A, Beaumont M. Approximate Bayesian computation for modular inference problems with many parameters: the example of migration rates. . Molecular Ecology. 2013;22(4):987-1002. doi:10.1111/mec.12165
View
| Files available
| DOI
| WoS
2013 | Published | Journal Article | IST-REx-ID: 3116
Chatterjee K, De Alfaro L, Faella M, Majumdar R, Raman V. Code aware resource management. Formal Methods in System Design. 2013;42(2):142-174. doi:10.1007/s10703-012-0170-4
View
| DOI
| WoS
2013 | Published | Journal Article | IST-REx-ID: 2910 |
Kelleher J, Barton NH, Etheridge A. Coalescent simulation in continuous space. Bioinformatics. 2013;29(7):955-956. doi:10.1093/bioinformatics/btt067
[Published Version]
View
| Files available
| DOI
| WoS
2013 | Published | Journal Article | IST-REx-ID: 2909 |
Barton NH, Etheridge A, Véber A. Modelling evolution in a spatial continuum. Journal of Statistical Mechanics Theory and Experiment. 2013;2013(1). doi:10.1088/1742-5468/2013/01/P01002
[Submitted Version]
View
| Files available
| DOI
| WoS
2013 | Published | Journal Article | IST-REx-ID: 2914 |
Stephens G, Mora T, Tkačik G, Bialek W. Statistical thermodynamics of natural images. Physical Review Letters. 2013;110(1). doi:10.1103/PhysRevLett.110.018701
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2013 | Published | Journal Article | IST-REx-ID: 2919 |
Baster P, Robert S, Kleine Vehn J, et al. SCF^TIR1 AFB-auxin signalling regulates PIN vacuolar trafficking and auxin fluxes during root gravitropism. EMBO Journal. 2013;32(2):260-274. doi:10.1038/emboj.2012.310
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| PubMed | Europe PMC
2013 | Published | Journal Article | IST-REx-ID: 2920 |
Compagnon J, Heisenberg C-PJ. Neurulation coordinating cell polarisation and lumen formation. EMBO Journal. 2013;32(1):1-3. doi:10.1038/emboj.2012.325
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| PubMed | Europe PMC
2013 | Published | Journal Article | IST-REx-ID: 2913 |
Tkačik G, Granot Atedgi E, Segev R, Schneidman E. Retinal metric: a stimulus distance measure derived from population neural responses. Physical Review Letters. 2013;110(5). doi:10.1103/PhysRevLett.110.058104
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2013 | Published | Journal Article | IST-REx-ID: 2939
Chen C, Kerber M. An output sensitive algorithm for persistent homology. Computational Geometry: Theory and Applications. 2013;46(4):435-447. doi:10.1016/j.comgeo.2012.02.010
View
| Files available
| DOI
| WoS
2013 | Published | Journal Article | IST-REx-ID: 2863 |
Granot Atedgi E, Tkačik G, Segev R, Schneidman E. Stimulus-dependent maximum entropy models of neural population codes. PLoS Computational Biology. 2013;9(3). doi:10.1371/journal.pcbi.1002922
[Published Version]
View
| Files available
| DOI
| WoS
2013 | Published | Journal Article | IST-REx-ID: 2883 |
Wang B, Bailly A, Zwiewk M, et al. Arabidopsis TWISTED DWARF1 functionally interacts with auxin exporter ABCB1 on the root plasma membrane. Plant Cell. 2013;25(1):202-214. doi:10.1105/tpc.112.105999
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| PubMed | Europe PMC
2013 | Published | Journal Article | IST-REx-ID: 2862 |
Tay H, Schulze S, Compagnon J, et al. Lethal giant larvae 2 regulates development of the ciliated organ Kupffer’s vesicle. Development. 2013;140(7):1550-1559. doi:10.1242/dev.087130
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| PubMed | Europe PMC
2013 | Published | Journal Article | IST-REx-ID: 2887 |
Fang S, Clark R, Zheng Y, et al. Genotypic recognition and spatial responses by rice roots. PNAS. 2013;110(7):2670-2675. doi:10.1073/pnas.1222821110
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC