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.
1940 Publications
2010 | Published | Conference Paper | IST-REx-ID: 754
Fast randomized test-and-set and renaming
D.-A. Alistarh, H. Attiya, S. Gilbert, A. Giurgiu, R. Guerraoui, in:, Springer, 2010, pp. 94–108.
View
| DOI
D.-A. Alistarh, H. Attiya, S. Gilbert, A. Giurgiu, R. Guerraoui, in:, Springer, 2010, pp. 94–108.
2010 | Published | Conference Paper | IST-REx-ID: 755
How efficient can gossip be? (On the cost of resilient information exchange)
D.-A. Alistarh, S. Gilbert, R. Guerraoui, M. Zadimoghaddam, in:, Springer, 2010, pp. 115–126.
View
| DOI
D.-A. Alistarh, S. Gilbert, R. Guerraoui, M. Zadimoghaddam, in:, Springer, 2010, pp. 115–126.
2010 | Published | Conference Paper | IST-REx-ID: 758
Brief announcement: New bounds for partially synchronous set agreement
D.-A. Alistarh, S. Gilbert, R. Guerraoui, C. Travers, in:, Springer, 2010, pp. 404–405.
View
| DOI
D.-A. Alistarh, S. Gilbert, R. Guerraoui, C. Travers, in:, Springer, 2010, pp. 404–405.
2010 | Published | Book Chapter | IST-REx-ID: 8506
Prevalence
B.R. Hunt, V. Kaloshin, in:, Handbook of Dynamical Systems, Elsevier, 2010, pp. 43–87.
View
| DOI
B.R. Hunt, V. Kaloshin, in:, Handbook of Dynamical Systems, Elsevier, 2010, pp. 43–87.
2010 | Published | Journal Article | IST-REx-ID: 857
Sequence space and the ongoing expansion of the protein universe
I. Povolotskaya, F. Kondrashov, Nature 465 (2010) 922–926.
View
| DOI
I. Povolotskaya, F. Kondrashov, Nature 465 (2010) 922–926.
2010 | Published | Journal Article | IST-REx-ID: 862
Compensatory evolution in mitochondrial tRNAs navigates valleys of low fitness
M. Meer, A. Kondrashov, Y. Artzy Randrup, F. Kondrashov, Nature 464 (2010) 279–282.
View
| DOI
M. Meer, A. Kondrashov, Y. Artzy Randrup, F. Kondrashov, Nature 464 (2010) 279–282.
2010 | Published | Conference Paper | IST-REx-ID: 10908 | 
ABC: Algebraic Bound Computation for loops
R. Blanc, T.A. Henzinger, T. Hottelier, L. Kovács, in:, E.M. Clarke, A. Voronkov (Eds.), Logic for Programming, Artificial Intelligence, and Reasoning, Springer Nature, Berlin, Heidelberg, 2010, pp. 103–118.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
R. Blanc, T.A. Henzinger, T. Hottelier, L. Kovács, in:, E.M. Clarke, A. Voronkov (Eds.), Logic for Programming, Artificial Intelligence, and Reasoning, Springer Nature, Berlin, Heidelberg, 2010, pp. 103–118.
2010 | Published | Conference Paper | IST-REx-ID: 11754
Specific heat of a ferroelectric PZT ceramic at the morphotropic phase boundary
S.B. Lang, J.C. Lashley, K.A. Modic, R.A. Fisher, W.M. Zhu, Z.G. Ye, in:, 15th IEEE Mediterranean Electrotechnical Conference, Institute of Electrical and Electronics Engineers, 2010.
View
| Files available
| DOI
S.B. Lang, J.C. Lashley, K.A. Modic, R.A. Fisher, W.M. Zhu, Z.G. Ye, in:, 15th IEEE Mediterranean Electrotechnical Conference, Institute of Electrical and Electronics Engineers, 2010.
2010 | Published | Conference Paper | IST-REx-ID: 11797 |
Online stochastic packing applied to display ad allocation
J. Feldman, M.H. Henzinger, N. Korula, V.S. Mirrokni, C. Stein, in:, 18th Annual European Symposium on Algorithms, Springer Nature, 2010, pp. 182–194.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
J. Feldman, M.H. Henzinger, N. Korula, V.S. Mirrokni, C. Stein, in:, 18th Annual European Symposium on Algorithms, Springer Nature, 2010, pp. 182–194.
2010 | Published | Journal Article | IST-REx-ID: 1465 |
Kac's conjecture from Nakajima quiver varieties
T. Hausel, Inventiones Mathematicae 181 (2010) 21–37.
View
| DOI
| Download (ext.)
T. Hausel, Inventiones Mathematicae 181 (2010) 21–37.
2010 | Published | Journal Article | IST-REx-ID: 7078 |
Tin telluride: A weakly co-elastic metal
E.K.H. Salje, D.J. Safarik, K.A. Modic, J.E. Gubernatis, J.C. Cooley, R.D. Taylor, B. Mihaila, A. Saxena, T. Lookman, J.L. Smith, R.A. Fisher, M. Pasternak, C.P. Opeil, T. Siegrist, P.B. Littlewood, J.C. Lashley, Physical Review B 82 (2010).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
E.K.H. Salje, D.J. Safarik, K.A. Modic, J.E. Gubernatis, J.C. Cooley, R.D. Taylor, B. Mihaila, A. Saxena, T. Lookman, J.L. Smith, R.A. Fisher, M. Pasternak, C.P. Opeil, T. Siegrist, P.B. Littlewood, J.C. Lashley, Physical Review B 82 (2010).
2010 | Published | Conference Paper | IST-REx-ID: 2978 |
Efficiency Limitations for Σ-Protocols for Group Homomorphisms
E. Bangerter, J. Camenisch, S. Krenn, in:, D. Micciancio (Ed.), Springer, 2010, pp. 553–571.
View
| DOI
| Download (ext.)
E. Bangerter, J. Camenisch, S. Krenn, in:, D. Micciancio (Ed.), Springer, 2010, pp. 553–571.
2010 | Published | Conference Paper | IST-REx-ID: 2979 |
A Certifying Compiler for Zero-Knowledge Proofs of Knowledge Based on Sigma-Protocols
J. Almeida, E. Bangerter, M. Barbosa, S. Krenn, A. Sadeghi, T. Schneider, in:, D. Gritzalis, B. Preneel, M. Theoharidou (Eds.), Springer, 2010, pp. 151–167.
View
| DOI
| Download (ext.)
J. Almeida, E. Bangerter, M. Barbosa, S. Krenn, A. Sadeghi, T. Schneider, in:, D. Gritzalis, B. Preneel, M. Theoharidou (Eds.), Springer, 2010, pp. 151–167.
2010 | Published | Conference Paper | IST-REx-ID: 2980 |
Automatic Generation of Sigma-Protocols
E. Bangerter, T. Briner, W. Henecka, S. Krenn, A. Sadeghi, T. Schneider, in:, F. Martinelli, B. Preneel (Eds.), Springer, 2010, pp. 67–82.
View
| DOI
| Download (ext.)
E. Bangerter, T. Briner, W. Henecka, S. Krenn, A. Sadeghi, T. Schneider, in:, F. Martinelli, B. Preneel (Eds.), Springer, 2010, pp. 67–82.
2010 | Published | Journal Article | IST-REx-ID: 3066
Trafficking to the outer polar domain defines the root soil interface
Ł. Łangowski, K. Růžička, S. Naramoto, J. Kleine Vehn, J. Friml, Current Biology 20 (2010) 904–908.
View
| DOI
Ł. Łangowski, K. Růžička, S. Naramoto, J. Kleine Vehn, J. Friml, Current Biology 20 (2010) 904–908.
2010 | Published | Journal Article | IST-REx-ID: 3068
Arabidopsis PIS1 encodes the ABCG37 transporter of auxinic compounds including the auxin precursor indole 3 butyric acid
K. Růžička, L. Strader, A. Bailly, H. Yang, J. Blakeslee, Ł. Łangowski, E. Nejedlá, H. Fujita, H. Itoh, K. Syōno, J. Hejátko, W. Gray, E. Martinoia, M. Geisler, B. Bartel, A. Murphy, J. Friml, PNAS 107 (2010) 10749–10753.
View
| DOI
K. Růžička, L. Strader, A. Bailly, H. Yang, J. Blakeslee, Ł. Łangowski, E. Nejedlá, H. Fujita, H. Itoh, K. Syōno, J. Hejátko, W. Gray, E. Martinoia, M. Geisler, B. Bartel, A. Murphy, J. Friml, PNAS 107 (2010) 10749–10753.
2010 | Published | Journal Article | IST-REx-ID: 3071
The AP 3 β adaptin mediates the biogenesis and function of lytic vacuoles in Arabidopsis
E. Feraru, T. Paciorek, M. Feraru, M. Zwiewka, R. De Groodt, R. De Rycke, J. Kleine Vehn, J. Friml, Plant Cell 22 (2010) 2812–2824.
View
| DOI
E. Feraru, T. Paciorek, M. Feraru, M. Zwiewka, R. De Groodt, R. De Rycke, J. Kleine Vehn, J. Friml, Plant Cell 22 (2010) 2812–2824.
2010 | Published | Journal Article | IST-REx-ID: 3081
ADP ribosylation factor machinery mediates endocytosis in plant cells
S. Naramoto, J. Kleine Vehn, S. Robert, M. Fujimoto, T. Dainobu, T. Paciorek, T. Ueda, A. Nakano, M. Van Montagu, H. Fukuda, J. Friml, PNAS 107 (2010) 21890–21895.
View
| DOI
S. Naramoto, J. Kleine Vehn, S. Robert, M. Fujimoto, T. Dainobu, T. Paciorek, T. Ueda, A. Nakano, M. Van Montagu, H. Fukuda, J. Friml, PNAS 107 (2010) 21890–21895.
2010 | Published | Journal Article | IST-REx-ID: 3146
Genetic mosaic dissection of Lis1 and Ndel1 in neuronal migration
S. Hippenmeyer, Y. Youn, H. Moon, K. Miyamichi, H. Zong, A. Wynshaw Boris, L. Luo, Neuron 68 (2010) 695–709.
View
| DOI
S. Hippenmeyer, Y. Youn, H. Moon, K. Miyamichi, H. Zong, A. Wynshaw Boris, L. Luo, Neuron 68 (2010) 695–709.
2010 | Published | Conference Paper | IST-REx-ID: 3201
Cosegmentation revisited: Models and optimization
S. Vicente, V. Kolmogorov, C. Rother, in:, Springer, 2010, pp. 465–479.
View
| DOI
| Download (ext.)
S. Vicente, V. Kolmogorov, C. Rother, in:, Springer, 2010, pp. 465–479.