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.
9084 Publications
2013 | 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 | 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 | 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 | Journal Article | IST-REx-ID: 1442 |
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 | Book Chapter | IST-REx-ID: 1443 |
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 | 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 | Journal Article | IST-REx-ID: 1726
N. Kahane, V. Ribes, A. Kicheva, J. Briscoe, and C. Kalcheim, “The transition from differentiation to growth during dermomyotome-derived myogenesis depends on temporally restricted hedgehog signaling,” Development, vol. 140, no. 8. Company of Biologists, pp. 1740–1750, 2013.
View
| DOI
2013 | Journal Article | IST-REx-ID: 1727
A. Kicheva, L. Holtzer, O. Wartlick, T. Schmidt, and M. González Gaitán, “Quantitative imaging of morphogen gradients in drosophila imaginal discs,” Cold Spring Harbor Protocols, vol. 8, no. 5. Cold Spring Harbor Laboratory Press, pp. 387–403, 2013.
View
| DOI
2013 | Journal Article | IST-REx-ID: 1760 |
N. Ares et al., “SiGe quantum dots for fast hole spin Rabi oscillations,” Applied Physics Letters, vol. 103, no. 26. American Institute of Physics, 2013.
View
| DOI
| Download (ext.)
2013 | Journal Article | IST-REx-ID: 1759 |
N. Ares et al., “Nature of tunable hole g factors in quantum dots,” Physical Review Letters, vol. 110, no. 4. American Physical Society, 2013.
View
| DOI
| Download (ext.)
2013 | Journal Article | IST-REx-ID: 1786 |
F. Nissen, J. M. Fink, J. Mlynek, A. Wallraff, and J. Keeling, “Collective suppression of linewidths in circuit QED,” Physical Review Letters, vol. 110, no. 20. American Physical Society, 2013.
View
| DOI
| Download (ext.)
2013 | Journal Article | IST-REx-ID: 1977
L. A. Sazanov, R. Baradaran, R. Efremov, J. Berrisford, and G. Minhas, “A long road towards the structure of respiratory complex I, a giant molecular proton pump,” Biochemical Society Transactions, vol. 41, no. 5. Portland Press, pp. 1265–1271, 2013.
View
| DOI