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
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 | Conference Paper | IST-REx-ID: 4388 | OA
Chatterjee, Krishnendu, et al. GIST: A Solver for Probabilistic Games. Vol. 6174, Springer, 2010, pp. 665–69, doi:10.1007/978-3-642-14295-6_57.
[Submitted Version] View | Files available | DOI | arXiv
 

2010 | Published | Conference Paper | IST-REx-ID: 4389 | OA
Doyen, Laurent, et al. Robustness of Sequential Circuits. IEEE, 2010, pp. 77–84, doi:10.1109/ACSD.2010.26.
[Submitted Version] View | Files available | DOI
 

2010 | Published | Conference Paper | IST-REx-ID: 4390 | OA
Cerny, Pavol, et al. Model Checking of Linearizability of Concurrent List Implementations. Vol. 6174, Springer, 2010, pp. 465–79, doi:10.1007/978-3-642-14295-6_41.
[Submitted Version] View | Files available | DOI
 

2010 | Published | Book Chapter | IST-REx-ID: 4392
Cerny, Pavol, et al. “Quantitative Simulation Games.” Time For Verification: Essays in Memory of Amir Pnueli, edited by Zohar Manna and Doron Peled, vol. 6200, Springer, 2010, pp. 42–60, doi:10.1007/978-3-642-13754-9_3.
View | DOI
 

earlier version | 2010 | Published | Conference Paper | IST-REx-ID: 4393 | OA
Cerny, Pavol, et al. Simulation Distances. Vol. 6269, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010, pp. 235–68, doi:10.1007/978-3-642-15375-4_18.
[Submitted Version] View | Files available | DOI
 

2010 | Published | Conference Paper | IST-REx-ID: 4395
Burckhardt, Sebastian, et al. Verifying Local Transformations on Relaxed Memory Models. Edited by Rajiv Gupta, vol. 6011, Springer, 2010, pp. 104–23, doi:10.1007/978-3-642-11970-5_7.
View | DOI
 

2010 | Published | Conference Paper | IST-REx-ID: 4396 | OA
Beyer, Dirk, et al. Shape Refinement through Explicit Heap Analysis. Edited by David Rosenblum and Gabriele Taenzer, vol. 6013, Springer, 2010, pp. 263–77, doi:10.1007/978-3-642-12029-9_19.
[Submitted Version] View | Files available | DOI
 

2010 | Published | Conference Paper | IST-REx-ID: 2978 | OA
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 | OA
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 | OA
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: 3066
Łangowski, Łukasz, et al. “Trafficking to the Outer Polar Domain Defines the Root Soil Interface.” Current Biology, vol. 20, no. 10, Cell Press, 2010, pp. 904–08, doi:10.1016/j.cub.2010.03.059.
View | DOI
 

2010 | Published | Journal Article | IST-REx-ID: 3068
Růžička, Kamil, 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, 2010, pp. 10749–53, doi:10.1073/pnas.1005878107.
View | DOI
 

2010 | Published | Journal Article | IST-REx-ID: 3071
Feraru, Elena, 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, 2010, pp. 2812–24, doi:10.1105/tpc.110.075424.
View | DOI
 

2010 | Published | Journal Article | IST-REx-ID: 3081
Naramoto, Satoshi, et al. “ADP Ribosylation Factor Machinery Mediates Endocytosis in Plant Cells.” PNAS, vol. 107, no. 50, National Academy of Sciences, 2010, pp. 21890–95, doi:10.1073/pnas.1016260107.
View | DOI
 

2010 | Published | Journal Article | IST-REx-ID: 3146
Hippenmeyer, Simon, et al. “Genetic Mosaic Dissection of Lis1 and Ndel1 in Neuronal Migration.” Neuron, vol. 68, no. 4, Elsevier, 2010, pp. 695–709, doi:10.1016/j.neuron.2010.09.027.
View | DOI
 

2010 | Published | Conference Paper | IST-REx-ID: 3201
Vicente, Sara, et al. Cosegmentation Revisited: Models and Optimization. Vol. 6312, Springer, 2010, pp. 465–79, doi:10.1007/978-3-642-15552-9_34.
View | DOI | Download (ext.)
 

2010 | Published | Conference Paper | IST-REx-ID: 3233
Håstad, Johan, et al. An Efficient Parallel Repetition Theorem. Vol. 5978, Springer, 2010, pp. 1–18, doi:10.1007/978-3-642-11799-2_1.
View | DOI
 

2010 | Published | Conference Paper | IST-REx-ID: 3234
Faust, Sebastian, et al. Leakage Resilient Signatures. Vol. 5978, Springer, 2010, pp. 343–60, doi:10.1007/978-3-642-11799-2_21.
View | DOI
 

2010 | Published | Conference Paper | IST-REx-ID: 3235
Dodis, Yevgeniy, and Krzysztof Z. Pietrzak. Leakage Resilient Pseudorandom Functions and Side Channel Attacks on Feistel Networks. Vol. 6223, Springer, 2010, pp. 21–40, doi:10.1007/978-3-642-14623-7_2.
View | DOI
 

Filters and Search Terms

isbn%3D978-364254630-3

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed