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.

289 Publications


2010 | Published | Conference Paper | IST-REx-ID: 2322 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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: 2435
Nevo E, Wagner U. 2010. On the embeddability of skeleta of spheres. Israel Journal of Mathematics. 174(1), 381–402.
View | DOI
 

2010 | Published | Journal Article | IST-REx-ID: 7078 | OA
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 | Journal Article | IST-REx-ID: 7079
Drymiotis FR, Drye TB, Wang Y, He J, Rhodes D, Modic KA, Cawthorne S, Zhang QR. 2010. Structure formation and very low thermal conductivity in Pb:Te:Ag:Se mixtures. Journal of Applied Physics. 107(3), 033519.
View | DOI
 

2010 | Published | Journal Article | IST-REx-ID: 7318
Giordani V, Freunberger SA, Bruce PG, Tarascon J-M, Larcher D. 2010. H2O2 decomposition reaction as selecting tool for catalysts in Li–O2 cells. Electrochemical and Solid-State Letters. 13(12), A180.
View | DOI
 

2010 | Published | Conference Paper | IST-REx-ID: 754
Alistarh D-A, Attiya H, Gilbert S, Giurgiu A, Guerraoui R. 2010. Fast randomized test-and-set and renaming. DISC: Distributed Computing, LNCS, vol. 6343 LNCS, 94–108.
View | DOI
 

2010 | Published | Conference Paper | IST-REx-ID: 755
Alistarh D-A, Gilbert S, Guerraoui R, Zadimoghaddam M. 2010. How efficient can gossip be? (On the cost of resilient information exchange). ICALP: International Colloquium on Automota, Languages and Programming, LNCS, vol. 6199 LNCS, 115–126.
View | DOI
 

2010 | Published | Conference Paper | IST-REx-ID: 756
Alistarh D-A, Gilbert S, Guerraoui R, Milošević Ž, Newport C. 2010. Securing every bit: Authenticated broadcast in radio networks. SPAA: Symposium on Parallelism in Algorithms and Architectures, 50–59.
View | DOI
 

2010 | Published | Conference Paper | IST-REx-ID: 758
Alistarh D-A, Gilbert S, Guerraoui R, Travers C. 2010. Brief announcement: New bounds for partially synchronous set agreement. DISC: Distributed Computing, LNCS, vol. 6343 LNCS, 404–405.
View | DOI
 

2010 | Published | Journal Article | IST-REx-ID: 7703
Sweeney LB, Luo L. 2010. ‘Fore brain: A hint of the ancestral cortex. Cell. 142(5), 679–681.
View | DOI
 

2010 | Published | Journal Article | IST-REx-ID: 474
Barton NH, Kelleher J, Etheridge A. 2010. A new model for extinction and recolonization in two dimensions: Quantifying phylogeography. Evolution. 64(9), 2701–2715.
View | DOI
 

2010 | Published | Conference Paper | IST-REx-ID: 488 | OA
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 | OA
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: 533
Hoenicke J, Leino K, Podelski A, Schäf M, Wies T. 2010. Doomed program points. Formal Methods in System Design. 37(2–3), 171–199.
View | DOI
 

2010 | Published | Technical Report | IST-REx-ID: 5388 | OA
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
 

Filters and Search Terms

year=2010

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed