Please note that IST 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.

3071 Publications


2013 | Conference Paper | IST-REx-ID: 1374 | OA
Infinite-state games with finitary conditions
K. Chatterjee, N. Fijalkow, in:, 22nd EACSL Annual Conference on Computer Science Logic, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2013, pp. 181–196.
View | Files available | DOI
 

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

2013 | Conference Paper | IST-REx-ID: 1387 | OA
Nondeterminism in the presence of a diverse or unknown future
U. Boker, D. Kuperberg, O. Kupferman, M. Skrzypczak, 7966 (2013) 89–100.
View | Files available | DOI
 

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

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

2013 | Journal Article | IST-REx-ID: 1470 | OA
Exchange between perverse and weight filtration for the Hilbert schemes of points of two surfaces
M. De Cataldo, T. Hausel, L. Migliorini, Journal of Singularities 7 (2013) 23–38.
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 1759 | OA
Nature of tunable hole g factors in quantum dots
N. Ares, V. Golovach, G. Katsaros, M. Stoffel, F. Fournel, L. Glazman, O. Schmidt, S. De Franceschi, Physical Review Letters 110 (2013).
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 1760 | OA
SiGe quantum dots for fast hole spin Rabi oscillations
N. Ares, G. Katsaros, V. Golovach, J. Zhang, A. Prager, L. Glazman, O. Schmidt, S. De Franceschi, Applied Physics Letters 103 (2013).
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 1786 | OA
Collective suppression of linewidths in circuit QED
F. Nissen, J.M. Fink, J. Mlynek, A. Wallraff, J. Keeling, Physical Review Letters 110 (2013).
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 2009 | OA
Privacy-preserving data sharing for genome-wide association studies
C. Uhler, A. Slavkovic, S. Fienberg, Journal of Privacy and Confidentiality 5 (2013) 137–166.
View | DOI | Download Published Version (ext.)
 

2013 | Journal Article | IST-REx-ID: 2010 | OA
Geometry of the faithfulness assumption in causal inference
C. Uhler, G. Raskutti, P. Bühlmann, B. Yu, The Annals of Statistics 41 (2013) 436–463.
View | DOI | Download Published Version (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2117 | OA
Poisson stochastic integration in Banach spaces
S. Dirksen, J. Maas, J. Van Neerven, Electronic Journal of Probability 18 (2013).
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 2129 | OA
Gromov-Hausdorff convergence of discrete transportation metrics
N. Gigli, J. Maas, SIAM Journal on Mathematical Analysis 45 (2013) 879–899.
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 2139 | OA View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 2152 | OA
Erratum: Quantum phases of quadrupolar fermi gases in optical lattices
S. Bhongale, L. Mathey, E. Zhao, S. Yelin, M. Lemeshko, Physical Review Letters 111 (2013).
View | DOI | Download (ext.)
 

2013 | Conference Paper | IST-REx-ID: 2181 | OA
Quantitative relaxation of concurrent data structures
T.A. Henzinger, C. Kirsch, H. Payer, A. Sezgin, A. Sokolova, in:, Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Language, ACM, 2013, pp. 317–328.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2204 | OA
Quantum phases of quadrupolar fermi gases in optical lattices
S. Bhongale, L. Mathey, E. Zhao, S. Yelin, M. Lemeshko, Physical Review Letters 110 (2013).
View | DOI | Download (ext.)
 

2013 | Book Review | IST-REx-ID: 2205 | OA
Manipulation of molecules with electromagnetic fields
M. Lemeshko, R. Krems, J. Doyle, S. Kais, Molecular Physics 111 (2013) 1648–1682.
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 2206 | OA
Controllable quantum spin glasses with magnetic impurities embedded in quantum solids
M. Lemeshko, N. Yao, A. Gorshkov, H. Weimer, S. Bennett, T. Momose, S. Gopalakrishnan, Physical Review B - Condensed Matter and Materials Physics 88 (2013).
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 2207 | OA
Dissipative binding of atoms by non-conservative forces
M. Lemeshko, H. Weimer, Nature Communications 4 (2013).
View | DOI | Download (ext.)
 

Filters and Search Terms

oa=1

Search

Filter Publications