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.

9101 Publications


2013 | Journal Article | IST-REx-ID: 2303
S. Hippenmeyer, “Dissection of gene function at clonal level using mosaic analysis with double markers,” Frontiers in Biology, vol. 8, no. 6. Springer, pp. 557–568, 2013.
View | DOI
 

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

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

2013 | 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 | 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
 

Search

Filter Publications