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.

8980 Publications


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.
[Preprint] 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.
[Submitted Version] 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: 1469
Hausel, Tamás, et al. “Arithmetic Harmonic Analysis on Character and Quiver Varieties II.” Advances in Mathematics, vol. 234, Academic Press, 2013, pp. 85–128, doi:10.1016/j.aim.2012.10.009.
View | DOI
 

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: 11758
Aceto, Luca, et al. “38th International Colloquium on Automata, Languages and Programming.” Information and Computation, vol. 222, no. 1, Elsevier, 2013, p. 1, doi:10.1016/j.ic.2012.11.002.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 1726
Kahane, Nitza, et al. “The Transition from Differentiation to Growth during Dermomyotome-Derived Myogenesis Depends on Temporally Restricted Hedgehog Signaling.” Development, vol. 140, no. 8, Company of Biologists, 2013, pp. 1740–50, doi:10.1242/dev.092726.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 1727
Kicheva, Anna, et al. “Quantitative Imaging of Morphogen Gradients in Drosophila Imaginal Discs.” Cold Spring Harbor Protocols, vol. 8, no. 5, Cold Spring Harbor Laboratory Press, 2013, pp. 387–403, doi:10.1101/pdb.top074237.
View | DOI
 

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: 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: 1785
Abdumalikov, Abdufarrukh, et al. “Experimental Realization of Non-Abelian Non-Adiabatic Geometric Gates.” Nature, vol. 496, no. 7446, Nature Publishing Group, 2013, pp. 482–85, doi:10.1038/nature12010.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 1787
Lang, C., et al. “Correlations, Indistinguishability and Entanglement in Hong-Ou-Mandel Experiments at Microwave Frequencies.” Nature Physics, vol. 9, no. 6, Nature Publishing Group, 2013, pp. 345–48, doi:10.1038/nphys2612.
View | DOI
 

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: 1790
Novarino, Gaia, et al. “The Sacred Disease: The Puzzling Genetics of Epileptic Disorders.” Neuron, vol. 80, no. 1, Elsevier, 2013, pp. 9–11, doi:10.1016/j.neuron.2013.09.019.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 1977
Sazanov, Leonid A., et al. “A Long Road towards the Structure of Respiratory Complex I, a Giant Molecular Proton Pump.” Biochemical Society Transactions, vol. 41, no. 5, Portland Press, 2013, pp. 1265–71, doi:10.1042/BST20130193.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 1978
Baradaran, Rozbeh, et al. “Crystal Structure of the Entire Respiratory Complex I.” Nature, vol. 494, no. 7438, Nature Publishing Group, 2013, pp. 443–48, doi:10.1038/nature11871.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 1991
Vicoso, Beatriz, and Doris Bachtrog. “Reversal of an Ancient Sex Chromosome to an Autosome in Drosophila.” Nature, vol. 499, no. 7458, Nature Publishing Group, 2013, pp. 332–35, doi:10.1038/nature12235.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 1988
Bonny, Mike, et al. “Membrane Binding of MinE Allows for a Comprehensive Description of Min-Protein Pattern Formation.” PLoS Computational Biology, vol. 9, no. 12, Public Library of Science, 2013, doi:10.1371/journal.pcbi.1003347.
View | DOI
 

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.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

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.
[Published Version] View | DOI | Download Published Version (ext.)
 

2013 | Journal Article | IST-REx-ID: 2074
Vicoso, Beatriz, et al. “Sex Biased Gene Expression at Homomorphic Sex Chromosomes in Emus and Its Implication for Sex Chromosome Evolution.” PNAS, vol. 110, no. 16, National Academy of Sciences, 2013, pp. 6453–58, doi:10.1073/pnas.1217027110.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2076
Vicoso, Beatriz, et al. “Comparative Sex Chromosome Genomics in Snakes: Differentiation Evolutionary Strata and Lack of Global Dosage Compensation.” PLoS Biology, vol. 11, no. 8, Public Library of Science, 2013, doi:10.1371/journal.pbio.1001643.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2108
Coros, Stelian, et al. “Computational Design of Mechanical Characters.” ACM Transactions on Graphics, vol. 32, no. 4, ACM, 2013, doi:10.1145/2461912.2461953.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2110
Papas, Marios, et al. “Fabricating Translucent Materials Using Continuous Pigment Mixtures.” ACM Transactions on Graphics, vol. 32, no. 4, ACM, 2013, doi:10.1145/2461912.2461974.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2111
Bermano, Amit, et al. “Augmenting Physical Avatars Using Projector-Based Illumination.” ACM Transactions on Graphics, vol. 32, no. 6, ACM, 2013, doi:10.1145/2508363.2508416.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2109
Hildebrand, Kristian, et al. “Orthogonal Slicing for Additive Manufacturing.” Computers and Graphics (Pergamon), vol. 37, no. 6, Elsevier, 2013, pp. 669–75, doi:10.1016/j.cag.2013.05.011.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2107
Skouras, Mélina, et al. “Computational Design of Actuated Deformable Characters.” ACM Transactions on Graphics, vol. 32, no. 4, ACM, 2013, doi:10.1145/2461912.2461979.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2112
Miguel, Eder, et al. “Modeling and Estimation of Internal Friction in Cloth.” ACM Transactions on Graphics, vol. 32, no. 6, ACM, 2013, doi:10.1145/2508363.2508389 .
View | DOI
 

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: 2113
Rouiller, Olivier, et al. “3D Printing Spatially Varying BRDFs.” IEEE Computer Graphics and Applications, vol. 33, no. 6, IEEE, 2013, pp. 48–57, doi:10.1109/MCG.2013.82 .
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2114
Bickel, Bernd, and Marc Alexa. “Computational Aspects of Fabrication: Modeling, Design and 3d Printing.” IEEE Computer Graphics and Applications, vol. 33, no. 6, IEEE, 2013, pp. 24–25, doi:10.1109/MCG.2013.89.
View | DOI
 

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 | 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.
[Submitted Version] View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2182
Cerny, Pavol, et al. “Quantitative Abstraction Refinement.” Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Language, ACM, 2013, pp. 115–28, doi:10.1145/2429069.2429085.
View | DOI
 

2013 | Conference Paper | IST-REx-ID: 2209
Biedl, Therese, et al. Recognizing Straight Skeletons and Voronoi Diagrams and Reconstructing Their Input. IEEE, 2013, pp. 37–46, doi:10.1109/ISVD.2013.11.
View | 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 | Files available | DOI | Download None (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 | 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: 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.)
 

2013 | Conference Paper | IST-REx-ID: 2210 | OA
Biedl, Therese, et al. “Reconstructing Polygons from Embedded Straight Skeletons.” 29th European Workshop on Computational Geometry, TU Braunschweig, 2013, pp. 95–98.
[Submitted Version] View | Download Submitted Version (ext.)
 

2013 | Conference Paper | IST-REx-ID: 2237 | OA
Blanc, Régis, et al. Tree Interpolation in Vampire. Vol. 8312, Springer, 2013, pp. 173–81, doi:10.1007/978-3-642-45221-5_13.
[Submitted Version] View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2238
Chatterjee, Krishnendu, et al. Multi-Objective Discounted Reward Verification in Graphs and MDPs. Vol. 8312, Springer, 2013, pp. 228–42, doi:10.1007/978-3-642-45221-5_17.
View | DOI
 

2013 | Conference Paper | IST-REx-ID: 2243 | OA
Michaliszyn, Jakub, and Jan Otop. Elementary Modal Logics over Transitive Structures. Vol. 23, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2013, pp. 563–77, doi:10.4230/LIPIcs.CSL.2013.563.
[Published Version] View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2244 | OA
Matoušek, Jiří, et al. Untangling Two Systems of Noncrossing Curves. Vol. 8242, Springer, 2013, pp. 472–83, doi:10.1007/978-3-319-03841-4_41.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2013 | Conference Paper | IST-REx-ID: 2259 | OA
Alwen, Joel F., et al. Learning with Rounding, Revisited: New Reduction Properties and Applications. Vol. 8042, no. 1, Springer, 2013, pp. 57–74, doi:10.1007/978-3-642-40041-4_4.
[Published Version] View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2258 | OA
Kiltz, Eike, et al. Digital Signatures with Minimal Overhead from Indifferentiable Random Invertible Functions. Vol. 8042, Springer, 2013, pp. 571–88, doi:10.1007/978-3-642-40041-4_31.
[Submitted Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2256 | OA
Danowski, Patrick, et al. “Linked (Open) Data - Bibliographische Daten Im Semantic Web.” VÖB Mitteilungen, vol. 66, no. 3/4, Verein Österreichischer Bibliothekarinnen und Bibliothekare, 2013, pp. 559–87.
[Published Version] View | Files available
 

2013 | Conference Paper | IST-REx-ID: 2260 | OA
Bernhard, David, et al. Efficient Signatures of Knowledge and DAA in the Standard Model. Vol. 7954, Springer, 2013, pp. 518–33, doi:10.1007/978-3-642-38980-1_33.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

Search

Filter Publications