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.
7131 Publications
2013 | Published | Journal Article | IST-REx-ID: 2473 | 
Barton NH, Etheridge A, Kelleher J, Véber A. 2013. Genetic hitch-hiking in spatially extended populations. Theoretical Population Biology. 87(8), 75–89.
[Submitted Version]
View
| Files available
| DOI
2013 | Published | Conference Paper | IST-REx-ID: 2718 |
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.
[Submitted Version]
View
| Files available
| DOI
2013 | Published | Journal Article | IST-REx-ID: 2842 |
Barton NH, Etheridge A, Kelleher J, Véber A. 2013. Inference in two dimensions: Allele frequencies versus lengths of shared sequence blocks. Theoretical Population Biology. 87(1), 105–119.
[Submitted Version]
View
| Files available
| DOI
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
2013 | Published | Journal Article | IST-REx-ID: 2720 |
Long H, Paixao T, Azevedo R, Zufall R. 2013. Accumulation of spontaneous mutations in the ciliate Tetrahymena thermophila. Genetics. 195(2), 527–540.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2013 | Published | Journal Article | IST-REx-ID: 2860 |
Dupret D, O’Neill J, Csicsvari JL. 2013. Dynamic reconfiguration of hippocampal interneuron circuits during spatial learning. Neuron. 78(1), 166–180.
[Published Version]
View
| Files available
| DOI
2013 | Published | Journal Article | IST-REx-ID: 2857 |
Szobota S, Mckenzie C, Janovjak HL. 2013. Optical control of ligand-gated ion channels. Methods in Molecular Biology. 998, 417–435.
[Submitted Version]
View
| Files available
| DOI
2013 | Published | Journal Article | IST-REx-ID: 2472 |
Cazzonelli C, Vanstraelen M, Simon S, Yin K, Carron Arthur A, Nisar N, Tarle G, Cuttriss A, Searle I, Benková E, Mathesius U, Masle J, Friml J, Pogson B. 2013. Role of the Arabidopsis PIN6 auxin transporter in auxin homeostasis and auxin-mediated development. PLoS One. 8(7), e70069.
[Published Version]
View
| Files available
| DOI
2013 | Published | Journal Article | IST-REx-ID: 2832 |
Tanaka H, Kitakura S, Rakusová H, Uemura T, Feraru M, De Rycke R, Robert S, Kakimoto T, Friml J. 2013. Cell polarity and patterning by PIN trafficking through early endosomal compartments in arabidopsis thaliana. PLoS Genetics. 9(5), e1003540.
[Published Version]
View
| Files available
| DOI
2013 | Published | Journal Article | IST-REx-ID: 2443 |
Simon S, Kubeš M, Baster P, Robert S, Dobrev P, Friml J, Petrášek J, Zažímalová E. 2013. Defining the selectivity of processes along the auxin response chain: A study using auxin analogues. New Phytologist. 200(4), 1034–1048.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2013 | Published | Journal Article | IST-REx-ID: 2448 |
Remy E, Baster P, Friml J, Duque P. 2013. ZIFL1.1 transporter modulates polar auxin transport by stabilizing membrane abundance of multiple PINs in Arabidopsis root tip. Plant Signaling & Behavior. 8(10), e25688.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
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: 2259 |
Alwen JF, Krenn S, Pietrzak KZ, Wichs D. 2013. Learning with rounding, revisited: New reduction properties and applications. 8042(1), 57–74.
[Published Version]
View
| Files available
| DOI
2013 | Published | Conference Paper | IST-REx-ID: 2258 |
Kiltz E, Pietrzak KZ, Szegedy M. 2013. Digital signatures with minimal overhead from indifferentiable random invertible functions. 8042, 571–588.
[Submitted Version]
View
| Files available
| DOI
2013 | Published | Conference Paper | IST-REx-ID: 2940 |
Krenn S, Pietrzak KZ, Wadia A. 2013. A counterexample to the chain rule for conditional HILL entropy, and what deniable encryption has to do with it. TCC: Theory of Cryptography Conference, LNCS, vol. 7785, 23–39.
[Submitted Version]
View
| Files available
| DOI
2013 | Published | Journal Article | IST-REx-ID: 2858 |
Reiter J, Božić I, Allen B, Chatterjee K, Nowak M. 2013. The effect of one additional driver mutation on tumor progression. Evolutionary Applications. 6(1), 34–45.
[Published Version]
View
| Files available
| DOI
2013 | Published | Journal Article | IST-REx-ID: 2854 |
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.
[Published Version]
View
| Files available
| DOI
2013 | Published | Journal Article | IST-REx-ID: 2814 |
Chatterjee K, Alfaro L, Majumdar R. 2013. The complexity of coverage. International Journal of Foundations of Computer Science. 24(2), 165–185.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2013 | Published | Conference Paper | IST-REx-ID: 1374 |
Chatterjee K, Fijalkow N. 2013. Infinite-state games with finitary conditions. 22nd EACSL Annual Conference on Computer Science Logic. CSL: Computer Science LogicLeibniz International Proceedings in Informatics, LIPIcs, vol. 23, 181–196.
[Published Version]
View
| Files available
| DOI
2013 | Published | Conference Paper | IST-REx-ID: 2446 |
Chatterjee K, Gaiser A, Kretinsky J. 2013. Automata with generalized Rabin pairs for probabilistic model checking and LTL synthesis. 8044, 559–575.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv