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.

2037 Publications


2012 | Published | Technical Report | IST-REx-ID: 5378 | OA
Faster algorithms for alternating refinement relations
K. Chatterjee, S. Chaubal, P. Kamath, Faster Algorithms for Alternating Refinement Relations, IST Austria, 2012.
[Published Version] View | Files available | DOI
 

2012 | Published | Conference Paper | IST-REx-ID: 5745 | OA
Improved single pass algorithms for resolution proof reduction
A. Gupta, in:, 10th International Symposium on Automated Technology for Verification and Analysis, Springer Nature, 2012, pp. 107–121.
[Submitted Version] View | Files available | DOI
 

2012 | Published | Journal Article | IST-REx-ID: 7074
Thermoelectric properties of Ho-doped Bi0.88Sb0.12
K.C. Lukas, G. Joshi, K.A. Modic, Z.F. Ren, C.P. Opeil, Journal of Materials Science 47 (2012) 5729–5734.
View | DOI
 

2012 | Published | Conference Paper | IST-REx-ID: 763
Early deciding synchronous renaming in O(log f) rounds or less
D.-A. Alistarh, H. Attiya, R. Guerraoui, C. Travers, in:, Springer, 2012, pp. 195–206.
View | DOI
 

2012 | Published | Journal Article | IST-REx-ID: 387 | OA
STM imaging of impurity resonances on Bi 2Se 3
Z. Alpichshev, R. Biswas, A. Balatsky, J. Analytis, J. Chu, I. Fisher, A. Kapitulnik, Physical Review Letters 108 (2012).
View | DOI | Download None (ext.)
 

2012 | Published | Conference Paper | IST-REx-ID: 3251 | OA
Ideal abstractions for well structured transition systems
D. Zufferey, T. Wies, T.A. Henzinger, in:, Springer, 2012, pp. 445–460.
[Submitted Version] View | Files available | DOI
 

2011 | Published | Journal Article | IST-REx-ID: 11673
A comprehensive study of features and algorithms for URL-based topic classification
E. Baykan, M. Henzinger, L. Marian, I. Weber, ACM Transactions on the Web 5 (2011).
View | DOI
 

2011 | Published | Conference Paper | IST-REx-ID: 11796
Multi-parameter mechanism design under budget and matroid constraints
M. Henzinger, A. Vidali, in:, 19th Annual European Symposium on Algorithms, Springer Nature, 2011, pp. 192–202.
View | DOI
 

2011 | Published | Journal Article | IST-REx-ID: 2766
Quantum diffusion and delocalization for band matrices with general distribution
L. Erdös, A. Knowles, Annales Henri Poincare 12 (2011) 1227–1319.
View | DOI
 

2011 | Published | Conference Paper | IST-REx-ID: 2975
A Framework for Practical Universally Composable Zero-Knowledge Protocols
J. Camenisch, S. Krenn, V. Shoup, in:, D. Lee, X. Wang (Eds.), Springer, 2011, pp. 449–467.
View | DOI | Download (ext.)
 

2011 | Published | Journal Article | IST-REx-ID: 3086
Polar localized NPH3-like proteins regulate polarity and endocytosis of PIN-FORMED auxin efflux carriers
M. Furutani, N. Sakamoto, S. Yoshida, T. Kajiwara, H. Robert, J. Friml, M. Tasaka, Development 138 (2011) 2069–2078.
View | DOI
 

2011 | Published | Journal Article | IST-REx-ID: 3089
Inositol trisphosphate-induced ca^2+ signaling modulates auxin transport and pin polarity
J. Zhang, S. Vanneste, P. Brewer, M. Michniewicz, P. Grones, J. Kleine Vehn, C. Löfke, T. Teichmann, A. Bielach, B. Cannoot, K. Hoyerová, X. Chen, H. Xue, E. Benková, E. Zažímalová, J. Friml, Developmental Cell 20 (2011) 855–866.
View | DOI
 

2011 | Published | Journal Article | IST-REx-ID: 3090
Cell plate restricted association of DRP1A and PIN proteins is required for cell polarity establishment in arabidopsis
J. Mravec, J. Petrášek, N. Li, S. Boeren, R. Karlova, S. Kitakura, M. Pařezová, S. Naramoto, T. Nodzyński, P. Dhonukshe, S. Bednarek, E. Zažímalová, S. De Vries, J. Friml, Current Biology 21 (2011) 1055–1060.
View | DOI
 

2011 | Published | Journal Article | IST-REx-ID: 3101 | OA
The AP 3 adaptor complex is required for vacuolar function in Arabidopsis
M. Zwiewka, E. Feraru, B. Möller, I. Hwang, M. Feraru, J. Kleine Vehn, D. Weijers, J. Friml, Cell Research 21 (2011) 1711–1722.
View | DOI | Download (ext.)
 

2011 | Published | Journal Article | IST-REx-ID: 3138
Relationships between hippocampal sharp waves ripples and fast gamma oscillation Influence of dentate and entorhinal cortical activity
D. Sullivan, J.L. Csicsvari, K. Mizuseki, S. Montgomery, K. Diba, G. Buzsáki, Journal of Neuroscience 31 (2011) 8605–8616.
View | DOI
 

2011 | Published | Conference Paper | IST-REx-ID: 3204
Submodularity on a tree: Unifying Submodularity on a tree: Unifying L-convex and bisubmodular functions convex and bisubmodular functions
V. Kolmogorov, in:, Springer, 2011, pp. 400–411.
View | DOI | Download (ext.)
 

2011 | Published | Conference Paper | IST-REx-ID: 3236
Parallel repetition for leakage resilience amplification revisited
A. Jain, K.Z. Pietrzak, in:, Springer, 2011, pp. 58–69.
View | DOI
 

2011 | Published | Conference Paper | IST-REx-ID: 3238
Efficient authentication from hard learning problems
E. Kiltz, K.Z. Pietrzak, D. Cash, A. Jain, D. Venturi, in:, Springer, 2011, pp. 7–26.
View | Files available | DOI
 

2011 | Published | Conference Paper | IST-REx-ID: 3239
Tamper proof circuits How to trade leakage for tamper resilience
S. Faust, K.Z. Pietrzak, D. Venturi, in:, Springer, 2011, pp. 391–402.
View | DOI
 

2011 | Published | Conference Paper | IST-REx-ID: 3240
Leftover hash lemma revisited
B. Barak, Y. Dodis, H. Krawczyk, O. Pereira, K.Z. Pietrzak, F. Standaert, Y. Yu, in:, Springer, 2011, pp. 1–20.
View | DOI
 

Filters and Search Terms

isbn%3D978-364254630-3

Search

Filter Publications

Display / Sort

Export / Embed