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 |

Hot topics on cold gases
R. Seiringer, in:, World Scientific Publishing, 2010, pp. 231–245.

View | DOI | Download (ext.)

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

Sharp fractional Hardy inequalities in half-spaces
R. Frank, R. Seiringer, in:, Around the Research of Vladimir Maz’ya I, Springer, 2010, pp. 161–167.

View | DOI | Download (ext.)

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

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

View | DOI | Download (ext.)

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

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

View | DOI | Download (ext.)

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

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

[Published Version] View | Files available | DOI

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

Tin telluride: A weakly co-elastic metal
E.K.H. Salje, D.J. Safarik, K.A. Modic, J.E. Gubernatis, J.C. Cooley, R.D. Taylor, B. Mihaila, A. Saxena, T. Lookman, J.L. Smith, R.A. Fisher, M. Pasternak, C.P. Opeil, T. Siegrist, P.B. Littlewood, J.C. Lashley, Physical Review B 82 (2010).

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

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

How do we remember the past in randomised strategies?
J. Cristau, C. David, F. Horn, in:, Proceedings of GandALF 2010, Open Publishing Association, 2010, pp. 30–39.

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

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

Quantitative synthesis for concurrent programs
K. Chatterjee, P. Cerny, T.A. Henzinger, A. Radhakrishna, R. Singh, Quantitative Synthesis for Concurrent Programs, IST Austria, 2010.

[Published Version] View | Files available | DOI

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

Simulation distances
P. Cerny, T.A. Henzinger, A. Radhakrishna, Simulation Distances, IST Austria, 2010.

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

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

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

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

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

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

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

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

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