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 | 
R. Frank, É. Lieb, R. Seiringer, and L. Thomas, “Bipolaron and N-polaron binding energies,” Physical Review Letters, vol. 104, no. 21. American Physical Society, 2010.
View
| DOI
| Download (ext.)
2010 | Published | Journal Article | IST-REx-ID: 2442 |
T. Beeckman and J. Friml, “Nitrate Contra Auxin: Nutrient Sensing by roots,” Developmental Cell, vol. 18, no. 6. Cell Press, pp. 877–878, 2010.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2010 | Published | Journal Article | IST-REx-ID: 2701 |
L. Erdös, B. Schlein, and H. Yau, “Wegner estimate and level repulsion for Wigner random matrices,” International Mathematics Research Notices, no. 3. Oxford University Press, pp. 436–479, 2010.
View
| DOI
| Download (ext.)
2010 | Published | Conference Paper | IST-REx-ID: 2978 |
E. Bangerter, J. Camenisch, and S. Krenn, “Efficiency Limitations for Σ-Protocols for Group Homomorphisms,” presented at the TCC: Theory of Cryptography Conference, 2010, vol. 5978, pp. 553–571.
View
| DOI
| Download (ext.)
2010 | Published | Conference Paper | IST-REx-ID: 2979 |
J. Almeida, E. Bangerter, M. Barbosa, S. Krenn, A. Sadeghi, and T. Schneider, “A Certifying Compiler for Zero-Knowledge Proofs of Knowledge Based on Sigma-Protocols,” presented at the ESORICS: European Symposium on Research in Computer Security, 2010, vol. 6345, pp. 151–167.
View
| DOI
| Download (ext.)
2010 | Published | Conference Paper | IST-REx-ID: 2980 |
E. Bangerter, T. Briner, W. Henecka, S. Krenn, A. Sadeghi, and T. Schneider, “Automatic Generation of Sigma-Protocols,” presented at the EuroPKI: Public Key Infrastructures, Services and Applications, 2010, vol. 6391, pp. 67–82.
View
| DOI
| Download (ext.)
2010 | Published | Journal Article | IST-REx-ID: 3072 |
W. Grunewald and J. Friml, “The march of the PINs: Developmental plasticity by dynamic polar targeting in plant cells,” EMBO Journal, vol. 29, no. 16. Wiley-Blackwell, pp. 2700–2714, 2010.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2010 | Published | Journal Article | IST-REx-ID: 3077 |
J. Friml and A. Jones, “Endoplasmic reticulum: The rising compartment in auxin biology,” Plant Physiology, vol. 154, no. 2. American Society of Plant Biologists, pp. 458–462, 2010.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2010 | Published | Journal Article | IST-REx-ID: 4243 |
N. H. Barton, A. Etheridge, and A. Véber, “A new model for evolution in a spatial continuum,” Electronic Journal of Probability, vol. 15, no. 7. Institute of Mathematical Statistics, pp. 162–216, 2010.
[Published Version]
View
| Files available
| DOI
2010 | Published | Other Publication | IST-REx-ID: 4340 |
P. Danowski, Open bibliographic data. Elsevier, 2010.
View
| Files available
| Download None (ext.)
2010 | Published | Conference Paper | IST-REx-ID: 4378 |
V. Kuncak, R. Piskac, P. Suter, and T. Wies, “Building a calculus of data structures,” presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, Madrid, Spain, 2010, vol. 5944, pp. 26–44.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2010 | Published | Journal Article | IST-REx-ID: 4379 |
K. Jones, V. Konrad, and D. Nickovic, “Analog property checkers: a DDR2 case study,” Formal Methods in System Design, vol. 36, no. 2. Springer, pp. 114–130, 2010.
View
| DOI
| Download (ext.)
2010 | Published | Conference Paper | IST-REx-ID: 4380 |
T. A. Henzinger, A. Tomar, V. Singh, T. Wies, and D. Zufferey, “A marketplace for cloud resources,” presented at the EMSOFT: Embedded Software , Arizona, USA, 2010, pp. 1–8.
[Submitted Version]
View
| Files available
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 4381 |
T. A. Henzinger, A. Tomar, V. Singh, T. Wies, and D. Zufferey, “FlexPRICE: Flexible provisioning of resources in a cloud environment,” presented at the CLOUD: Cloud Computing, Miami, USA, 2010, pp. 83–90.
[Submitted Version]
View
| Files available
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 4382 |
R. Guerraoui, T. A. Henzinger, M. Kapalka, and V. Singh, “Transactions in the jungle,” presented at the SPAA: ACM Symposium on Parallel Algorithms and Architectures, Santorini, Greece, 2010, pp. 263–272.
[Submitted Version]
View
| Files available
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 4389 |
L. Doyen, T. A. Henzinger, A. Legay, and D. Nickovic, “Robustness of sequential circuits,” presented at the ACSD: Application of Concurrency to System Design, 2010, pp. 77–84.
[Submitted Version]
View
| Files available
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 4390 |
P. Cerny, A. Radhakrishna, D. Zufferey, S. Chaudhuri, and R. Alur, “Model checking of linearizability of concurrent list implementations,” presented at the CAV: Computer Aided Verification, Edinburgh, UK, 2010, vol. 6174, pp. 465–479.
[Submitted Version]
View
| Files available
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 488 |
R. Alur and P. Cerny, “Expressiveness of streaming string transducers,” presented at the FSTTCS: Foundations of Software Technology and Theoretical Computer Science, Chennai, India, 2010, vol. 8, pp. 1–12.
[Published Version]
View
| Files available
| DOI
2010 | Published | Technical Report | IST-REx-ID: 5390 |
K. Chatterjee and N. Fijalkow, Topological, automata-theoretic and logical characterization of finitary languages. IST Austria, 2010.
[Published Version]
View
| Files available
| DOI
2010 | Published | Technical Report | IST-REx-ID: 5391 |
P. Cerny, A. Radhakrishna, D. Zufferey, S. Chaudhuri, and R. Alur, Model checking of linearizability of concurrent list implementations. IST Austria, 2010.
[Published Version]
View
| Files available
| DOI