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.

8919 Publications


2013 | Published | Journal Article | IST-REx-ID: 6133 | OA
A. Couto, S. Oda, V. O. Nikolaev, Z. Soltesz, and M. de Bono, “In vivo genetic dissection of O2-evoked cGMP dynamics in a Caenorhabditis elegans gas sensor,” Proceedings of the National Academy of Sciences, vol. 110, no. 35. Proceedings of the National Academy of Sciences, pp. E3301–E3310, 2013.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2013 | Published | Journal Article | IST-REx-ID: 6135
M. Rodriguez, L. B. Snoek, M. de Bono, and J. E. Kammenga, “Worms under stress: C. elegans stress response and its relevance to complex human disease and aging,” Trends in Genetics, vol. 29, no. 6. Elsevier, pp. 367–374, 2013.
View | DOI
 

2013 | Published | Journal Article | IST-REx-ID: 6370
T.-C. Lin et al., “Molecular origins of the high-performance nonlinear optical susceptibility in a phenolic polyene chromophore: Electron density distributions, hydrogen bonding, and ab initio calculations,” The Journal of Physical Chemistry C, vol. 117, no. 18. American Chemical Society (ACS), pp. 9416–9430, 2013.
View | DOI
 

2013 | Published | Technical Report | IST-REx-ID: 6440 | OA
T. A. Henzinger, H. Payer, and A. Sezgin, Replacing competition with cooperation to achieve scalable lock-free FIFO queues . IST Austria, 2013.
[Published Version] View | Files available | DOI
 

2013 | Published | Journal Article | IST-REx-ID: 1442 | OA
T. Hausel, E. Letellier, and F. Rodríguez Villegas, “Positivity for Kac polynomials and DT-invariants of quivers,” Annals of Mathematics, vol. 177, no. 3. Princeton University Press, pp. 1147–1168, 2013.
View | DOI | Download (ext.)
 

2013 | Published | Book Chapter | IST-REx-ID: 1443 | OA
T. Hausel, “Global topology of the Hitchin system,” in Handbook of Moduli: Volume II, vol. 25, International Press, 2013, pp. 29–70.
View | Download (ext.)
 

2013 | Published | Journal Article | IST-REx-ID: 1469
T. Hausel, E. Letellier, and F. Rodríguez Villegas, “Arithmetic harmonic analysis on character and quiver varieties II,” Advances in Mathematics, vol. 234. Academic Press, pp. 85–128, 2013.
View | DOI
 

2013 | Published | Journal Article | IST-REx-ID: 1470 | OA
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: 1307
J. L. Fischer, “Uniqueness of solutions of the Derrida-Lebowitz-Speer-Spohn equation and quantum drift diffusion models,” Communications in Partial Differential Equations, vol. 38, no. 11. Taylor & Francis, pp. 2004–2047, 2013.
View | DOI
 

2013 | Published | Journal Article | IST-REx-ID: 1308
J. L. Fischer, “Advection-driven support shrinking in a chemotaxis model with degenerate mobility,” SIAM Journal on Mathematical Analysis, vol. 45, no. 3. Society for Industrial and Applied Mathematics , pp. 1585–1615, 2013.
View | DOI
 

2013 | Published | Journal Article | IST-REx-ID: 1310
J. L. Fischer, “Optimal lower bounds on asymptotic support propagation rates for the thin-film equation,” Journal of Differential Equations, vol. 255, no. 10. Academic Press, pp. 3127–3149, 2013.
View | DOI
 

2013 | Published | Journal Article | IST-REx-ID: 13405
T. Ely et al., “Photocontrol of electrical conductance with a nonsymmetrical azobenzene dithiol,” Synlett, vol. 24, no. 18. Georg Thieme Verlag, pp. 2370–2374, 2013.
View | DOI
 

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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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.)
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed