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.

3211 Publications


2010 | Journal Article | IST-REx-ID: 2701 | OA
L. Erdös, B. Schlein, and H. Yau, “Wegner estimate and level repulsion for Wigner random matrices,” International Mathematics Research Notices, no. 3. Oxford University Press, pp. 436–479, 2010.
View | DOI | Download (ext.)
 

2010 | Conference Paper | IST-REx-ID: 2978 | OA
E. Bangerter, J. Camenisch, and S. Krenn, “Efficiency Limitations for Σ-Protocols for Group Homomorphisms,” presented at the TCC: Theory of Cryptography Conference, 2010, vol. 5978, pp. 553–571.
View | DOI | Download (ext.)
 

2010 | Conference Paper | IST-REx-ID: 2979 | OA
J. Almeida, E. Bangerter, M. Barbosa, S. Krenn, A. Sadeghi, and T. Schneider, “A Certifying Compiler for Zero-Knowledge Proofs of Knowledge Based on Sigma-Protocols,” presented at the ESORICS: European Symposium on Research in Computer Security, 2010, vol. 6345, pp. 151–167.
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 1752 | OA
G. Katsaros et al., “Hybrid superconductor-semiconductor devices made from self-assembled SiGe nanocrystals on silicon,” Nature Nanotechnology, vol. 5, no. 6. Nature Publishing Group, pp. 458–464, 2010.
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 1753 | OA
R. Songmuang et al., “Quantum transport in GaN/AlN double-barrier heterostructure nanowires,” Nano Letters, vol. 10, no. 9. American Chemical Society, pp. 3545–3550, 2010.
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 1773 | OA
J. M. Fink et al., “Quantum-to-classical transition in cavity quantum electrodynamics,” Physical Review Letters, vol. 105, no. 16. American Physical Society, 2010.
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 1774 | OA
R. Bianchetti et al., “Control and tomography of a three level superconducting artificial atom,” Physical Review Letters, vol. 105, no. 22. American Physical Society, 2010.
View | DOI | Download (ext.)
 

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

2010 | Journal Article | IST-REx-ID: 2124 | OA
J. Maas, “Malliavin calculus and decoupling inequalities in Banach spaces,” Journal of Mathematical Analysis and Applications, vol. 363, no. 2. Academic Press, pp. 383–398, 2010.
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 2194 | OA
M. Lemeshko and B. Friedrich, “An analytic model of the stereodynamics of rotationally inelastic molecular collisions,” Physical Chemistry Chemical Physics, vol. 12, no. 5. Royal Society of Chemistry, pp. 1038–1041, 2010.
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 2195 | OA
M. Lemeshko, P. Jambrina, M. De Miranda, and B. Friedrich, “Communications: When diffraction rules the stereodynamics of rotationally inelastic collisions,” Journal of Chemical Physics, vol. 132, no. 16. American Institute of Physics, 2010.
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 2196 | OA
M. Lemeshko and B. Friedrich, “Fine-tuning molecular energy levels by nonresonant laser pulses,” Journal of Physical Chemistry A, vol. 114, no. 36. American Chemical Society, pp. 9848–9854, 2010.
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 2197 | OA
M. Lemeshko and B. Friedrich, “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, vol. 82, no. 2. American Physical Society, 2010.
View | DOI | Download (ext.)
 

2010 | Conference Paper | IST-REx-ID: 488 | OA
R. Alur and P. Cerny, “Expressiveness of streaming string transducers,” presented at the FSTTCS: Foundations of Software Technology and Theoretical Computer Science, Chennai, India, 2010, vol. 8, pp. 1–12.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 489 | OA
J. Cristau, C. David, and F. Horn, “How do we remember the past in randomised strategies? ,” in Proceedings of GandALF 2010, Minori, Amalfi Coast, Italy, 2010, vol. 25, pp. 30–39.
View | DOI | Download Published Version (ext.)
 

2010 | Technical Report | IST-REx-ID: 5388 | OA
K. Chatterjee, P. Cerny, T. A. Henzinger, A. Radhakrishna, and R. Singh, Quantitative synthesis for concurrent programs. IST Austria, 2010.
View | Files available | DOI
 

2010 | Technical Report | IST-REx-ID: 5389 | OA
P. Cerny, T. A. Henzinger, and A. Radhakrishna, Simulation distances. IST Austria, 2010.
View | Files available | DOI
 

2010 | Technical Report | IST-REx-ID: 5390 | OA
K. Chatterjee and N. Fijalkow, Topological, automata-theoretic and logical characterization of finitary languages. IST Austria, 2010.
View | Files available | DOI
 

2010 | Technical Report | IST-REx-ID: 5391 | OA
P. Cerny, A. Radhakrishna, D. Zufferey, S. Chaudhuri, and R. Alur, Model checking of linearizability of concurrent list implementations. IST Austria, 2010.
View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 598 | OA
K. Meyer, S. Lin, C. Bernecky, Y. Gao, and D. Taatjes, “P53 activates transcription by directing structural shifts in Mediator,” Nature Structural and Molecular Biology, vol. 17, no. 6. Nature Publishing Group, pp. 753–760, 2010.
View | DOI | Download None (ext.)
 

Filters and Search Terms

oa=1

Search

Filter Publications