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.
289 Publications
2010 | Conference Paper | IST-REx-ID: 4364
Podelski, A., & Wies, T. (2010). Counterexample-guided focus (pp. 249–260). Presented at the POPL: Principles of Programming Languages, ACM. https://doi.org/10.1145/1707801.1706330
View
| DOI
2010 | Journal Article | IST-REx-ID: 3068
Růžička, K., Strader, L., Bailly, A., Yang, H., Blakeslee, J., Łangowski, Ł., … Friml, J. (2010). Arabidopsis PIS1 encodes the ABCG37 transporter of auxinic compounds including the auxin precursor indole 3 butyric acid. PNAS. National Academy of Sciences. https://doi.org/10.1073/pnas.1005878107
View
| DOI
2010 | Journal Article | IST-REx-ID: 3067
Jelínková, A., Malínská, K., Simon, S., Kleine Vehn, J., Pařezová, M., Pejchar, P., … Petrášek, J. (2010). Probing plant membranes with FM dyes: Tracking dragging or blocking? Plant Journal. Wiley-Blackwell. https://doi.org/10.1111/j.1365-313X.2009.04102.x
View
| DOI
2010 | Journal Article | IST-REx-ID: 3065
Žádníková, P., Petrášek, J., Marhavý, P., Raz, V., Vandenbussche, F., Ding, Z., … Benková, E. (2010). Role of PIN-mediated auxin efflux in apical hook development of Arabidopsis thaliana. Development. Company of Biologists. https://doi.org/10.1242/dev.041277
View
| DOI
2010 | Journal Article | IST-REx-ID: 3064
Zhang, J., Nodzyński, T., Pěnčík, A., Rolčík, J., & Friml, J. (2010). PIN phosphorylation is sufficient to mediate PIN polarity and direct auxin transport. PNAS. National Academy of Sciences. https://doi.org/10.1073/pnas.0909460107
View
| DOI
2010 | Journal Article | IST-REx-ID: 3066
Łangowski, Ł., Růžička, K., Naramoto, S., Kleine Vehn, J., & Friml, J. (2010). Trafficking to the outer polar domain defines the root soil interface. Current Biology. Cell Press. https://doi.org/10.1016/j.cub.2010.03.059
View
| DOI
2010 | Journal Article | IST-REx-ID: 3070
Nawy, T., Bayer, M., Mravec, J., Friml, J., Birnbaum, K., & Lukowitz, W. (2010). The GATA factor HANABA TARANU is required to position the proembryo boundary in the early Arabidopsis embryo. Developmental Cell. Cell Press. https://doi.org/10.1016/j.devcel.2010.06.004
View
| DOI
2010 | Journal Article | IST-REx-ID: 3069
Ding, Z., & Friml, J. (2010). Auxin regulates distal stem cell differentiation in Arabidopsis roots. PNAS. National Academy of Sciences. https://doi.org/10.1073/pnas.1000672107
View
| DOI
2010 | Journal Article | IST-REx-ID: 3063
Friml, J. (2010). Subcellular trafficking of PIN auxin efflux carriers in auxin transport. European Journal of Cell Biology. Elsevier. https://doi.org/10.1016/j.ejcb.2009.11.003
View
| DOI
2010 | Journal Article | IST-REx-ID: 3081
Naramoto, S., Kleine Vehn, J., Robert, S., Fujimoto, M., Dainobu, T., Paciorek, T., … Friml, J. (2010). ADP ribosylation factor machinery mediates endocytosis in plant cells. PNAS. National Academy of Sciences. https://doi.org/10.1073/pnas.1016260107
View
| DOI
2010 | Journal Article | IST-REx-ID: 3080
Kleine Vehn, J., Ding, Z., Jones, A., Tasaka, M., Morita, M., & Friml, J. (2010). Gravity induced PIN transcytosis for polarization of auxin fluxes in gravity sensing root cells. PNAS. National Academy of Sciences. https://doi.org/10.1073/pnas.1013145107
View
| DOI
2010 | Journal Article | IST-REx-ID: 3153
Siekhaus, D. E., Haesemeyer, M., Moffitt, O., & Lehmann, R. (2010). RhoL controls invasion and Rap1 localization during immune cell transmigration in Drosophila. Nature Cell Biology. Nature Publishing Group.
View
| Download (ext.)
2010 | Conference Paper | IST-REx-ID: 3201
Vicente, S., Kolmogorov, V., & Rother, C. (2010). Cosegmentation revisited: Models and optimization (Vol. 6312, pp. 465–479). Presented at the ECCV: European Conference on Computer Vision, Springer. https://doi.org/10.1007/978-3-642-15552-9_34
View
| DOI
| Download (ext.)
2010 | Conference Paper | IST-REx-ID: 3237
Kiltz, E., & Pietrzak, K. Z. (2010). Leakage resilient ElGamal encryption (Vol. 6477, pp. 595–612). Presented at the ASIACRYPT: Theory and Application of Cryptology and Information Security, Springer. https://doi.org/10.1007/978-3-642-17373-8_34
View
| DOI
2010 | Conference Paper | IST-REx-ID: 3235
Dodis, Y., & Pietrzak, K. Z. (2010). Leakage resilient pseudorandom functions and side channel attacks on feistel networks (Vol. 6223, pp. 21–40). Presented at the CRYPTO: International Cryptology Conference, Springer. https://doi.org/10.1007/978-3-642-14623-7_2
View
| DOI
2010 | Conference Paper | IST-REx-ID: 3234
Faust, S., Kiltz, E., Pietrzak, K. Z., & Rothblum, G. (2010). Leakage resilient signatures (Vol. 5978, pp. 343–360). Presented at the TCC: Theory of Cryptography Conference, Springer. https://doi.org/10.1007/978-3-642-11799-2_21
View
| DOI
2010 | Conference Paper | IST-REx-ID: 3233
Håstad, J., Pass, R., Wikström, D., & Pietrzak, K. Z. (2010). An efficient parallel repetition theorem (Vol. 5978, pp. 1–18). Presented at the TCC: Theory of Cryptography Conference, Springer. https://doi.org/10.1007/978-3-642-11799-2_1
View
| DOI
2010 | Conference Paper | IST-REx-ID: 2934
Kolmogorov, V. (2010). Generalized roof duality and bisubmodular functions. Presented at the Neural Information Processing Systems, Neural Information Processing Systems.
View
| Files available
2010 | Journal Article | IST-REx-ID: 3294
Iyengar, A., Chakraborty Tuhin, S., Goswami, S., Wu, C., & Siddiqi, O. (2010). Post eclosion odor experience modifies olfactory receptor neuron coding in Drosophila. PNAS. National Academy of Sciences. https://doi.org/10.1073/pnas.1003856107
View
| DOI
2010 | Thesis | IST-REx-ID: 3296
Wojtan, C. (2010). Animating physical phenomena with embedded surface meshes. Georgia Institute of Technology.
View
| Download None (ext.)
2010 | Journal Article | IST-REx-ID: 3306 | 
Evans, S., Sturmfels, B., & Uhler, C. (2010). Commuting birth and death processes. The Annals of Applied Probability. Institute of Mathematical Statistics. https://doi.org/10.1214/09-AAP615
View
| DOI
| Download (ext.)
2010 | Journal Article | IST-REx-ID: 3308 |
Sturmfels, B., & Uhler, C. (2010). Multivariate Gaussians, semidefinite matrix completion, and convex algebraic geometry. Annals of the Institute of Statistical Mathematics. Springer. https://doi.org/10.1007/s10463-010-0295-4
View
| DOI
| Download (ext.)
2010 | Journal Article | IST-REx-ID: 3402
Guerraoui, R., Henzinger, T. A., & Singh, V. (2010). Model checking transactional memories. Distributed Computing. Springer. https://doi.org/10.1007/s00446-009-0092-6
View
| DOI
| Download (ext.)
2010 | Book Review | IST-REx-ID: 3403
Pleydell Bouverie, B., & Csicsvari, J. L. (2010). Rate remapping: When the code goes beyond space (preview). Neuron. Elsevier. https://doi.org/10.1016/j.neuron.2010.12.011
View
| DOI
2010 | Conference Paper | IST-REx-ID: 3430 |
Tkačik, G. (2010). Lecture notes for 2010 summer school on Quantitative Evolutionary and Comparative Genomics. Presented at the Summer School on Quantitative Evolutionary and Comparative Genomics, Elsevier.
View
| Download (ext.)
2010 | Journal Article | IST-REx-ID: 3498
Sabeti Aschraf, M., Gonano, C., Nemecek, E., Cichocki, L., & Schueller Weidekamm, C. (2010). Intra-operative ultrasound facilitates the localization of the calcific deposit during arthroscopic treatment of calcifying tendinitis. Knee Surgery, Sports Traumatology, Arthroscopy. Springer. https://doi.org/10.1007/s00167-010-1227-9
View
| DOI
2010 | Journal Article | IST-REx-ID: 3592
Carvalho, L., & Heisenberg, C.-P. J. (2010). Imaging zebrafish embryos by two-photon excitation time-lapse microscopy. Methods in Molecular Biology. Springer. https://doi.org/10.1007/978-1-60327-977-2_17
View
| DOI
2010 | Conference Paper | IST-REx-ID: 3676
Wanke, J., Ulges, A., Lampert, C., & Breuel, T. (2010). Topic models for semantic video compression (pp. 275–284). Presented at the MIR: Multimedia Information Retrieval, ACM. https://doi.org/10.1145/1743384.1743433
View
| DOI
| Download (ext.)
2010 | Journal Article | IST-REx-ID: 3697
Tuytelaars, T., Lampert, C., Blaschko, M., & Buntine, W. (2010). Unsupervised object discovery: A comparison. International Journal of Computer Vision. Springer. https://doi.org/10.1007/s11263-009-0271-8
View
| DOI
2010 | Conference Paper | IST-REx-ID: 3713
Lampert, C. (2010). An efficient divide-and-conquer cascade for nonlinear object detection (pp. 1022–1029). Presented at the CVPR: Computer Vision and Pattern Recognition, IEEE. https://doi.org/10.1109/CVPR.2010.5540107
View
| DOI
2010 | Preprint | IST-REx-ID: 3743 |
Tkačik, G. (2010). From statistical mechanics to information theory: understanding biophysical information-processing systems. ArXiv. ArXiv.
View
| Download (ext.)
2010 | Journal Article | IST-REx-ID: 3761
Kwatra, N., Wojtan, C., Carlson, M., Essa, I., Mucha, P., & Turk, G. (2010). Fluid simulation with articulated bodies. IEEE Transactions on Visualization and Computer Graphics. IEEE. https://doi.org/10.1109/TVCG.2009.66
View
| DOI
2010 | Journal Article | IST-REx-ID: 3759
Wojtan, C., Thürey, N., Gross, M., & Turk, G. (2010). Physics-inspired topology changes for thin fluid features. ACM Transactions on Graphics. ACM. https://doi.org/10.1145/1778765.1778787
View
| DOI
| Download None (ext.)
2010 | Journal Article | IST-REx-ID: 3776 |
Barton, N. H. (2010). Genetic linkage and natural selection. Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. Royal Society. https://doi.org/10.1098/rstb.2010.0106
[Submitted Version]
View
| Files available
| DOI
2010 | Journal Article | IST-REx-ID: 3773 |
Barton, N. H. (2010). What role does natural selection play in speciation? Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. Royal Society. https://doi.org/10.1098/rstb.2010.0001
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2010 | Journal Article | IST-REx-ID: 3777 |
Barton, N. H. (2010). Mutation and the evolution of recombination. Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. Royal Society. https://doi.org/10.1098/rstb.2009.0320
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2010 | Journal Article | IST-REx-ID: 3774
Senn, H., Swanson, G., Goodman, S., Barton, N. H., & Pemberton, J. (2010). Phenotypic correlates of hybridisation between red and sika deer (genus Cervus). Journal of Animal Ecology. Wiley-Blackwell. https://doi.org/10.1111/j.1365-2656.2009.01633.x
View
| DOI
| PubMed | Europe PMC
2010 | Journal Article | IST-REx-ID: 3772 |
Barton, N. H. (2010). Understanding adaptation in large populations. PLoS Genetics. Public Library of Science. https://doi.org/10.1371/journal.pgen.1000987
[Published Version]
View
| Files available
| DOI
2010 | Journal Article | IST-REx-ID: 3790 |
Diz Muñoz, A., Krieg, M., Bergert, M., Ibarlucea Benitez, I., Müller, D., Paluch, E., & Heisenberg, C.-P. J. (2010). Control of directed cell migration in vivo by membrane-to-cortex attachment. PLoS Biology. Public Library of Science. https://doi.org/10.1371/journal.pbio.1000544
[Published Version]
View
| Files available
| DOI
2010 | Conference Paper | IST-REx-ID: 3793 |
Nowozin, S., Gehler, P., & Lampert, C. (2010). On parameter learning in CRF-based approaches to object class image segmentation (Vol. 6316, pp. 98–111). Presented at the ECCV: European Conference on Computer Vision, Heraklion, Crete, Greece: Springer. https://doi.org/10.1007/978-3-642-15567-3_8
[Submitted Version]
View
| Files available
| DOI
2010 | Journal Article | IST-REx-ID: 3789
Quesada-Hernández, E., Caneparo, L., Schneider, S., Winkler, S., Liebling, M., Fraser, S., & Heisenberg, C.-P. J. (2010). Stereotypical cell division orientation controls neural rod midline formation in zebrafish. Current Biology. Cell Press. https://doi.org/10.1016/j.cub.2010.10.009
View
| DOI
2010 | Journal Article | IST-REx-ID: 3787 |
Palero, F., Hall, S., Clark, P., Johnston, D., Mackenzie Dodds, J., & Thatje, S. (2010). DNA extraction from formalin-fixed tissue: new light from the deep sea. Scientia Marina. Consejo Superior de Investigaciones Científicas. https://doi.org/10.3989/scimar.2010.74n3465
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2010 | Journal Article | IST-REx-ID: 3788
Klopper, A., Krens, G., Grill, S., & Heisenberg, C.-P. J. (2010). Finite-size corrections to scaling behavior in sorted cell aggregates. The European Physical Journal E: Soft Matter and Biological Physics. Springer. https://doi.org/10.1140/epje/i2010-10642-y
View
| DOI
2010 | Journal Article | IST-REx-ID: 3786
Palero, F., Guerao, G., Clark, P., & Abello, P. (2010). Final-stage phyllosoma of Palinustus A. Milne-Edwards, 1880 (Crustacea: Decapoda: Achelata: Palinuridae)-The first complete description. Zootaxa. Magnolia Press. https://doi.org/10.11646/zootaxa.2403.1.4
View
| DOI
2010 | Journal Article | IST-REx-ID: 3792
Carvalho, L., & Heisenberg, C.-P. J. (2010). The yolk syncytial layer in early, zebrafish development. Trends in Cell Biology. Cell Press. https://doi.org/10.1016/j.tcb.2010.06.009
View
| DOI
2010 | Journal Article | IST-REx-ID: 3834 |
Wolf, V., Goel, R., Mateescu, M., & Henzinger, T. A. (2010). Solving the chemical master equation using sliding windows. BMC Systems Biology. BioMed Central. https://doi.org/10.1186/1752-0509-4-42
[Published Version]
View
| Files available
| DOI
2010 | Conference Paper | IST-REx-ID: 3840
Henzinger, T. A. (2010). From boolean to quantitative notions of correctness (Vol. 45, pp. 157–158). Presented at the POPL: Principles of Programming Languages, Madrid, Spain: ACM. https://doi.org/10.1145/1706299.1706319
View
| DOI
2010 | Conference Paper | IST-REx-ID: 3839 |
Henzinger, T. A., Hottelier, T., Kovács, L., & Voronkov, A. (2010). Invariant and type inference for matrices (Vol. 5944, pp. 163–179). Presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, Madrid, Spain: Springer. https://doi.org/10.1007/978-3-642-11319-2_14
[Submitted Version]
View
| Files available
| DOI
2010 | Conference Paper | IST-REx-ID: 3838 |
Henzinger, T. A., Mateescu, M., Mikeev, L., & Wolf, V. (2010). Hybrid numerical solution of the chemical master equation (pp. 55–65). Presented at the CMSB: Computational Methods in Systems Biology, Trento, Italy: Springer. https://doi.org/10.1145/1839764.1839772
[Submitted Version]
View
| Files available
| DOI
2010 | Conference Paper | IST-REx-ID: 3853 |
Chatterjee, K., Doyen, L., Edelsbrunner, H., Henzinger, T. A., & Rannou, P. (2010). Mean-payoff automaton expressions (Vol. 6269, pp. 269–283). Presented at the CONCUR: Concurrency Theory, Paris, France: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/978-3-642-15375-4_19
[Submitted Version]
View
| Files available
| DOI