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
R. Frank, C. Hainzl, R. Seiringer, and J. Solovej, “ Derivation of Ginzburg-Landau theory for a one-dimensional system with contact interaction,” presented at the OTAMP: Operator Theory, Analysis and Mathematical Physics, 2013, pp. 57–88.
View | DOI | Download (ext.)
 

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

2013 | Published | Conference Paper | IST-REx-ID: 2328 | OA
T. A. Henzinger, A. Sezgin, and V. Vafeiadis, “Aspect-oriented linearizability proofs,” vol. 8052. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, pp. 242–256, 2013.
[Submitted Version] View | Files available | DOI
 

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

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

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

2013 | Published | Journal Article | IST-REx-ID: 2406
R. Seiringer, J. Yngvason, and V. Zagrebnov, “Condensation of interacting bosons in a random potential,” European Physical Journal: Special Topics, vol. 217, no. 1. Springer, pp. 103–107, 2013.
View | DOI
 

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

2013 | Published | Journal Article | IST-REx-ID: 2410 | OA
R. A. Fernandes Redondo, A. Kupczok, G. Stift, and J. P. Bollback, “Complete genome sequence of the novel phage MG-B1 infecting bacillus weihenstephanensis,” Genome Announcements, vol. 1, no. 3. American Society for Microbiology, 2013.
[Published Version] View | Files available | DOI
 

2013 | Published | Journal Article | IST-REx-ID: 2412 | OA
A. Kupczok and J. P. Bollback, “Probabilistic models for CRISPR spacer content evolution ,” BMC Evolutionary Biology, vol. 13, no. 1. BioMed Central, pp. 54–54, 2013.
[Published Version] View | Files available | DOI
 

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

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

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

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

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

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

2013 | Published | Conference Paper | IST-REx-ID: 765
D.-A. Alistarh, J. Aspnes, G. Giakkoupis, and P. Woelfel, “Randomized loose renaming in O(loglogn) time,” presented at the PODC: Principles of Distributed Computing, 2013, pp. 200–209.
View | DOI
 

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

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

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

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed