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
Chatterjee, Krishnendu, and Nathanaël Fijalkow. “Infinite-State Games with Finitary Conditions.” 22nd EACSL Annual Conference on Computer Science Logic, vol. 23, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2013, pp. 181–96, doi:10.4230/LIPIcs.CSL.2013.181.
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 1385 | OA
Hofferek, Georg, et al. “Synthesizing Multiple Boolean Functions Using Interpolation on a Single Proof.” 2013 Formal Methods in Computer-Aided Design, IEEE, 2013, pp. 77–84, doi:10.1109/FMCAD.2013.6679394.
View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Conference Paper | IST-REx-ID: 1387 | OA
Boker, Udi, et al. Nondeterminism in the Presence of a Diverse or Unknown Future. Vol. 7966, no. PART 2, Springer, 2013, pp. 89–100, doi:10.1007/978-3-642-39212-2_11.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 1442 | OA
Hausel, Tamás, et al. “Positivity for Kac Polynomials and DT-Invariants of Quivers.” Annals of Mathematics, vol. 177, no. 3, Princeton University Press, 2013, pp. 1147–68, doi:10.4007/annals.2013.177.3.8.
View | DOI | Download (ext.)
 

2013 | Book Chapter | IST-REx-ID: 1443 | OA
Hausel, Tamás. “Global Topology of the Hitchin System.” Handbook of Moduli: Volume II, vol. 25, International Press, 2013, pp. 29–70.
View | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 1470 | OA
De Cataldo, Mark, et al. “Exchange between Perverse and Weight Filtration for the Hilbert Schemes of Points of Two Surfaces.” Journal of Singularities, vol. 7, Worldwide Center of Mathematics, 2013, pp. 23–38, doi:10.5427/jsing.2013.7c.
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 1759 | OA
Ares, Natalia, et al. “Nature of Tunable Hole g Factors in Quantum Dots.” Physical Review Letters, vol. 110, no. 4, American Physical Society, 2013, doi:10.1103/PhysRevLett.110.046602.
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 1760 | OA
Ares, Natalia, et al. “SiGe Quantum Dots for Fast Hole Spin Rabi Oscillations.” Applied Physics Letters, vol. 103, no. 26, American Institute of Physics, 2013, doi:10.1063/1.4858959.
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 1786 | OA
Nissen, Felix, et al. “Collective Suppression of Linewidths in Circuit QED.” Physical Review Letters, vol. 110, no. 20, American Physical Society, 2013, doi:10.1103/PhysRevLett.110.203602.
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 2009 | OA
Uhler, Caroline, et al. “Privacy-Preserving Data Sharing for Genome-Wide Association Studies.” Journal of Privacy and Confidentiality , vol. 5, no. 1, Carnegie Mellon University, 2013, pp. 137–66, doi:10.29012/jpc.v5i1.629.
View | DOI | Download Published Version (ext.)
 

2013 | Journal Article | IST-REx-ID: 2010 | OA
Uhler, Caroline, et al. “Geometry of the Faithfulness Assumption in Causal Inference.” The Annals of Statistics, vol. 41, no. 2, Institute of Mathematical Statistics, 2013, pp. 436–63, doi:10.1214/12-AOS1080.
View | DOI | Download Published Version (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2117 | OA
Dirksen, Sjoerd, et al. “Poisson Stochastic Integration in Banach Spaces.” Electronic Journal of Probability, vol. 18, Institute of Mathematical Statistics, 2013, doi:10.1214/EJP.v18-2945 .
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 2129 | OA
Gigli, Nicola, and Jan Maas. “Gromov-Hausdorff Convergence of Discrete Transportation Metrics.” SIAM Journal on Mathematical Analysis, vol. 45, no. 2, Society for Industrial and Applied Mathematics , 2013, pp. 879–99, doi:10.1137/120886315 .
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 2139 | OA
Lemeshko, Mikhail. “Manipulating Scattering of Ultracold Atoms with Light-Induced Dissipation.” Frontiers Physics, vol. 1, no. 17, Frontiers Media, 2013, doi:10.3389/fphy.2013.00017.
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 2152 | OA
Bhongale, Satyan, et al. “Erratum: Quantum Phases of Quadrupolar Fermi Gases in Optical Lattices.” Physical Review Letters, vol. 111, no. 23, American Physical Society, 2013, doi:10.1103/PhysRevLett.111.239901.
View | DOI | Download (ext.)
 

2013 | Conference Paper | IST-REx-ID: 2181 | OA
Henzinger, Thomas A., et al. “Quantitative Relaxation of Concurrent Data Structures.” Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Language, ACM, 2013, pp. 317–28, doi:10.1145/2429069.2429109.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2204 | OA
Bhongale, Satyan, et al. “Quantum Phases of Quadrupolar Fermi Gases in Optical Lattices.” Physical Review Letters, vol. 110, no. 15, American Physical Society, 2013, doi:10.1103/PhysRevLett.110.155301.
View | DOI | Download (ext.)
 

2013 | Book Review | IST-REx-ID: 2205 | OA
Lemeshko, Mikhail, et al. “Manipulation of Molecules with Electromagnetic Fields.” Molecular Physics, vol. 111, no. 12–13, Taylor & Francis, 2013, pp. 1648–82, doi:10.1080/00268976.2013.813595.
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 2206 | OA
Lemeshko, Mikhail, et al. “Controllable Quantum Spin Glasses with Magnetic Impurities Embedded in Quantum Solids.” Physical Review B - Condensed Matter and Materials Physics, vol. 88, no. 1, American Physical Society, 2013, doi:10.1103/PhysRevB.88.014426.
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 2207 | OA
Lemeshko, Mikhail, and Hendrik Weimer. “Dissipative Binding of Atoms by Non-Conservative Forces.” Nature Communications, vol. 4, Nature Publishing Group, 2013, doi:10.1038/ncomms3230.
View | DOI | Download (ext.)
 

Filters and Search Terms

oa=1

Search

Filter Publications