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ó, José Ramírez, Benjamin Schlein, Terence Tao, Vu Van, and Horng Yau. “Bulk Universality for Wigner Hermitian Matrices with Subexponential Decay.” Mathematical Research Letters. International Press, 2010.
View
2010 | Published | Conference Paper | IST-REx-ID: 2978 | 
Bangerter, Endre, Jan Camenisch, and Stephan Krenn. “Efficiency Limitations for Σ-Protocols for Group Homomorphisms.” edited by Daniele Micciancio, 5978:553–71. Springer, 2010. https://doi.org/10.1007/978-3-642-11799-2.
View
| DOI
| Download (ext.)
2010 | Published | Conference Paper | IST-REx-ID: 2979 |
Almeida, José, Endre Bangerter, Manuel Barbosa, Stephan Krenn, Ahmad Sadeghi, and Thomas Schneider. “A Certifying Compiler for Zero-Knowledge Proofs of Knowledge Based on Sigma-Protocols.” edited by Dimitris Gritzalis, Bart Preneel, and Marianthi Theoharidou, 6345:151–67. Springer, 2010. https://doi.org/10.1007/978-3-642-15497-3.
View
| DOI
| Download (ext.)
2010 | Published | Conference Paper | IST-REx-ID: 2980 |
Bangerter, Endre, Thomas Briner, Wilko Henecka, Stephan Krenn, Ahmad Sadeghi, and Thomas Schneider. “Automatic Generation of Sigma-Protocols.” edited by Fabio Martinelli and Bart Preneel, 6391:67–82. Springer, 2010. https://doi.org/10.1007/978-3-642-16441-5.
View
| DOI
| Download (ext.)
2010 | Published | Journal Article | IST-REx-ID: 3066
Łangowski, Łukasz, Kamil Růžička, Satoshi Naramoto, Jürgen Kleine Vehn, and Jiří Friml. “Trafficking to the Outer Polar Domain Defines the Root Soil Interface.” Current Biology. Cell Press, 2010. https://doi.org/10.1016/j.cub.2010.03.059.
View
| DOI
2010 | Published | Journal Article | IST-REx-ID: 3068
Růžička, Kamil, Lucia Strader, Aurélien Bailly, Haibing Yang, Joshua Blakeslee, Łukasz Łangowski, Eliška Nejedlá, et al. “Arabidopsis PIS1 Encodes the ABCG37 Transporter of Auxinic Compounds Including the Auxin Precursor Indole 3 Butyric Acid.” PNAS. National Academy of Sciences, 2010. https://doi.org/10.1073/pnas.1005878107.
View
| DOI
2010 | Published | Journal Article | IST-REx-ID: 3071
Feraru, Elena, Tomasz Paciorek, Mugurel Feraru, Marta Zwiewka, Ruth De Groodt, Riet De Rycke, Jürgen Kleine Vehn, and Jiří Friml. “The AP 3 β Adaptin Mediates the Biogenesis and Function of Lytic Vacuoles in Arabidopsis.” Plant Cell. American Society of Plant Biologists, 2010. https://doi.org/10.1105/tpc.110.075424.
View
| DOI
2010 | Published | Journal Article | IST-REx-ID: 3081
Naramoto, Satoshi, Jürgen Kleine Vehn, Stéphanie Robert, Masaru Fujimoto, Tomoko Dainobu, Tomasz Paciorek, Takashi Ueda, et al. “ADP Ribosylation Factor Machinery Mediates Endocytosis in Plant Cells.” PNAS. National Academy of Sciences, 2010. https://doi.org/10.1073/pnas.1016260107.
View
| DOI
2010 | Published | Journal Article | IST-REx-ID: 4221
Arboleda Estudillo, Yohanna, Michael Krieg, Jan Stuehmer, Nicholas Licata, Daniel Mueller, and Carl-Philipp J Heisenberg. “Movement Directionality in Collective Migration of Germ Layer Progenitors.” Current Biology. Cell Press, 2010. https://doi.org/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, Grigore Rosu, Nikolai Tilmann, Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, and Gordon Pace, 6418:421–35. Springer, 2010. https://doi.org/10.1007/978-3-642-16612-9_32.
View
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 4378 |
Kuncak, Viktor, Ruzica Piskac, Philippe Suter, and Thomas Wies. “Building a Calculus of Data Structures.” edited by Gilles Barthe and Manuel Hermenegildo, 5944:26–44. Springer, 2010. https://doi.org/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, Thomas A Henzinger, Axel Legay, and Dejan Nickovic. “Robustness of Sequential Circuits,” 77–84. IEEE, 2010. https://doi.org/10.1109/ACSD.2010.26.
[Submitted Version]
View
| Files available
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 4390 |
Cerny, Pavol, Arjun Radhakrishna, Damien Zufferey, Swarat Chaudhuri, and Rajeev Alur. “Model Checking of Linearizability of Concurrent List Implementations,” 6174:465–79. Springer, 2010. https://doi.org/10.1007/978-3-642-14295-6_41.
[Submitted Version]
View
| Files available
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 4395
Burckhardt, Sebastian, Madanlal Musuvathi, and Vasu Singh. “Verifying Local Transformations on Relaxed Memory Models.” edited by Rajiv Gupta, 6011:104–23. Springer, 2010. https://doi.org/10.1007/978-3-642-11970-5_7.
View
| DOI
2010 | Published | Book Chapter | IST-REx-ID: 5940
Juhás, Gabriel, Igor Kazlov, and Ana Juhásová. “Instance Deadlock: A Mystery behind Frozen Programs.” In Applications and Theory of Petri Nets, 1–17. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010. https://doi.org/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. Springer, 2010. https://doi.org/10.1007/s00222-010-0241-3.
View
| DOI
| Download (ext.)
2010 | Published | Book Chapter | IST-REx-ID: 14983
Schlögl, Alois, Carmen Vidaurre, and Klaus-Robert Müller. “Adaptive Methods in BCI Research - An Introductory Tutorial.” In Brain-Computer Interfaces, edited by Bernhard Graimann, Gert Pfurtscheller, and Brendan Allison, 1st ed., 331–55. FRONTCOLL. Berlin, Heidelberg: Springer, 2010. https://doi.org/10.1007/978-3-642-02091-9_18.
View
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 754
Alistarh, Dan-Adrian, Hagit Attiya, Seth Gilbert, Andrei Giurgiu, and Rachid Guerraoui. “Fast Randomized Test-and-Set and Renaming,” 6343 LNCS:94–108. Springer, 2010. https://doi.org/10.1007/978-3-642-15763-9_9.
View
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 755
Alistarh, Dan-Adrian, Seth Gilbert, Rachid Guerraoui, and Morteza Zadimoghaddam. “How Efficient Can Gossip Be? (On the Cost of Resilient Information Exchange),” 6199 LNCS:115–26. Springer, 2010. https://doi.org/10.1007/978-3-642-14162-1_10.
View
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 758
Alistarh, Dan-Adrian, Seth Gilbert, Rachid Guerraoui, and Corentin Travers. “Brief Announcement: New Bounds for Partially Synchronous Set Agreement,” 6343 LNCS:404–5. Springer, 2010. https://doi.org/10.1007/978-3-642-15763-9_40.
View
| DOI