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.

5611 Publications

Search / Filter

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

Seiringer R. 2010. Hot topics on cold gases. ICMP: International Congress on Mathematical Physics, 231–245.

View | DOI | Download (ext.)

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

Frank R, Seiringer R. 2010.Sharp fractional Hardy inequalities in half-spaces. In: Around the Research of Vladimir Maz’ya I. International Mathematical Series, vol. 11, 161–167.

View | DOI | Download (ext.)

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

Hainzl C, Seiringer R. 2010. Asymptotic behavior of eigenvalues of Schrödinger type operators with degenerate kinetic energy. Mathematische Nachrichten. 283(3), 489–499.

View | DOI | Download (ext.)

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

Frank R, Lieb É, Seiringer R, Thomas L. 2010. Bipolaron and N-polaron binding energies. Physical Review Letters. 104(21).

View | DOI | Download (ext.)

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

Kupczok A, Schmidt H, Von Haeseler A. 2010. Accuracy of phylogeny reconstruction methods combining overlapping gene data sets . Algorithms for Molecular Biology. 5(1), 37.

[Published Version] View | Files available | DOI

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

Salje EKH, Safarik DJ, Modic KA, Gubernatis JE, Cooley JC, Taylor RD, Mihaila B, Saxena A, Lookman T, Smith JL, Fisher RA, Pasternak M, Opeil CP, Siegrist T, Littlewood PB, Lashley JC. 2010. Tin telluride: A weakly co-elastic metal. Physical Review B. 82(18), 184112.

[Preprint] View | DOI | Download Preprint (ext.) | arXiv

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 | Conference Paper | IST-REx-ID: 489 |

Cristau J, David C, Horn F. 2010. How do we remember the past in randomised strategies? . Proceedings of GandALF 2010. GandALF: Games, Automata, Logic, and Formal Verification, EPTCS, vol. 25, 30–39.

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

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

Chatterjee K, Cerny P, Henzinger TA, Radhakrishna A, Singh R. 2010. Quantitative synthesis for concurrent programs, IST Austria, 17p.

[Published Version] View | Files available | DOI

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

Cerny P, Henzinger TA, Radhakrishna A. 2010. Simulation distances, IST Austria, 24p.

[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: 6320 |

Bretèche R de la, Browning TD. 2010. Le problème des diviseurs pour des formes binaires de degré 4. Crelles Journal. 2010(646), 1–44.

[Preprint] View | DOI | Download Preprint (ext.) | arXiv

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: 13409 |

Klajn R. 2010. Immobilized azobenzenes for the construction of photoresponsive materials. Pure and Applied Chemistry. 82(12), 2247–2279.

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

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

Palacci JA, Abécassis B, Cottin-Bizonne C, Ybert C, Bocquet L. 2010. Colloidal motility and pattern formation under rectified diffusiophoresis. Physical Review Letters. 104(13), 138302.

[Preprint] View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv