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.

367 Publications


2013 | Published | Journal Article | IST-REx-ID: 2304
Pausinger F. 2013. Van der Corput sequences and linear permutations. Electronic Notes in Discrete Mathematics. 43, 43–50.
View | DOI
 

2013 | Published | Conference Paper | IST-REx-ID: 2305 | OA
Brázdil T, Chatterjee K, Forejt V, Kučera A. 2013. Trading performance for stability in Markov decision processes. 28th Annual ACM/IEEE Symposium. LICS: Logic in Computer Science, 331–340.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2013 | Published | Book | IST-REx-ID: 2306 | OA
Danowski P, Pohl A. 2013. (Open) Linked Data in Bibliotheken, De Gruyter,p.
[Published Version] View | Files available | DOI
 

2013 | Published | Conference Paper | IST-REx-ID: 2315 | OA
Seiringer R, Yngvason J, Zagrebnov V. 2013. Disordered Bose-Einstein condensates with interaction. ICMP: International Congress on Mathematical Physics, 610–619.
View | DOI | Download None (ext.) | arXiv
 

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

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

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

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

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

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

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

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

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

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

2013 | Published | Book Chapter | IST-REx-ID: 2413
Valderrama M, Botella Soler V, Le Van Quyen M. 2013.Neuronal oscillations scale up and scale down the brain dynamics . In: Multiscale Analysis and Nonlinear Dynamics: From Genes to the Brain. Reviews of Nonlinear Dynamics and Complexity, .
View | DOI
 

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

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

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

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

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

Filters and Search Terms

year=2013

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed