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 | Conference Paper | IST-REx-ID: 3864   OA
K. Chatterjee, T. A. Henzinger, B. Jobstmann, and R. Singh, “Measuring and synthesizing systems in probabilistic environments,” presented at the CAV: Computer Aided Verification, Edinburgh, United Kingdom, 2010, vol. 6174, pp. 380–395.
View | Files available | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 4134
J. Bridle, J. Polechova, M. Kawata, and R. Butlin, “Why is adaptation prevented at ecological margins? New insights from individual-based simulations,” Ecology Letters, vol. 13, no. 4, pp. 485–494, 2010.
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 4381   OA
T. A. Henzinger, A. Tomar, V. Singh, T. Wies, and D. Zufferey, “FlexPRICE: Flexible provisioning of resources in a cloud environment,” presented at the CLOUD: Cloud Computing, Miami, USA, 2010, pp. 83–90.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 4362
V. Singh, “Runtime verification for software transactional memories,” presented at the RV: International Conference on Runtime Verification, St. Julians, Malta, 2010, vol. 6418, pp. 421–435.
View | 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 (ext.)
 

2010 | Conference Paper | IST-REx-ID: 4393
P. Cerny, T. A. Henzinger, and A. Radhakrishna, “Simulation distances,” presented at the CONCUR: Concurrency Theory, Paris, France, 2010, vol. 6269, pp. 235–268.
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 | Conference Paper | IST-REx-ID: 3857
K. Chatterjee and T. A. Henzinger, “Probabilistic Automata on infinite words: decidability and undecidability results,” presented at the ATVA: Automated Technology for Verification and Analysis, Singapore, Singapore, 2010, vol. 6252, pp. 1–16.
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: 6142   OA
K. P. Weber, S. De, I. Kozarewa, D. J. Turner, M. M. Babu, and M. de Bono, “Whole genome sequencing highlights genetic changes associated with laboratory domestication of C. elegans,” PLoS ONE, vol. 5, no. 11, p. e13922, 2010.
View | Files available | DOI | PubMed | Europe PMC
 

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

2010 | Conference Paper | IST-REx-ID: 1042
J. Danzl, M. Mark, E. Haller, M. Gustavsson, R. Hart, and H. Nägerl, “Production of a quantum gas of rovibronic ground-state molecules in an optical lattice,” presented at the ICOLS: International Conference on Laser Spectroscopy, 2010, pp. 256–269.
View | DOI
 

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

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

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

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, pp. 9848–9854, 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, 2010.
View | DOI | Download (ext.)
 

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

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

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

Filters and Search Terms

year=2010

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed