ISTA Research Explorer

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.

7131 Publications

2010 | Published | Journal Article | IST-REx-ID: 2392 |

Frank, Rupert, et al. “Bipolaron and N-Polaron Binding Energies.” Physical Review Letters, vol. 104, no. 21, American Physical Society, 2010, doi:10.1103/PhysRevLett.104.210402.

View | DOI | Download (ext.)

2010 | Published | Journal Article | IST-REx-ID: 2442 |

Beeckman, Tom, and Jiří Friml. “Nitrate Contra Auxin: Nutrient Sensing by Roots.” Developmental Cell, vol. 18, no. 6, Cell Press, 2010, pp. 877–78, doi:10.1016/j.devcel.2010.05.020.

[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC

2010 | Published | Journal Article | IST-REx-ID: 2701 |

Erdös, László, et al. “Wegner Estimate and Level Repulsion for Wigner Random Matrices.” International Mathematics Research Notices, no. 3, Oxford University Press, 2010, pp. 436–79, doi:10.1093/imrn/rnp136.

View | DOI | Download (ext.)

2010 | Published | Conference Paper | IST-REx-ID: 2978 |

Bangerter, Endre, et al. Efficiency Limitations for Σ-Protocols for Group Homomorphisms. Edited by Daniele Micciancio, vol. 5978, Springer, 2010, pp. 553–71, doi:10.1007/978-3-642-11799-2.

View | DOI | Download (ext.)

2010 | Published | Conference Paper | IST-REx-ID: 2979 |

Almeida, José, et al. A Certifying Compiler for Zero-Knowledge Proofs of Knowledge Based on Sigma-Protocols. Edited by Dimitris Gritzalis et al., vol. 6345, Springer, 2010, pp. 151–67, doi:10.1007/978-3-642-15497-3.

View | DOI | Download (ext.)

2010 | Published | Conference Paper | IST-REx-ID: 2980 |

Bangerter, Endre, et al. Automatic Generation of Sigma-Protocols. Edited by Fabio Martinelli and Bart Preneel, vol. 6391, Springer, 2010, pp. 67–82, doi:10.1007/978-3-642-16441-5.

View | DOI | Download (ext.)

2010 | Published | Journal Article | IST-REx-ID: 3072 |

Grunewald, Wim, and Jiří Friml. “The March of the PINs: Developmental Plasticity by Dynamic Polar Targeting in Plant Cells.” EMBO Journal, vol. 29, no. 16, Wiley-Blackwell, 2010, pp. 2700–14, doi:10.1038/emboj.2010.181.

[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC

2010 | Published | Journal Article | IST-REx-ID: 3077 |

Friml, Jiří, and Angharad Jones. “Endoplasmic Reticulum: The Rising Compartment in Auxin Biology.” Plant Physiology, vol. 154, no. 2, American Society of Plant Biologists, 2010, pp. 458–62, doi:10.1104/pp.110.161380.

[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC

2010 | Published | Journal Article | IST-REx-ID: 4243 |

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 |

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: 4378 |

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 |

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 |

Henzinger, Thomas A., et al. A Marketplace for Cloud Resources. ACM, 2010, pp. 1–8, doi:10.1145/1879021.1879022.