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 | OA
Cerny, Pavol, Arjun Radhakrishna, Damien Zufferey, Swarat Chaudhuri, and Rajeev Alur. “Model Checking of Linearizability of Concurrent List Implementations,” 6174:465–79. Springer, 2010. https://doi.org/10.1007/978-3-642-14295-6_41.
[Submitted Version] View | Files available | DOI
 

2010 | Published | Conference Paper | IST-REx-ID: 4393 | OA
Cerny, Pavol, Thomas A Henzinger, and Arjun Radhakrishna. “Simulation Distances,” 6269:235–68. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010. https://doi.org/10.1007/978-3-642-15375-4_18.
[Submitted Version] View | Files available | DOI
 

2010 | Published | Conference Paper | IST-REx-ID: 4396 | OA
Beyer, Dirk, Thomas A Henzinger, Grégory Théoduloz, and Damien Zufferey. “Shape Refinement through Explicit Heap Analysis.” edited by David Rosenblum and Gabriele Taenzer, 6013:263–77. Springer, 2010. https://doi.org/10.1007/978-3-642-12029-9_19.
[Submitted Version] View | Files available | DOI
 

2010 | Published | Conference Paper | IST-REx-ID: 488 | OA
Alur, Rajeev, and Pavol Cerny. “Expressiveness of Streaming String Transducers,” 8:1–12. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010. 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, Julien, Claire David, and Florian Horn. “How Do We Remember the Past in Randomised Strategies? .” In Proceedings of GandALF 2010, 25:30–39. Open Publishing Association, 2010. https://doi.org/10.4204/EPTCS.25.7.
[Published Version] View | DOI | Download Published Version (ext.)
 

2010 | Published | Journal Article | IST-REx-ID: 2095 | OA
Beeler, Thabo, Bernd Bickel, Paul Beardsley, Bob Sumner, and Markus Groß. “High-Quality Single-Shot Capture of Facial Geometry.” ACM Transactions on Graphics. ACM, 2010. https://doi.org/10.1145/1778765.1778777.
View | DOI | Download (ext.)
 

2010 | Published | Journal Article | IST-REx-ID: 2124 | OA
Maas, Jan. “Malliavin Calculus and Decoupling Inequalities in Banach Spaces.” Journal of Mathematical Analysis and Applications. Academic Press, 2010. https://doi.org/10.1016/j.jmaa.2009.08.041.
View | DOI | Download (ext.)
 

2010 | Published | Journal Article | IST-REx-ID: 2194 | OA
Lemeshko, Mikhail, and Břetislav Friedrich. “An Analytic Model of the Stereodynamics of Rotationally Inelastic Molecular Collisions.” Physical Chemistry Chemical Physics. Royal Society of Chemistry, 2010. https://doi.org/10.1039/B920899B .
View | DOI | Download (ext.)
 

2010 | Published | Journal Article | IST-REx-ID: 2195 | OA
Lemeshko, Mikhail, Pablo Jambrina, Marcelo De Miranda, and Břetislav Friedrich. “Communications: When Diffraction Rules the Stereodynamics of Rotationally Inelastic Collisions.” Journal of Chemical Physics. American Institute of Physics, 2010. https://doi.org/10.1063/1.3386530.
View | DOI | Download (ext.)
 

2010 | Published | Journal Article | IST-REx-ID: 2196 | OA
Lemeshko, Mikhail, and Břetislav Friedrich. “Fine-Tuning Molecular Energy Levels by Nonresonant Laser Pulses.” Journal of Physical Chemistry A. American Chemical Society, 2010. https://doi.org/10.1021/jp1032299.
View | DOI | Download (ext.)
 

2010 | Published | Journal Article | IST-REx-ID: 2197 | OA
Lemeshko, Mikhail, and Břetislav Friedrich. “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. American Physical Society, 2010. https://doi.org/10.1103/PhysRevA.82.022711.
View | DOI | Download (ext.)
 

2010 | Published | Journal Article | IST-REx-ID: 232 | OA
De La Bretèche, Régis, and Timothy D Browning. “Le Problème Des Diviseurs Pour Des Formes Binaires de Degré 4.” Journal Fur Die Reine Und Angewandte Mathematik. Walter de Gruyter, 2010. https://doi.org/10.1515/CRELLE.2010.064.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2010 | Published | Conference Paper | IST-REx-ID: 2322 | OA
Frank, Rupert, Élliott Lieb, and Robert Seiringer. “ Equivalence of Sobolev Inequalities and Lieb-Thirring Inequalities,” 523–35. World Scientific Publishing, 2010. https://doi.org/10.1142/9789814304634_0045 .
View | DOI | Download (ext.)
 

2010 | Published | Conference Paper | IST-REx-ID: 2323 | OA
Seiringer, Robert. “Hot Topics on Cold Gases,” 231–45. World Scientific Publishing, 2010. https://doi.org/10.1142/9789814304634_0013.
View | DOI | Download (ext.)
 

2010 | Published | Book Chapter | IST-REx-ID: 2324 | OA
Frank, Rupert, and Robert Seiringer. “Sharp Fractional Hardy Inequalities in Half-Spaces.” In Around the Research of Vladimir Maz’ya I, 11:161–67. Springer, 2010. 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, Christian, and Robert Seiringer. “Asymptotic Behavior of Eigenvalues of Schrödinger Type Operators with Degenerate Kinetic Energy.” Mathematische Nachrichten. Wiley-Blackwell, 2010. https://doi.org/10.1002/mana.200810195.
View | DOI | Download (ext.)
 

2010 | Published | Journal Article | IST-REx-ID: 2392 | OA
Frank, Rupert, Élliott Lieb, Robert Seiringer, and Lawrence Thomas. “Bipolaron and N-Polaron Binding Energies.” Physical Review Letters. American Physical Society, 2010. https://doi.org/10.1103/PhysRevLett.104.210402.
View | DOI | Download (ext.)
 

2010 | Published | Journal Article | IST-REx-ID: 2409 | OA
Kupczok, Anne, Heiko Schmidt, and Arndt Von Haeseler. “Accuracy of Phylogeny Reconstruction Methods Combining Overlapping Gene Data Sets .” Algorithms for Molecular Biology. BioMed Central, 2010. https://doi.org/10.1186/1748-7188-5-37.
[Published Version] View | Files available | DOI
 

2010 | Published | Journal Article | IST-REx-ID: 2442 | OA
Beeckman, Tom, and Jiří Friml. “Nitrate Contra Auxin: Nutrient Sensing by Roots.” Developmental Cell. Cell Press, 2010. https://doi.org/10.1016/j.devcel.2010.05.020.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2010 | Published | Journal Article | IST-REx-ID: 2701 | OA
Erdös, László, Benjamin Schlein, and Horng Yau. “Wegner Estimate and Level Repulsion for Wigner Random Matrices.” International Mathematics Research Notices. Oxford University Press, 2010. https://doi.org/10.1093/imrn/rnp136.
View | DOI | Download (ext.)
 

Filters and Search Terms

oa=1

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed