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.
306 Publications
2010 | Published | Journal Article | IST-REx-ID: 3076
Xu, Tongda, Mingzhang Wen, Shingo Nagawa, Ying Fu, Jin Chen, Ming Wu, Catherine Perrot Rechenmann, Jiří Friml, Alan Jones, and Zhenbiao Yang. “Cell Surface- and Rho GTPase-Based Auxin Signaling Controls Cellular Interdigitation in Arabidopsis.” Cell. Cell Press, 2010. https://doi.org/10.1016/j.cell.2010.09.003.
View
| DOI
2010 | Published | Journal Article | IST-REx-ID: 3077 | 
Friml, Jiří, and Angharad Jones. “Endoplasmic Reticulum: The Rising Compartment in Auxin Biology.” Plant Physiology. American Society of Plant Biologists, 2010. https://doi.org/10.1104/pp.110.161380.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2010 | Published | Book Chapter | IST-REx-ID: 3078
Sauer, Michael, and Jiří Friml. “Immunolocalization of Proteins in Plants .” In Plant Developmental Biology, edited by Lars Hennig and Claudia Köhler, 655:253–63. Humana Press, 2010. https://doi.org/10.1007/978-1-60761-765-5_17.
View
| DOI
2010 | Published | Journal Article | IST-REx-ID: 3079
Wabnik, Krzysztof T, Jürgen Kleine Vehn, Jozef Balla, Michael Sauer, Satoshi Naramoto, Vilém Reinöhl, Roeland Merks, Willy Govaerts, and Jiří Friml. “Emergence of Tissue Polarization from Synergy of Intracellular and Extracellular Auxin Signaling.” Molecular Systems Biology. Nature Publishing Group, 2010. https://doi.org/10.1038/msb.2010.103.
View
| DOI
2010 | Published | 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 | Published | 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 | Published | Journal Article | IST-REx-ID: 4221
Arboleda Estudillo, Yohanna, Michael Krieg, Jan Stuehmer, Nicholas Licata, Daniel Mueller, and Carl-Philipp J Heisenberg. “Movement Directionality in Collective Migration of Germ Layer Progenitors.” Current Biology. Cell Press, 2010. https://doi.org/10.1016/j.cub.2009.11.036.
View
| DOI
2010 | Published | Other Publication | IST-REx-ID: 4340 |
Danowski, Patrick. Open Bibliographic Data. European Library Automation Group (ELAG) 2010. Elsevier, 2010.
View
| Files available
| Download None (ext.)
2010 | Published | Conference Paper | IST-REx-ID: 4341
Danowski, Patrick. “Step One: Blow up the Silo! - Open Bibliographic Data, the First Step towards Linked Open Data.” IFLA, 2010.
View
| Download (ext.)
2010 | Published | Journal Article | IST-REx-ID: 4358
Guinane, Caitriona, Nouri Ben Zakour, Maria Tormo Mas, Lucy Weinert, Bethan Lowder, Robyn Cartwright, Davida Smyth, et al. “Evolutionary Genomics of Staphylococcus Aureus Reveals Insights into the Origin and Molecular Basis of Ruminant Host Adaptation.” Genome Biology and Evolution. Oxford University Press, 2010. https://doi.org/10.1093/gbe/evq031.
View
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 4362
Singh, Vasu. “Runtime Verification for Software Transactional Memories.” edited by Oleg Sokolsky, Grigore Rosu, Nikolai Tilmann, Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, and Gordon Pace, 6418:421–35. Springer, 2010. https://doi.org/10.1007/978-3-642-16612-9_32.
View
| DOI
2010 | Published | 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 | Published | Conference Paper | IST-REx-ID: 4378 |
Kuncak, Viktor, Ruzica Piskac, Philippe Suter, and Thomas Wies. “Building a Calculus of Data Structures.” edited by Gilles Barthe and Manuel Hermenegildo, 5944:26–44. Springer, 2010. https://doi.org/10.1007/978-3-642-11319-2_6.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2010 | Published | Journal Article | IST-REx-ID: 4379 |
Jones, Kevin, Victor Konrad, and Dejan Nickovic. “Analog Property Checkers: A DDR2 Case Study.” Formal Methods in System Design. Springer, 2010. https://doi.org/10.1007/s10703-009-0085-x.
View
| DOI
| Download (ext.)
2010 | Published | Conference Paper | IST-REx-ID: 4380 |
Henzinger, Thomas A, Anmol Tomar, Vasu Singh, Thomas Wies, and Damien Zufferey. “A Marketplace for Cloud Resources,” 1–8. ACM, 2010. https://doi.org/10.1145/1879021.1879022.
[Submitted Version]
View
| Files available
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 4381 |
Henzinger, Thomas A, Anmol Tomar, Vasu Singh, Thomas Wies, and Damien Zufferey. “FlexPRICE: Flexible Provisioning of Resources in a Cloud Environment,” 83–90. IEEE, 2010. https://doi.org/10.1109/CLOUD.2010.71.
[Submitted Version]
View
| Files available
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 4382 |
Guerraoui, Rachid, Thomas A Henzinger, Michal Kapalka, and Vasu Singh. “Transactions in the Jungle,” 263–72. ACM, 2010. https://doi.org/10.1145/1810479.1810529.
[Submitted Version]
View
| Files available
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 4389 |
Doyen, Laurent, Thomas A Henzinger, Axel Legay, and Dejan Nickovic. “Robustness of Sequential Circuits,” 77–84. IEEE, 2010. https://doi.org/10.1109/ACSD.2010.26.
[Submitted Version]
View
| Files available
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 4390 |
Cerny, Pavol, Arjun Radhakrishna, Damien Zufferey, Swarat Chaudhuri, and Rajeev Alur. “Model Checking of Linearizability of Concurrent List Implementations,” 6174:465–79. Springer, 2010. https://doi.org/10.1007/978-3-642-14295-6_41.
[Submitted Version]
View
| Files available
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 4395
Burckhardt, Sebastian, Madanlal Musuvathi, and Vasu Singh. “Verifying Local Transformations on Relaxed Memory Models.” edited by Rajiv Gupta, 6011:104–23. Springer, 2010. https://doi.org/10.1007/978-3-642-11970-5_7.
View
| DOI