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.

246 Publications


2010 | Journal Article | IST-REx-ID: 4379   OA
Analog property checkers: a DDR2 case study
K. Jones, V. Konrad, D. Nickovic, Formal Methods in System Design 36 (2010) 114–130.
View | DOI | Download (ext.)
 

2010 | Conference Paper | IST-REx-ID: 4381   OA
FlexPRICE: Flexible provisioning of resources in a cloud environment
T.A. Henzinger, A. Singh, V. Singh, T. Wies, D. Zufferey, in:, IEEE, 2010, pp. 83–90.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 489   OA
How do we remember the past in randomised strategies?
J. Cristau, C. David, F. Horn, in:, Proceedings of GandALF 2010, Open Publishing Association, 2010, pp. 30–39.
View | DOI | Download (ext.)
 

2010 | Conference Paper | IST-REx-ID: 4393
Simulation distances
P. Cerny, T.A. Henzinger, A. Radhakrishna, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010, pp. 235–268.
View | Files available | DOI
 

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

2010 | Conference Paper | IST-REx-ID: 3857
Probabilistic Automata on infinite words: decidability and undecidability results
K. Chatterjee, T.A. Henzinger, in:, Springer, 2010, pp. 1–16.
View | Files available | DOI
 

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

2010 | Journal Article | IST-REx-ID: 6142   OA
Whole genome sequencing highlights genetic changes associated with laboratory domestication of C. elegans
K.P. Weber, S. De, I. Kozarewa, D.J. Turner, M.M. Babu, M. de Bono, PLoS ONE 5 (2010) e13922.
View | Files available | DOI | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 6320   OA
Le problème des diviseurs pour des formes binaires de degré 4
R. de la Bretèche, T.D. Browning, Crelles Journal 2010 (2010) 1–44.
View | DOI | Download (ext.) | arXiv
 

2010 | Conference Paper | IST-REx-ID: 756
Securing every bit: Authenticated broadcast in radio networks
D. Alistarh, S. Gilbert, R. Guerraoui, Ž. Milošević, C. Newport, in:, ACM, 2010, pp. 50–59.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 857
Sequence space and the ongoing expansion of the protein universe
I. Povolotskaya, F. Kondrashov, Nature 465 (2010) 922–926.
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 1042
Production of a quantum gas of rovibronic ground-state molecules in an optical lattice
J. Danzl, M. Mark, E. Haller, M. Gustavsson, R. Hart, H. Nägerl, in:, World Scientific Publishing, 2010, pp. 256–269.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 1047   OA
Inducing transport in a dissipation-free lattice with super bloch oscillations
E. Haller, R. Hart, M. Mark, J. Danzl, L. Reichsöllner, H. Nägerl, Physical Review Letters 104 (2010).
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 1465   OA
Kac's conjecture from Nakajima quiver varieties
T. Hausel, Inventiones Mathematicae 181 (2010) 21–37.
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 2071
Effective population size and the Faster-X effect: Empirical results and their interpretation
J. Mank, B. Vicoso, S. Berlin, B. Charlesworth, Evolution 64 (2010) 663–674.
View | DOI
 

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

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

2010 | Journal Article | IST-REx-ID: 2704
Derivation of the Gross-Pitaevskii equation for the dynamics of Bose-Einstein condensate
L. Erdös, B. Schlein, H. Yau, Annals of Mathematics 172 (2010) 291–370.
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 2507
Subcellular distribution of α1G subunit of T-type calcium channel in the mouse dorsal lateral geniculate nucleus
L. Parajuli, Y. Fukazawa, M. Watanabe, R. Shigemoto, Journal of Comparative Neurology 518 (2010) 4362–4374.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 2761
Universality of sine-kernel for Wigner matrices with a small Gaussian perturbation
L. Erdös, J. Ramírez, B. Schlein, H. Yau, Electronic Journal of Probability 15 (2010) 526–603.
View | DOI
 

Filters and Search Terms

year=2010

Search

Filter Publications

Display / Sort

Export / Embed