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.
5784 Publications
2013 | Journal Article | IST-REx-ID: 976 |
Spinon-phonon interaction in algebraic spin liquids
M. Serbyn, P. Lee, Physical Review B - Condensed Matter and Materials Physics 87 (2013).
View
| DOI
| Download (ext.)
M. Serbyn, P. Lee, Physical Review B - Condensed Matter and Materials Physics 87 (2013).
2013 | Journal Article | IST-REx-ID: 12638 |
Comparison of climate change signals in CMIP3 and CMIP5 multi-model ensembles and implications for Central Asian glaciers
A.F. Lutz, W.W. Immerzeel, A. Gobiet, F. Pellicciotti, M.F.P. Bierkens, Hydrology and Earth System Sciences 17 (2013) 3661–3677.
[Published Version]
View
| DOI
| Download Published Version (ext.)
A.F. Lutz, W.W. Immerzeel, A. Gobiet, F. Pellicciotti, M.F.P. Bierkens, Hydrology and Earth System Sciences 17 (2013) 3661–3677.
2013 | Journal Article | IST-REx-ID: 12639 |
Sources of uncertainty in modeling the glaciohydrological response of a Karakoram watershed to climate change
S. Ragettli, F. Pellicciotti, R. Bordoy, W.W. Immerzeel, Water Resources Research 49 (2013) 6048–6066.
[Published Version]
View
| DOI
| Download Published Version (ext.)
S. Ragettli, F. Pellicciotti, R. Bordoy, W.W. Immerzeel, Water Resources Research 49 (2013) 6048–6066.
2013 | Journal Article | IST-REx-ID: 9520 |
A conversation across generations: Soma-germ cell crosstalk in plants
X. Feng, D. Zilberman, H. Dickinson, Developmental Cell 24 (2013) 215–225.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
X. Feng, D. Zilberman, H. Dickinson, Developmental Cell 24 (2013) 215–225.
2013 | Journal Article | IST-REx-ID: 2914 |
Statistical thermodynamics of natural images
G. Stephens, T. Mora, G. Tkačik, W. Bialek, Physical Review Letters 110 (2013).
[Published Version]
View
| Files available
| DOI
| arXiv
G. Stephens, T. Mora, G. Tkačik, W. Bialek, Physical Review Letters 110 (2013).
2013 | Book Chapter | IST-REx-ID: 5747 |
Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates
C. Dragoi, A. Gupta, T.A. Henzinger, in:, Computer Aided Verification, Springer Berlin Heidelberg, Berlin, Heidelberg, 2013, pp. 174–190.
View
| Files available
| DOI
C. Dragoi, A. Gupta, T.A. Henzinger, in:, Computer Aided Verification, Springer Berlin Heidelberg, Berlin, Heidelberg, 2013, pp. 174–190.
2013 | Thesis | IST-REx-ID: 1405 |
Analysis of dynamic message passing programs
D. Zufferey, Analysis of Dynamic Message Passing Programs, Institute of Science and Technology Austria, 2013.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
D. Zufferey, Analysis of Dynamic Message Passing Programs, Institute of Science and Technology Austria, 2013.
2013 | Conference Paper | IST-REx-ID: 2847 |
Structural Counter Abstraction
K. Bansal, E. Koskinen, T. Wies, D. Zufferey, 7795 (2013) 62–77.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
K. Bansal, E. Koskinen, T. Wies, D. Zufferey, 7795 (2013) 62–77.
2013 | Journal Article | IST-REx-ID: 2247 |
Forgiver triumphs in alternating prisoner's dilemma
B. Zagorsky, J. Reiter, K. Chatterjee, M. Nowak, PLoS One 8 (2013).
[Published Version]
View
| Files available
| DOI
B. Zagorsky, J. Reiter, K. Chatterjee, M. Nowak, PLoS One 8 (2013).
2013 | Journal Article | IST-REx-ID: 2858 |
The effect of one additional driver mutation on tumor progression
J. Reiter, I. Božić, B. Allen, K. Chatterjee, M. Nowak, Evolutionary Applications 6 (2013) 34–45.
[Published Version]
View
| Files available
| DOI
J. Reiter, I. Božić, B. Allen, K. Chatterjee, M. Nowak, Evolutionary Applications 6 (2013) 34–45.
2013 | Journal Article | IST-REx-ID: 2816 |
Evolutionary dynamics of cancer in response to targeted combination therapy
I. Božić, J. Reiter, B. Allen, T. Antal, K. Chatterjee, P. Shah, Y. Moon, A. Yaqubie, N. Kelly, D. Le, E. Lipson, P. Chapman, L. Diaz, B. Vogelstein, M. Nowak, ELife 2 (2013).
[Published Version]
View
| Files available
| DOI
I. Božić, J. Reiter, B. Allen, T. Antal, K. Chatterjee, P. Shah, Y. Moon, A. Yaqubie, N. Kelly, D. Le, E. Lipson, P. Chapman, L. Diaz, B. Vogelstein, M. Nowak, ELife 2 (2013).
2013 | Conference Paper | IST-REx-ID: 2000 |
TTP: Tool for tumor progression
J. Reiter, I. Božić, K. Chatterjee, M. Nowak, in:, Proceedings of 25th Int. Conf. on Computer Aided Verification, Springer, 2013, pp. 101–106.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
J. Reiter, I. Božić, K. Chatterjee, M. Nowak, in:, Proceedings of 25th Int. Conf. on Computer Aided Verification, Springer, 2013, pp. 101–106.
2013 | Conference Paper | IST-REx-ID: 2445 |
Efficient synthesis for concurrency by semantics-preserving transformations
P. Cerny, T.A. Henzinger, A. Radhakrishna, L. Ryzhyk, T. Tarrach, in:, Springer, 2013, pp. 951–967.
[Submitted Version]
View
| Files available
| DOI
P. Cerny, T.A. Henzinger, A. Radhakrishna, L. Ryzhyk, T. Tarrach, in:, Springer, 2013, pp. 951–967.
2013 | Conference Paper | IST-REx-ID: 2305 |
Trading performance for stability in Markov decision processes
T. Brázdil, K. Chatterjee, V. Forejt, A. Kučera, in:, 28th Annual ACM/IEEE Symposium, IEEE, 2013, pp. 331–340.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
T. Brázdil, K. Chatterjee, V. Forejt, A. Kučera, in:, 28th Annual ACM/IEEE Symposium, IEEE, 2013, pp. 331–340.
2013 | Conference Paper | IST-REx-ID: 2272 |
Inference algorithms for pattern-based CRFs on sequence data
R. Takhanov, V. Kolmogorov, in:, ICML’13 Proceedings of the 30th International Conference on International, ML Research Press, 2013, pp. 145–153.
[Submitted Version]
View
| Files available
| Download Submitted Version (ext.)
R. Takhanov, V. Kolmogorov, in:, ICML’13 Proceedings of the 30th International Conference on International, ML Research Press, 2013, pp. 145–153.
2013 | Journal Article | IST-REx-ID: 2448 |
ZIFL1.1 transporter modulates polar auxin transport by stabilizing membrane abundance of multiple PINs in Arabidopsis root tip
E. Remy, P. Baster, J. Friml, P. Duque, Plant Signaling & Behavior 8 (2013).
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
E. Remy, P. Baster, J. Friml, P. Duque, Plant Signaling & Behavior 8 (2013).
2013 | Journal Article | IST-REx-ID: 2853 |
Altruism can evolve when relatedness is low: Evidence from bacteria committing suicide upon phage infection
D. Refardt, T. Bergmiller, R. Kümmerli, Proceedings of the Royal Society of London Series B Biological Sciences 280 (2013).
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
D. Refardt, T. Bergmiller, R. Kümmerli, Proceedings of the Royal Society of London Series B Biological Sciences 280 (2013).
2013 | Research Data Reference | IST-REx-ID: 9751 |
Data from: Altruism can evolve when relatedness is low: evidence from bacteria committing suicide upon phage infection
D. Refardt, T. Bergmiller, R. Kümmerli, (2013).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
D. Refardt, T. Bergmiller, R. Kümmerli, (2013).
2013 | Report | IST-REx-ID: 2274 |
Proofs of Space
S. Dziembowski, S. Faust, V. Kolmogorov, K.Z. Pietrzak, Proofs of Space, IST Austria, 2013.
[Published Version]
View
| Files available
S. Dziembowski, S. Faust, V. Kolmogorov, K.Z. Pietrzak, Proofs of Space, IST Austria, 2013.
2012 | Journal Article | IST-REx-ID: 10387 |
Mechanism of membrane tube formation induced by adhesive nanocomponents
A. Šarić, A. Cacciuto, Physical Review Letters 109 (2012).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
| arXiv
A. Šarić, A. Cacciuto, Physical Review Letters 109 (2012).