ISTA Research Explorer

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

Search / Filter

2010 | Published | Conference Paper | IST-REx-ID: 4378 |

Building a calculus of data structures
V. Kuncak, R. Piskac, P. Suter, T. Wies, in:, G. Barthe, M. Hermenegildo (Eds.), Springer, 2010, pp. 26–44.

[Submitted Version] View | DOI | Download Submitted Version (ext.)

2010 | Published | Journal Article | IST-REx-ID: 4379 |

Analog property checkers: a DDR2 case study
K. Jones, V. Konrad, D. Nickovic, Formal Methods in System Design 36 (2010) 114–130.

View | DOI | Download (ext.)

2010 | Published | Conference Paper | IST-REx-ID: 4380 |

A marketplace for cloud resources
T.A. Henzinger, A. Tomar, V. Singh, T. Wies, D. Zufferey, in:, ACM, 2010, pp. 1–8.

[Submitted Version] View | Files available | DOI

2010 | Published | Conference Paper | IST-REx-ID: 4381 |

FlexPRICE: Flexible provisioning of resources in a cloud environment
T.A. Henzinger, A. Tomar, V. Singh, T. Wies, D. Zufferey, in:, IEEE, 2010, pp. 83–90.

[Submitted Version] View | Files available | DOI

2010 | Published | Conference Paper | IST-REx-ID: 4382 |

Transactions in the jungle
R. Guerraoui, T.A. Henzinger, M. Kapalka, V. Singh, in:, ACM, 2010, pp. 263–272.

[Submitted Version] View | Files available | DOI

2010 | Published | Conference Paper | IST-REx-ID: 4389 |

Robustness of sequential circuits
L. Doyen, T.A. Henzinger, A. Legay, D. Nickovic, in:, IEEE, 2010, pp. 77–84.

[Submitted Version] View | Files available | DOI

2010 | Published | Conference Paper | IST-REx-ID: 4390 |

Model checking of linearizability of concurrent list implementations
P. Cerny, A. Radhakrishna, D. Zufferey, S. Chaudhuri, R. Alur, in:, Springer, 2010, pp. 465–479.

[Submitted Version] View | Files available | DOI

2010 | Published | Conference Paper | IST-REx-ID: 488 |

Expressiveness of streaming string transducers
R. Alur, P. Cerny, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010, pp. 1–12.

[Published Version] View | Files available | DOI

2010 | Published | Technical Report | IST-REx-ID: 5390 |

Topological, automata-theoretic and logical characterization of finitary languages
K. Chatterjee, N. Fijalkow, Topological, Automata-Theoretic and Logical Characterization of Finitary Languages, IST Austria, 2010.

[Published Version] View | Files available | DOI

2010 | Published | Technical Report | IST-REx-ID: 5391 |

Model checking of linearizability of concurrent list implementations
P. Cerny, A. Radhakrishna, D. Zufferey, S. Chaudhuri, R. Alur, Model Checking of Linearizability of Concurrent List Implementations, IST Austria, 2010.

[Published Version] View | Files available | DOI

2010 | Published | Journal Article | IST-REx-ID: 598 |

P53 activates transcription by directing structural shifts in Mediator
K. Meyer, S. Lin, C. Bernecky, Y. Gao, D. Taatjes, Nature Structural and Molecular Biology 17 (2010) 753–760.

View | DOI | Download None (ext.)

2010 | Published | Journal Article | IST-REx-ID: 6142 |

Whole genome sequencing highlights genetic changes associated with laboratory domestication of C. elegans
K.P. Weber, S. De, I. Kozarewa, D.J. Turner, M.M. Babu, M. de Bono, PLoS ONE 5 (2010).

[Published Version] View | Files available | DOI | PubMed | Europe PMC

2010 | Published | Journal Article | IST-REx-ID: 12653 |

Effect of glaciers on streamflow trends in the Swiss Alps
F. Pellicciotti, A. Bauder, M. Parola, Water Resources Research 46 (2010).

[Published Version] View | DOI | Download Published Version (ext.)

2010 | Published | Journal Article | IST-REx-ID: 1465 |

Kac's conjecture from Nakajima quiver varieties
T. Hausel, Inventiones Mathematicae 181 (2010) 21–37.

View | DOI | Download (ext.)

2010 | Published | Journal Article | IST-REx-ID: 1466 |

Topology of character varieties and representations of quivers
T. Hausel, E. Letellier, F. Rodríguez Villegas, Comptes Rendus Mathematique 348 (2010) 131–135.

View | DOI | Download (ext.)

2010 | Published | Book Chapter | IST-REx-ID: 1468 |

S-Duality in HyperkäHler Hodge Theory
T. Hausel, in:, The Many Facets of Geometry: A Tribute to Nigel Hitchin, Oxford University Press, 2010.

View | DOI | Download (ext.)

2010 | Published | Journal Article | IST-REx-ID: 18360 |

Nonlinear dimensionality reduction by topologically constrained isometric embedding
G. Rosman, M.M. Bronstein, A.M. Bronstein, R. Kimmel, International Journal of Computer Vision 89 (2010) 56–68.

[Published Version] View | DOI | Download Published Version (ext.)

2010 | Published | Journal Article | IST-REx-ID: 2095 |

High-quality single-shot capture of facial geometry
T. Beeler, B. Bickel, P. Beardsley, B. Sumner, M. Groß, ACM Transactions on Graphics 29 (2010).

View | DOI | Download (ext.)

2010 | Published | Journal Article | IST-REx-ID: 2124 |

Malliavin calculus and decoupling inequalities in Banach spaces
J. Maas, Journal of Mathematical Analysis and Applications 363 (2010) 383–398.

View | DOI | Download (ext.)

2010 | Published | Journal Article | IST-REx-ID: 2194 |

An analytic model of the stereodynamics of rotationally inelastic molecular collisions
M. Lemeshko, B. Friedrich, Physical Chemistry Chemical Physics 12 (2010) 1038–1041.

View | DOI | Download (ext.)