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.
7131 Publications
2010 | Published | Conference Paper | IST-REx-ID: 4378 | 
Kuncak, Viktor, et al. Building a Calculus of Data Structures. Edited by Gilles Barthe and Manuel Hermenegildo, vol. 5944, Springer, 2010, pp. 26–44, doi:10.1007/978-3-642-11319-2_6.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2010 | Published | Journal Article | IST-REx-ID: 4379 |
Jones, Kevin, et al. “Analog Property Checkers: A DDR2 Case Study.” Formal Methods in System Design, vol. 36, no. 2, Springer, 2010, pp. 114–30, doi:10.1007/s10703-009-0085-x.
View
| DOI
| Download (ext.)
2010 | Published | Conference Paper | IST-REx-ID: 4380 |
Henzinger, Thomas A., et al. A Marketplace for Cloud Resources. ACM, 2010, pp. 1–8, doi:10.1145/1879021.1879022.
[Submitted Version]
View
| Files available
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 4381 |
Henzinger, Thomas A., et al. FlexPRICE: Flexible Provisioning of Resources in a Cloud Environment. IEEE, 2010, pp. 83–90, doi:10.1109/CLOUD.2010.71.
[Submitted Version]
View
| Files available
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 4382 |
Guerraoui, Rachid, et al. Transactions in the Jungle. ACM, 2010, pp. 263–72, doi:10.1145/1810479.1810529.
[Submitted Version]
View
| Files available
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 4389 |
Doyen, Laurent, et al. Robustness of Sequential Circuits. IEEE, 2010, pp. 77–84, doi:10.1109/ACSD.2010.26.
[Submitted Version]
View
| Files available
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 4390 |
Cerny, Pavol, et al. Model Checking of Linearizability of Concurrent List Implementations. Vol. 6174, Springer, 2010, pp. 465–79, doi:10.1007/978-3-642-14295-6_41.
[Submitted Version]
View
| Files available
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 488 |
Alur, Rajeev, and Pavol Cerny. Expressiveness of Streaming String Transducers. Vol. 8, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010, pp. 1–12, doi:10.4230/LIPIcs.FSTTCS.2010.1.
[Published Version]
View
| Files available
| DOI
2010 | Published | Technical Report | IST-REx-ID: 5390 |
Chatterjee, Krishnendu, and Nathanaël Fijalkow. Topological, Automata-Theoretic and Logical Characterization of Finitary Languages. IST Austria, 2010, doi:10.15479/AT:IST-2010-0002.
[Published Version]
View
| Files available
| DOI
2010 | Published | Technical Report | IST-REx-ID: 5391 |
Cerny, Pavol, et al. Model Checking of Linearizability of Concurrent List Implementations. IST Austria, 2010, doi:10.15479/AT:IST-2010-0001.
[Published Version]
View
| Files available
| DOI
2010 | Published | Journal Article | IST-REx-ID: 598 |
Meyer, Krista, et al. “P53 Activates Transcription by Directing Structural Shifts in Mediator.” Nature Structural and Molecular Biology, vol. 17, no. 6, Nature Publishing Group, 2010, pp. 753–60, doi:10.1038/nsmb.1816.
View
| DOI
| Download None (ext.)
2010 | Published | Journal Article | IST-REx-ID: 6142 |
Weber, Katherine P., et al. “Whole Genome Sequencing Highlights Genetic Changes Associated with Laboratory Domestication of C. Elegans.” PLoS ONE, vol. 5, no. 11, e13922, Public Library of Science, 2010, doi:10.1371/journal.pone.0013922.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2010 | Published | Journal Article | IST-REx-ID: 12653 |
Pellicciotti, Francesca, et al. “Effect of Glaciers on Streamflow Trends in the Swiss Alps.” Water Resources Research, vol. 46, no. 10, W10522, American Geophysical Union, 2010, doi:10.1029/2009wr009039.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2010 | Published | Journal Article | IST-REx-ID: 1465 |
Hausel, Tamás. “Kac’s Conjecture from Nakajima Quiver Varieties.” Inventiones Mathematicae, vol. 181, no. 1, Springer, 2010, pp. 21–37, doi:10.1007/s00222-010-0241-3.
View
| DOI
| Download (ext.)
2010 | Published | Journal Article | IST-REx-ID: 1466 |
Hausel, Tamás, et al. “Topology of Character Varieties and Representations of Quivers.” Comptes Rendus Mathematique, vol. 348, no. 3–4, Elsevier, 2010, pp. 131–35, doi:10.1016/j.crma.2010.01.025.
View
| DOI
| Download (ext.)
2010 | Published | Book Chapter | IST-REx-ID: 1468 |
Hausel, Tamás. “S-Duality in HyperkäHler Hodge Theory.” The Many Facets of Geometry: A Tribute to Nigel Hitchin, Oxford University Press, 2010, doi:10.1093/acprof:oso/9780199534920.003.0016.
View
| DOI
| Download (ext.)
2010 | Published | Journal Article | IST-REx-ID: 18360 |
Rosman, Guy, et al. “Nonlinear Dimensionality Reduction by Topologically Constrained Isometric Embedding.” International Journal of Computer Vision, vol. 89, Springer Nature, 2010, pp. 56–68, doi:10.1007/s11263-010-0322-1.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2010 | Published | Journal Article | IST-REx-ID: 2095 |
Beeler, Thabo, et al. “High-Quality Single-Shot Capture of Facial Geometry.” ACM Transactions on Graphics, vol. 29, no. 4, ACM, 2010, doi:10.1145/1778765.1778777.
View
| DOI
| Download (ext.)
2010 | Published | Journal Article | IST-REx-ID: 2124 |
Maas, Jan. “Malliavin Calculus and Decoupling Inequalities in Banach Spaces.” Journal of Mathematical Analysis and Applications, vol. 363, no. 2, Academic Press, 2010, pp. 383–98, doi:10.1016/j.jmaa.2009.08.041.
View
| DOI
| Download (ext.)
2010 | Published | Journal Article | IST-REx-ID: 2194 |
Lemeshko, Mikhail, and Břetislav Friedrich. “An Analytic Model of the Stereodynamics of Rotationally Inelastic Molecular Collisions.” Physical Chemistry Chemical Physics, vol. 12, no. 5, Royal Society of Chemistry, 2010, pp. 1038–41, doi:10.1039/B920899B .
View
| DOI
| Download (ext.)