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,” 249–60. ACM, 2010. https://doi.org/10.1145/1707801.1706330.
View
| DOI
2010 | Journal Article | IST-REx-ID: 3068
Růžička, Kamil, Lucia Strader, Aurélien Bailly, Haibing Yang, Joshua Blakeslee, Łukasz Łangowski, Eliška Nejedlá, et al. “Arabidopsis PIS1 Encodes the ABCG37 Transporter of Auxinic Compounds Including the Auxin Precursor Indole 3 Butyric Acid.” PNAS. National Academy of Sciences, 2010. https://doi.org/10.1073/pnas.1005878107.
View
| DOI
2010 | Journal Article | IST-REx-ID: 3067
Jelínková, Adriana, Kateřina Malínská, Sibu Simon, Jürgen Kleine Vehn, Markéta Pařezová, Přemysl Pejchar, Martin Kubeš, et al. “Probing Plant Membranes with FM Dyes: Tracking Dragging or Blocking?” Plant Journal. Wiley-Blackwell, 2010. https://doi.org/10.1111/j.1365-313X.2009.04102.x.
View
| DOI
2010 | Journal Article | IST-REx-ID: 3065
Žádníková, Petra, Jan Petrášek, Peter Marhavý, Vered Raz, Filip Vandenbussche, Zhaojun Ding, Kateřina Schwarzerová, et al. “Role of PIN-Mediated Auxin Efflux in Apical Hook Development of Arabidopsis Thaliana.” Development. Company of Biologists, 2010. https://doi.org/10.1242/dev.041277.
View
| DOI
2010 | Journal Article | IST-REx-ID: 3064
Zhang, Jing, Thomasz Nodzyński, Aleš Pěnčík, Jakub Rolčík, and Jiří Friml. “PIN Phosphorylation Is Sufficient to Mediate PIN Polarity and Direct Auxin Transport.” PNAS. National Academy of Sciences, 2010. https://doi.org/10.1073/pnas.0909460107.
View
| DOI
2010 | Journal Article | IST-REx-ID: 3066
Łangowski, Łukasz, Kamil Růžička, Satoshi Naramoto, Jürgen Kleine Vehn, and Jiří Friml. “Trafficking to the Outer Polar Domain Defines the Root Soil Interface.” Current Biology. Cell Press, 2010. https://doi.org/10.1016/j.cub.2010.03.059.
View
| DOI
2010 | Journal Article | IST-REx-ID: 3070
Nawy, Tal, Martin Bayer, Jozef Mravec, Jiří Friml, Kenneth Birnbaum, and Wolfgang Lukowitz. “The GATA Factor HANABA TARANU Is Required to Position the Proembryo Boundary in the Early Arabidopsis Embryo.” Developmental Cell. Cell Press, 2010. https://doi.org/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. National Academy of Sciences, 2010. https://doi.org/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. Elsevier, 2010. https://doi.org/10.1016/j.ejcb.2009.11.003.
View
| DOI
2010 | Journal Article | IST-REx-ID: 3081
Naramoto, Satoshi, Jürgen Kleine Vehn, Stéphanie Robert, Masaru Fujimoto, Tomoko Dainobu, Tomasz Paciorek, Takashi Ueda, et al. “ADP Ribosylation Factor Machinery Mediates Endocytosis in Plant Cells.” PNAS. National Academy of Sciences, 2010. https://doi.org/10.1073/pnas.1016260107.
View
| DOI
2010 | Journal Article | IST-REx-ID: 3080
Kleine Vehn, Jürgen, Zhaojun Ding, Angharad Jones, Masao Tasaka, Miyo Morita, and Jiří Friml. “Gravity Induced PIN Transcytosis for Polarization of Auxin Fluxes in Gravity Sensing Root Cells.” PNAS. National Academy of Sciences, 2010. https://doi.org/10.1073/pnas.1013145107.
View
| DOI
2010 | Journal Article | IST-REx-ID: 3153
Siekhaus, Daria E, Martin Haesemeyer, Olivia Moffitt, and Ruth Lehmann. “RhoL Controls Invasion and Rap1 Localization during Immune Cell Transmigration in Drosophila.” Nature Cell Biology. Nature Publishing Group, 2010.
View
| Download (ext.)
2010 | Conference Paper | IST-REx-ID: 3201
Vicente, Sara, Vladimir Kolmogorov, and Carsten Rother. “Cosegmentation Revisited: Models and Optimization,” 6312:465–79. Springer, 2010. https://doi.org/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,” 6477:595–612. Springer, 2010. https://doi.org/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,” 6223:21–40. Springer, 2010. https://doi.org/10.1007/978-3-642-14623-7_2.
View
| DOI
2010 | Conference Paper | IST-REx-ID: 3234
Faust, Sebastian, Eike Kiltz, Krzysztof Z Pietrzak, and Guy Rothblum. “Leakage Resilient Signatures,” 5978:343–60. Springer, 2010. https://doi.org/10.1007/978-3-642-11799-2_21.
View
| DOI
2010 | Conference Paper | IST-REx-ID: 3233
Håstad, Johan, Rafael Pass, Douglas Wikström, and Krzysztof Z Pietrzak. “An Efficient Parallel Repetition Theorem,” 5978:1–18. Springer, 2010. https://doi.org/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, Subhra Chakraborty Tuhin, Sarit Goswami, Chun Wu, and Obaid Siddiqi. “Post Eclosion Odor Experience Modifies Olfactory Receptor Neuron Coding in Drosophila.” PNAS. National Academy of Sciences, 2010. https://doi.org/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.
View
| Download None (ext.)
2010 | Journal Article | IST-REx-ID: 3306 | 
Evans, Steven, Bernd Sturmfels, and Caroline Uhler. “Commuting Birth and Death Processes.” The Annals of Applied Probability. Institute of Mathematical Statistics, 2010. https://doi.org/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. Springer, 2010. https://doi.org/10.1007/s10463-010-0295-4.
View
| DOI
| Download (ext.)
2010 | Journal Article | IST-REx-ID: 3402
Guerraoui, Rachid, Thomas A Henzinger, and Vasu Singh. “Model Checking Transactional Memories.” Distributed Computing. Springer, 2010. https://doi.org/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. Elsevier, 2010. https://doi.org/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., C. Gonano, E. Nemecek, Lisa Cichocki, and C. Schueller Weidekamm. “Intra-Operative Ultrasound Facilitates the Localization of the Calcific Deposit during Arthroscopic Treatment of Calcifying Tendinitis.” Knee Surgery, Sports Traumatology, Arthroscopy. Springer, 2010. https://doi.org/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. Springer, 2010. https://doi.org/10.1007/978-1-60327-977-2_17.
View
| DOI
2010 | Conference Paper | IST-REx-ID: 3676
Wanke, Jörn, Adrian Ulges, Christoph Lampert, and Thomas Breuel. “Topic Models for Semantic Video Compression,” 275–84. ACM, 2010. https://doi.org/10.1145/1743384.1743433.
View
| DOI
| Download (ext.)
2010 | Journal Article | IST-REx-ID: 3697
Tuytelaars, Tinne, Christoph Lampert, Matthew Blaschko, and Wray Buntine. “Unsupervised Object Discovery: A Comparison.” International Journal of Computer Vision. Springer, 2010. https://doi.org/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,” 1022–29. IEEE, 2010. https://doi.org/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. ArXiv, 2010.
View
| Download (ext.)
2010 | Journal Article | IST-REx-ID: 3761
Kwatra, Nipun, Chris Wojtan, Mark Carlson, Irfan Essa, Peter Mucha, and Greg Turk. “Fluid Simulation with Articulated Bodies.” IEEE Transactions on Visualization and Computer Graphics. IEEE, 2010. https://doi.org/10.1109/TVCG.2009.66.
View
| DOI
2010 | Journal Article | IST-REx-ID: 3759
Wojtan, Chris, Nils Thürey, Markus Gross, and Greg Turk. “Physics-Inspired Topology Changes for Thin Fluid Features.” ACM Transactions on Graphics. ACM, 2010. https://doi.org/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. Royal Society, 2010. https://doi.org/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. Royal Society, 2010. 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, Nicholas H. “Mutation and the Evolution of Recombination.” Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. Royal Society, 2010. 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, Helen, Graeme Swanson, Simon Goodman, Nicholas H Barton, and Josephine Pemberton. “Phenotypic Correlates of Hybridisation between Red and Sika Deer (Genus Cervus).” Journal of Animal Ecology. Wiley-Blackwell, 2010. https://doi.org/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. Public Library of Science, 2010. https://doi.org/10.1371/journal.pgen.1000987.
[Published Version]
View
| Files available
| DOI
2010 | Journal Article | IST-REx-ID: 3790 |
Diz Muñoz, Alba, Michael Krieg, Martin Bergert, Itziar Ibarlucea Benitez, Daniel Müller, Ewa Paluch, and Carl-Philipp J Heisenberg. “Control of Directed Cell Migration in Vivo by Membrane-to-Cortex Attachment.” PLoS Biology. Public Library of Science, 2010. https://doi.org/10.1371/journal.pbio.1000544.
[Published Version]
View
| Files available
| DOI
2010 | Conference Paper | IST-REx-ID: 3793 |
Nowozin, Sebastian, Peter Gehler, and Christoph Lampert. “On Parameter Learning in CRF-Based Approaches to Object Class Image Segmentation,” 6316:98–111. Springer, 2010. 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, Elena, Luca Caneparo, Sylvia Schneider, Sylke Winkler, Michael Liebling, Scott Fraser, and Carl-Philipp J Heisenberg. “Stereotypical Cell Division Orientation Controls Neural Rod Midline Formation in Zebrafish.” Current Biology. Cell Press, 2010. https://doi.org/10.1016/j.cub.2010.10.009.
View
| DOI
2010 | Journal Article | IST-REx-ID: 3787 |
Palero, Ferran, Sally Hall, Paul Clark, David Johnston, Jackie Mackenzie Dodds, and Sven Thatje. “DNA Extraction from Formalin-Fixed Tissue: New Light from the Deep Sea.” Scientia Marina. Consejo Superior de Investigaciones Científicas, 2010. https://doi.org/10.3989/scimar.2010.74n3465.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2010 | Journal Article | IST-REx-ID: 3788
Klopper, Abigail, Gabriel Krens, Stephan Grill, and Carl-Philipp J Heisenberg. “Finite-Size Corrections to Scaling Behavior in Sorted Cell Aggregates.” The European Physical Journal E: Soft Matter and Biological Physics. Springer, 2010. https://doi.org/10.1140/epje/i2010-10642-y.
View
| DOI
2010 | Journal Article | IST-REx-ID: 3786
Palero, Ferran, Guillermo Guerao, Paul Clark, and Pere Abello. “Final-Stage Phyllosoma of Palinustus A. Milne-Edwards, 1880 (Crustacea: Decapoda: Achelata: Palinuridae)-The First Complete Description.” Zootaxa. Magnolia Press, 2010. https://doi.org/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. Cell Press, 2010. https://doi.org/10.1016/j.tcb.2010.06.009.
View
| DOI
2010 | Journal Article | IST-REx-ID: 3834 |
Wolf, Verena, Rushil Goel, Maria Mateescu, and Thomas A Henzinger. “Solving the Chemical Master Equation Using Sliding Windows.” BMC Systems Biology. BioMed Central, 2010. https://doi.org/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,” 45:157–58. ACM, 2010. https://doi.org/10.1145/1706299.1706319.
View
| DOI
2010 | Conference Paper | IST-REx-ID: 3839 |
Henzinger, Thomas A, Thibaud Hottelier, Laura Kovács, and Andrei Voronkov. “Invariant and Type Inference for Matrices,” 5944:163–79. Springer, 2010. 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, Thomas A, Maria Mateescu, Linar Mikeev, and Verena Wolf. “Hybrid Numerical Solution of the Chemical Master Equation,” 55–65. Springer, 2010. https://doi.org/10.1145/1839764.1839772.
[Submitted Version]
View
| Files available
| DOI
2010 | Conference Paper | IST-REx-ID: 3853 |
Chatterjee, Krishnendu, Laurent Doyen, Herbert Edelsbrunner, Thomas A Henzinger, and Philippe Rannou. “Mean-Payoff Automaton Expressions,” 6269:269–83. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010. https://doi.org/10.1007/978-3-642-15375-4_19.
[Submitted Version]
View
| Files available
| DOI