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.

8998 Publications


2011 | Journal Article | IST-REx-ID: 3087
S. Kitakura et al., “Clathrin mediates endocytosis and polar distribution of PIN auxin transporters in Arabidopsis,” Plant Cell, vol. 23, no. 5. American Society of Plant Biologists, pp. 1920–1931, 2011.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3085
Z. Ding et al., “Light-mediated polarization of the PIN3 auxin transporter for the phototropic response in Arabidopsis,” Nature Cell Biology, vol. 13, no. 4. Nature Publishing Group, pp. 447–453, 2011.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3084
E. Feraru et al., “PIN polarity maintenance by the cell wall in Arabidopsis,” Current Biology, vol. 21, no. 4. Cell Press, pp. 338–343, 2011.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3082
J. Balla, P. Kalousek, V. Reinöhl, J. Friml, and S. Procházka, “Competitive canalization of PIN dependent auxin flow from axillary buds controls pea bud outgrowth,” Plant Journal, vol. 65, no. 4. Wiley-Blackwell, pp. 571–577, 2011.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3083
D. Robinson, D. Scheuring, S. Naramoto, and J. Friml, “ARF1 localizes to the golgi and the trans Golgi network,” Plant Cell, vol. 23, no. 3. American Society of Plant Biologists, pp. 846–849, 2011.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3101 | OA
M. Zwiewka et al., “The AP 3 adaptor complex is required for vacuolar function in Arabidopsis,” Cell Research, vol. 21, no. 12. Nature Publishing Group, pp. 1711–1722, 2011.
View | DOI | Download (ext.)
 

2011 | Journal Article | IST-REx-ID: 3098
J. Kleine Vehn et al., “Recycling, clustering and endocytosis jointly maintain PIN auxin carrier polarity at the plasma membrane,” Molecular Systems Biology, vol. 7. Nature Publishing Group, 2011.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3100 | OA
S. Vanneste et al., “Developmental regulation of CYCA2s contributes to tissue-specific proliferation in Arabidopsis ,” EMBO Journal, vol. 30, no. 16. Wiley-Blackwell, pp. 3430–3441, 2011.
View | DOI | Download (ext.)
 

2011 | Journal Article | IST-REx-ID: 3099
G. Drakakaki et al., “Clusters of bioactive compounds target dynamic endomembrane networks in vivo,” PNAS, vol. 108, no. 43. National Academy of Sciences, pp. 17850–17855, 2011.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3095
J. Dubrovsky et al., “Auxin minimum defines a developmental window for lateral root initiation,” New Phytologist, vol. 191, no. 4. Wiley-Blackwell, pp. 970–983, 2011.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3097
P. Marhavý et al., “Cytokinin modulates endocytic trafficking of PIN1 auxin efflux carrier to control plant organogenesis,” Developmental Cell, vol. 21, no. 4. Cell Press, pp. 796–804, 2011.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3096
K. T. Wabnik, J. Kleine Vehn, W. Govaerts, and J. Friml, “Prototype cell-to-cell auxin transport mechanism by intracellular auxin compartmentalization,” Trends in Plant Science, vol. 16, no. 9. Cell Press, pp. 468–475, 2011.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3138
D. Sullivan, J. L. Csicsvari, K. Mizuseki, S. Montgomery, K. Diba, and G. Buzsáki, “Relationships between hippocampal sharp waves ripples and fast gamma oscillation Influence of dentate and entorhinal cortical activity,” Journal of Neuroscience, vol. 31, no. 23. Society for Neuroscience, pp. 8605–8616, 2011.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3145
B. Tasic et al., “Site specific integrase mediated transgenesis in mice via pronuclear injection,” PNAS, vol. 108, no. 19. National Academy of Sciences, pp. 7902–7907, 2011.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3154
M. Degennaro, T. Hurd, D. E. Siekhaus, B. Biteau, H. Jasper, and R. Lehmann, “Peroxiredoxin stabilization of DE-cadherin promotes primordial germ cell adhesion,” Developmental Cell, vol. 20, no. 2. Cell Press, pp. 233–243, 2011.
View | DOI
 

2011 | Conference Paper | IST-REx-ID: 3239
S. Faust, K. Z. Pietrzak, and D. Venturi, “Tamper proof circuits How to trade leakage for tamper resilience,” presented at the ICALP: Automata, Languages and Programming, 2011, vol. 6755, no. Part 1, pp. 391–402.
View | DOI
 

2011 | Conference Paper | IST-REx-ID: 3236
A. Jain and K. Z. Pietrzak, “Parallel repetition for leakage resilience amplification revisited,” presented at the TCC: Theory of Cryptography Conference, 2011, vol. 6597, pp. 58–69.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3276 | OA
J. Prentice, J. Homann, K. Simmons, G. Tkačik, V. Balasubramanian, and P. Nelson, “Fast, scalable, Bayesian spike identification for multi-electrode arrays,” PLoS One, vol. 6, no. 7. Public Library of Science, 2011.
View | Files available | DOI
 

