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 (pp. 523–535). Presented at the ICMP: International Congress on Mathematical Physics, World Scientific Publishing. https://doi.org/10.1142/9789814304634_0045
View | DOI | Download (ext.)
 

2010 | Published | Conference Paper | IST-REx-ID: 2323 | OA
Seiringer, R. (2010). Hot topics on cold gases (pp. 231–245). Presented at the ICMP: International Congress on Mathematical Physics, World Scientific Publishing. https://doi.org/10.1142/9789814304634_0013
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 (Vol. 11, pp. 161–167). Springer. https://doi.org/10.1007/978-1-4419-1341-8_6
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. Wiley-Blackwell. https://doi.org/10.1002/mana.200810195
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. American Physical Society. https://doi.org/10.1103/PhysRevLett.104.210402
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. BioMed Central. https://doi.org/10.1186/1748-7188-5-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. Springer. https://doi.org/10.1007/s11856-009-0119-5
View | DOI
 

2010 | Published | Journal Article | IST-REx-ID: 7078 | OA
Salje, E. K. H., Safarik, D. J., Modic, K. A., Gubernatis, J. E., Cooley, J. C., Taylor, R. D., … Lashley, J. C. (2010). Tin telluride: A weakly co-elastic metal. Physical Review B. APS. https://doi.org/10.1103/physrevb.82.184112
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2010 | Published | Journal Article | IST-REx-ID: 7079
Drymiotis, F. R., Drye, T. B., Wang, Y., He, J., Rhodes, D., Modic, K. A., … Zhang, Q. R. (2010). Structure formation and very low thermal conductivity in Pb:Te:Ag:Se mixtures. Journal of Applied Physics. AIP. https://doi.org/10.1063/1.3284946
View | DOI
 

2010 | Published | Journal Article | IST-REx-ID: 7318
Giordani, V., Freunberger, S. A., Bruce, P. G., Tarascon, J.-M., & Larcher, D. (2010). H2O2 decomposition reaction as selecting tool for catalysts in Li–O2 cells. Electrochemical and Solid-State Letters. The Electrochemical Society. https://doi.org/10.1149/1.3494045
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 (Vol. 6343 LNCS, pp. 94–108). Presented at the DISC: Distributed Computing, Springer. https://doi.org/10.1007/978-3-642-15763-9_9
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) (Vol. 6199 LNCS, pp. 115–126). Presented at the ICALP: International Colloquium on Automota, Languages and Programming, Springer. https://doi.org/10.1007/978-3-642-14162-1_10
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 (pp. 50–59). Presented at the SPAA: Symposium on Parallelism in Algorithms and Architectures, ACM. https://doi.org/10.1145/1810479.1810489
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 (Vol. 6343 LNCS, pp. 404–405). Presented at the DISC: Distributed Computing, Springer. https://doi.org/10.1007/978-3-642-15763-9_40
View | DOI
 

2010 | Published | Journal Article | IST-REx-ID: 7703
Sweeney, L. B., & Luo, L. (2010). ‘Fore brain: A hint of the ancestral cortex. Cell. Elsevier. https://doi.org/10.1016/j.cell.2010.08.024
View | DOI
 

2010 | Published | Journal Article | IST-REx-ID: 474
Barton, N. H., Kelleher, J., & Etheridge, A. (2010). A new model for extinction and recolonization in two dimensions: Quantifying phylogeography. Evolution. Wiley-Blackwell. https://doi.org/10.1111/j.1558-5646.2010.01019.x
View | DOI
 

2010 | Published | Conference Paper | IST-REx-ID: 488 | OA
Alur, R., & Cerny, P. (2010). Expressiveness of streaming string transducers (Vol. 8, pp. 1–12). Presented at the FSTTCS: Foundations of Software Technology and Theoretical Computer Science, Chennai, India: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.FSTTCS.2010.1
[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? . In Proceedings of GandALF 2010 (Vol. 25, pp. 30–39). Minori, Amalfi Coast, Italy: Open Publishing Association. https://doi.org/10.4204/EPTCS.25.7
[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. Springer. https://doi.org/10.1007/s10703-010-0102-0
View | DOI
 

2010 | Published | Technical Report | IST-REx-ID: 5388 | OA
Chatterjee, K., Cerny, P., Henzinger, T. A., Radhakrishna, A., & Singh, R. (2010). Quantitative synthesis for concurrent programs. IST Austria. https://doi.org/10.15479/AT:IST-2010-0004
[Published Version] View | Files available | DOI
 

Filters and Search Terms

year=2010

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed