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.

6244 Publications


2013 |Published| Conference Paper | IST-REx-ID: 2847 | OA
Bansal K, Koskinen E, Wies T, Zufferey D. Structural Counter Abstraction. Piterman N, Smolka S, eds. 2013;7795:62-77. doi:10.1007/978-3-642-36742-7_5
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.)
 

2013 |Published| Journal Article | IST-REx-ID: 2247 | OA
Zagorsky B, Reiter J, Chatterjee K, Nowak M. Forgiver triumphs in alternating prisoner’s dilemma . PLoS One. 2013;8(12). doi:10.1371/journal.pone.0080814
[Published Version] View | Files available | DOI
 

2013 |Published| Journal Article | IST-REx-ID: 2858 | OA
Reiter J, Božić I, Allen B, Chatterjee K, Nowak M. The effect of one additional driver mutation on tumor progression. Evolutionary Applications. 2013;6(1):34-45. doi:10.1111/eva.12020
[Published Version] View | Files available | DOI
 

2013 |Published| Journal Article | IST-REx-ID: 2816 | OA
Božić I, Reiter J, Allen B, et al. Evolutionary dynamics of cancer in response to targeted combination therapy. eLife. 2013;2. doi:10.7554/eLife.00747
[Published Version] View | Files available | DOI
 

2013 |Published| Conference Paper | IST-REx-ID: 2000 | OA
Reiter J, Božić I, Chatterjee K, Nowak M. TTP: Tool for tumor progression. In: Proceedings of 25th Int. Conf. on Computer Aided Verification. Vol 8044. Lecture Notes in Computer Science. Springer; 2013:101-106. doi:10.1007/978-3-642-39799-8_6
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2013 |Published| Conference Paper | IST-REx-ID: 2445 | OA
Cerny P, Henzinger TA, Radhakrishna A, Ryzhyk L, Tarrach T. Efficient synthesis for concurrency by semantics-preserving transformations. In: Vol 8044. Springer; 2013:951-967. doi:10.1007/978-3-642-39799-8_68
[Submitted Version] View | Files available | DOI
 

2013 |Published| Conference Paper | IST-REx-ID: 2305 | OA
Brázdil T, Chatterjee K, Forejt V, Kučera A. Trading performance for stability in Markov decision processes. In: 28th Annual ACM/IEEE Symposium. IEEE; 2013:331-340. doi:10.1109/LICS.2013.39
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2013 |Published| Conference Paper | IST-REx-ID: 2272 | OA
Takhanov R, Kolmogorov V. Inference algorithms for pattern-based CRFs on sequence data. In: ICML’13 Proceedings of the 30th International Conference on International. Vol 28. ML Research Press; 2013:145-153.
[Submitted Version] View | Files available | Download Submitted Version (ext.)
 

2013 |Published| Journal Article | IST-REx-ID: 2448 | OA
Remy E, Baster P, Friml J, Duque P. ZIFL1.1 transporter modulates polar auxin transport by stabilizing membrane abundance of multiple PINs in Arabidopsis root tip. Plant Signaling & Behavior. 2013;8(10). doi:10.4161/psb.25688
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2013 |Published| Journal Article | IST-REx-ID: 2853 | OA
Refardt D, Bergmiller T, Kümmerli R. 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. 2013;280(1759). doi:10.1098/rspb.2012.3035
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2013 | Research Data Reference | IST-REx-ID: 9751 | OA
Refardt D, Bergmiller T, Kümmerli R. Data from: Altruism can evolve when relatedness is low: evidence from bacteria committing suicide upon phage infection. 2013. doi:10.5061/dryad.b1q2n
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

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

2013 |Published| Journal Article | IST-REx-ID: 17631 | OA
Pacucci F, Mesinger A, Haiman Z. Focusing on warm dark matter with lensed high-redshift galaxies. Monthly Notices of the Royal Astronomical Society: Letters. 2013;435(1):L53-L57. doi:10.1093/mnrasl/slt093
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2013 |Published| Journal Article | IST-REx-ID: 17624 | OA
D’Orazio DJ, Haiman Z, MacFadyen A. Accretion into the central cavity of a circumbinary disc. Monthly Notices of the Royal Astronomical Society. 2013;436(4):2997-3020. doi:10.1093/mnras/stt1787
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2013 |Published| Journal Article | IST-REx-ID: 17638 | OA
Tanaka TL, Haiman Z. Electromagnetic signatures of supermassive black hole binaries resolved by PTAs. Classical and Quantum Gravity. 2013;30(22). doi:10.1088/0264-9381/30/22/224012
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2013 |Published| Journal Article | IST-REx-ID: 17646 | OA
de Souza RS, Mesinger A, Ferrara A, Haiman Z, Perna R, Yoshida N. Constraints on warm dark matter models from high-redshift long gamma-ray bursts. Monthly Notices of the Royal Astronomical Society. 2013;432(4):3218-3227. doi:10.1093/mnras/stt674
[Published Version] View | DOI | Download Published Version (ext.)
 

2013 |Published| Journal Article | IST-REx-ID: 17653 | OA
Tanaka TL, Li M, Haiman Z. The effect of baryonic streaming motions on the formation of the first supermassive black holes. Monthly Notices of the Royal Astronomical Society. 2013;435(4):3559-3567. doi:10.1093/mnras/stt1553
[Published Version] View | DOI | Download Published Version (ext.)
 

2013 |Published| Journal Article | IST-REx-ID: 17657 | OA
Rhoads JE, Malhotra S, Stern D, Dickinson M, Pirzkal N, Spinrad H, Reddy N, Hathi N, Grogin N, Koekemoer A, Peth MA, Cohen S, Zheng Z, Budavari T, Ferreras I, Gardner JP, Gronwall C, Haiman Z, Kümmel M, Meurer G, Moustakas L, Panagia N, Pasquali A, Sahu K, di Serego Alighieri S, Somerville R, Straughn A, Walsh J, Windhorst R, Xu C, Yan H. 2013. A Lyman break galaxy in the epoch of reionization from hubble space telescope grism spectroscopy. The Astrophysical Journal. 773(1), 32.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2013 |Published| Journal Article | IST-REx-ID: 17670 | OA
Bard D, Kratochvil JM, Chang C, May M, Kahn SM, AlSayyad Y, Ahmad Z, Bankert J, Connolly A, Gibson RR, Gilmore K, Grace E, Haiman Z, Hannel M, Huffenberger KM, Jernigan JG, Jones L, Krughoff S, Lorenz S, Marshall S, Meert A, Nagarajan S, Peng E, Peterson J, Rasmussen AP, Shmakova M, Sylvestre N, Todd N, Young M. 2013. Effect of measurement errors on predicted cosmological constraints from shear peak statistics with large synoptic survey telescope. The Astrophysical Journal. 774(1), 49.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2013 |Published| Journal Article | IST-REx-ID: 17671 | OA
Bartos I, Haiman Z, Kocsis B, Márka S. Gas cloud G2 can illuminate the black hole population near the galactic center. Physical Review Letters. 2013;110(22). doi:10.1103/physrevlett.110.221102
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

Filters and Search Terms

oa=1

Search

Filter Publications