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.
1966 Publications
2010 | Published | Journal Article | IST-REx-ID: 2763
Erdös, László, et al. “Bulk Universality for Wigner Hermitian Matrices with Subexponential Decay.” Mathematical Research Letters, vol. 17, no. 4, International Press, 2010, pp. 667–74.
View
2010 | Published | Conference Paper | IST-REx-ID: 2978 | 
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 |
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 |
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: 4221
Arboleda Estudillo, Yohanna, et al. “Movement Directionality in Collective Migration of Germ Layer Progenitors.” Current Biology, vol. 20, no. 2, Cell Press, 2010, pp. 161–69, doi:10.1016/j.cub.2009.11.036.
View
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 4362
Singh, Vasu. Runtime Verification for Software Transactional Memories. Edited by Oleg Sokolsky et al., vol. 6418, Springer, 2010, pp. 421–35, doi:10.1007/978-3-642-16612-9_32.
View
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 4378 |
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: 4389 |
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 |
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 | 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 | Book Chapter | IST-REx-ID: 5940
Juhás, Gabriel, et al. “Instance Deadlock: A Mystery behind Frozen Programs.” Applications and Theory of Petri Nets, Springer Berlin Heidelberg, 2010, pp. 1–17, doi:10.1007/978-3-642-13675-7_1.
View
| DOI
2010 | Published | Journal Article | IST-REx-ID: 1465 |
Hausel, Tamás. “Kac’s Conjecture from Nakajima Quiver Varieties.” Inventiones Mathematicae, vol. 181, no. 1, Springer, 2010, pp. 21–37, doi:10.1007/s00222-010-0241-3.
View
| DOI
| Download (ext.)
2010 | Published | Book Chapter | IST-REx-ID: 14983
Schlögl, Alois, et al. “Adaptive Methods in BCI Research - An Introductory Tutorial.” Brain-Computer Interfaces, edited by Bernhard Graimann et al., 1st ed., Springer, 2010, pp. 331–55, doi:10.1007/978-3-642-02091-9_18.
View
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 754
Alistarh, Dan-Adrian, et al. Fast Randomized Test-and-Set and Renaming. Vol. 6343 LNCS, Springer, 2010, pp. 94–108, doi:10.1007/978-3-642-15763-9_9.
View
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 755
Alistarh, Dan-Adrian, et al. How Efficient Can Gossip Be? (On the Cost of Resilient Information Exchange). Vol. 6199 LNCS, no. PART 2, Springer, 2010, pp. 115–26, doi:10.1007/978-3-642-14162-1_10.
View
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 758
Alistarh, Dan-Adrian, et al. Brief Announcement: New Bounds for Partially Synchronous Set Agreement. Vol. 6343 LNCS, Springer, 2010, pp. 404–05, doi:10.1007/978-3-642-15763-9_40.
View
| DOI