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.
266 Publications
2009 |
Published |
Journal Article |
IST-REx-ID: 22090 |
Killip R, Tao T, Vişan M. 2009. The cubic nonlinear Schrödinger equation in two dimensions with radial data. Journal of the European Mathematical Society. 11(6), 1203–1258.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
earlier version | 2009 |
Published |
Conference Paper |
IST-REx-ID: 4540
Chatterjee K, Doyen L, Henzinger TA. 2009. Expressiveness and closure properties for quantitative languages. LICS: Logic in Computer Science, 199–208.
View
| Files available
| DOI
earlier version | 2009 |
Published |
Conference Paper |
IST-REx-ID: 4403 |
Alur R, Cerny P, Weinstein S. 2009. Algorithmic analysis of array-accessing programs. CSL: Computer Science Logic, LNCS, vol. 5771, 86–101.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
2009 |
Published |
Journal Article |
IST-REx-ID: 3870 |
Chatterjee K, Henzinger TA, Horn F. 2009. Finitary winning in omega-regular games. ACM Transactions on Computational Logic. 11(1), 1.
[Submitted Version]
View
| Files available
| DOI
| WoS
2009 |
Published |
Journal Article |
IST-REx-ID: 22467 |
Fatichi S, Barbosa SM, Caporali E, Silva ME. 2009. Deterministic versus stochastic trends: Detection and challenges. Journal of Geophysical Research: Atmospheres. 114(18), D18121.
[Published Version]
View
| DOI
| Download Published Version (ext.)