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 R, Lieb É, Seiringer R, Thomas L. Bipolaron and N-polaron binding energies. Physical Review Letters. 2010;104(21). doi:10.1103/PhysRevLett.104.210402

View | DOI | Download (ext.)

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

Beeckman T, Friml J. Nitrate Contra Auxin: Nutrient Sensing by roots. Developmental Cell. 2010;18(6):877-878. 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, Schlein B, Yau H. Wegner estimate and level repulsion for Wigner random matrices. International Mathematics Research Notices. 2010;(3):436-479. doi:10.1093/imrn/rnp136

View | DOI | Download (ext.)

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

Bangerter E, Camenisch J, Krenn S. Efficiency Limitations for Σ-Protocols for Group Homomorphisms. In: Micciancio D, ed. Vol 5978. Springer; 2010:553-571. doi:10.1007/978-3-642-11799-2

View | DOI | Download (ext.)

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

Almeida J, Bangerter E, Barbosa M, Krenn S, Sadeghi A, Schneider T. A Certifying Compiler for Zero-Knowledge Proofs of Knowledge Based on Sigma-Protocols. In: Gritzalis D, Preneel B, Theoharidou M, eds. Vol 6345. Springer; 2010:151-167. doi:10.1007/978-3-642-15497-3

View | DOI | Download (ext.)

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

Bangerter E, Briner T, Henecka W, Krenn S, Sadeghi A, Schneider T. Automatic Generation of Sigma-Protocols. In: Martinelli F, Preneel B, eds. Vol 6391. Springer; 2010:67-82. doi:10.1007/978-3-642-16441-5

View | DOI | Download (ext.)

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

Grunewald W, Friml J. The march of the PINs: Developmental plasticity by dynamic polar targeting in plant cells. EMBO Journal. 2010;29(16):2700-2714. 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 J, Jones A. Endoplasmic reticulum: The rising compartment in auxin biology. Plant Physiology. 2010;154(2):458-462. 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 NH, Etheridge A, Véber A. A new model for evolution in a spatial continuum. Electronic Journal of Probability. 2010;15(7):162-216. doi:10.1214/EJP.v15-741

[Published Version] View | Files available | DOI

2010 | Published | Other Publication | IST-REx-ID: 4340 |

Danowski P. Open Bibliographic Data. Elsevier; 2010.

View | Files available | Download None (ext.)

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

Kuncak V, Piskac R, Suter P, Wies T. Building a calculus of data structures. In: Barthe G, Hermenegildo M, eds. Vol 5944. Springer; 2010: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 K, Konrad V, Nickovic D. Analog property checkers: a DDR2 case study. Formal Methods in System Design. 2010;36(2):114-130. doi:10.1007/s10703-009-0085-x

View | DOI | Download (ext.)

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

Henzinger TA, Tomar A, Singh V, Wies T, Zufferey D. A marketplace for cloud resources. In: ACM; 2010:1-8. doi:10.1145/1879021.1879022