Please note that IST 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.

2814 Publications


2013 | Conference Paper | IST-REx-ID: 2298 | OA
Dragoi C, Enea C, Sighireanu M. 2013. Local shape analysis for overlaid data structures. SAS: Static Analysis Symposium, LNCS, vol. 7935. 150–171.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2299 | OA
Godhal Y, Chatterjee K, Henzinger TA. 2013. Synthesis of AMBA AHB from formal specification: A case study. International Journal on Software Tools for Technology Transfer. 15(5–6), 585–601.
View | Files available | DOI
 

2013 | Report | IST-REx-ID: 2274 | OA
Dziembowski S, Faust S, Kolmogorov V, Pietrzak KZ. 2013. Proofs of Space, IST Austria,p.
View | Files available
 

2013 | Journal Article | IST-REx-ID: 2277 | OA
Simmons K, Prentice J, Tkačik G, Homann J, Yee H, Palmer S, Nelson P, Balasubramanian V. 2013. Transformation of stimulus correlations by the retina. PLoS Computational Biology. 9(12).
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2278
Pérez Gómez R, Slovakova J, Rives Quinto N, Krejčí A, Carmena A. 2013. A serrate-notch-canoe complex mediates essential interactions between glia and neuroepithelial cells during Drosophila optic lobe development. Journal of Cell Science. 126(21), 4873–4884.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2280 | OA
Uhler C, Wright S. 2013. Packing ellipsoids with overlap. SIAM Review. 55(4), 671–706.
View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Technical Report | IST-REx-ID: 5400 | OA
Chatterjee K, Chmelik M, Tracol M. 2013. What is decidable about partially observable Markov decision processes with ω-regular objectives, IST Austria, 41p.
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2718 | OA
Barton NH, Paixao T. 2013. Can quantitative and population genetics help us understand evolutionary computation? Proceedings of the 15th annual conference on Genetic and evolutionary computation. GECCO: Genetic and evolutionary computation conference 1573–1580.
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2719
Paixao T, Barton NH. 2013. A variance decomposition approach to the analysis of genetic algorithms. Proceedings of the 15th annual conference on Genetic and evolutionary computation. GECCO: Genetic and evolutionary computation conference 845–852.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2720 | OA
Long H, Paixao T, Azevedo R, Zufall R. 2013. Accumulation of spontaneous mutations in the ciliate Tetrahymena thermophila. Genetics. 195(2), 527–540.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2782 | OA
Erdös L, Farrell B. 2013. Local eigenvalue density for general MANOVA matrices. Journal of Statistical Physics. 152(6), 1003–1032.
View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2806
Avila K, Hof B. 2013. High-precision Taylor-Couette experiment to study subcritical transitions and the role of boundary conditions and size effects. Review of Scientific Instruments. 84(6), 065106.
View | DOI
 

2013 | Conference Paper | IST-REx-ID: 2807 | OA
Čadek M, Krcál M, Matoušek J, Vokřínek L, Wagner U. 2013. Extending continuous maps: Polynomiality and undecidability. 45th Annual ACM Symposium on theory of computing. STOC: Symposium on the Theory of Computing 595–604.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2808 | OA
Landberg K, Pederson E, Viaene T, Bozorg B, Friml J, Jönsson H, Thelander M, Sundberg E. 2013. The moss physcomitrella patens reproductive organ development is highly organized, affected by the two SHI/STY genes and by the level of active auxin in the SHI/STY expression domain. Plant Physiology. 162(3), 1406–1419.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2013 | Conference Paper | IST-REx-ID: 2518 | OA
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.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2013 | Conference Paper | IST-REx-ID: 2520 | OA
Quadrianto N, Sharmanska V, Knowles D, Ghahramani Z. 2013. The supervised IBP: Neighbourhood preserving infinite latent feature models. Proceedings of the 29th conference uncertainty in Artificial Intelligence. UAI: Uncertainty in Artificial Intelligence 527–536.
View | Files available
 

2013 | Journal Article | IST-REx-ID: 2810 | OA
de Vos M, Poelwijk F, Battich N, Ndika J, Tans S. 2013. Environmental dependence of genetic constraint. PLoS Genetics. 9(6).
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2811 | OA
Avila M, Hof B. 2013. Nature of laminar-turbulence intermittency in shear flows. Physical Review E. 87(6), 063012.
View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2853 | OA
Refardt D, Bergmiller T, Kümmerli R. 2013. Altruism can evolve when relatedness is low: Evidence from bacteria committing suicide upon phage infection. Proceedings of the Royal Society of London Series B Biological Sciences. 280(1759).
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2854 | OA
Chatterjee K, De Alfaro L, Henzinger TA. 2013. Strategy improvement for concurrent reachability and turn based stochastic safety games. Journal of Computer and System Sciences. 79(5), 640–657.
View | Files available | DOI
 

Filters and Search Terms

extern<>1

Search

Filter Publications