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.
309 Publications
2011 | Journal Article | IST-REx-ID: 3429
Plachta, N., Bollenbach, M. T., Pease, S., Fraser, S., & Pantazis, P. (2011). Oct4 kinetics predict cell lineage patterning in the early mammalian embryo. Nature Cell Biology. Nature Publishing Group. https://doi.org/10.1038/ncb2154
View
| DOI
2011 | Journal Article | IST-REx-ID: 3505 | 
Sixt, M. K., & Lämmermann, T. (2011). In vitro analysis of chemotactic leukocyte migration in 3D environments. Cell Migration. Springer. https://doi.org/10.1007/978-1-61779-207-6_11
[Published Version]
View
| DOI
| Download Published Version (ext.)
2011 | Journal Article | IST-REx-ID: 3784 |
Palero, F., Guerao, G., Clark, P., & Abello, P. (2011). Scyllarus arctus (Crustacea: Decapoda: Scyllaridae) final stage phyllosoma identified by DNA analysis, with morphological description. Journal of the Marine Biological Association of the United Kingdom. Cambridge University Press. https://doi.org/10.1017/S0025315410000287
[Published Version]
View
| DOI
| Download Published Version (ext.)
2011 | Journal Article | IST-REx-ID: 3781
Fasy, B. T. (2011). The difference in length of curves in R^n. Acta Sci. Math. (Szeged). Szegedi Tudományegyetem.
View
2011 | Book Chapter | IST-REx-ID: 3796 |
Edelsbrunner, H., & Kerber, M. (2011). Covering and packing with spheres by diagonal distortion in R^n. In C. Calude, G. Rozenberg, & A. Salomaa (Eds.), Rainbow of Computer Science (Vol. 6570, pp. 20–35). Springer. https://doi.org/10.1007/978-3-642-19391-0_2
[Submitted Version]
View
| Files available
| DOI
2011 | Journal Article | IST-REx-ID: 3381 |
Henzinger, T. A., Jobstmann, B., & Wolf, V. (2011). Formalisms for specifying Markovian population models. IJFCS: International Journal of Foundations of Computer Science. World Scientific Publishing. https://doi.org/10.1142/S0129054111008441
[Submitted Version]
View
| Files available
| DOI
2011 | Journal Article | IST-REx-ID: 386 |
Alpichshev, Z., Analytis, J. G., Chu, J. H., Fisher, I. R., & Kapitulnik, A. (2011). STM imaging of a bound state along a step on the surface of the topological insulator Bi2Te3. Physical Review B - Condensed Matter and Materials Physics. American Physical Society. https://doi.org/10.1103/PhysRevB.84.041104
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2011 | Journal Article | IST-REx-ID: 3315 |
Chatterjee, K., Henzinger, T. A., & Prabhu, V. (2011). Timed parity games: Complexity and robustness. Logical Methods in Computer Science. International Federation of Computational Logic. https://doi.org/10.2168/LMCS-7(4:8)2011
[Published Version]
View
| Files available
| DOI
2011 | Journal Article | IST-REx-ID: 3965
Wang, B., Edelsbrunner, H., & Morozov, D. (2011). Computing elevation maxima by searching the Gauss sphere. Journal of Experimental Algorithmics. ACM. https://doi.org/10.1145/1963190.1970375
View
| DOI
2011 | Journal Article | IST-REx-ID: 3086
Furutani, M., Sakamoto, N., Yoshida, S., Kajiwara, T., Robert, H., Friml, J., & Tasaka, M. (2011). Polar localized NPH3-like proteins regulate polarity and endocytosis of PIN-FORMED auxin efflux carriers. Development. Company of Biologists. https://doi.org/10.1242/dev.057745
View
| DOI
2011 | Journal Article | IST-REx-ID: 3087
Kitakura, S., Vanneste, S., Robert, S., Löfke, C., Teichmann, T., Tanaka, H., & Friml, J. (2011). Clathrin mediates endocytosis and polar distribution of PIN auxin transporters in Arabidopsis. Plant Cell. American Society of Plant Biologists. https://doi.org/10.1105/tpc.111.083030
View
| DOI
2011 | Journal Article | IST-REx-ID: 3085
Ding, Z., Galván Ampudia, C., Demarsy, E., Łangowski, Ł., Kleine Vehn, J., Fan, Y., … Friml, J. (2011). Light-mediated polarization of the PIN3 auxin transporter for the phototropic response in Arabidopsis. Nature Cell Biology. Nature Publishing Group. https://doi.org/10.1038/ncb2208
View
| DOI
2011 | Journal Article | IST-REx-ID: 3084
Feraru, E., Feraru, M., Kleine Vehn, J., Martinière, A., Mouille, G., Vanneste, S., … Friml, J. (2011). PIN polarity maintenance by the cell wall in Arabidopsis. Current Biology. Cell Press. https://doi.org/10.1016/j.cub.2011.01.036
View
| DOI
2011 | Journal Article | IST-REx-ID: 3082
Balla, J., Kalousek, P., Reinöhl, V., Friml, J., & Procházka, S. (2011). Competitive canalization of PIN dependent auxin flow from axillary buds controls pea bud outgrowth. Plant Journal. Wiley-Blackwell. https://doi.org/10.1111/j.1365-313X.2010.04443.x
View
| DOI
2011 | Journal Article | IST-REx-ID: 3083
Robinson, D., Scheuring, D., Naramoto, S., & Friml, J. (2011). ARF1 localizes to the golgi and the trans Golgi network. Plant Cell. American Society of Plant Biologists. https://doi.org/10.1105/tpc.110.082099
View
| DOI
2011 | Journal Article | IST-REx-ID: 3101 |
Zwiewka, M., Feraru, E., Möller, B., Hwang, I., Feraru, M., Kleine Vehn, J., … Friml, J. (2011). The AP 3 adaptor complex is required for vacuolar function in Arabidopsis. Cell Research. Nature Publishing Group. https://doi.org/10.1038/cr.2011.99
View
| DOI
| Download (ext.)
2011 | Journal Article | IST-REx-ID: 3098
Kleine Vehn, J., Wabnik, K. T., Martinière, A., Łangowski, Ł., Willig, K., Naramoto, S., … Friml, J. (2011). Recycling, clustering and endocytosis jointly maintain PIN auxin carrier polarity at the plasma membrane. Molecular Systems Biology. Nature Publishing Group. https://doi.org/10.1038/msb.2011.72
View
| DOI
2011 | Journal Article | IST-REx-ID: 3100 |
Vanneste, S., Coppens, F., Lee, E., Donner, T., Xie, Z., Van Isterdael, G., … Beeckman, T. (2011). Developmental regulation of CYCA2s contributes to tissue-specific proliferation in Arabidopsis . EMBO Journal. Wiley-Blackwell. https://doi.org/10.1038/emboj.2011.240
View
| DOI
| Download (ext.)
2011 | Journal Article | IST-REx-ID: 3099
Drakakaki, G., Robert, S., Szatmári, A., Brown, M., Nagawa, S., Van Damme, D., … Hicks, G. (2011). Clusters of bioactive compounds target dynamic endomembrane networks in vivo. PNAS. National Academy of Sciences. https://doi.org/10.1073/pnas.1108581108
View
| DOI
2011 | Journal Article | IST-REx-ID: 3095
Dubrovsky, J., Napsucialy Mendivil, S., Duclercq, J., Cheng, Y., Shishkova, S., Ivanchenko, M., … Benková, E. (2011). Auxin minimum defines a developmental window for lateral root initiation. New Phytologist. Wiley-Blackwell. https://doi.org/ 10.1111/j.1469-8137.2011.03757.x
View
| DOI
2011 | Journal Article | IST-REx-ID: 3097
Marhavý, P., Bielach, A., Abas, L., Abuzeineh, A., Duclercq, J., Tanaka, H., … Benková, E. (2011). Cytokinin modulates endocytic trafficking of PIN1 auxin efflux carrier to control plant organogenesis. Developmental Cell. Cell Press. https://doi.org/10.1016/j.devcel.2011.08.014
View
| DOI
2011 | Journal Article | IST-REx-ID: 3096
Wabnik, K. T., Kleine Vehn, J., Govaerts, W., & Friml, J. (2011). Prototype cell-to-cell auxin transport mechanism by intracellular auxin compartmentalization. Trends in Plant Science. Cell Press. https://doi.org/10.1016/j.tplants.2011.05.002
View
| DOI
2011 | Journal Article | IST-REx-ID: 3138
Sullivan, D., Csicsvari, J. L., Mizuseki, K., Montgomery, S., Diba, K., & Buzsáki, G. (2011). Relationships between hippocampal sharp waves ripples and fast gamma oscillation Influence of dentate and entorhinal cortical activity. Journal of Neuroscience. Society for Neuroscience. https://doi.org/10.1523/JNEUROSCI.0294-11.2011
View
| DOI
2011 | Journal Article | IST-REx-ID: 3145
Tasic, B., Hippenmeyer, S., Wang, C., Gamboa, M., Zong, H., Chen Tsai, Y., & Luo, L. (2011). Site specific integrase mediated transgenesis in mice via pronuclear injection. PNAS. National Academy of Sciences. https://doi.org/10.1073/pnas.1019507108
View
| DOI
2011 | Journal Article | IST-REx-ID: 3154
Degennaro, M., Hurd, T., Siekhaus, D. E., Biteau, B., Jasper, H., & Lehmann, R. (2011). Peroxiredoxin stabilization of DE-cadherin promotes primordial germ cell adhesion. Developmental Cell. Cell Press. https://doi.org/10.1016/j.devcel.2010.12.007
View
| DOI
2011 | Conference Paper | IST-REx-ID: 3239
Faust, S., Pietrzak, K. Z., & Venturi, D. (2011). Tamper proof circuits How to trade leakage for tamper resilience (Vol. 6755, pp. 391–402). Presented at the ICALP: Automata, Languages and Programming, Springer. https://doi.org/10.1007/978-3-642-22006-7_33
View
| DOI
2011 | Conference Paper | IST-REx-ID: 3236
Jain, A., & Pietrzak, K. Z. (2011). Parallel repetition for leakage resilience amplification revisited (Vol. 6597, pp. 58–69). Presented at the TCC: Theory of Cryptography Conference, Springer. https://doi.org/10.1007/978-3-642-19571-6_5
View
| DOI
2011 | Journal Article | IST-REx-ID: 3276 |
Prentice, J., Homann, J., Simmons, K., Tkačik, G., Balasubramanian, V., & Nelson, P. (2011). Fast, scalable, Bayesian spike identification for multi-electrode arrays. PLoS One. Public Library of Science. https://doi.org/10.1371/journal.pone.0019884
View
| Files available
| DOI
2011 | Book Chapter | IST-REx-ID: 3271
Wagner, H., Chen, C., & Vuçini, E. (2011). Efficient computation of persistent homology for cubical data. In R. Peikert, H. Hauser, H. Carr, & R. Fuchs (Eds.), Topological Methods in Data Analysis and Visualization II (pp. 91–106). Springer. https://doi.org/10.1007/978-3-642-23175-9_7
View
| DOI
2011 | Journal Article | IST-REx-ID: 3278
Vila, R., Pierce, N., Nash, D., & Ugelvig, L. V. (2011). A phylogenetic revision of the Glaucopsyche section (Lepidoptera: Lycaenidae), with special focus on the Phengaris-Maculinea clade. Molecular Phylogenetics and Evolution. Elsevier. https://doi.org/10.1016/j.ympev.2011.05.016
View
| DOI
2011 | Conference Paper | IST-REx-ID: 3270
Chen, C., & Kerber, M. (2011). Persistent homology computation with a twist (pp. 197–200). Presented at the EuroCG: European Workshop on Computational Geometry, Morschach, Switzerland: TU Dortmund.
View
2011 | Conference Paper | IST-REx-ID: 3298 |
Raveendran, K., Wojtan, C., & Turk, G. (2011). Hybrid smoothed particle hydrodynamics. In S. Spencer (Ed.) (pp. 33–42). Presented at the SCA: ACM SIGGRAPH/Eurographics Symposium on Computer animation, Vancouver, Canada: ACM. https://doi.org/10.1145/2019406.2019411
[Submitted Version]
View
| Files available
| DOI
2011 | Conference Paper | IST-REx-ID: 3297 |
Wojtan, C., Müller Fischer, M., & Brochu, T. (2011). Liquid simulation with mesh-based surface tracking. Presented at the SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, Vancouver, BC, Canada: ACM. https://doi.org/10.1145/2037636.2037644
[Published Version]
View
| Files available
| DOI
2011 | Journal Article | IST-REx-ID: 3290 |
Lohse, K., Harrison, R., & Barton, N. H. (2011). A general method for calculating likelihoods under the coalescent process. Genetics. Genetics Society of America. https://doi.org/10.1534/genetics.111.129569
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2011 | Conference Poster | IST-REx-ID: 3312 |
Zheng, Y., Gu, S., Edelsbrunner, H., Tomasi, C., & Benfey, P. (2011). Detailed reconstruction of 3D plant root shape. Proceedings of the IEEE International Conference on Computer Vision. Barcelona, Spain: IEEE. https://doi.org/10.1109/ICCV.2011.6126475
[Submitted Version]
View
| Files available
| DOI
2011 | Conference Paper | IST-REx-ID: 3313 |
Chen, C., & Edelsbrunner, H. (2011). Diffusion runs low on persistence fast. In Proceedings of the IEEE International Conference on Computer Vision. Barcelona, Spain: IEEE. https://doi.org/10.1109/ICCV.2011.6126271
[Submitted Version]
View
| Files available
| DOI
2011 | Book Chapter | IST-REx-ID: 3311 |
Edelsbrunner, H. (n.d.). Alpha shapes - a survey. In R. van de Weygaert, G. Vegter, J. Ritzerveld, & V. Icke (Eds.), Tessellations in the Sciences: Virtues, Techniques and Applications of Geometric Tilings. Springer.
[Submitted Version]
View
| Files available
2011 | Conference Paper | IST-REx-ID: 3326 |
Almagor, S., Boker, U., & Kupferman, O. (2011). What’s decidable about weighted automata (Vol. 6996, pp. 482–491). Presented at the ATVA: Automated Technology for Verification and Analysis, Taipei, Taiwan: Springer. https://doi.org/10.1007/978-3-642-24372-1_37
[Submitted Version]
View
| Files available
| DOI
2011 | Conference Paper | IST-REx-ID: 3325
Alur, R., & Cerny, P. (2011). Streaming transducers for algorithmic verification of single pass list processing programs (Vol. 46, pp. 599–610). Presented at the POPL: Principles of Programming Languages, Texas, USA: ACM. https://doi.org/10.1145/1926385.1926454
View
| DOI
2011 | Conference Paper | IST-REx-ID: 3324 |
Piskac, R., & Wies, T. (2011). Decision procedures for automating termination proofs. In R. Jhala & D. Schmidt (Eds.) (Vol. 6538, pp. 371–386). Presented at the VMCAI: Verification Model Checking and Abstract Interpretation, Texas, USA: Springer. https://doi.org/10.1007/978-3-642-18275-4_26
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2011 | Conference Paper | IST-REx-ID: 3327
Boker, U., & Kupferman, O. (2011). Co-Büching them all. In M. Hofmann (Ed.) (Vol. 6604, pp. 184–198). Presented at the FoSSaCS: Foundations of Software Science and Computation Structures, Saarbrücken, Germany: Springer. https://doi.org/10.1007/978-3-642-19805-2_13
View
| DOI
2011 | Conference Paper | IST-REx-ID: 3337
Wang, Z., Lampert, C., Mülling, K., Schölkopf, B., & Peters, J. (2011). Learning anticipation policies for robot table tennis (pp. 332–337). Presented at the IROS: RSJ International Conference on Intelligent Robots and Systems, San Francisco, USA: IEEE. https://doi.org/10.1109/IROS.2011.6094892
View
| DOI
2011 | Preprint | IST-REx-ID: 3339 |
Chatterjee, K., De Alfaro, L., & Pritam, R. (2011). Magnifying lens abstraction for stochastic games with discounted and long-run average objectives. arXiv. ArXiv.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2011 | Conference Paper | IST-REx-ID: 3342 |
Chatterjee, K., Henzinger, M. H., Joglekar, M., & Nisarg, S. (2011). Symbolic algorithms for qualitative analysis of Markov decision processes with Büchi objectives. In G. Gopalakrishnan & S. Qadeer (Eds.) (Vol. 6806, pp. 260–276). Presented at the CAV: Computer Aided Verification, Snowbird, USA: Springer. https://doi.org/10.1007/978-3-642-22110-1_21
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2011 | Conference Paper | IST-REx-ID: 3347 |
Chatterjee, K., & Fijalkow, N. (2011). Finitary languages (Vol. 6638, pp. 216–226). Presented at the LATA: Language and Automata Theory and Applications, Tarragona, Spain: Springer. https://doi.org/10.1007/978-3-642-21254-3_16
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2011 | Conference Paper | IST-REx-ID: 3346 |
Brázdil, T., Brožek, V., Chatterjee, K., Forejt, V., & Kučera, A. (2011). Two views on multiple mean payoff objectives in Markov Decision Processes. Presented at the LICS: Logic in Computer Science, Toronto, Canada: IEEE. https://doi.org/10.1109/LICS.2011.10
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2011 | Conference Paper | IST-REx-ID: 3348 |
Chatterjee, K., & Prabhu, V. (2011). Synthesis of memory efficient real time controllers for safety objectives (pp. 221–230). Presented at the HSCC: Hybrid Systems - Computation and Control, Chicago, USA: Springer. https://doi.org/10.1145/1967701.1967734
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2011 | Conference Paper | IST-REx-ID: 3344
Chatterjee, K. (2011). Graph games with reachability objectives. In G. Delzanno & I. Potapov (Eds.) (Vol. 6945, pp. 1–1). Presented at the RP: Reachability Problems, Genoa, Italy: Springer. https://doi.org/10.1007/978-3-642-24288-5_1
View
| DOI
2011 | Conference Paper | IST-REx-ID: 3343 |
Chatterjee, K., & Henzinger, M. H. (2011). Faster and dynamic algorithms for maximal end-component decomposition and related graph problems in probabilistic verification (pp. 1318–1336). Presented at the SODA: Symposium on Discrete Algorithms, San Francisco, SA, United States: SIAM. https://doi.org/10.1137/1.9781611973082.101
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2011 | Conference Paper | IST-REx-ID: 3360 |
Boker, U., & Henzinger, T. A. (2011). Determinizing discounted-sum automata (Vol. 12, pp. 82–96). Presented at the CSL: Computer Science Logic, Bergen, Norway: Springer. https://doi.org/10.4230/LIPIcs.CSL.2011.82
[Published Version]
View
| Files available
| DOI