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. 2010. Building a calculus of data structures. VMCAI: Verification, Model Checking and Abstract Interpretation, LNCS, vol. 5944, 26–44.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2010 | Published | Journal Article | IST-REx-ID: 4379 |
Jones K, Konrad V, Nickovic D. 2010. Analog property checkers: a DDR2 case study. Formal Methods in System Design. 36(2), 114–130.
View
| DOI
| Download (ext.)
2010 | Published | Conference Paper | IST-REx-ID: 4380 |
Henzinger TA, Tomar A, Singh V, Wies T, Zufferey D. 2010. A marketplace for cloud resources. EMSOFT: Embedded Software , 1–8.
[Submitted Version]
View
| Files available
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 4381 |
Henzinger TA, Tomar A, Singh V, Wies T, Zufferey D. 2010. FlexPRICE: Flexible provisioning of resources in a cloud environment. CLOUD: Cloud Computing, 83–90.
[Submitted Version]
View
| Files available
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 4382 |
Guerraoui R, Henzinger TA, Kapalka M, Singh V. 2010. Transactions in the jungle. SPAA: ACM Symposium on Parallel Algorithms and Architectures, 263–272.
[Submitted Version]
View
| Files available
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 4389 |
Doyen L, Henzinger TA, Legay A, Nickovic D. 2010. Robustness of sequential circuits. ACSD: Application of Concurrency to System Design, 77–84.
[Submitted Version]
View
| Files available
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 4390 |
Cerny P, Radhakrishna A, Zufferey D, Chaudhuri S, Alur R. 2010. Model checking of linearizability of concurrent list implementations. CAV: Computer Aided Verification, LNCS, vol. 6174, 465–479.
[Submitted Version]
View
| Files available
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 488 |
Alur R, Cerny P. 2010. Expressiveness of streaming string transducers. FSTTCS: Foundations of Software Technology and Theoretical Computer Science, LIPIcs, vol. 8, 1–12.
[Published Version]
View
| Files available
| DOI
2010 | Published | Technical Report | IST-REx-ID: 5390 |
Chatterjee K, Fijalkow N. 2010. Topological, automata-theoretic and logical characterization of finitary languages, IST Austria, 21p.
[Published Version]
View
| Files available
| DOI
2010 | Published | Technical Report | IST-REx-ID: 5391 |
Cerny P, Radhakrishna A, Zufferey D, Chaudhuri S, Alur R. 2010. Model checking of linearizability of concurrent list implementations, IST Austria, 27p.
[Published Version]
View
| Files available
| DOI
2010 | Published | Journal Article | IST-REx-ID: 598 |
Meyer K, Lin S, Bernecky C, Gao Y, Taatjes D. 2010. P53 activates transcription by directing structural shifts in Mediator. Nature Structural and Molecular Biology. 17(6), 753–760.
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. 2010. Whole genome sequencing highlights genetic changes associated with laboratory domestication of C. elegans. PLoS ONE. 5(11), e13922.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2010 | Published | Journal Article | IST-REx-ID: 12653 |
Pellicciotti F, Bauder A, Parola M. 2010. Effect of glaciers on streamflow trends in the Swiss Alps. Water Resources Research. 46(10), W10522.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2010 | Published | Journal Article | IST-REx-ID: 1465 |
Hausel T. 2010. Kac’s conjecture from Nakajima quiver varieties. Inventiones Mathematicae. 181(1), 21–37.
View
| DOI
| Download (ext.)
2010 | Published | Journal Article | IST-REx-ID: 1466 |
Hausel T, Letellier E, Rodríguez Villegas F. 2010. Topology of character varieties and representations of quivers. Comptes Rendus Mathematique. 348(3–4), 131–135.
View
| DOI
| Download (ext.)
2010 | Published | Book Chapter | IST-REx-ID: 1468 |
Hausel T. 2010.S-Duality in HyperkäHler Hodge Theory. In: The Many Facets of Geometry: A Tribute to Nigel Hitchin. .
View
| DOI
| Download (ext.)
2010 | Published | Journal Article | IST-REx-ID: 18360 |
Rosman G, Bronstein MM, Bronstein AM, Kimmel R. 2010. Nonlinear dimensionality reduction by topologically constrained isometric embedding. International Journal of Computer Vision. 89, 56–68.
[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. 2010. High-quality single-shot capture of facial geometry. ACM Transactions on Graphics. 29(4).
View
| DOI
| Download (ext.)
2010 | Published | Journal Article | IST-REx-ID: 2124 |
Maas J. 2010. Malliavin calculus and decoupling inequalities in Banach spaces. Journal of Mathematical Analysis and Applications. 363(2), 383–398.
View
| DOI
| Download (ext.)
2010 | Published | Journal Article | IST-REx-ID: 2194 |
Lemeshko M, Friedrich B. 2010. An analytic model of the stereodynamics of rotationally inelastic molecular collisions. Physical Chemistry Chemical Physics. 12(5), 1038–1041.
View
| DOI
| Download (ext.)