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.

1484 Publications


2010 |Published| Book Chapter | IST-REx-ID: 3795 | OA
Edelsbrunner H, Morozov D, Patel A. 2010.The stability of the apparent contour of an orientable 2-manifold. In: Topological Data Analysis and Visualization: Theory, Algorithms and Applications. Mathematics and Visualization, , 27–42.
[Submitted Version] View | Files available | DOI
 

2010 |Published| Journal Article | IST-REx-ID: 3829
Bucurenciu I, Bischofberger J, Jonas PM. 2010. A small number of open Ca(2+) channels trigger transmitter release at a central GABAergic synapse. Nature Neuroscience. 13(1), 19–21.
View | DOI
 

2010 |Published| Conference (Editor) | IST-REx-ID: 3859
Chatterjee K, Henzinger TA eds. 2010. Formal modeling and analysis of timed systems, Springer,p.
View | Files available | DOI
 

2010 |Published| Journal Article | IST-REx-ID: 3067
Jelínková A, Malínská K, Simon S, Kleine Vehn J, Pařezová M, Pejchar P, Kubeš M, Martinec J, Friml J, Zažímalová E, Petrášek J. 2010. Probing plant membranes with FM dyes: Tracking dragging or blocking? Plant Journal. 61(5), 883–892.
View | DOI
 

2010 |Published| Journal Article | IST-REx-ID: 3066
Łangowski Ł, Růžička K, Naramoto S, Kleine Vehn J, Friml J. 2010. Trafficking to the outer polar domain defines the root soil interface. Current Biology. 20(10), 904–908.
View | DOI
 

2010 |Published| Journal Article | IST-REx-ID: 3069
Ding Z, Friml J. 2010. Auxin regulates distal stem cell differentiation in Arabidopsis roots. PNAS. 107(26), 12046–12051.
View | DOI
 

2010 |Published| Conference Paper | IST-REx-ID: 3201
Vicente S, Kolmogorov V, Rother C. 2010. Cosegmentation revisited: Models and optimization. ECCV: European Conference on Computer Vision, LNCS, vol. 6312, 465–479.
View | DOI | Download (ext.)
 

2010 |Published| Conference Paper | IST-REx-ID: 3237
Kiltz E, Pietrzak KZ. 2010. Leakage resilient ElGamal encryption. ASIACRYPT: Theory and Application of Cryptology and Information Security, LNCS, vol. 6477, 595–612.
View | DOI
 

2010 |Published| Conference Paper | IST-REx-ID: 3235
Dodis Y, Pietrzak KZ. 2010. Leakage resilient pseudorandom functions and side channel attacks on feistel networks. CRYPTO: International Cryptology Conference, LNCS, vol. 6223, 21–40.
View | DOI
 

2010 |Published| Conference Paper | IST-REx-ID: 3676
Wanke J, Ulges A, Lampert C, Breuel T. 2010. Topic models for semantic video compression. MIR: Multimedia Information Retrieval, 275–284.
View | DOI | Download (ext.)
 

2010 |Published| Journal Article | IST-REx-ID: 3774
Senn H, Swanson G, Goodman S, Barton NH, Pemberton J. 2010. Phenotypic correlates of hybridisation between red and sika deer (genus Cervus). Journal of Animal Ecology. 79(2), 414–425.
View | DOI | PubMed | Europe PMC
 

2010 |Published| Journal Article | IST-REx-ID: 3789
Quesada-Hernández E, Caneparo L, Schneider S, Winkler S, Liebling M, Fraser S, Heisenberg C-PJ. 2010. Stereotypical cell division orientation controls neural rod midline formation in zebrafish. Current Biology. 20(21), 1966–1972.
View | DOI
 

2010 |Published| Journal Article | IST-REx-ID: 4187
Kardash E, Reichman Fried M, Maître J, Boldajipour B, Papusheva E, Messerschmidt E, Heisenberg C, Raz E. 2010. A role for Rho GTPases and cell-cell adhesion in single-cell motility in vivo. Nature Cell Biology. 12(1), 47–53.
View | DOI
 

2010 |Published| Journal Article | IST-REx-ID: 4221
Arboleda Estudillo Y, Krieg M, Stuehmer J, Licata N, Mueller D, Heisenberg C-PJ. 2010. Movement directionality in collective migration of germ layer progenitors. Current Biology. 20(2), 161–169.
View | DOI
 

2010 |Published| Conference Paper | IST-REx-ID: 4389 | OA
Doyen L, Henzinger TA, Legay A, Nickovic D. 2010. Robustness of sequential circuits. ACSD: Application of Concurrency to System Design, 77–84.
[Submitted Version] View | Files available | DOI
 

2010 |Published| Conference Paper | IST-REx-ID: 4396 | OA
Beyer D, Henzinger TA, Théoduloz G, Zufferey D. 2010. Shape refinement through explicit heap analysis. FASE: Fundamental Approaches To Software Engineering, LNCS, vol. 6013, 263–277.
[Submitted Version] View | Files available | DOI
 

2010 |Published| Conference Paper | IST-REx-ID: 4395
Burckhardt S, Musuvathi M, Singh V. 2010. Verifying local transformations on relaxed memory models. CC: Compiler Construction, LNCS, vol. 6011, 104–123.
View | DOI
 

2010 |Published| Journal Article | IST-REx-ID: 3867 | OA
Chatterjee K, Doyen L, Henzinger TA. 2010. Expressiveness and closure properties for quantitative languages. Logical Methods in Computer Science. 6(3), 1–23.
[Published Version] View | Files available | DOI
 

2010 |Published| Technical Report | IST-REx-ID: 5388 | OA
Chatterjee K, Cerny P, Henzinger TA, Radhakrishna A, Singh R. 2010. Quantitative synthesis for concurrent programs, IST Austria, 17p.
[Published Version] View | Files available | DOI
 

2010 |Published| Journal Article | IST-REx-ID: 7078 | OA
Salje EKH, Safarik DJ, Modic KA, Gubernatis JE, Cooley JC, Taylor RD, Mihaila B, Saxena A, Lookman T, Smith JL, Fisher RA, Pasternak M, Opeil CP, Siegrist T, Littlewood PB, Lashley JC. 2010. Tin telluride: A weakly co-elastic metal. Physical Review B. 82(18), 184112.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

Filters and Search Terms

isbn%3D978-161197478-2

Search

Filter Publications