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.
9332 Publications
2013 |Published| Conference Paper | IST-REx-ID: 1374 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chatterjee K, Fijalkow N. 2013. Infinite-state games with finitary conditions. 22nd EACSL Annual Conference on Computer Science Logic. CSL: Computer Science LogicLeibniz International Proceedings in Informatics, LIPIcs, vol. 23, 181–196.
[Published Version]
View
| Files available
| DOI
2013 |Published| Conference Paper | IST-REx-ID: 1385 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Hofferek G, Gupta A, Könighofer B, Jiang J, Bloem R. 2013. Synthesizing multiple boolean functions using interpolation on a single proof. 2013 Formal Methods in Computer-Aided Design. FMCAD: Formal Methods in Computer-Aided Design, 77–84.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2013 |Published| Conference Paper | IST-REx-ID: 1387 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Boker U, Kuperberg D, Kupferman O, Skrzypczak M. 2013. Nondeterminism in the presence of a diverse or unknown future. 7966(PART 2), 89–100.
[Submitted Version]
View
| Files available
| DOI
2013 |Published| Journal Article | IST-REx-ID: 1442 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Hausel T, Letellier E, Rodríguez Villegas F. 2013. Positivity for Kac polynomials and DT-invariants of quivers. Annals of Mathematics. 177(3), 1147–1168.
View
| DOI
| Download (ext.)
2013 |Published| Book Chapter | IST-REx-ID: 1443 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Hausel T. 2013.Global topology of the Hitchin system. In: Handbook of Moduli: Volume II. Advanced Lectures in Mathematics, vol. 25, 29–70.
View
| Download (ext.)
2013 |Published| Journal Article | IST-REx-ID: 1470 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
De Cataldo M, Hausel T, Migliorini L. 2013. Exchange between perverse and weight filtration for the Hilbert schemes of points of two surfaces. Journal of Singularities. 7, 23–38.
View
| DOI
| Download (ext.)
2013 |Published| Journal Article | IST-REx-ID: 1760 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Ares N, Katsaros G, Golovach V, Zhang J, Prager A, Glazman L, Schmidt O, De Franceschi S. 2013. SiGe quantum dots for fast hole spin Rabi oscillations. Applied Physics Letters. 103(26).
View
| DOI
| Download (ext.)
2013 |Published| Journal Article | IST-REx-ID: 1759 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Ares N, Golovach V, Katsaros G, Stoffel M, Fournel F, Glazman L, Schmidt O, De Franceschi S. 2013. Nature of tunable hole g factors in quantum dots. Physical Review Letters. 110(4).
View
| DOI
| Download (ext.)
2013 |Published| Journal Article | IST-REx-ID: 1786 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Nissen F, Fink JM, Mlynek J, Wallraff A, Keeling J. 2013. Collective suppression of linewidths in circuit QED. Physical Review Letters. 110(20).
View
| DOI
| Download (ext.)