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, Andreas, and Thomas Wies. Counterexample-Guided Focus. ACM, 2010, pp. 249–60, doi:10.1145/1707801.1706330.
View
| DOI
2010 | Journal Article | IST-REx-ID: 3068
Růžička, Kamil, et al. “Arabidopsis PIS1 Encodes the ABCG37 Transporter of Auxinic Compounds Including the Auxin Precursor Indole 3 Butyric Acid.” PNAS, vol. 107, no. 23, National Academy of Sciences, 2010, pp. 10749–53, doi:10.1073/pnas.1005878107.
View
| DOI
2010 | Journal Article | IST-REx-ID: 3067
Jelínková, Adriana, et al. “Probing Plant Membranes with FM Dyes: Tracking Dragging or Blocking?” Plant Journal, vol. 61, no. 5, Wiley-Blackwell, 2010, pp. 883–92, doi:10.1111/j.1365-313X.2009.04102.x.
View
| DOI
2010 | Journal Article | IST-REx-ID: 3065
Žádníková, Petra, et al. “Role of PIN-Mediated Auxin Efflux in Apical Hook Development of Arabidopsis Thaliana.” Development, vol. 137, no. 4, Company of Biologists, 2010, pp. 607–17, doi:10.1242/dev.041277.
View
| DOI
2010 | Journal Article | IST-REx-ID: 3064
Zhang, Jing, et al. “PIN Phosphorylation Is Sufficient to Mediate PIN Polarity and Direct Auxin Transport.” PNAS, vol. 107, no. 2, National Academy of Sciences, 2010, pp. 918–22, doi:10.1073/pnas.0909460107.
View
| DOI
2010 | Journal Article | IST-REx-ID: 3066
Łangowski, Łukasz, et al. “Trafficking to the Outer Polar Domain Defines the Root Soil Interface.” Current Biology, vol. 20, no. 10, Cell Press, 2010, pp. 904–08, doi:10.1016/j.cub.2010.03.059.
View
| DOI
2010 | Journal Article | IST-REx-ID: 3070
Nawy, Tal, et al. “The GATA Factor HANABA TARANU Is Required to Position the Proembryo Boundary in the Early Arabidopsis Embryo.” Developmental Cell, vol. 19, no. 1, Cell Press, 2010, pp. 103–13, doi:10.1016/j.devcel.2010.06.004.
View
| DOI
2010 | Journal Article | IST-REx-ID: 3069
Ding, Zhaojun, and Jiří Friml. “Auxin Regulates Distal Stem Cell Differentiation in Arabidopsis Roots.” PNAS, vol. 107, no. 26, National Academy of Sciences, 2010, pp. 12046–51, doi:10.1073/pnas.1000672107.
View
| DOI
2010 | Journal Article | IST-REx-ID: 3063
Friml, Jiří. “Subcellular Trafficking of PIN Auxin Efflux Carriers in Auxin Transport.” European Journal of Cell Biology, vol. 89, no. 2–3, Elsevier, 2010, pp. 231–35, doi:10.1016/j.ejcb.2009.11.003.
View
| DOI
2010 | Journal Article | IST-REx-ID: 3081
Naramoto, Satoshi, et al. “ADP Ribosylation Factor Machinery Mediates Endocytosis in Plant Cells.” PNAS, vol. 107, no. 50, National Academy of Sciences, 2010, pp. 21890–95, doi:10.1073/pnas.1016260107.
View
| DOI
2010 | Journal Article | IST-REx-ID: 3080
Kleine Vehn, Jürgen, et al. “Gravity Induced PIN Transcytosis for Polarization of Auxin Fluxes in Gravity Sensing Root Cells.” PNAS, vol. 107, no. 51, National Academy of Sciences, 2010, pp. 22344–49, doi:10.1073/pnas.1013145107.
View
| DOI
2010 | Journal Article | IST-REx-ID: 3153
Siekhaus, Daria E., et al. “RhoL Controls Invasion and Rap1 Localization during Immune Cell Transmigration in Drosophila.” Nature Cell Biology, vol. 12, no. 6, Nature Publishing Group, 2010, pp. 605–10.
View
| Download (ext.)
2010 | Conference Paper | IST-REx-ID: 3201
Vicente, Sara, et al. Cosegmentation Revisited: Models and Optimization. Vol. 6312, Springer, 2010, pp. 465–79, doi:10.1007/978-3-642-15552-9_34.
View
| DOI
| Download (ext.)
2010 | Conference Paper | IST-REx-ID: 3237
Kiltz, Eike, and Krzysztof Z. Pietrzak. Leakage Resilient ElGamal Encryption. Vol. 6477, Springer, 2010, pp. 595–612, doi:10.1007/978-3-642-17373-8_34.
View
| DOI
2010 | Conference Paper | IST-REx-ID: 3235
Dodis, Yevgeniy, and Krzysztof Z. Pietrzak. Leakage Resilient Pseudorandom Functions and Side Channel Attacks on Feistel Networks. Vol. 6223, Springer, 2010, pp. 21–40, doi:10.1007/978-3-642-14623-7_2.
View
| DOI
2010 | Conference Paper | IST-REx-ID: 3234
Faust, Sebastian, et al. Leakage Resilient Signatures. Vol. 5978, Springer, 2010, pp. 343–60, doi:10.1007/978-3-642-11799-2_21.
View
| DOI
2010 | Conference Paper | IST-REx-ID: 3233
Håstad, Johan, et al. An Efficient Parallel Repetition Theorem. Vol. 5978, Springer, 2010, pp. 1–18, doi:10.1007/978-3-642-11799-2_1.
View
| DOI
2010 | Conference Paper | IST-REx-ID: 2934
Kolmogorov, Vladimir. Generalized Roof Duality and Bisubmodular Functions. Neural Information Processing Systems, 2010.
View
| Files available
2010 | Journal Article | IST-REx-ID: 3294
Iyengar, Atulya, et al. “Post Eclosion Odor Experience Modifies Olfactory Receptor Neuron Coding in Drosophila.” PNAS, vol. 107, no. 21, National Academy of Sciences, 2010, pp. 9855–60, doi:10.1073/pnas.1003856107.
View
| DOI
2010 | Thesis | IST-REx-ID: 3296
Wojtan, Chris. Animating Physical Phenomena with Embedded Surface Meshes. Georgia Institute of Technology, 2010, pp. 1–175.
View
| Download None (ext.)
2010 | Journal Article | IST-REx-ID: 3306 | 
Evans, Steven, et al. “Commuting Birth and Death Processes.” The Annals of Applied Probability, vol. 20, Institute of Mathematical Statistics, 2010, pp. 238–66, doi:10.1214/09-AAP615.
View
| DOI
| Download (ext.)
2010 | Journal Article | IST-REx-ID: 3308 |
Sturmfels, Bernd, and Caroline Uhler. “Multivariate Gaussians, Semidefinite Matrix Completion, and Convex Algebraic Geometry.” Annals of the Institute of Statistical Mathematics, vol. 62, no. 4, Springer, 2010, pp. 603–38, doi:10.1007/s10463-010-0295-4.
View
| DOI
| Download (ext.)
2010 | Journal Article | IST-REx-ID: 3402
Guerraoui, Rachid, et al. “Model Checking Transactional Memories.” Distributed Computing, vol. 22, no. 3, Springer, 2010, pp. 129–45, doi:10.1007/s00446-009-0092-6.
View
| DOI
| Download (ext.)
2010 | Book Review | IST-REx-ID: 3403
Pleydell Bouverie, Barty, and Jozsef L. Csicsvari. “Rate Remapping: When the Code Goes beyond Space (Preview).” Neuron, vol. 68, no. 6, Elsevier, 2010, pp. 1015–16, doi:10.1016/j.neuron.2010.12.011.
View
| DOI
2010 | Conference Paper | IST-REx-ID: 3430 |
Tkačik, Gašper. Lecture Notes for 2010 Summer School on Quantitative Evolutionary and Comparative Genomics. Elsevier, 2010.
View
| Download (ext.)
2010 | Journal Article | IST-REx-ID: 3498
Sabeti Aschraf, M., et al. “Intra-Operative Ultrasound Facilitates the Localization of the Calcific Deposit during Arthroscopic Treatment of Calcifying Tendinitis.” Knee Surgery, Sports Traumatology, Arthroscopy, vol. 18, no. 12, Springer, 2010, pp. 1792–94, doi:10.1007/s00167-010-1227-9.
View
| DOI
2010 | Journal Article | IST-REx-ID: 3592
Carvalho, Lara, and Carl-Philipp J. Heisenberg. “Imaging Zebrafish Embryos by Two-Photon Excitation Time-Lapse Microscopy.” Methods in Molecular Biology, vol. 546, no. Part 5, Springer, 2010, pp. 273–87, doi:10.1007/978-1-60327-977-2_17.
View
| DOI
2010 | Conference Paper | IST-REx-ID: 3676
Wanke, Jörn, et al. Topic Models for Semantic Video Compression. ACM, 2010, pp. 275–84, doi:10.1145/1743384.1743433.
View
| DOI
| Download (ext.)
2010 | Journal Article | IST-REx-ID: 3697
Tuytelaars, Tinne, et al. “Unsupervised Object Discovery: A Comparison.” International Journal of Computer Vision, vol. 88, no. 2, Springer, 2010, pp. 284–302, doi:10.1007/s11263-009-0271-8.
View
| DOI
2010 | Conference Paper | IST-REx-ID: 3713
Lampert, Christoph. An Efficient Divide-and-Conquer Cascade for Nonlinear Object Detection. IEEE, 2010, pp. 1022–29, doi:10.1109/CVPR.2010.5540107.
View
| DOI
2010 | Preprint | IST-REx-ID: 3743 |
Tkačik, Gašper. “From Statistical Mechanics to Information Theory: Understanding Biophysical Information-Processing Systems.” ArXiv, vol. q-MN, ArXiv, 2010, pp. 1–52.
View
| Download (ext.)
2010 | Journal Article | IST-REx-ID: 3761
Kwatra, Nipun, et al. “Fluid Simulation with Articulated Bodies.” IEEE Transactions on Visualization and Computer Graphics, vol. 16, no. 1, IEEE, 2010, pp. 70–80, doi:10.1109/TVCG.2009.66.
View
| DOI
2010 | Journal Article | IST-REx-ID: 3759
Wojtan, Chris, et al. “Physics-Inspired Topology Changes for Thin Fluid Features.” ACM Transactions on Graphics, vol. 29, no. 4, ACM, 2010, doi:10.1145/1778765.1778787.
View
| DOI
| Download None (ext.)
2010 | Journal Article | IST-REx-ID: 3776 |
Barton, Nicholas H. “Genetic Linkage and Natural Selection.” Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences, vol. 365, no. 1552, Royal Society, 2010, pp. 2559–69, doi:10.1098/rstb.2010.0106.
[Submitted Version]
View
| Files available
| DOI
2010 | Journal Article | IST-REx-ID: 3773 |
Barton, Nicholas H. “What Role Does Natural Selection Play in Speciation?” Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences, vol. 365, no. 1547, Royal Society, 2010, pp. 1825–40, doi:10.1098/rstb.2010.0001.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2010 | Journal Article | IST-REx-ID: 3777 |
Barton, Nicholas H. “Mutation and the Evolution of Recombination.” Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences, vol. 365, no. 1544, Royal Society, 2010, pp. 1281–94, doi:10.1098/rstb.2009.0320.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2010 | Journal Article | IST-REx-ID: 3774
Senn, Helen, et al. “Phenotypic Correlates of Hybridisation between Red and Sika Deer (Genus Cervus).” Journal of Animal Ecology, vol. 79, no. 2, Wiley-Blackwell, 2010, pp. 414–25, doi:10.1111/j.1365-2656.2009.01633.x.
View
| DOI
| PubMed | Europe PMC
2010 | Journal Article | IST-REx-ID: 3772 |
Barton, Nicholas H. “Understanding Adaptation in Large Populations.” PLoS Genetics, vol. 6, no. 6, e1000987, Public Library of Science, 2010, doi:10.1371/journal.pgen.1000987.
[Published Version]
View
| Files available
| DOI
2010 | Journal Article | IST-REx-ID: 3790 |
Diz Muñoz, Alba, et al. “Control of Directed Cell Migration in Vivo by Membrane-to-Cortex Attachment.” PLoS Biology, vol. 8, no. 11, e1000544, Public Library of Science, 2010, doi:10.1371/journal.pbio.1000544.
[Published Version]
View
| Files available
| DOI
2010 | Conference Paper | IST-REx-ID: 3793 |
Nowozin, Sebastian, et al. On Parameter Learning in CRF-Based Approaches to Object Class Image Segmentation. Vol. 6316, Springer, 2010, pp. 98–111, doi:10.1007/978-3-642-15567-3_8.
[Submitted Version]
View
| Files available
| DOI
2010 | Journal Article | IST-REx-ID: 3789
Quesada-Hernández, Elena, et al. “Stereotypical Cell Division Orientation Controls Neural Rod Midline Formation in Zebrafish.” Current Biology, vol. 20, no. 21, Cell Press, 2010, pp. 1966–72, doi:10.1016/j.cub.2010.10.009.
View
| DOI
2010 | Journal Article | IST-REx-ID: 3787 |
Palero, Ferran, et al. “DNA Extraction from Formalin-Fixed Tissue: New Light from the Deep Sea.” Scientia Marina, vol. 74, no. 3, Consejo Superior de Investigaciones Científicas, 2010, pp. 465–70, doi:10.3989/scimar.2010.74n3465.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2010 | Journal Article | IST-REx-ID: 3788
Klopper, Abigail, et al. “Finite-Size Corrections to Scaling Behavior in Sorted Cell Aggregates.” The European Physical Journal E: Soft Matter and Biological Physics, vol. 33, no. 2, Springer, 2010, pp. 99–103, doi:10.1140/epje/i2010-10642-y.
View
| DOI
2010 | Journal Article | IST-REx-ID: 3786
Palero, Ferran, et al. “Final-Stage Phyllosoma of Palinustus A. Milne-Edwards, 1880 (Crustacea: Decapoda: Achelata: Palinuridae)-The First Complete Description.” Zootaxa, vol. 2403, no. 1, Magnolia Press, 2010, pp. 42–58, doi:10.11646/zootaxa.2403.1.4.
View
| DOI
2010 | Journal Article | IST-REx-ID: 3792
Carvalho, Lara, and Carl-Philipp J. Heisenberg. “The Yolk Syncytial Layer in Early, Zebrafish Development.” Trends in Cell Biology, vol. 20, no. 10, Cell Press, 2010, pp. 586–92, doi:10.1016/j.tcb.2010.06.009.
View
| DOI
2010 | Journal Article | IST-REx-ID: 3834 |
Wolf, Verena, et al. “Solving the Chemical Master Equation Using Sliding Windows.” BMC Systems Biology, vol. 4, no. 42, BioMed Central, 2010, pp. 1–19, doi:10.1186/1752-0509-4-42.
[Published Version]
View
| Files available
| DOI
2010 | Conference Paper | IST-REx-ID: 3840
Henzinger, Thomas A. From Boolean to Quantitative Notions of Correctness. Vol. 45, no. 1, ACM, 2010, pp. 157–58, doi:10.1145/1706299.1706319.
View
| DOI
2010 | Conference Paper | IST-REx-ID: 3839 |
Henzinger, Thomas A., et al. Invariant and Type Inference for Matrices. Vol. 5944, Springer, 2010, pp. 163–79, doi:10.1007/978-3-642-11319-2_14.
[Submitted Version]
View
| Files available
| DOI
2010 | Conference Paper | IST-REx-ID: 3838 |
Henzinger, Thomas A., et al. Hybrid Numerical Solution of the Chemical Master Equation. Springer, 2010, pp. 55–65, doi:10.1145/1839764.1839772.
[Submitted Version]
View
| Files available
| DOI
2010 | Conference Paper | IST-REx-ID: 3853 |
Chatterjee, Krishnendu, et al. Mean-Payoff Automaton Expressions. Vol. 6269, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010, pp. 269–83, doi:10.1007/978-3-642-15375-4_19.
[Submitted Version]
View
| Files available
| DOI