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.

2764 Publications


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: 2197 | OA
Multiple scattering of matter waves: An analytic model of the refractive index for atomic and molecular gases
M. Lemeshko, B. Friedrich, Physical Review A - Atomic, Molecular, and Optical Physics 82 (2010).
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 232 | OA
Le problème des diviseurs pour des formes binaires de degré 4
R. De La Bretèche, T. Browning, Journal Fur Die Reine Und Angewandte Mathematik (2010) 1–44.
View | DOI | Download (ext.)
 

2010 | Conference Paper | IST-REx-ID: 2322 | OA
Equivalence of Sobolev inequalities and Lieb-Thirring inequalities
R. Frank, É. Lieb, R. Seiringer, in:, World Scientific Publishing, 2010, pp. 523–535.
View | DOI | Download (ext.)
 

2010 | Conference Paper | IST-REx-ID: 2323 | OA
Hot topics on cold gases
R. Seiringer, in:, World Scientific Publishing, 2010, pp. 231–245.
View | DOI | Download (ext.)
 

2010 | Book Chapter | IST-REx-ID: 2324 | OA
Sharp fractional Hardy inequalities in half-spaces
R. Frank, R. Seiringer, in:, Around the Research of Vladimir Maz’ya I, Springer, 2010, pp. 161–167.
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 2389 | OA
Asymptotic behavior of eigenvalues of Schrödinger type operators with degenerate kinetic energy
C. Hainzl, R. Seiringer, Mathematische Nachrichten 283 (2010) 489–499.
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 2392 | OA
Bipolaron and N-polaron binding energies
R. Frank, É. Lieb, R. Seiringer, L. Thomas, Physical Review Letters 104 (2010).
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 2442 | OA
Nitrate Contra Auxin: Nutrient Sensing by roots
T. Beeckman, J. Friml, Developmental Cell 18 (2010) 877–878.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

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

2010 | Book Chapter | IST-REx-ID: 4339 | OA
Ist Bibliothek 2.0 überhaupt noch relevant? – Eine Einleitung in das Handbuch
J. Bergmann, P. Danowski, in:, J. Bergmann, P. Danowski (Eds.), Handbuch Bibliothek 2.0, De Gruyter, 2010, pp. 5–20.
View | Files available | DOI
 

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

2010 | Book | IST-REx-ID: 4346 | OA
Handbuch Bibliothek 2.0
P. Danowski, J. Bergmann, Handbuch Bibliothek 2.0, De Gruyter, 2010.
View | Download Published Version (ext.)
 

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: 4382 | OA
Transactions in the jungle
R. Guerraoui, T.A. Henzinger, M. Kapalka, V. Singh, in:, ACM, 2010, pp. 263–272.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 4390 | OA
Model checking of linearizability of concurrent list implementations
P. Cerny, A. Radhakrishna, D. Zufferey, S. Chaudhuri, R. Alur, in:, Springer, 2010, pp. 465–479.
View | Files available | DOI
 

2010 | Technical Report | IST-REx-ID: 5390 | OA
Topological, automata-theoretic and logical characterization of finitary languages
K. Chatterjee, 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
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).
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 Preprint (ext.) | arXiv
 

2010 | Conference Paper | IST-REx-ID: 2978 | OA
Efficiency Limitations for Σ-Protocols for Group Homomorphisms
E. Bangerter, J. Camenisch, S. Krenn, in:, D. Micciancio (Ed.), Springer, 2010, pp. 553–571.
View | DOI | Download (ext.)
 

2010 | Conference Paper | IST-REx-ID: 2979 | OA
A Certifying Compiler for Zero-Knowledge Proofs of Knowledge Based on Sigma-Protocols
J. Almeida, E. Bangerter, M. Barbosa, S. Krenn, A. Sadeghi, T. Schneider, in:, D. Gritzalis, B. Preneel, M. Theoharidou (Eds.), Springer, 2010, pp. 151–167.
View | DOI | Download (ext.)
 

2010 | Conference Paper | IST-REx-ID: 2980 | OA
Automatic Generation of Sigma-Protocols
E. Bangerter, T. Briner, W. Henecka, S. Krenn, A. Sadeghi, T. Schneider, in:, F. Martinelli, B. Preneel (Eds.), Springer, 2010, pp. 67–82.
View | DOI | Download (ext.)
 

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

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

2010 | Journal Article | IST-REx-ID: 3306 | OA
Commuting birth and death processes
S. Evans, B. Sturmfels, C. Uhler, The Annals of Applied Probability 20 (2010) 238–266.
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 3308 | OA
Multivariate Gaussians, semidefinite matrix completion, and convex algebraic geometry
B. Sturmfels, C. Uhler, Annals of the Institute of Statistical Mathematics 62 (2010) 603–638.
View | DOI | Download (ext.)
 

2010 | Conference Paper | IST-REx-ID: 3430 | OA View | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 3538 | OA
High-frequency network activity, global increase in neuronal activity, and synchrony expansion precede epileptic seizures in vitro
P. Jiruska, J.L. Csicsvari, A. Powell, J. Fox, W. Chang, M. Vreugdenhil, X. Li, M. Palus, A. Bujan, R. Dearden, J. Jefferys, Journal of Neuroscience 30 (2010) 5690–5701.
View | DOI | Download None (ext.)
 
 

2010 | Journal Article | IST-REx-ID: 3748 | OA
Interdependence of behavioural variability and response to small stimuli in bacteria
H. Park, W. Pontius, C.C. Guet, J. Marko, T. Emonet, P. Cluzel, Nature 468 (2010) 819–823.
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 3749 | OA
Fine-tuning of chemotactic response in E. coli determined by high-throughput capillary assay
H. Park, C.C. Guet, T. Emonet, P. Cluzel, Current Microbiology 62 (2010) 764–769.
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 3831 | OA
Distinct nonuniform cable properties optimize rapid and efficient activation of fast-spiking GABAergic interneurons
A. Norenberg, H. Hu, I. Vida, M. Bartos, P.M. Jonas, PNAS 107 (2010) 894–9.
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 385 | OA
STM imaging of electronic waves on the surface of Bi2Te3 Topologically protected surface states and hexagonal warping effects
Z. Alpichshev, J. Analytis, J. Chu, I. Fisher, Y. Chen, Z. Shen, A. Fang, A. Kapitulnik, Physical Review Letters 104 (2010).
View | DOI | Download None (ext.)
 

2010 | Journal Article | IST-REx-ID: 3862 | OA
Quantitative languages
K. Chatterjee, L. Doyen, T.A. Henzinger, ACM Transactions on Computational Logic (TOCL) 11 (2010).
View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 3904 | OA
Rapid anti-pathogen response in ant societies relies on high genetic diversity
L.V. Ugelvig, D. Kronauer, A. Schrempf, J. Heinze, S. Cremer, Proceedings of the Royal Society of London Series B Biological Sciences 277 (2010) 2821–2828.
View | DOI | Download None (ext.)
 

2010 | Journal Article | IST-REx-ID: 3960 | OA
MEK signalling tunes actin treadmilling for interstitial lymphocyte migration
M. Weber, M.K. Sixt, EMBO Journal 29 (2010) 2861–2863.
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 7078 | OA
Tin telluride: A weakly co-elastic metal
E.K.H. Salje, D.J. Safarik, K.A. Modic, J.E. Gubernatis, J.C. Cooley, R.D. Taylor, B. Mihaila, A. Saxena, T. Lookman, J.L. Smith, R.A. Fisher, M. Pasternak, C.P. Opeil, T. Siegrist, P.B. Littlewood, J.C. Lashley, Physical Review B 82 (2010).
View | DOI | Download Preprint (ext.) | arXiv
 

2010 | Journal Article | IST-REx-ID: 1044 | OA
An ultracold high-density sample of rovibronic ground-state molecules in an optical lattice
J. Danzl, M. Mark, E. Haller, M. Gustavsson, R. Hart, J. Aldegunde, J. Hutson, H. Nägerl, Nature Physics 6 (2010) 265–270.
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 1045 | OA
Confinement-induced resonances in low-dimensional quantum systems
E. Haller, M. Mark, R. Hart, J. Danzl, L. Reichsöllner, V. Melezhik, P. Schmelcher, H. Nägerl, Physical Review Letters 104 (2010).
View | DOI | Download (ext.)
 

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: 1049 | OA
Pinning quantum phase transition for a Luttinger liquid of strongly interacting bosons
E. Haller, R. Hart, M. Mark, J. Danzl, L. Reichsöllner, M. Gustavsson, M. Dalmonte, G. Pupillo, H. Nägerl, Nature 466 (2010) 597–600.
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: 1466 | OA
Topology of character varieties and representations of quivers
T. Hausel, E. Letellier, F. Rodríguez Villegas, Comptes Rendus Mathematique 348 (2010) 131–135.
View | DOI | Download (ext.)
 

2010 | Book Chapter | IST-REx-ID: 1468 | OA
S-Duality in HyperkäHler Hodge Theory
T. Hausel, in:, The Many Facets of Geometry: A Tribute to Nigel Hitchin, Oxford University Press, 2010.
View | DOI | Download (ext.)
 

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

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

2010 | Journal Article | IST-REx-ID: 2409 | OA
Accuracy of phylogeny reconstruction methods combining overlapping gene data sets
A. Kupczok, H. Schmidt, A. Von Haeseler, Algorithms for Molecular Biology 5 (2010).
View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 3303 | OA
The rate of fitness-valley crossing in sexual populations
D. Weissman, M. Feldman, D. Fisher, Genetics 186 (2010) 1389–1410.
View | DOI | Download Submitted Version (ext.)
 

2010 | Conference Paper | IST-REx-ID: 3719 | OA
Lumpability abstractions of rule-based systems
J. Feret, T.A. Henzinger, H. Koeppl, T. Petrov, in:, Open Publishing Association, 2010, pp. 142–161.
View | Files available | arXiv
 

Filters and Search Terms

oa=1

Search

Filter Publications