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.
5612 Publications
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: 4393 |
Cerny P, Henzinger TA, Radhakrishna A. 2010. Simulation distances. CONCUR: Concurrency Theory, LNCS, vol. 6269, 235–268.
[Submitted Version]
View
| Files available
| DOI
2010 |
Published |
Conference Paper |
IST-REx-ID: 4396 |
Beyer D, Henzinger TA, Théoduloz G, Zufferey D. 2010. Shape refinement through explicit heap analysis. FASE: Fundamental Approaches To Software Engineering, LNCS, vol. 6013, 263–277.
[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 |
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 |
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.)
2010 |
Published |
Journal Article |
IST-REx-ID: 2195 |
Lemeshko M, Jambrina P, De Miranda M, Friedrich B. 2010. Communications: When diffraction rules the stereodynamics of rotationally inelastic collisions. Journal of Chemical Physics. 132(16).
View
| DOI
| Download (ext.)
2010 |
Published |
Journal Article |
IST-REx-ID: 2196 |
Lemeshko M, Friedrich B. 2010. Fine-tuning molecular energy levels by nonresonant laser pulses. Journal of Physical Chemistry A. 114(36), 9848–9854.
View
| DOI
| Download (ext.)
2010 |
Published |
Journal Article |
IST-REx-ID: 2197 |
Lemeshko M, Friedrich B. 2010. Multiple scattering of matter waves: An analytic model of the refractive index for atomic and molecular gases. Physical Review A - Atomic, Molecular, and Optical Physics. 82(2).
View
| DOI
| Download (ext.)
2010 |
Published |
Journal Article |
IST-REx-ID: 232 |
De La Bretèche R, Browning TD. 2010. Le problème des diviseurs pour des formes binaires de degré 4. Journal fur die Reine und Angewandte Mathematik. (646), 1–44.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2010 |
Published |
Conference Paper |
IST-REx-ID: 2322 |
Frank R, Lieb É, Seiringer R. 2010. Equivalence of Sobolev inequalities and Lieb-Thirring inequalities. ICMP: International Congress on Mathematical Physics, 523–535.
View
| DOI
| Download (ext.)
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: 2442 |
Beeckman T, Friml J. 2010. Nitrate Contra Auxin: Nutrient Sensing by roots. Developmental Cell. 18(6), 877–878.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2010 |
Published |
Journal Article |
IST-REx-ID: 2701 |
Erdös L, Schlein B, Yau H. 2010. Wegner estimate and level repulsion for Wigner random matrices. International Mathematics Research Notices. (3), 436–479.
View
| DOI
| Download (ext.)