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.
11082 Publications
2013 | Published | Journal Article | IST-REx-ID: 899
Breen et al. reply
M. Breen, C. Kemena, P. Vlasov, C. Notredame, F. Kondrashov, Nature 497 (2013) E2–E3.
View
| DOI
M. Breen, C. Kemena, P. Vlasov, C. Notredame, F. Kondrashov, Nature 497 (2013) E2–E3.
2013 | Published | Journal Article | IST-REx-ID: 905 | 
Birds of Mys Shmidta, north Chukotka, Russia
V. Arkhipov, T. Noah, S. Koschkar, F. Kondrashov, Forktail (2013) 25–30.
View
| Download (ext.)
V. Arkhipov, T. Noah, S. Koschkar, F. Kondrashov, Forktail (2013) 25–30.
2013 | Published | Journal Article | IST-REx-ID: 9055
Living crystals of light-activated colloidal surfers
J.A. Palacci, S. Sacanna, A.P. Steinberg, D.J. Pine, P.M. Chaikin, Science 339 (2013) 936–940.
View
| DOI
| PubMed | Europe PMC
J.A. Palacci, S. Sacanna, A.P. Steinberg, D.J. Pine, P.M. Chaikin, Science 339 (2013) 936–940.
2013 | Published | Journal Article | IST-REx-ID: 9153 |
Internal tide generation by abyssal hills using analytical theory
A. Melet, M. Nikurashin, C.J. Muller, S. Falahat, J. Nycander, P.G. Timko, B.K. Arbic, J.A. Goff, Journal of Geophysical Research: Oceans 118 (2013) 6303–6318.
[Published Version]
View
| DOI
| Download Published Version (ext.)
A. Melet, M. Nikurashin, C.J. Muller, S. Falahat, J. Nycander, P.G. Timko, B.K. Arbic, J.A. Goff, Journal of Geophysical Research: Oceans 118 (2013) 6303–6318.
2013 | Published | Journal Article | IST-REx-ID: 9154 |
Impact of convective organization on the response of tropical precipitation extremes to warming
C.J. Muller, Journal of Climate 26 (2013) 5028–5043.
[Published Version]
View
| DOI
| Download Published Version (ext.)
C.J. Muller, Journal of Climate 26 (2013) 5028–5043.
2013 | Published | Journal Article | IST-REx-ID: 9167 |
Photoactivated colloidal dockers for cargo transportation
J.A. Palacci, S. Sacanna, A. Vatchinsky, P.M. Chaikin, D.J. Pine, Journal of the American Chemical Society 135 (2013) 15978–15981.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
| arXiv
J.A. Palacci, S. Sacanna, A. Vatchinsky, P.M. Chaikin, D.J. Pine, Journal of the American Chemical Society 135 (2013) 15978–15981.
2013 | Published | Journal Article | IST-REx-ID: 921
Alignment of cellular motility forces with tissue flow as a mechanism for efficient wound healing
M. Basan, J. Elgeti, E.B. Hannezo, W. Rappel, H. Levine, PNAS 110 (2013) 2452–2459.
View
| DOI
M. Basan, J. Elgeti, E.B. Hannezo, W. Rappel, H. Levine, PNAS 110 (2013) 2452–2459.
2013 | Published | Journal Article | IST-REx-ID: 9459 |
The Arabidopsis nucleosome remodeler DDM1 allows DNA methyltransferases to access H1-containing heterochromatin
A. Zemach, M.Y. Kim, P.-H. Hsieh, D. Coleman-Derr, L. Eshed-Williams, K. Thao, S.L. Harmer, D. Zilberman, Cell 153 (2013) 193–205.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
A. Zemach, M.Y. Kim, P.-H. Hsieh, D. Coleman-Derr, L. Eshed-Williams, K. Thao, S.L. Harmer, D. Zilberman, Cell 153 (2013) 193–205.
2013 | Published | Book Chapter | IST-REx-ID: 18352
Stable Semi-local Features for Non-rigid Shapes
R. Litman, A.M. Bronstein, M.M. Bronstein, in:, M. Breuß, A. Bruckstein, P. Maragos (Eds.), Innovations for Shape Analysis, Springer Nature, Berlin, Heidelberg, 2013, pp. 161–189.
View
| DOI
R. Litman, A.M. Bronstein, M.M. Bronstein, in:, M. Breuß, A. Bruckstein, P. Maragos (Eds.), Innovations for Shape Analysis, Springer Nature, Berlin, Heidelberg, 2013, pp. 161–189.
2013 | Published | Book Chapter | IST-REx-ID: 18351
Group-Valued Regularization for Motion Segmentation of Articulated Shapes
G. Rosman, M.M. Bronstein, A.M. Bronstein, A. Wolf, R. Kimmel, in:, M. Breuß, A. Bruckstein, P. Maragos (Eds.), Innovations for Shape Analysis, Springer Nature, Berlin, Heidelberg, 2013, pp. 263–281.
View
| DOI
G. Rosman, M.M. Bronstein, A.M. Bronstein, A. Wolf, R. Kimmel, in:, M. Breuß, A. Bruckstein, P. Maragos (Eds.), Innovations for Shape Analysis, Springer Nature, Berlin, Heidelberg, 2013, pp. 263–281.
2013 | Published | Conference Paper | IST-REx-ID: 2718 |
Can quantitative and population genetics help us understand evolutionary computation?
N.H. Barton, T. Paixao, in:, Proceedings of the 15th Annual Conference on Genetic and Evolutionary Computation, ACM, 2013, pp. 1573–1580.
[Submitted Version]
View
| Files available
| DOI
N.H. Barton, T. Paixao, in:, Proceedings of the 15th Annual Conference on Genetic and Evolutionary Computation, ACM, 2013, pp. 1573–1580.
2013 | Published | Conference Paper | IST-REx-ID: 2719
A variance decomposition approach to the analysis of genetic algorithms
T. Paixao, N.H. Barton, in:, Proceedings of the 15th Annual Conference on Genetic and Evolutionary Computation, ACM, 2013, pp. 845–852.
View
| DOI
T. Paixao, N.H. Barton, in:, Proceedings of the 15th Annual Conference on Genetic and Evolutionary Computation, ACM, 2013, pp. 845–852.
2013 | Published | Journal Article | IST-REx-ID: 2857 |
Optical control of ligand-gated ion channels
S. Szobota, C. Mckenzie, H.L. Janovjak, Methods in Molecular Biology 998 (2013) 417–435.
[Submitted Version]
View
| Files available
| DOI
S. Szobota, C. Mckenzie, H.L. Janovjak, Methods in Molecular Biology 998 (2013) 417–435.
2013 | Published | 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 | Published | Conference Paper | IST-REx-ID: 2259 |
Learning with rounding, revisited: New reduction properties and applications
J.F. Alwen, S. Krenn, K.Z. Pietrzak, D. Wichs, 8042 (2013) 57–74.
[Published Version]
View
| Files available
| DOI
J.F. Alwen, S. Krenn, K.Z. Pietrzak, D. Wichs, 8042 (2013) 57–74.
2013 | Published | Conference Paper | IST-REx-ID: 2258 |
Digital signatures with minimal overhead from indifferentiable random invertible functions
E. Kiltz, K.Z. Pietrzak, M. Szegedy, 8042 (2013) 571–588.
[Submitted Version]
View
| Files available
| DOI
E. Kiltz, K.Z. Pietrzak, M. Szegedy, 8042 (2013) 571–588.
2013 | Published | Conference Paper | IST-REx-ID: 2238
Multi-objective discounted reward verification in graphs and MDPs
K. Chatterjee, V. Forejt, D. Wojtczak, 8312 (2013) 228–242.
View
| DOI
K. Chatterjee, V. Forejt, D. Wojtczak, 8312 (2013) 228–242.
2013 | Published | Conference Paper | IST-REx-ID: 1374 |
Infinite-state games with finitary conditions
K. Chatterjee, N. Fijalkow, in:, 22nd EACSL Annual Conference on Computer Science Logic, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2013, pp. 181–196.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, N. Fijalkow, in:, 22nd EACSL Annual Conference on Computer Science Logic, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2013, pp. 181–196.
2013 | Published | Conference Paper | IST-REx-ID: 2446 |
Automata with generalized Rabin pairs for probabilistic model checking and LTL synthesis
K. Chatterjee, A. Gaiser, J. Kretinsky, 8044 (2013) 559–575.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
K. Chatterjee, A. Gaiser, J. Kretinsky, 8044 (2013) 559–575.
2013 | Published | Conference Paper | IST-REx-ID: 2444 |
Faster algorithms for Markov decision processes with low treewidth
K. Chatterjee, J. Ła̧Cki, 8044 (2013) 543–558.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
K. Chatterjee, J. Ła̧Cki, 8044 (2013) 543–558.