2011 | Book Chapter | IST-REx-ID: 3271
H. Wagner, C. Chen, and E. Vuçini, “Efficient computation of persistent homology for cubical data,” in Topological Methods in Data Analysis and Visualization II, R. Peikert, H. Hauser, H. Carr, and R. Fuchs, Eds. Springer, 2011, pp. 91–106.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3278
R. Vila, N. Pierce, D. Nash, and L. V. Ugelvig, “A phylogenetic revision of the Glaucopsyche section (Lepidoptera: Lycaenidae), with special focus on the Phengaris-Maculinea clade,” Molecular Phylogenetics and Evolution, vol. 61, no. 1. Elsevier, pp. 237–243, 2011.
View | DOI
 

2011 | Conference Paper | IST-REx-ID: 3270
C. Chen and M. Kerber, “Persistent homology computation with a twist,” presented at the EuroCG: European Workshop on Computational Geometry, Morschach, Switzerland, 2011, pp. 197–200.
View
 

2011 | Conference Paper | IST-REx-ID: 3298 | OA
K. Raveendran, C. Wojtan, and G. Turk, “Hybrid smoothed particle hydrodynamics,” presented at the SCA: ACM SIGGRAPH/Eurographics Symposium on Computer animation, Vancouver, Canada, 2011, pp. 33–42.
[Submitted Version] View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3297 | OA
C. Wojtan, M. Müller Fischer, and T. Brochu, “Liquid simulation with mesh-based surface tracking,” presented at the SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, Vancouver, BC, Canada, 2011.
[Published Version] View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 3290 | OA
K. Lohse, R. Harrison, and N. H. Barton, “A general method for calculating likelihoods under the coalescent process,” Genetics, vol. 189, no. 3. Genetics Society of America, pp. 977–987, 2011.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2011 | Conference Poster | IST-REx-ID: 3312 | OA
Y. Zheng, S. Gu, H. Edelsbrunner, C. Tomasi, and P. Benfey, Detailed reconstruction of 3D plant root shape. IEEE, 2011.
[Submitted Version] View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3313 | OA
C. Chen and H. Edelsbrunner, “Diffusion runs low on persistence fast,” in Proceedings of the IEEE International Conference on Computer Vision, Barcelona, Spain, 2011.
[Submitted Version] View | Files available | DOI
 

2011 | Book Chapter | IST-REx-ID: 3311 | OA
H. Edelsbrunner, “Alpha shapes - a survey,” in Tessellations in the Sciences: Virtues, Techniques and Applications of Geometric Tilings, R. van de Weygaert, G. Vegter, J. Ritzerveld, and V. Icke, Eds. Springer.
[Submitted Version] View | Files available
 

2011 | Conference Paper | IST-REx-ID: 3326 | OA
S. Almagor, U. Boker, and O. Kupferman, “What’s decidable about weighted automata ,” presented at the ATVA: Automated Technology for Verification and Analysis, Taipei, Taiwan, 2011, vol. 6996, pp. 482–491.
[Submitted Version] View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3325
R. Alur and P. Cerny, “Streaming transducers for algorithmic verification of single pass list processing programs,” presented at the POPL: Principles of Programming Languages, Texas, USA, 2011, vol. 46, no. 1, pp. 599–610.
View | DOI
 

2011 | Conference Paper | IST-REx-ID: 3324 | OA
R. Piskac and T. Wies, “Decision procedures for automating termination proofs,” presented at the VMCAI: Verification Model Checking and Abstract Interpretation, Texas, USA, 2011, vol. 6538, pp. 371–386.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2011 | Conference Paper | IST-REx-ID: 3327
U. Boker and O. Kupferman, “Co-Büching them all,” presented at the FoSSaCS: Foundations of Software Science and Computation Structures, Saarbrücken, Germany, 2011, vol. 6604, pp. 184–198.
View | DOI
 

2011 | Conference Paper | IST-REx-ID: 3337
Z. Wang, C. Lampert, K. Mülling, B. Schölkopf, and J. Peters, “Learning anticipation policies for robot table tennis,” presented at the IROS: RSJ International Conference on Intelligent Robots and Systems, San Francisco, USA, 2011, pp. 332–337.
View | DOI
 

