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.

7478 Publications


2010 | Published | Journal Article | IST-REx-ID: 2701 | OA
Erdös L, Schlein B, Yau H. Wegner estimate and level repulsion for Wigner random matrices. International Mathematics Research Notices. 2010;(3):436-479. doi:10.1093/imrn/rnp136
View | DOI | Download (ext.)
 

2010 | Published | Conference Paper | IST-REx-ID: 2978 | OA
Bangerter E, Camenisch J, Krenn S. Efficiency Limitations for Σ-Protocols for Group Homomorphisms. In: Micciancio D, ed. Vol 5978. Springer; 2010:553-571. doi:10.1007/978-3-642-11799-2
View | DOI | Download (ext.)
 

2010 | Published | Conference Paper | IST-REx-ID: 2979 | OA
Almeida J, Bangerter E, Barbosa M, Krenn S, Sadeghi A, Schneider T. A Certifying Compiler for Zero-Knowledge Proofs of Knowledge Based on Sigma-Protocols. In: Gritzalis D, Preneel B, Theoharidou M, eds. Vol 6345. Springer; 2010:151-167. doi:10.1007/978-3-642-15497-3
View | DOI | Download (ext.)
 

2010 | Published | Conference Paper | IST-REx-ID: 2980 | OA
Bangerter E, Briner T, Henecka W, Krenn S, Sadeghi A, Schneider T. Automatic Generation of Sigma-Protocols. In: Martinelli F, Preneel B, eds. Vol 6391. Springer; 2010:67-82. doi:10.1007/978-3-642-16441-5
View | DOI | Download (ext.)
 

2010 | Published | Journal Article | IST-REx-ID: 3072 | OA
Grunewald W, Friml J. The march of the PINs: Developmental plasticity by dynamic polar targeting in plant cells. EMBO Journal. 2010;29(16):2700-2714. doi:10.1038/emboj.2010.181
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2010 | Published | Journal Article | IST-REx-ID: 3077 | OA
Friml J, Jones A. Endoplasmic reticulum: The rising compartment in auxin biology. Plant Physiology. 2010;154(2):458-462. doi:10.1104/pp.110.161380
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2010 | Published | Other Publication | IST-REx-ID: 4340 | OA
Danowski P. Open Bibliographic Data. Elsevier; 2010.
View | Files available | Download None (ext.)
 

2010 | Published | Conference Paper | IST-REx-ID: 4378 | OA
Kuncak V, Piskac R, Suter P, Wies T. Building a calculus of data structures. In: Barthe G, Hermenegildo M, eds. Vol 5944. Springer; 2010:26-44. doi:10.1007/978-3-642-11319-2_6
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2010 | Published | Journal Article | IST-REx-ID: 4379 | OA
Jones K, Konrad V, Nickovic D. Analog property checkers: a DDR2 case study. Formal Methods in System Design. 2010;36(2):114-130. doi:10.1007/s10703-009-0085-x
View | DOI | Download (ext.)
 

2010 | Published | Conference Paper | IST-REx-ID: 4380 | OA
Henzinger TA, Tomar A, Singh V, Wies T, Zufferey D. A marketplace for cloud resources. In: ACM; 2010:1-8. doi:10.1145/1879021.1879022
[Submitted Version] View | Files available | DOI
 

2010 | Published | Conference Paper | IST-REx-ID: 4381 | OA
Henzinger TA, Tomar A, Singh V, Wies T, Zufferey D. FlexPRICE: Flexible provisioning of resources in a cloud environment. In: IEEE; 2010:83-90. doi:10.1109/CLOUD.2010.71
[Submitted Version] View | Files available | DOI
 

2010 | Published | Conference Paper | IST-REx-ID: 4382 | OA
Guerraoui R, Henzinger TA, Kapalka M, Singh V. Transactions in the jungle. In: ACM; 2010:263-272. doi:10.1145/1810479.1810529
[Submitted Version] View | Files available | DOI
 

2010 | Published | Conference Paper | IST-REx-ID: 4389 | OA
Doyen L, Henzinger TA, Legay A, Nickovic D. Robustness of sequential circuits. In: IEEE; 2010:77-84. doi:10.1109/ACSD.2010.26
[Submitted Version] View | Files available | DOI
 

2010 | Published | Conference Paper | IST-REx-ID: 4390 | OA
Cerny P, Radhakrishna A, Zufferey D, Chaudhuri S, Alur R. Model checking of linearizability of concurrent list implementations. In: Vol 6174. Springer; 2010:465-479. doi:10.1007/978-3-642-14295-6_41
[Submitted Version] View | Files available | DOI
 

2010 | Published | Technical Report | IST-REx-ID: 5390 | OA
Chatterjee K, Fijalkow N. Topological, Automata-Theoretic and Logical Characterization of Finitary Languages. IST Austria; 2010. doi:10.15479/AT:IST-2010-0002
[Published Version] View | Files available | DOI
 

2010 | Published | Technical Report | IST-REx-ID: 5391 | OA
Cerny P, Radhakrishna A, Zufferey D, Chaudhuri S, Alur R. Model Checking of Linearizability of Concurrent List Implementations. IST Austria; 2010. doi:10.15479/AT:IST-2010-0001
[Published Version] View | Files available | DOI
 

2010 | Published | Journal Article | IST-REx-ID: 598 | OA
Meyer K, Lin S, Bernecky C, Gao Y, Taatjes D. P53 activates transcription by directing structural shifts in Mediator. Nature Structural and Molecular Biology. 2010;17(6):753-760. doi:10.1038/nsmb.1816
View | DOI | Download None (ext.)
 

2010 | Published | Journal Article | IST-REx-ID: 6142 | OA
Weber KP, De S, Kozarewa I, Turner DJ, Babu MM, de Bono M. Whole genome sequencing highlights genetic changes associated with laboratory domestication of C. elegans. PLoS ONE. 2010;5(11). doi:10.1371/journal.pone.0013922
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2010 | Published | Journal Article | IST-REx-ID: 12653 | OA
Pellicciotti F, Bauder A, Parola M. Effect of glaciers on streamflow trends in the Swiss Alps. Water Resources Research. 2010;46(10). doi:10.1029/2009wr009039
[Published Version] View | DOI | Download Published Version (ext.)
 

2010 | Published | Journal Article | IST-REx-ID: 1465 | OA
Hausel T. Kac’s conjecture from Nakajima quiver varieties. Inventiones Mathematicae. 2010;181(1):21-37. doi:10.1007/s00222-010-0241-3
View | DOI | Download (ext.)
 

Filters and Search Terms

oa=1

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed