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, Élliott Lieb, Robert Seiringer, and Lawrence Thomas. “Bipolaron and N-Polaron Binding Energies.” Physical Review Letters. American Physical Society, 2010. https://doi.org/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. Cell Press, 2010. https://doi.org/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ó, Benjamin Schlein, and Horng Yau. “Wegner Estimate and Level Repulsion for Wigner Random Matrices.” International Mathematics Research Notices. Oxford University Press, 2010. https://doi.org/10.1093/imrn/rnp136.

View | DOI | Download (ext.)

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

Bangerter, Endre, Jan Camenisch, and Stephan Krenn. “Efficiency Limitations for Σ-Protocols for Group Homomorphisms.” edited by Daniele Micciancio, 5978:553–71. Springer, 2010. https://doi.org/10.1007/978-3-642-11799-2.

View | DOI | Download (ext.)

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

Almeida, José, Endre Bangerter, Manuel Barbosa, Stephan Krenn, Ahmad Sadeghi, and Thomas Schneider. “A Certifying Compiler for Zero-Knowledge Proofs of Knowledge Based on Sigma-Protocols.” edited by Dimitris Gritzalis, Bart Preneel, and Marianthi Theoharidou, 6345:151–67. Springer, 2010. https://doi.org/10.1007/978-3-642-15497-3.

View | DOI | Download (ext.)

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

Bangerter, Endre, Thomas Briner, Wilko Henecka, Stephan Krenn, Ahmad Sadeghi, and Thomas Schneider. “Automatic Generation of Sigma-Protocols.” edited by Fabio Martinelli and Bart Preneel, 6391:67–82. Springer, 2010. https://doi.org/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. Wiley-Blackwell, 2010. https://doi.org/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. 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 | Journal Article | IST-REx-ID: 4243 |

Barton, Nicholas H, Alison Etheridge, and Amandine Véber. “A New Model for Evolution in a Spatial Continuum.” Electronic Journal of Probability. Institute of Mathematical Statistics, 2010. https://doi.org/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, 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.