2011 | Preprint | IST-REx-ID: 3339 | OA
K. Chatterjee, L. De Alfaro, and R. 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 | OA
K. Chatterjee, M. H. Henzinger, M. Joglekar, and S. Nisarg, “Symbolic algorithms for qualitative analysis of Markov decision processes with Büchi objectives,” presented at the CAV: Computer Aided Verification, Snowbird, USA, 2011, vol. 6806, pp. 260–276.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2011 | Conference Paper | IST-REx-ID: 3347 | OA
K. Chatterjee and N. Fijalkow, “Finitary languages,” presented at the LATA: Language and Automata Theory and Applications, Tarragona, Spain, 2011, vol. 6638, pp. 216–226.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2011 | Conference Paper | IST-REx-ID: 3346 | OA
T. Brázdil, V. Brožek, K. Chatterjee, V. Forejt, and A. Kučera, “Two views on multiple mean payoff objectives in Markov Decision Processes,” presented at the LICS: Logic in Computer Science, Toronto, Canada, 2011.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2011 | Conference Paper | IST-REx-ID: 3348 | OA
K. Chatterjee and V. Prabhu, “Synthesis of memory efficient real time controllers for safety objectives,” presented at the HSCC: Hybrid Systems - Computation and Control, Chicago, USA, 2011, pp. 221–230.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2011 | Conference Paper | IST-REx-ID: 3344
K. Chatterjee, “Graph games with reachability objectives,” presented at the RP: Reachability Problems, Genoa, Italy, 2011, vol. 6945, pp. 1–1.
View | DOI
 

2011 | Conference Paper | IST-REx-ID: 3343 | OA
K. Chatterjee and M. H. Henzinger, “Faster and dynamic algorithms for maximal end-component decomposition and related graph problems in probabilistic verification,” presented at the SODA: Symposium on Discrete Algorithms, San Francisco, SA, United States, 2011, pp. 1318–1336.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2011 | Conference Paper | IST-REx-ID: 3360 | OA
U. Boker and T. A. Henzinger, “Determinizing discounted-sum automata,” presented at the CSL: Computer Science Logic, Bergen, Norway, 2011, vol. 12, pp. 82–96.
[Published Version] View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3361 | OA
P. Cerny, K. Chatterjee, and T. A. Henzinger, “The complexity of quantitative information flow problems,” presented at the CSF: Computer Security Foundations, Cernay-la-Ville, France, 2011, pp. 205–217.
[Submitted Version] View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3358 | OA
T. A. Henzinger, V. Singh, T. Wies, and D. Zufferey, “Scheduling large jobs by abstraction refinement,” presented at the EuroSys, Salzburg, Austria, 2011, pp. 329–342.
[Published Version] View | DOI | Download Published Version (ext.)
 

2011 | Conference Paper | IST-REx-ID: 3359
P. Cerny and T. A. Henzinger, “From boolean to quantitative synthesis,” presented at the EMSOFT: Embedded Software , Taipei; Taiwan, 2011, pp. 149–154.
View | DOI
 

2011 | Conference Paper | IST-REx-ID: 3357
K. Chatterjee, T. A. Henzinger, and F. Horn, “The complexity of request-response games,” presented at the LATA: Language and Automata Theory and Applications, Tarragona, Spain, 2011, vol. 6638, pp. 227–237.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 336
M. Ibáñez et al., “Growth kinetics of asymmetric Bi2S3 nanocrystals: Size distribution focusing in nanorods,” Journal of Physical Chemistry C, vol. 115, no. 16. American Chemical Society, pp. 7947–7955, 2011.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3379 | OA
R. Row, J.-L. Maître, B. Martin, P. Stockinger, C.-P. J. Heisenberg, and D. Kimelman, “Completion of the epithelial to mesenchymal transition in zebrafish mesoderm requires Spadetail,” Developmental Biology, vol. 354, no. 1. Elsevier, pp. 102–110, 2011.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2011 | Journal Article | IST-REx-ID: 3376 | OA
M. T. Bollenbach and R. Kishony, “Resolution of gene regulatory conflicts caused by combinations of antibiotics,” Molecular Cell, vol. 42, no. 4. Cell Press, pp. 413–425, 2011.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2011 | Journal Article | IST-REx-ID: 3380 | OA
S. Logeswaran and N. H. Barton, “Mapping Mendelian traits in asexual progeny using changes in marker allele frequency,” Genetical Research, vol. 93, no. 3. Cambridge University Press, pp. 221–232, 2011.
[Published Version] View | DOI | Download Published Version (ext.)
 

2011 | Journal Article | IST-REx-ID: 3377 | OA
H. Edelsbrunner, D. Morozov, and A. Patel, “Quantifying transversality by measuring the robustness of intersections,” Foundations of Computational Mathematics, vol. 11, no. 3. Springer, pp. 345–361, 2011.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2011 | Journal Article | IST-REx-ID: 3378
P. Bendich and J. Harer, “Persistent intersection homology,” Foundations of Computational Mathematics, vol. 11, no. 3. Springer, pp. 305–336, 2011.
View | DOI
 

Search

Filter Publications