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.
626 Publications
2010 |Published| Journal Article | IST-REx-ID: 4379 |
Jones K, Konrad V, Nickovic D. 2010. Analog property checkers: a DDR2 case study. Formal Methods in System Design. 36(2), 114–130.
View
| DOI
| Download (ext.)
2010 |Published| Journal Article | IST-REx-ID: 6320 |
Bretèche R de la, Browning TD. 2010. Le problème des diviseurs pour des formes binaires de degré 4. Crelles Journal. 2010(646), 1–44.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2009 |Published| Journal Article | IST-REx-ID: 1038 |
Mark M, Danzl JG, Haller E, Gustavsson M, Bouloufa N, Dulieu O, Salami H, Bergeman T, Ritsch H, Hart R, Nägerl H. 2009. Dark resonances for ground-state transfer of molecular quantum gases. Applied Physics B: Lasers and Optics. 95(2), 219–225.
View
| DOI
| Download None (ext.)
| arXiv
2009 |Published| Journal Article | IST-REx-ID: 12654 |
Carenzo M, Pellicciotti F, Rimkus S, Burlando P. 2009. Assessing the transferability and robustness of an enhanced temperature-index glacier-melt model. Journal of Glaciology. 55(190), 258–274.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2009 |Published| Journal Article | IST-REx-ID: 2119 |
Maas J, Van Neerven J. 2009. Boundedness of Riesz transforms for elliptic operators on abstract Wiener spaces. Journal of Functional Analysis. 257(8), 2410–2475.
View
| DOI
| Download (ext.)
2009 |Published| Journal Article | IST-REx-ID: 229 |
Browning TD. 2009. Linear growth for Châtelet surfaces. Mathematische Annalen. 346(1), 41–50.
View
| DOI
| Download (ext.)
2009 |Published| Journal Article | IST-REx-ID: 2384 |
Giuliani A, Seiringer R. 2009. The ground state energy of the weakly interacting Bose gas at high density. Journal of Statistical Physics. 135(5–6), 915–934.
View
| DOI
| Download (ext.)
2009 |Published| Journal Article | IST-REx-ID: 2387 |
Lewin M, Seiringer R. 2009. Strongly correlated phases in rapidly rotating Bose gases. Journal of Statistical Physics. 137(5), 1040–1062.
View
| DOI
| Download (ext.)
2009 |Published| Conference Paper | IST-REx-ID: 2433 |
Matoušek J, Tancer M, Wagner U. 2009. Hardness of embedding simplicial complexes in ℝd. SODA: Symposium on Discrete Algorithms, 855–864.
View
| Download (ext.)
2009 |Published| Journal Article | IST-REx-ID: 2501
Grinevich V, Kolleker A, Eliava M, Takada N, Takuma H, Fukazawa Y, Shigemoto R, Kuhl D, Waters J, Seeburg P, Osten P. 2009. Fluorescent Arc/Arg3.1 indicator mice: A versatile tool to study brain activity changes in vitro and in vivo. Journal of Neuroscience Methods. 184(1), 25–36.
View
| DOI