Please note that IST 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.

3381 Publications


2010 | 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 | Journal Article | IST-REx-ID: 1752 | OA
Katsaros G, Spathis P, Stoffel M, et al. Hybrid superconductor-semiconductor devices made from self-assembled SiGe nanocrystals on silicon. Nature Nanotechnology. 2010;5(6):458-464. doi:10.1038/nnano.2010.84
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 1753 | OA
Songmuang R, Katsaros G, Monroy E, et al. Quantum transport in GaN/AlN double-barrier heterostructure nanowires. Nano Letters. 2010;10(9):3545-3550. doi:10.1021/nl1017578
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 1773 | OA
Fink JM, Steffen L, Studer P, et al. Quantum-to-classical transition in cavity quantum electrodynamics. Physical Review Letters. 2010;105(16). doi:10.1103/PhysRevLett.105.163601
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 1774 | OA
Bianchetti R, Filipp S, Baur M, et al. Control and tomography of a three level superconducting artificial atom. Physical Review Letters. 2010;105(22). doi:10.1103/PhysRevLett.105.223601
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 2095 | OA
Beeler T, Bickel B, Beardsley P, Sumner B, Groß M. High-quality single-shot capture of facial geometry. ACM Transactions on Graphics. 2010;29(4). doi:10.1145/1778765.1778777
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 2124 | OA
Maas J. Malliavin calculus and decoupling inequalities in Banach spaces. Journal of Mathematical Analysis and Applications. 2010;363(2):383-398. doi:10.1016/j.jmaa.2009.08.041
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 2194 | OA
Lemeshko M, Friedrich B. An analytic model of the stereodynamics of rotationally inelastic molecular collisions. Physical Chemistry Chemical Physics. 2010;12(5):1038-1041. doi:10.1039/B920899B
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 2195 | OA
Lemeshko M, Jambrina P, De Miranda M, Friedrich B. Communications: When diffraction rules the stereodynamics of rotationally inelastic collisions. Journal of Chemical Physics. 2010;132(16). doi:10.1063/1.3386530
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 2196 | OA
Lemeshko M, Friedrich B. Fine-tuning molecular energy levels by nonresonant laser pulses. Journal of Physical Chemistry A. 2010;114(36):9848-9854. doi:10.1021/jp1032299
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 2197 | OA
Lemeshko M, Friedrich B. Multiple scattering of matter waves: An analytic model of the refractive index for atomic and molecular gases. Physical Review A - Atomic, Molecular, and Optical Physics. 2010;82(2). doi:10.1103/PhysRevA.82.022711
View | DOI | Download (ext.)
 

2010 | Conference Paper | IST-REx-ID: 488 | OA
Alur R, Cerny P. Expressiveness of streaming string transducers. In: Vol 8. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2010:1-12. doi:10.4230/LIPIcs.FSTTCS.2010.1
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 489 | OA
Cristau J, David C, Horn F. How do we remember the past in randomised strategies? . In: Proceedings of GandALF 2010. Vol 25. Open Publishing Association; 2010:30-39. doi:10.4204/EPTCS.25.7
View | DOI | Download Published Version (ext.)
 

2010 | Technical Report | IST-REx-ID: 5388 | OA
Chatterjee K, Cerny P, Henzinger TA, Radhakrishna A, Singh R. Quantitative Synthesis for Concurrent Programs. IST Austria; 2010. doi:10.15479/AT:IST-2010-0004
View | Files available | DOI
 

2010 | Technical Report | IST-REx-ID: 5389 | OA
Cerny P, Henzinger TA, Radhakrishna A. Simulation Distances. IST Austria; 2010. doi:10.15479/AT:IST-2010-0003
View | Files available | DOI
 

2010 | 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
View | Files available | DOI
 

2010 | 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
View | Files available | DOI
 

2010 | 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 | 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
View | Files available | DOI | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 6320 | OA
Bretèche R de la, Browning TD. Le problème des diviseurs pour des formes binaires de degré 4. Crelles Journal. 2010;2010(646):1-44. doi:10.1515/crelle.2010.064
View | DOI | Download Preprint (ext.) | arXiv
 

Filters and Search Terms

oa=1

Search

Filter Publications