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, M., Kemena, C., Vlasov, P., Notredame, C., & Kondrashov, F. (2013). Breen et al. reply. Nature. Nature Publishing Group. https://doi.org/10.1038/nature12220
View
| DOI
2013 | Published | Journal Article | IST-REx-ID: 905 | 
Arkhipov, V., Noah, T., Koschkar, S., & Kondrashov, F. (2013). Birds of Mys Shmidta, north Chukotka, Russia. Forktail. Oriental Bird Club.
View
| Download (ext.)
2013 | Published | Journal Article | IST-REx-ID: 9055
Palacci, J. A., Sacanna, S., Steinberg, A. P., Pine, D. J., & Chaikin, P. M. (2013). Living crystals of light-activated colloidal surfers. Science. American Association for the Advancement of Science . https://doi.org/10.1126/science.1230020
View
| DOI
| PubMed | Europe PMC
2013 | Published | Journal Article | IST-REx-ID: 9153 |
Melet, A., Nikurashin, M., Muller, C. J., Falahat, S., Nycander, J., Timko, P. G., … Goff, J. A. (2013). Internal tide generation by abyssal hills using analytical theory. Journal of Geophysical Research: Oceans. American Geophysical Union. https://doi.org/10.1002/2013jc009212
[Published Version]
View
| DOI
| Download Published Version (ext.)
2013 | Published | Journal Article | IST-REx-ID: 9154 |
Muller, C. J. (2013). Impact of convective organization on the response of tropical precipitation extremes to warming. Journal of Climate. American Meteorological Society. https://doi.org/10.1175/jcli-d-12-00655.1
[Published Version]
View
| DOI
| Download Published Version (ext.)
2013 | Published | Journal Article | IST-REx-ID: 9167 |
Palacci, J. A., Sacanna, S., Vatchinsky, A., Chaikin, P. M., & Pine, D. J. (2013). Photoactivated colloidal dockers for cargo transportation. Journal of the American Chemical Society. American Chemical Society. https://doi.org/10.1021/ja406090s
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
| arXiv
2013 | Published | Journal Article | IST-REx-ID: 921
Basan, M., Elgeti, J., Hannezo, E. B., Rappel, W., & Levine, H. (2013). Alignment of cellular motility forces with tissue flow as a mechanism for efficient wound healing. PNAS. National Academy of Sciences. https://doi.org/10.1073/pnas.1219937110
View
| DOI
2013 | Published | Journal Article | IST-REx-ID: 9459 |
Zemach, A., Kim, M. Y., Hsieh, P.-H., Coleman-Derr, D., Eshed-Williams, L., Thao, K., … Zilberman, D. (2013). The Arabidopsis nucleosome remodeler DDM1 allows DNA methyltransferases to access H1-containing heterochromatin. Cell. Elsevier. https://doi.org/10.1016/j.cell.2013.02.033
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2013 | Published | Book Chapter | IST-REx-ID: 18352
Litman, R., Bronstein, A. M., & Bronstein, M. M. (2013). Stable Semi-local Features for Non-rigid Shapes. In M. Breuß, A. Bruckstein, & P. Maragos (Eds.), Innovations for Shape Analysis (pp. 161–189). Berlin, Heidelberg: Springer Nature. https://doi.org/10.1007/978-3-642-34141-0_8
View
| DOI
2013 | Published | Book Chapter | IST-REx-ID: 18351
Rosman, G., Bronstein, M. M., Bronstein, A. M., Wolf, A., & Kimmel, R. (2013). Group-Valued Regularization for Motion Segmentation of Articulated Shapes. In M. Breuß, A. Bruckstein, & P. Maragos (Eds.), Innovations for Shape Analysis (pp. 263–281). Berlin, Heidelberg: Springer Nature. https://doi.org/10.1007/978-3-642-34141-0_12
View
| DOI
2013 | Published | Conference Paper | IST-REx-ID: 2718 |
Barton, N. H., & Paixao, T. (2013). Can quantitative and population genetics help us understand evolutionary computation? In Proceedings of the 15th annual conference on Genetic and evolutionary computation (pp. 1573–1580). Amsterdam, Netherlands: ACM. https://doi.org/10.1145/2463372.2463568
[Submitted Version]
View
| Files available
| DOI
2013 | Published | Conference Paper | IST-REx-ID: 2719
Paixao, T., & Barton, N. H. (2013). A variance decomposition approach to the analysis of genetic algorithms. In Proceedings of the 15th annual conference on Genetic and evolutionary computation (pp. 845–852). Amsterdam, Netherlands: ACM. https://doi.org/10.1145/2463372.2463470
View
| DOI
2013 | Published | Journal Article | IST-REx-ID: 2857 |
Szobota, S., Mckenzie, C., & Janovjak, H. L. (2013). Optical control of ligand-gated ion channels. Methods in Molecular Biology. Springer. https://doi.org/10.1007/978-1-62703-351-0_32
[Submitted Version]
View
| Files available
| DOI
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. Taylor & Francis. https://doi.org/10.4161/psb.25688
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2013 | Published | Conference Paper | IST-REx-ID: 2259 |
Alwen, J. F., Krenn, S., Pietrzak, K. Z., & Wichs, D. (2013). Learning with rounding, revisited: New reduction properties and applications. Presented at the CRYPTO: International Cryptology Conference, Santa Barbara, CA, United States: Springer. https://doi.org/10.1007/978-3-642-40041-4_4
[Published Version]
View
| Files available
| DOI
2013 | Published | Conference Paper | IST-REx-ID: 2258 |
Kiltz, E., Pietrzak, K. Z., & Szegedy, M. (2013). Digital signatures with minimal overhead from indifferentiable random invertible functions. Presented at the CRYPTO: International Cryptology Conference, Santa Barbara, CA, United States: Springer. https://doi.org/10.1007/978-3-642-40041-4_31
[Submitted Version]
View
| Files available
| DOI
2013 | Published | Conference Paper | IST-REx-ID: 2238
Chatterjee, K., Forejt, V., & Wojtczak, D. (2013). Multi-objective discounted reward verification in graphs and MDPs. Presented at the LPAR: Logic for Programming, Artificial Intelligence, and Reasoning, Stellenbosch, South Africa: Springer. https://doi.org/10.1007/978-3-642-45221-5_17
View
| DOI
2013 | Published | Conference Paper | IST-REx-ID: 1374 |
Chatterjee, K., & Fijalkow, N. (2013). Infinite-state games with finitary conditions. In 22nd EACSL Annual Conference on Computer Science Logic (Vol. 23, pp. 181–196). Torino, Italy: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CSL.2013.181
[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. Presented at the CAV: Computer Aided Verification, St. Petersburg, Russia: Springer. https://doi.org/10.1007/978-3-642-39799-8_37
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2013 | Published | Conference Paper | IST-REx-ID: 2444 |
Chatterjee, K., & Ła̧Cki, J. (2013). Faster algorithms for Markov decision processes with low treewidth. Presented at the CAV: Computer Aided Verification, St. Petersburg, Russia: Springer. https://doi.org/10.1007/978-3-642-39799-8_36
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv