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.

10772 Publications


2010 | Published | Journal Article | IST-REx-ID: 3079
Wabnik, Krzysztof T., et al. “Emergence of Tissue Polarization from Synergy of Intracellular and Extracellular Auxin Signaling.” Molecular Systems Biology, vol. 6, Nature Publishing Group, 2010, doi:10.1038/msb.2010.103.
View | DOI
 

2010 | Published | 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 | Published | 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 | Published | Journal Article | IST-REx-ID: 4221
Arboleda Estudillo, Yohanna, et al. “Movement Directionality in Collective Migration of Germ Layer Progenitors.” Current Biology, vol. 20, no. 2, Cell Press, 2010, pp. 161–69, doi:10.1016/j.cub.2009.11.036.
View | DOI
 

2010 | Published | Journal Article | IST-REx-ID: 4243 | OA
Barton, Nicholas H., et al. “A New Model for Evolution in a Spatial Continuum.” Electronic Journal of Probability, vol. 15, no. 7, Institute of Mathematical Statistics, 2010, pp. 162–216, doi:10.1214/EJP.v15-741.
[Published Version] View | Files available | DOI
 

2010 | Published | Other Publication | IST-REx-ID: 4340 | OA
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, et al. “Evolutionary Genomics of Staphylococcus Aureus Reveals Insights into the Origin and Molecular Basis of Ruminant Host Adaptation.” Genome Biology and Evolution, vol. 2, Oxford University Press, 2010, pp. 454–66, doi: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 et al., vol. 6418, Springer, 2010, pp. 421–35, doi: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. ACM, 2010, pp. 249–60, doi:10.1145/1707801.1706330.
View | DOI
 

2010 | Published | Conference Paper | IST-REx-ID: 4378 | OA
Kuncak, Viktor, et al. Building a Calculus of Data Structures. Edited by Gilles Barthe and Manuel Hermenegildo, vol. 5944, Springer, 2010, pp. 26–44, doi:10.1007/978-3-642-11319-2_6.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2010 | Published | Journal Article | IST-REx-ID: 4379 | OA
Jones, Kevin, et al. “Analog Property Checkers: A DDR2 Case Study.” Formal Methods in System Design, vol. 36, no. 2, Springer, 2010, pp. 114–30, doi:10.1007/s10703-009-0085-x.
View | DOI | Download (ext.)
 

2010 | Published | Conference Paper | IST-REx-ID: 4380 | OA
Henzinger, Thomas A., et al. A Marketplace for Cloud Resources. ACM, 2010, pp. 1–8, doi:10.1145/1879021.1879022.
[Submitted Version] View | Files available | DOI
 

2010 | Published | Conference Paper | IST-REx-ID: 4381 | OA
Henzinger, Thomas A., et al. FlexPRICE: Flexible Provisioning of Resources in a Cloud Environment. IEEE, 2010, pp. 83–90, doi:10.1109/CLOUD.2010.71.
[Submitted Version] View | Files available | DOI
 

2010 | Published | Conference Paper | IST-REx-ID: 4382 | OA
Guerraoui, Rachid, et al. Transactions in the Jungle. ACM, 2010, pp. 263–72, doi:10.1145/1810479.1810529.
[Submitted Version] View | Files available | DOI
 

2010 | Published | Conference Paper | IST-REx-ID: 4389 | OA
Doyen, Laurent, et al. Robustness of Sequential Circuits. IEEE, 2010, pp. 77–84, doi:10.1109/ACSD.2010.26.
[Submitted Version] View | Files available | DOI
 

2010 | Published | Conference Paper | IST-REx-ID: 4390 | OA
Cerny, Pavol, et al. Model Checking of Linearizability of Concurrent List Implementations. Vol. 6174, Springer, 2010, pp. 465–79, doi:10.1007/978-3-642-14295-6_41.
[Submitted Version] View | Files available | DOI
 

2010 | Published | Conference Paper | IST-REx-ID: 4395
Burckhardt, Sebastian, et al. Verifying Local Transformations on Relaxed Memory Models. Edited by Rajiv Gupta, vol. 6011, Springer, 2010, pp. 104–23, doi:10.1007/978-3-642-11970-5_7.
View | DOI
 

2010 | Published | Journal Article | IST-REx-ID: 474
Barton, Nicholas H., et al. “A New Model for Extinction and Recolonization in Two Dimensions: Quantifying Phylogeography.” Evolution, vol. 64, no. 9, Wiley-Blackwell, 2010, pp. 2701–15, doi:10.1111/j.1558-5646.2010.01019.x.
View | DOI
 

2010 | Published | Conference Paper | IST-REx-ID: 488 | OA
Alur, Rajeev, and Pavol Cerny. Expressiveness of Streaming String Transducers. Vol. 8, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010, pp. 1–12, doi:10.4230/LIPIcs.FSTTCS.2010.1.
[Published Version] View | Files available | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed