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

8923 Publications


2013 | Published | Conference Paper | IST-REx-ID: 2319 | OA
Derivation of Ginzburg-Landau theory for a one-dimensional system with contact interaction
R. Frank, C. Hainzl, R. Seiringer, J. Solovej, in:, Springer, 2013, pp. 57–88.
View | DOI | Download (ext.)
 

2013 | Published | Conference Paper | IST-REx-ID: 2327 | OA
From model checking to model measuring
T.A. Henzinger, J. Otop, 8052 (2013) 273–287.
[Submitted Version] View | Files available | DOI
 

2013 | Published | Conference Paper | IST-REx-ID: 2328 | OA
Aspect-oriented linearizability proofs
T.A. Henzinger, A. Sezgin, V. Vafeiadis, 8052 (2013) 242–256.
[Submitted Version] View | Files available | DOI
 

2013 | Published | Conference Paper | IST-REx-ID: 2329 | OA
Hyperplane separation technique for multidimensional mean-payoff games
K. Chatterjee, Y. Velner, 8052 (2013) 500–515.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2013 | Published | Journal Article | IST-REx-ID: 2404 | OA
A positive density analogue of the Lieb-Thirring inequality
R. Frank, M. Lewin, É. Lieb, R. Seiringer, Duke Mathematical Journal 162 (2013) 435–495.
View | DOI | Download (ext.)
 

2013 | Published | Journal Article | IST-REx-ID: 2405 | OA
Symmetry of bipolaron bound states for small Coulomb repulsion
R. Frank, É. Lieb, R. Seiringer, Communications in Mathematical Physics 319 (2013) 557–573.
View | DOI | Download (ext.)
 

2013 | Published | Journal Article | IST-REx-ID: 2406
Condensation of interacting bosons in a random potential
R. Seiringer, J. Yngvason, V. Zagrebnov, European Physical Journal: Special Topics 217 (2013) 103–107.
View | DOI
 

2013 | Published | Journal Article | IST-REx-ID: 2408 | OA
The excitation spectrum for weakly interacting Bosons in a trap
P. Grech, R. Seiringer, Communications in Mathematical Physics 322 (2013) 559–591.
View | DOI | Download (ext.)
 

2013 | Published | Journal Article | IST-REx-ID: 2410 | OA
Complete genome sequence of the novel phage MG-B1 infecting bacillus weihenstephanensis
R.A. Fernandes Redondo, A. Kupczok, G. Stift, J.P. Bollback, Genome Announcements 1 (2013).
[Published Version] View | Files available | DOI
 

2013 | Published | Journal Article | IST-REx-ID: 2412 | OA
Probabilistic models for CRISPR spacer content evolution
A. Kupczok, J.P. Bollback, BMC Evolutionary Biology 13 (2013) 54–54.
[Published Version] View | Files available | DOI
 

2013 | Published | Book Chapter | IST-REx-ID: 2413
Neuronal oscillations scale up and scale down the brain dynamics
M. Valderrama, V. Botella Soler, M. Le Van Quyen, in:, M. Meyer, Z. Pesenson (Eds.), Multiscale Analysis and Nonlinear Dynamics: From Genes to the Brain, Wiley-VCH, 2013.
View | DOI
 

2013 | Published | Journal Article | IST-REx-ID: 6768 | OA
A finite difference scheme for the stack filter simulating the MCM
M. Mondelli, Image Processing On Line 3 (2013) 68–111.
[Published Version] View | Files available | DOI
 

2013 | Published | Journal Article | IST-REx-ID: 7306
A stable cathode for the aprotic Li–O2 battery
M.M. Ottakam Thotiyl, S.A. Freunberger, Z. Peng, Y. Chen, Z. Liu, P.G. Bruce, Nature Materials 12 (2013) 1050–1056.
View | DOI
 

2013 | Published | Journal Article | IST-REx-ID: 7307
Charging a Li–O2 battery using a redox mediator
Y. Chen, S.A. Freunberger, Z. Peng, O. Fontaine, P.G. Bruce, Nature Chemistry 5 (2013) 489–494.
View | DOI
 

2013 | Published | Journal Article | IST-REx-ID: 7595
Arabidopsis inositol 1,3,4-trisphosphate 5/6 kinase 2 is required for seed coat development
Y. Tang, S. Tan, H. Xue, Acta Biochimica et Biophysica Sinica 45 (2013) 549–560.
View | DOI | PubMed | Europe PMC
 

2013 | Published | Journal Article | IST-REx-ID: 7596
Arabidopsis casein kinase1 proteins CK1.3 and CK1.4 phosphorylate cryptochrome2 to regulate blue light signaling
S. Tan, C. Dai, H.-T. Liu, H.-W. Xue, The Plant Cell 25 (2013) 2618–2632.
View | DOI | PubMed | Europe PMC
 

2013 | Published | Conference Paper | IST-REx-ID: 765
Randomized loose renaming in O(loglogn) time
D.-A. Alistarh, J. Aspnes, G. Giakkoupis, P. Woelfel, in:, ACM, 2013, pp. 200–209.
View | DOI
 

2013 | Published | Journal Article | IST-REx-ID: 7745
Partitioning of genetic variation across the genome using multimarker methods in a wild bird population
M.R. Robinson, A.W. Santure, I. DeCauwer, B.C. Sheldon, J. Slate, Molecular Ecology 22 (2013) 3963–3980.
View | DOI
 

2013 | Published | Journal Article | IST-REx-ID: 7746
Genomic dissection of variation in clutch size and egg mass in a wild great tit (Parus major) population
A.W. Santure, I. De Cauwer, M.R. Robinson, J. Poissant, B.C. Sheldon, J. Slate, Molecular Ecology 22 (2013) 3949–3962.
View | DOI
 

2013 | Published | Journal Article | IST-REx-ID: 7747
Quantifying multivariate plasticity: Genetic variation in resource acquisition drives plasticity in resource allocation to components of life history
M.R. Robinson, A.P. Beckerman, Ecology Letters 16 (2013) 281–290.
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: Default

Export / Embed