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 V, Piskac R, Suter P, Wies T. Building a calculus of data structures. In: Barthe G, Hermenegildo M, eds. Vol 5944. Springer; 2010: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 K, Konrad V, Nickovic D. Analog property checkers: a DDR2 case study. Formal Methods in System Design. 2010;36(2):114-130. doi:10.1007/s10703-009-0085-x
View
| DOI
| Download (ext.)
2010 | Published | Conference Paper | IST-REx-ID: 4380 |
Henzinger TA, Tomar A, Singh V, Wies T, Zufferey D. A marketplace for cloud resources. In: ACM; 2010:1-8. doi:10.1145/1879021.1879022
[Submitted Version]
View
| Files available
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 4381 |
Henzinger TA, Tomar A, Singh V, Wies T, Zufferey D. FlexPRICE: Flexible provisioning of resources in a cloud environment. In: IEEE; 2010:83-90. doi:10.1109/CLOUD.2010.71
[Submitted Version]
View
| Files available
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 4382 |
Guerraoui R, Henzinger TA, Kapalka M, Singh V. Transactions in the jungle. In: ACM; 2010:263-272. doi:10.1145/1810479.1810529
[Submitted Version]
View
| Files available
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 4389 |
Doyen L, Henzinger TA, Legay A, Nickovic D. Robustness of sequential circuits. In: IEEE; 2010:77-84. doi:10.1109/ACSD.2010.26
[Submitted Version]
View
| Files available
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 4390 |
Cerny P, Radhakrishna A, Zufferey D, Chaudhuri S, Alur R. Model checking of linearizability of concurrent list implementations. In: Vol 6174. Springer; 2010:465-479. doi:10.1007/978-3-642-14295-6_41
[Submitted Version]
View
| Files available
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 488 |
Alur R, Cerny P. Expressiveness of streaming string transducers. In: Vol 8. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2010:1-12. doi:10.4230/LIPIcs.FSTTCS.2010.1
[Published Version]
View
| Files available
| DOI
2010 | Published | Technical Report | IST-REx-ID: 5390 |
Chatterjee K, Fijalkow N. 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 P, Radhakrishna A, Zufferey D, Chaudhuri S, Alur R. 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 K, Lin S, Bernecky C, Gao Y, Taatjes D. P53 activates transcription by directing structural shifts in Mediator. Nature Structural and Molecular Biology. 2010;17(6):753-760. doi:10.1038/nsmb.1816
View
| DOI
| Download None (ext.)
2010 | Published | Journal Article | IST-REx-ID: 6142 |
Weber KP, De S, Kozarewa I, Turner DJ, Babu MM, de Bono M. Whole genome sequencing highlights genetic changes associated with laboratory domestication of C. elegans. PLoS ONE. 2010;5(11). doi:10.1371/journal.pone.0013922
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2010 | Published | Journal Article | IST-REx-ID: 12653 |
Pellicciotti F, Bauder A, Parola M. Effect of glaciers on streamflow trends in the Swiss Alps. Water Resources Research. 2010;46(10). doi:10.1029/2009wr009039
[Published Version]
View
| DOI
| Download Published Version (ext.)
2010 | Published | Journal Article | IST-REx-ID: 1465 |
Hausel T. Kac’s conjecture from Nakajima quiver varieties. Inventiones Mathematicae. 2010;181(1):21-37. doi:10.1007/s00222-010-0241-3
View
| DOI
| Download (ext.)
2010 | Published | Journal Article | IST-REx-ID: 1466 |
Hausel T, Letellier E, Rodríguez Villegas F. Topology of character varieties and representations of quivers. Comptes Rendus Mathematique. 2010;348(3-4):131-135. doi:10.1016/j.crma.2010.01.025
View
| DOI
| Download (ext.)
2010 | Published | Book Chapter | IST-REx-ID: 1468 |
Hausel T. S-Duality in HyperkäHler Hodge Theory. In: 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 G, Bronstein MM, Bronstein AM, Kimmel R. Nonlinear dimensionality reduction by topologically constrained isometric embedding. International Journal of Computer Vision. 2010;89: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 T, Bickel B, Beardsley P, Sumner B, Groß M. High-quality single-shot capture of facial geometry. ACM Transactions on Graphics. 2010;29(4). doi:10.1145/1778765.1778777
View
| DOI
| Download (ext.)
2010 | Published | Journal Article | IST-REx-ID: 2124 |
Maas J. Malliavin calculus and decoupling inequalities in Banach spaces. Journal of Mathematical Analysis and Applications. 2010;363(2):383-398. doi:10.1016/j.jmaa.2009.08.041
View
| DOI
| Download (ext.)
2010 | Published | Journal Article | IST-REx-ID: 2194 |
Lemeshko M, Friedrich B. An analytic model of the stereodynamics of rotationally inelastic molecular collisions. Physical Chemistry Chemical Physics. 2010;12(5):1038-1041. doi:10.1039/B920899B
View
| DOI
| Download (ext.)