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.
8923 Publications
2013 |
Published |
Journal Article |
IST-REx-ID: 1470 |
M. De Cataldo, T. Hausel, and L. Migliorini, “Exchange between perverse and weight filtration for the Hilbert schemes of points of two surfaces,” Journal of Singularities, vol. 7. Worldwide Center of Mathematics, pp. 23–38, 2013.
View
| DOI
| Download (ext.)
2013 |
Published |
Journal Article |
IST-REx-ID: 13406
S. Das, P. Ranjan, P. S. Maiti, G. Singh, G. Leitus, and R. Klajn, “Dual-responsive nanoparticles and their self-assembly,” Advanced Materials, vol. 25, no. 3. Wiley, pp. 422–426, 2013.
View
| DOI
| PubMed | Europe PMC
2013 |
Published |
Conference Paper |
IST-REx-ID: 1374 |
K. Chatterjee and N. Fijalkow, “Infinite-state games with finitary conditions,” in 22nd EACSL Annual Conference on Computer Science Logic, Torino, Italy, 2013, vol. 23, pp. 181–196.
[Published Version]
View
| Files available
| DOI
2013 |
Published |
Conference Paper |
IST-REx-ID: 1376
K. Chatterjee, T. A. Henzinger, J. Otop, and A. Pavlogiannis, “Distributed synthesis for LTL fragments,” in 13th International Conference on Formal Methods in Computer-Aided Design, Portland, OR, United States, 2013, pp. 18–25.
View
| Files available
| DOI
2013 |
Published |
Conference Paper |
IST-REx-ID: 1385 |
G. Hofferek, A. Gupta, B. Könighofer, J. Jiang, and R. Bloem, “Synthesizing multiple boolean functions using interpolation on a single proof,” in 2013 Formal Methods in Computer-Aided Design, Portland, OR, United States, 2013, pp. 77–84.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2013 |
Published |
Conference Paper |
IST-REx-ID: 1387 |
U. Boker, D. Kuperberg, O. Kupferman, and M. Skrzypczak, “Nondeterminism in the presence of a diverse or unknown future,” vol. 7966, no. PART 2. Springer, pp. 89–100, 2013.
[Submitted Version]
View
| Files available
| DOI
2013 |
Published |
Thesis | PhD |
IST-REx-ID: 1405 |
D. Zufferey, “Analysis of dynamic message passing programs,” Institute of Science and Technology Austria, 2013.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2013 |
Published |
Thesis | PhD |
IST-REx-ID: 1406
P. Campinho, “Mechanics of zebrafish epiboly: Tension-oriented cell divisions limit anisotropic tissue tension in epithelial spreading,” Institute of Science and Technology Austria, 2013.
View
2013 |
Published |
Journal Article |
IST-REx-ID: 905 |
V. Arkhipov, T. Noah, S. Koschkar, and F. Kondrashov, “Birds of Mys Shmidta, north Chukotka, Russia,” Forktail, no. 29. Oriental Bird Club, pp. 25–30, 2013.
View
| Download (ext.)
2013 |
Published |
Journal Article |
IST-REx-ID: 9055
J. A. Palacci, S. Sacanna, A. P. Steinberg, D. J. Pine, and P. M. Chaikin, “Living crystals of light-activated colloidal surfers,” Science, vol. 339, no. 6122. American Association for the Advancement of Science , pp. 936–940, 2013.
View
| DOI
| PubMed | Europe PMC
2013 |
Published |
Journal Article |
IST-REx-ID: 9153 |
A. Melet et al., “Internal tide generation by abyssal hills using analytical theory,” Journal of Geophysical Research: Oceans, vol. 118, no. 11. American Geophysical Union, pp. 6303–6318, 2013.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2013 |
Published |
Journal Article |
IST-REx-ID: 9154 |
C. J. Muller, “Impact of convective organization on the response of tropical precipitation extremes to warming,” Journal of Climate, vol. 26, no. 14. American Meteorological Society, pp. 5028–5043, 2013.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2013 |
Published |
Journal Article |
IST-REx-ID: 9167 |
J. A. Palacci, S. Sacanna, A. Vatchinsky, P. M. Chaikin, and D. J. Pine, “Photoactivated colloidal dockers for cargo transportation,” Journal of the American Chemical Society, vol. 135, no. 43. American Chemical Society, pp. 15978–15981, 2013.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
| arXiv
2013 |
Published |
Journal Article |
IST-REx-ID: 921
M. Basan, J. Elgeti, E. B. Hannezo, W. Rappel, and H. Levine, “Alignment of cellular motility forces with tissue flow as a mechanism for efficient wound healing,” PNAS, vol. 110, no. 7. National Academy of Sciences, pp. 2452–2459, 2013.
View
| DOI
2013 |
Published |
Journal Article |
IST-REx-ID: 9459 |
A. Zemach et al., “The Arabidopsis nucleosome remodeler DDM1 allows DNA methyltransferases to access H1-containing heterochromatin,” Cell, vol. 153, no. 1. Elsevier, pp. 193–205, 2013.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC