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.
5803 Publications
2013 | Conference Paper | IST-REx-ID: 11792 | 
Dvořák, Wolfgang, Monika H Henzinger, and David P. Williamson. “Maximizing a Submodular Function with Viability Constraints.” In 21st Annual European Symposium on Algorithms, 8125:409–20. Springer Nature, 2013. https://doi.org/10.1007/978-3-642-40450-4_35.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2013 | Conference Paper | IST-REx-ID: 11856 |
Henzinger, Monika H, Sebastian Krinninger, and Danupon Nanongkai. “Dynamic Approximate All-Pairs Shortest Paths: Breaking the O(Mn) Barrier and Derandomization.” In 54th Annual Symposium on Foundations of Computer Science, 538–47. Institute of Electrical and Electronics Engineers, 2013. https://doi.org/10.1109/focs.2013.64.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2013 | Journal Article | IST-REx-ID: 12642 |
Petersen, Lene, Francesca Pellicciotti, Inge Juszak, Marco Carenzo, and Ben Brock. “Suitability of a Constant Air Temperature Lapse Rate over an Alpine Glacier: Testing the Greuell and Böhm Model as an Alternative.” Annals of Glaciology. International Glaciological Society, 2013. https://doi.org/10.3189/2013aog63a477.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2013 | Journal Article | IST-REx-ID: 12643 |
Juszak, I., and Francesca Pellicciotti. “A Comparison of Parameterizations of Incoming Longwave Radiation over Melting Glaciers: Model Robustness and Seasonal Variability.” Journal of Geophysical Research: Atmospheres. American Geophysical Union, 2013. https://doi.org/10.1002/jgrd.50277.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2013 | Journal Article | IST-REx-ID: 12641 |
Heynen, Martin, Francesca Pellicciotti, and Marco Carenzo. “Parameter Sensitivity of a Distributed Enhanced Temperature-Index Melt Model.” Annals of Glaciology. International Glaciological Society, 2013. https://doi.org/10.3189/2013aog63a537.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2013 | Conference Paper | IST-REx-ID: 1374 |
Chatterjee, Krishnendu, and Nathanaël Fijalkow. “Infinite-State Games with Finitary Conditions.” In 22nd EACSL Annual Conference on Computer Science Logic, 23:181–96. Leibniz International Proceedings in Informatics. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2013. https://doi.org/10.4230/LIPIcs.CSL.2013.181.
[Published Version]
View
| Files available
| DOI
2013 | Conference Paper | IST-REx-ID: 1385 |
Hofferek, Georg, Ashutosh Gupta, Bettina Könighofer, Jie Jiang, and Roderick Bloem. “Synthesizing Multiple Boolean Functions Using Interpolation on a Single Proof.” In 2013 Formal Methods in Computer-Aided Design, 77–84. IEEE, 2013. https://doi.org/10.1109/FMCAD.2013.6679394.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2013 | Conference Paper | IST-REx-ID: 1387 |
Boker, Udi, Denis Kuperberg, Orna Kupferman, and Michał Skrzypczak. “Nondeterminism in the Presence of a Diverse or Unknown Future.” Lecture Notes in Computer Science. Springer, 2013. https://doi.org/10.1007/978-3-642-39212-2_11.
[Submitted Version]
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 1442 |
Hausel, Tamás, Emmanuel Letellier, and Fernando Rodríguez Villegas. “Positivity for Kac Polynomials and DT-Invariants of Quivers.” Annals of Mathematics. Princeton University Press, 2013. https://doi.org/10.4007/annals.2013.177.3.8.
View
| DOI
| Download (ext.)
2013 | Book Chapter | IST-REx-ID: 1443 |
Hausel, Tamás. “Global Topology of the Hitchin System.” In Handbook of Moduli: Volume II, 25:29–70. International Press, 2013.
View
| Download (ext.)
2013 | Journal Article | IST-REx-ID: 1470 |
De Cataldo, Mark, Tamás Hausel, and Luca Migliorini. “Exchange between Perverse and Weight Filtration for the Hilbert Schemes of Points of Two Surfaces.” Journal of Singularities. Worldwide Center of Mathematics, 2013. https://doi.org/10.5427/jsing.2013.7c.
View
| DOI
| Download (ext.)
2013 | Journal Article | IST-REx-ID: 1760 |
Ares, Natalia, Georgios Katsaros, Vitaly Golovach, Jianjun Zhang, Aaron Prager, Leonid Glazman, Oliver Schmidt, and Silvano De Franceschi. “SiGe Quantum Dots for Fast Hole Spin Rabi Oscillations.” Applied Physics Letters. American Institute of Physics, 2013. https://doi.org/10.1063/1.4858959.
View
| DOI
| Download (ext.)
2013 | Journal Article | IST-REx-ID: 1759 |
Ares, Natalia, Vitaly Golovach, Georgios Katsaros, Mathieu Stoffel, Frank Fournel, Leonid Glazman, Oliver Schmidt, and Silvano De Franceschi. “Nature of Tunable Hole g Factors in Quantum Dots.” Physical Review Letters. American Physical Society, 2013. https://doi.org/10.1103/PhysRevLett.110.046602.
View
| DOI
| Download (ext.)
2013 | Journal Article | IST-REx-ID: 1786 |
Nissen, Felix, Johannes M Fink, Jonas Mlynek, Andreas Wallraff, and Jonathan Keeling. “Collective Suppression of Linewidths in Circuit QED.” Physical Review Letters. American Physical Society, 2013. https://doi.org/10.1103/PhysRevLett.110.203602.
View
| DOI
| Download (ext.)
2013 | Journal Article | IST-REx-ID: 2010 |
Uhler, Caroline, Garvesh Raskutti, Peter Bühlmann, and Bin Yu. “Geometry of the Faithfulness Assumption in Causal Inference.” The Annals of Statistics. Institute of Mathematical Statistics, 2013. https://doi.org/10.1214/12-AOS1080.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2013 | Journal Article | IST-REx-ID: 2009 |
Uhler, Caroline, Aleksandra Slavkovic, and Stephen Fienberg. “Privacy-Preserving Data Sharing for Genome-Wide Association Studies.” Journal of Privacy and Confidentiality . Carnegie Mellon University, 2013. https://doi.org/10.29012/jpc.v5i1.629.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2013 | Journal Article | IST-REx-ID: 2117 |
Dirksen, Sjoerd, Jan Maas, and Jan Van Neerven. “Poisson Stochastic Integration in Banach Spaces.” Electronic Journal of Probability. Institute of Mathematical Statistics, 2013. https://doi.org/10.1214/EJP.v18-2945 .
View
| DOI
| Download (ext.)
2013 | Journal Article | IST-REx-ID: 2129 |
Gigli, Nicola, and Jan Maas. “Gromov-Hausdorff Convergence of Discrete Transportation Metrics.” SIAM Journal on Mathematical Analysis. Society for Industrial and Applied Mathematics , 2013. https://doi.org/10.1137/120886315 .
View
| DOI
| Download (ext.)
2013 | Journal Article | IST-REx-ID: 2139 |
Lemeshko, Mikhail. “Manipulating Scattering of Ultracold Atoms with Light-Induced Dissipation.” Frontiers Physics. Frontiers Media, 2013. https://doi.org/10.3389/fphy.2013.00017.
View
| DOI
| Download (ext.)
2013 | Conference Paper | IST-REx-ID: 2181 |
Henzinger, Thomas A, Christoph Kirsch, Hannes Payer, Ali Sezgin, and Ana Sokolova. “Quantitative Relaxation of Concurrent Data Structures.” In Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Language, 317–28. ACM, 2013. https://doi.org/10.1145/2429069.2429109.
[Submitted Version]
View
| Files available
| DOI