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.

4001 Publications


2013 | Journal Article | IST-REx-ID: 905 | OA
Arkhipov V, Noah T, Koschkar S, Kondrashov F. Birds of Mys Shmidta, north Chukotka, Russia. Forktail. 2013;(29):25-30.
View | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 9153 | OA
Melet A, Nikurashin M, Muller CJ, et al. Internal tide generation by abyssal hills using analytical theory. Journal of Geophysical Research: Oceans. 2013;118(11):6303-6318. doi:10.1002/2013jc009212
View | DOI | Download Published Version (ext.)
 

2013 | Journal Article | IST-REx-ID: 9154 | OA
Muller CJ. Impact of convective organization on the response of tropical precipitation extremes to warming. Journal of Climate. 2013;26(14):5028-5043. doi:10.1175/jcli-d-12-00655.1
View | DOI | Download Published Version (ext.)
 

2013 | Journal Article | IST-REx-ID: 9167 | OA
Palacci JA, Sacanna S, Vatchinsky A, Chaikin PM, Pine DJ. Photoactivated colloidal dockers for cargo transportation. Journal of the American Chemical Society. 2013;135(43):15978-15981. doi:10.1021/ja406090s
View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2013 | Conference Paper | IST-REx-ID: 1374 | OA
Chatterjee K, Fijalkow N. Infinite-state games with finitary conditions. In: 22nd EACSL Annual Conference on Computer Science Logic. Vol 23. Leibniz International Proceedings in Informatics. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2013:181-196. doi:10.4230/LIPIcs.CSL.2013.181
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 1385 | OA
Hofferek G, Gupta A, Könighofer B, Jiang J, Bloem R. Synthesizing multiple boolean functions using interpolation on a single proof. In: 2013 Formal Methods in Computer-Aided Design. IEEE; 2013:77-84. doi:10.1109/FMCAD.2013.6679394
View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Conference Paper | IST-REx-ID: 1387 | OA
Boker U, Kuperberg D, Kupferman O, Skrzypczak M. Nondeterminism in the presence of a diverse or unknown future. 2013;7966(PART 2):89-100. doi:10.1007/978-3-642-39212-2_11
View | Files available | DOI
 

2013 | Thesis | IST-REx-ID: 1405 | OA
Zufferey D. Analysis of dynamic message passing programs. 2013. doi:10.15479/at:ista:1405
View | Files available | DOI | Download Published Version (ext.)
 

2013 | Journal Article | IST-REx-ID: 1442 | OA
Hausel T, Letellier E, Rodríguez Villegas F. Positivity for Kac polynomials and DT-invariants of quivers. Annals of Mathematics. 2013;177(3):1147-1168. doi:10.4007/annals.2013.177.3.8
View | DOI | Download (ext.)
 

2013 | Book Chapter | IST-REx-ID: 1443 | OA
Hausel T. Global topology of the Hitchin system. In: Handbook of Moduli: Volume II. Vol 25. International Press; 2013:29-70.
View | Download (ext.)
 

Filters and Search Terms

oa=1

Search

Filter Publications