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.
9078 Publications
2011 | Journal Article | IST-REx-ID: 3429
Plachta, Nicolas, Mark Tobias Bollenbach, Shirley Pease, Scott Fraser, and Periklis Pantazis. “Oct4 Kinetics Predict Cell Lineage Patterning in the Early Mammalian Embryo.” Nature Cell Biology. Nature Publishing Group, 2011. https://doi.org/10.1038/ncb2154.
View
| DOI
2011 | Journal Article | IST-REx-ID: 3505 | 
Sixt, Michael K, and Tim Lämmermann. “In Vitro Analysis of Chemotactic Leukocyte Migration in 3D Environments.” Cell Migration. Springer, 2011. 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, Ferran, Guillermo Guerao, Paul Clark, and Pere Abello. “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, 2011. https://doi.org/10.1017/S0025315410000287.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2011 | Journal Article | IST-REx-ID: 3781
Fasy, Brittany Terese. “The Difference in Length of Curves in R^n.” Acta Sci. Math. (Szeged). Szegedi Tudományegyetem, 2011.
View
2011 | Book Chapter | IST-REx-ID: 3796 |
Edelsbrunner, Herbert, and Michael Kerber. “Covering and Packing with Spheres by Diagonal Distortion in R^n.” In Rainbow of Computer Science, edited by Cristian Calude, Grzegorz Rozenberg, and Arto Salomaa, 6570:20–35. Dedicated to Hermann Maurer on the Occasion of His 70th Birthday. Springer, 2011. 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, Thomas A, Barbara Jobstmann, and Verena Wolf. “Formalisms for Specifying Markovian Population Models.” IJFCS: International Journal of Foundations of Computer Science. World Scientific Publishing, 2011. https://doi.org/10.1142/S0129054111008441.
[Submitted Version]
View
| Files available
| DOI
2011 | Journal Article | IST-REx-ID: 386 |
Alpichshev, Zhanybek, J G Analytis, J H Chu, I R Fisher, and A Kapitulnik. “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, 2011. https://doi.org/10.1103/PhysRevB.84.041104.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2011 | Journal Article | IST-REx-ID: 3315 |
Chatterjee, Krishnendu, Thomas A Henzinger, and Vinayak Prabhu. “Timed Parity Games: Complexity and Robustness.” Logical Methods in Computer Science. International Federation of Computational Logic, 2011. https://doi.org/10.2168/LMCS-7(4:8)2011.
[Published Version]
View
| Files available
| DOI
2011 | Journal Article | IST-REx-ID: 3965
Wang, Bei, Herbert Edelsbrunner, and Dmitriy Morozov. “Computing Elevation Maxima by Searching the Gauss Sphere.” Journal of Experimental Algorithmics. ACM, 2011. https://doi.org/10.1145/1963190.1970375.
View
| DOI
2011 | Journal Article | IST-REx-ID: 3086
Furutani, Masahiko, Norihito Sakamoto, Shuhei Yoshida, Takahito Kajiwara, Hélène Robert, Jiří Friml, and Masao Tasaka. “Polar Localized NPH3-like Proteins Regulate Polarity and Endocytosis of PIN-FORMED Auxin Efflux Carriers.” Development. Company of Biologists, 2011. https://doi.org/10.1242/dev.057745.
View
| DOI
2011 | Journal Article | IST-REx-ID: 3087
Kitakura, Saeko, Steffen Vanneste, Stéphanie Robert, Christian Löfke, Thomas Teichmann, Hirokazu Tanaka, and Jiří Friml. “Clathrin Mediates Endocytosis and Polar Distribution of PIN Auxin Transporters in Arabidopsis.” Plant Cell. American Society of Plant Biologists, 2011. https://doi.org/10.1105/tpc.111.083030.
View
| DOI
2011 | Journal Article | IST-REx-ID: 3085
Ding, Zhaojun, Carlos Galván Ampudia, Emilie Demarsy, Łukasz Łangowski, Jürgen Kleine Vehn, Yuanwei Fan, Miyo Morita, et al. “Light-Mediated Polarization of the PIN3 Auxin Transporter for the Phototropic Response in Arabidopsis.” Nature Cell Biology. Nature Publishing Group, 2011. https://doi.org/10.1038/ncb2208.
View
| DOI
2011 | Journal Article | IST-REx-ID: 3084
Feraru, Elena, Mugurel Feraru, Jürgen Kleine Vehn, Alexandre Martinière, Grégory Mouille, Steffen Vanneste, Samantha Vernhettes, John Runions, and Jiří Friml. “PIN Polarity Maintenance by the Cell Wall in Arabidopsis.” Current Biology. Cell Press, 2011. https://doi.org/10.1016/j.cub.2011.01.036.
View
| DOI
2011 | Journal Article | IST-REx-ID: 3082
Balla, Jozef, Petr Kalousek, Vilém Reinöhl, Jiří Friml, and Stanislav Procházka. “Competitive Canalization of PIN Dependent Auxin Flow from Axillary Buds Controls Pea Bud Outgrowth.” Plant Journal. Wiley-Blackwell, 2011. https://doi.org/10.1111/j.1365-313X.2010.04443.x.
View
| DOI
2011 | Journal Article | IST-REx-ID: 3083
Robinson, David, David Scheuring, Satoshi Naramoto, and Jiří Friml. “ARF1 Localizes to the Golgi and the Trans Golgi Network.” Plant Cell. American Society of Plant Biologists, 2011. https://doi.org/10.1105/tpc.110.082099.
View
| DOI
2011 | Journal Article | IST-REx-ID: 3101 |
Zwiewka, Marta, Elena Feraru, Barbara Möller, Inhwan Hwang, Mugurel Feraru, Jürgen Kleine Vehn, Dolf Weijers, and Jiří Friml. “The AP 3 Adaptor Complex Is Required for Vacuolar Function in Arabidopsis.” Cell Research. Nature Publishing Group, 2011. https://doi.org/10.1038/cr.2011.99.
View
| DOI
| Download (ext.)
2011 | Journal Article | IST-REx-ID: 3098
Kleine Vehn, Jürgen, Krzysztof T Wabnik, Alexandre Martinière, Łukasz Łangowski, Katrin Willig, Satoshi Naramoto, Johannes Leitner, et al. “Recycling, Clustering and Endocytosis Jointly Maintain PIN Auxin Carrier Polarity at the Plasma Membrane.” Molecular Systems Biology. Nature Publishing Group, 2011. https://doi.org/10.1038/msb.2011.72.
View
| DOI
2011 | Journal Article | IST-REx-ID: 3100 |
Vanneste, Steffen, Frederik Coppens, Eunkyoung Lee, Tyler Donner, Zidian Xie, Gert Van Isterdael, Stijn Dhondt, et al. “Developmental Regulation of CYCA2s Contributes to Tissue-Specific Proliferation in Arabidopsis .” EMBO Journal. Wiley-Blackwell, 2011. https://doi.org/10.1038/emboj.2011.240.
View
| DOI
| Download (ext.)
2011 | Journal Article | IST-REx-ID: 3099
Drakakaki, Georgia, Stéphanie Robert, Anna Szatmári, Michelle Brown, Shingo Nagawa, Daniël Van Damme, Marylin Leonard, et al. “Clusters of Bioactive Compounds Target Dynamic Endomembrane Networks in Vivo.” PNAS. National Academy of Sciences, 2011. https://doi.org/10.1073/pnas.1108581108.
View
| DOI
2011 | Journal Article | IST-REx-ID: 3095
Dubrovsky, Joseph, Selene Napsucialy Mendivil, Jérôme Duclercq, Yan Cheng, Svetlana Shishkova, Maria Ivanchenko, Jiří Friml, Angus Murphy, and Eva Benková. “Auxin Minimum Defines a Developmental Window for Lateral Root Initiation.” New Phytologist. Wiley-Blackwell, 2011. https://doi.org/ 10.1111/j.1469-8137.2011.03757.x.
View
| DOI
2011 | Journal Article | IST-REx-ID: 3097
Marhavý, Peter, Agnieszka Bielach, Lindy Abas, Anas Abuzeineh, Jérôme Duclercq, Hirokazu Tanaka, Markéta Pařezová, et al. “Cytokinin Modulates Endocytic Trafficking of PIN1 Auxin Efflux Carrier to Control Plant Organogenesis.” Developmental Cell. Cell Press, 2011. https://doi.org/10.1016/j.devcel.2011.08.014.
View
| DOI
2011 | Journal Article | IST-REx-ID: 3096
Wabnik, Krzysztof T, Jürgen Kleine Vehn, Willy Govaerts, and Jiří Friml. “Prototype Cell-to-Cell Auxin Transport Mechanism by Intracellular Auxin Compartmentalization.” Trends in Plant Science. Cell Press, 2011. https://doi.org/10.1016/j.tplants.2011.05.002.
View
| DOI
2011 | Journal Article | IST-REx-ID: 3138
Sullivan, David, Jozsef L Csicsvari, Kenji Mizuseki, Sean Montgomery, Kamran Diba, and György Buzsáki. “Relationships between Hippocampal Sharp Waves Ripples and Fast Gamma Oscillation Influence of Dentate and Entorhinal Cortical Activity.” Journal of Neuroscience. Society for Neuroscience, 2011. https://doi.org/10.1523/JNEUROSCI.0294-11.2011.
View
| DOI
2011 | Journal Article | IST-REx-ID: 3145
Tasic, Bosiljka, Simon Hippenmeyer, Charlene Wang, Matthew Gamboa, Hui Zong, Yanru Chen Tsai, and Liqun Luo. “Site Specific Integrase Mediated Transgenesis in Mice via Pronuclear Injection.” PNAS. National Academy of Sciences, 2011. https://doi.org/10.1073/pnas.1019507108.
View
| DOI
2011 | Journal Article | IST-REx-ID: 3154
Degennaro, Matthew, Thomas Hurd, Daria E Siekhaus, Benoit Biteau, Heinrich Jasper, and Ruth Lehmann. “Peroxiredoxin Stabilization of DE-Cadherin Promotes Primordial Germ Cell Adhesion.” Developmental Cell. Cell Press, 2011. https://doi.org/10.1016/j.devcel.2010.12.007.
View
| DOI
2011 | Conference Paper | IST-REx-ID: 3239
Faust, Sebastian, Krzysztof Z Pietrzak, and Daniele Venturi. “Tamper Proof Circuits How to Trade Leakage for Tamper Resilience,” 6755:391–402. Springer, 2011. https://doi.org/10.1007/978-3-642-22006-7_33.
View
| DOI
2011 | Conference Paper | IST-REx-ID: 3236
Jain, Abhishek, and Krzysztof Z Pietrzak. “Parallel Repetition for Leakage Resilience Amplification Revisited,” 6597:58–69. Springer, 2011. https://doi.org/10.1007/978-3-642-19571-6_5.
View
| DOI
2011 | Journal Article | IST-REx-ID: 3276 |
Prentice, Jason, Jan Homann, Kristina Simmons, Gašper Tkačik, Vijay Balasubramanian, and Philip Nelson. “Fast, Scalable, Bayesian Spike Identification for Multi-Electrode Arrays.” PLoS One. Public Library of Science, 2011. https://doi.org/10.1371/journal.pone.0019884.
View
| Files available
| DOI
2011 | Book Chapter | IST-REx-ID: 3271
Wagner, Hubert, Chao Chen, and Erald Vuçini. “Efficient Computation of Persistent Homology for Cubical Data.” In Topological Methods in Data Analysis and Visualization II, edited by Ronald Peikert, Helwig Hauser, Hamish Carr, and Raphael Fuchs, 91–106. Springer, 2011. https://doi.org/10.1007/978-3-642-23175-9_7.
View
| DOI
2011 | Journal Article | IST-REx-ID: 3278
Vila, Roger, Naomi Pierce, David Nash, and Line V Ugelvig. “A Phylogenetic Revision of the Glaucopsyche Section (Lepidoptera: Lycaenidae), with Special Focus on the Phengaris-Maculinea Clade.” Molecular Phylogenetics and Evolution. Elsevier, 2011. https://doi.org/10.1016/j.ympev.2011.05.016.
View
| DOI
2011 | Conference Paper | IST-REx-ID: 3270
Chen, Chao, and Michael Kerber. “Persistent Homology Computation with a Twist,” 197–200. TU Dortmund, 2011.
View
2011 | Conference Paper | IST-REx-ID: 3298 |
Raveendran, Karthik, Chris Wojtan, and Greg Turk. “Hybrid Smoothed Particle Hydrodynamics.” edited by Stephen Spencer, 33–42. ACM, 2011. https://doi.org/10.1145/2019406.2019411.
[Submitted Version]
View
| Files available
| DOI
2011 | Conference Paper | IST-REx-ID: 3297 |
Wojtan, Chris, Matthias Müller Fischer, and Tyson Brochu. “Liquid Simulation with Mesh-Based Surface Tracking.” ACM, 2011. https://doi.org/10.1145/2037636.2037644.
[Published Version]
View
| Files available
| DOI
2011 | Journal Article | IST-REx-ID: 3290 |
Lohse, Konrad, Richard Harrison, and Nicholas H Barton. “A General Method for Calculating Likelihoods under the Coalescent Process.” Genetics. Genetics Society of America, 2011. https://doi.org/10.1534/genetics.111.129569.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2011 | Conference Poster | IST-REx-ID: 3312 |
Zheng, Ying, Steve Gu, Herbert Edelsbrunner, Carlo Tomasi, and Philip Benfey. Detailed Reconstruction of 3D Plant Root Shape. Proceedings of the IEEE International Conference on Computer Vision. IEEE, 2011. https://doi.org/10.1109/ICCV.2011.6126475.
[Submitted Version]
View
| Files available
| DOI
2011 | Conference Paper | IST-REx-ID: 3313 |
Chen, Chao, and Herbert Edelsbrunner. “Diffusion Runs Low on Persistence Fast.” In Proceedings of the IEEE International Conference on Computer Vision. IEEE, 2011. https://doi.org/10.1109/ICCV.2011.6126271.
[Submitted Version]
View
| Files available
| DOI
2011 | Book Chapter | IST-REx-ID: 3311 |
Edelsbrunner, Herbert. “Alpha Shapes - a Survey.” In Tessellations in the Sciences: Virtues, Techniques and Applications of Geometric Tilings, edited by R van de Weygaert, G Vegter, J Ritzerveld, and V Icke. Springer, n.d.
[Submitted Version]
View
| Files available
2011 | Conference Paper | IST-REx-ID: 3326 |
Almagor, Shaull, Udi Boker, and Orna Kupferman. “What’s Decidable about Weighted Automata ,” 6996:482–91. Springer, 2011. 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, Rajeev, and Pavol Cerny. “Streaming Transducers for Algorithmic Verification of Single Pass List Processing Programs,” 46:599–610. ACM, 2011. https://doi.org/10.1145/1926385.1926454.
View
| DOI
2011 | Conference Paper | IST-REx-ID: 3324 |
Piskac, Ruzica, and Thomas Wies. “Decision Procedures for Automating Termination Proofs.” edited by Ranjit Jhala and David Schmidt, 6538:371–86. Springer, 2011. 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, Udi, and Orna Kupferman. “Co-Büching Them All.” edited by Martin Hofmann, 6604:184–98. Springer, 2011. https://doi.org/10.1007/978-3-642-19805-2_13.
View
| DOI
2011 | Conference Paper | IST-REx-ID: 3337
Wang, Zhikun, Christoph Lampert, Katharina Mülling, Bernhard Schölkopf, and Jan Peters. “Learning Anticipation Policies for Robot Table Tennis,” 332–37. IEEE, 2011. https://doi.org/10.1109/IROS.2011.6094892.
View
| DOI
2011 | Preprint | IST-REx-ID: 3339 |
Chatterjee, Krishnendu, Luca De Alfaro, and Roy Pritam. “Magnifying Lens Abstraction for Stochastic Games with Discounted and Long-Run Average Objectives.” ArXiv. ArXiv, 2011.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2011 | Conference Paper | IST-REx-ID: 3342 |
Chatterjee, Krishnendu, Monika H Henzinger, Manas Joglekar, and Shah Nisarg. “Symbolic Algorithms for Qualitative Analysis of Markov Decision Processes with Büchi Objectives.” edited by Ganesh Gopalakrishnan and Shaz Qadeer, 6806:260–76. Springer, 2011. 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, Krishnendu, and Nathanaël Fijalkow. “Finitary Languages,” 6638:216–26. Springer, 2011. 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, Tomáš, Václav Brožek, Krishnendu Chatterjee, Vojtěch Forejt, and Antonín Kučera. “Two Views on Multiple Mean Payoff Objectives in Markov Decision Processes.” IEEE, 2011. https://doi.org/10.1109/LICS.2011.10.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2011 | Conference Paper | IST-REx-ID: 3348 |
Chatterjee, Krishnendu, and Vinayak Prabhu. “Synthesis of Memory Efficient Real Time Controllers for Safety Objectives,” 221–30. Springer, 2011. https://doi.org/10.1145/1967701.1967734.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2011 | Conference Paper | IST-REx-ID: 3344
Chatterjee, Krishnendu. “Graph Games with Reachability Objectives.” edited by Giorgo Delzanno and Igor Potapov, 6945:1–1. Springer, 2011. https://doi.org/10.1007/978-3-642-24288-5_1.
View
| DOI
2011 | Conference Paper | IST-REx-ID: 3343 |
Chatterjee, Krishnendu, and Monika H Henzinger. “Faster and Dynamic Algorithms for Maximal End-Component Decomposition and Related Graph Problems in Probabilistic Verification,” 1318–36. SIAM, 2011. https://doi.org/10.1137/1.9781611973082.101.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2011 | Conference Paper | IST-REx-ID: 3360 |
Boker, Udi, and Thomas A Henzinger. “Determinizing Discounted-Sum Automata,” 12:82–96. Springer, 2011. https://doi.org/10.4230/LIPIcs.CSL.2011.82.
[Published Version]
View
| Files available
| DOI