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.
6020 Publications
2013 | Published | Conference Paper | IST-REx-ID: 2279 | 
Chatterjee K, Doyen L, Randour M, Raskin J. 2013. Looking at mean-payoff and total-payoff through windows. 8172, 118–132.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2013 | Published | Technical Report | IST-REx-ID: 5403 |
Chatterjee K, Ibsen-Jensen R. 2013. Qualitative analysis of concurrent mean-payoff games, IST Austria, 33p.
[Published Version]
View
| Files available
| DOI
2013 | Published | Report | IST-REx-ID: 2274 |
Dziembowski S, Faust S, Kolmogorov V, Pietrzak KZ. 2013. Proofs of Space, IST Austria,p.
[Published Version]
View
| Files available
2013 | Published | Conference Paper | IST-REx-ID: 2518 |
Kolmogorov V. 2013. The power of linear programming for finite-valued CSPs: A constructive characterization. ICALP: Automata, Languages and Programming, LNCS, vol. 7965, 625–636.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2013 | Published | Conference Paper | IST-REx-ID: 2843
Edelsbrunner H, Pausinger F. 2013. Stable length estimates of tube-like shapes. 17th IAPR International Conference on Discrete Geometry for Computer Imagery. DGCI: Discrete Geometry for Computer Imagery, LNCS, vol. 7749, XV–XIX.
View
| Files available
| DOI
2013 | Research Data Reference | IST-REx-ID: 9754 |
Hearn J, Stone G, Barton NH, Lohse K, Bunnefeld L. 2013. Data from: Likelihood-based inference of population history from low coverage de novo genome assemblies, Dryad, 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. 2013. Positional information, in bits. PNAS. 110(41), 16301–16308.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2013 | Published | Journal Article | IST-REx-ID: 2944
Aeschbacher S, Futschik A, Beaumont M. 2013. Approximate Bayesian computation for modular inference problems with many parameters: the example of migration rates. . Molecular Ecology. 22(4), 987–1002.
View
| Files available
| DOI
| WoS
2013 | Published | Journal Article | IST-REx-ID: 2910 |
Kelleher J, Barton NH, Etheridge A. 2013. Coalescent simulation in continuous space. Bioinformatics. 29(7), 955–956.
[Published Version]
View
| Files available
| DOI
| WoS
2013 | Published | Journal Article | IST-REx-ID: 2909 |
Barton NH, Etheridge A, Véber A. 2013. Modelling evolution in a spatial continuum. Journal of Statistical Mechanics Theory and Experiment. 2013(1).
[Submitted Version]
View
| Files available
| DOI
| WoS
2013 | Published | Journal Article | IST-REx-ID: 2914 |
Stephens G, Mora T, Tkačik G, Bialek W. 2013. Statistical thermodynamics of natural images. Physical Review Letters. 110(1), 018701.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2013 | Published | Journal Article | IST-REx-ID: 2919 |
Baster P, Robert S, Kleine Vehn J, Vanneste S, Kania U, Grunewald W, De Rybel B, Beeckman T, Friml J. 2013. SCF^TIR1 AFB-auxin signalling regulates PIN vacuolar trafficking and auxin fluxes during root gravitropism. EMBO Journal. 32(2), 260–274.
[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. 2013. Neurulation coordinating cell polarisation and lumen formation. EMBO Journal. 32(1), 1–3.
[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. 2013. Retinal metric: a stimulus distance measure derived from population neural responses. Physical Review Letters. 110(5), 058104.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2013 | Published | Journal Article | IST-REx-ID: 2939
Chen C, Kerber M. 2013. An output sensitive algorithm for persistent homology. Computational Geometry: Theory and Applications. 46(4), 435–447.
View
| Files available
| DOI
| WoS
2013 | Published | Journal Article | IST-REx-ID: 2863 |
Granot Atedgi E, Tkačik G, Segev R, Schneidman E. 2013. Stimulus-dependent maximum entropy models of neural population codes. PLoS Computational Biology. 9(3), e1002922.
[Published Version]
View
| Files available
| DOI
| WoS
2013 | Published | Journal Article | IST-REx-ID: 2883 |
Wang B, Bailly A, Zwiewk M, Henrichs S, Azzarello E, Mancuso S, Maeshima M, Friml J, Schulz A, Geisler M. 2013. Arabidopsis TWISTED DWARF1 functionally interacts with auxin exporter ABCB1 on the root plasma membrane. Plant Cell. 25(1), 202–214.
[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, Foley F, Heisenberg C-PJ, Yost HJ, Abdelilah Seyfried S, Amack J. 2013. Lethal giant larvae 2 regulates development of the ciliated organ Kupffer’s vesicle. Development. 140(7), 1550–1559.
[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, Iyer Pascuzzi A, Weitz J, Kochian L, Edelsbrunner H, Liao H, Benfey P. 2013. Genotypic recognition and spatial responses by rice roots. PNAS. 110(7), 2670–2675.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC