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.

2068 Publications


2010 | Published | Conference Paper | IST-REx-ID: 4378 | OA
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 | Conference Paper | IST-REx-ID: 4388 | OA
K. Chatterjee, T. A. Henzinger, B. Jobstmann, and A. Radhakrishna, “GIST: A solver for probabilistic games,” presented at the CAV: Computer Aided Verification, Edinburgh, UK, 2010, vol. 6174, pp. 665–669.
[Submitted Version] View | Files available | DOI | arXiv
 

2010 | Published | Conference Paper | IST-REx-ID: 4389 | OA
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 | OA
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 | Book Chapter | IST-REx-ID: 4392
P. Cerny, T. A. Henzinger, and A. Radhakrishna, “Quantitative Simulation Games,” in Time For Verification: Essays in Memory of Amir Pnueli, vol. 6200, Z. Manna and D. Peled, Eds. Springer, 2010, pp. 42–60.
View | DOI
 

earlier version | 2010 | Published | Conference Paper | IST-REx-ID: 4393 | OA
P. Cerny, T. A. Henzinger, and A. Radhakrishna, “Simulation distances,” presented at the CONCUR: Concurrency Theory, Paris, France, 2010, vol. 6269, pp. 235–268.
[Submitted Version] View | Files available | DOI
 

2010 | Published | Conference Paper | IST-REx-ID: 4395
S. Burckhardt, M. Musuvathi, and V. Singh, “Verifying local transformations on relaxed memory models,” presented at the CC: Compiler Construction, Pahos, Cyprus, 2010, vol. 6011, pp. 104–123.
View | DOI
 

2010 | Published | Conference Paper | IST-REx-ID: 4396 | OA
D. Beyer, T. A. Henzinger, G. Théoduloz, and D. Zufferey, “Shape refinement through explicit heap analysis,” presented at the FASE: Fundamental Approaches To Software Engineering, Paphos, Cyprus, 2010, vol. 6013, pp. 263–277.
[Submitted Version] View | Files available | DOI
 

2010 | Published | Conference Paper | IST-REx-ID: 2978 | OA
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 | OA
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 | OA
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: 3066
Ł. Łangowski, K. Růžička, S. Naramoto, J. Kleine Vehn, and J. Friml, “Trafficking to the outer polar domain defines the root soil interface,” Current Biology, vol. 20, no. 10. Cell Press, pp. 904–908, 2010.
View | DOI
 

2010 | Published | Journal Article | IST-REx-ID: 3068
K. Růžička et al., “Arabidopsis PIS1 encodes the ABCG37 transporter of auxinic compounds including the auxin precursor indole 3 butyric acid,” PNAS, vol. 107, no. 23. National Academy of Sciences, pp. 10749–10753, 2010.
View | DOI
 

2010 | Published | Journal Article | IST-REx-ID: 3071
E. Feraru et al., “The AP 3 β adaptin mediates the biogenesis and function of lytic vacuoles in Arabidopsis,” Plant Cell, vol. 22, no. 8. American Society of Plant Biologists, pp. 2812–2824, 2010.
View | DOI
 

2010 | Published | Journal Article | IST-REx-ID: 3081
S. Naramoto et al., “ADP ribosylation factor machinery mediates endocytosis in plant cells,” PNAS, vol. 107, no. 50. National Academy of Sciences, pp. 21890–21895, 2010.
View | DOI
 

2010 | Published | Journal Article | IST-REx-ID: 3146
S. Hippenmeyer et al., “Genetic mosaic dissection of Lis1 and Ndel1 in neuronal migration,” Neuron, vol. 68, no. 4. Elsevier, pp. 695–709, 2010.
View | DOI
 

2010 | Published | Conference Paper | IST-REx-ID: 3201
S. Vicente, V. Kolmogorov, and C. Rother, “Cosegmentation revisited: Models and optimization,” presented at the ECCV: European Conference on Computer Vision, 2010, vol. 6312, pp. 465–479.
View | DOI | Download (ext.)
 

2010 | Published | Conference Paper | IST-REx-ID: 3233
J. Håstad, R. Pass, D. Wikström, and K. Z. Pietrzak, “An efficient parallel repetition theorem,” presented at the TCC: Theory of Cryptography Conference, 2010, vol. 5978, pp. 1–18.
View | DOI
 

2010 | Published | Conference Paper | IST-REx-ID: 3234
S. Faust, E. Kiltz, K. Z. Pietrzak, and G. Rothblum, “Leakage resilient signatures,” presented at the TCC: Theory of Cryptography Conference, 2010, vol. 5978, pp. 343–360.
View | DOI
 

2010 | Published | Conference Paper | IST-REx-ID: 3235
Y. Dodis and K. Z. Pietrzak, “Leakage resilient pseudorandom functions and side channel attacks on feistel networks,” presented at the CRYPTO: International Cryptology Conference, 2010, vol. 6223, pp. 21–40.
View | DOI
 

Filters and Search Terms

isbn%3D978-364254630-3

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed