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, Pavol, et al. Model Checking of Linearizability of Concurrent List Implementations. Vol. 6174, Springer, 2010, pp. 465–79, doi:10.1007/978-3-642-14295-6_41.
[Submitted Version]
View
| Files available
| DOI
2010 |
Published |
Conference Paper |
IST-REx-ID: 4393 |
Cerny, Pavol, et al. Simulation Distances. Vol. 6269, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010, pp. 235–68, doi:10.1007/978-3-642-15375-4_18.
[Submitted Version]
View
| Files available
| DOI
2010 |
Published |
Conference Paper |
IST-REx-ID: 4396 |
Beyer, Dirk, et al. Shape Refinement through Explicit Heap Analysis. Edited by David Rosenblum and Gabriele Taenzer, vol. 6013, Springer, 2010, pp. 263–77, doi:10.1007/978-3-642-12029-9_19.
[Submitted Version]
View
| Files available
| DOI
2010 |
Published |
Conference Paper |
IST-REx-ID: 488 |
Alur, Rajeev, and Pavol Cerny. Expressiveness of Streaming String Transducers. Vol. 8, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010, pp. 1–12, doi:10.4230/LIPIcs.FSTTCS.2010.1.
[Published Version]
View
| Files available
| DOI
2010 |
Published |
Conference Paper |
IST-REx-ID: 489 |
Cristau, Julien, et al. “How Do We Remember the Past in Randomised Strategies? .” Proceedings of GandALF 2010, vol. 25, Open Publishing Association, 2010, pp. 30–39, doi:10.4204/EPTCS.25.7.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2010 |
Published |
Journal Article |
IST-REx-ID: 2095 |
Beeler, Thabo, et al. “High-Quality Single-Shot Capture of Facial Geometry.” ACM Transactions on Graphics, vol. 29, no. 4, ACM, 2010, doi:10.1145/1778765.1778777.
View
| DOI
| Download (ext.)
2010 |
Published |
Journal Article |
IST-REx-ID: 2124 |
Maas, Jan. “Malliavin Calculus and Decoupling Inequalities in Banach Spaces.” Journal of Mathematical Analysis and Applications, vol. 363, no. 2, Academic Press, 2010, pp. 383–98, doi:10.1016/j.jmaa.2009.08.041.
View
| DOI
| Download (ext.)
2010 |
Published |
Journal Article |
IST-REx-ID: 2194 |
Lemeshko, Mikhail, and Břetislav Friedrich. “An Analytic Model of the Stereodynamics of Rotationally Inelastic Molecular Collisions.” Physical Chemistry Chemical Physics, vol. 12, no. 5, Royal Society of Chemistry, 2010, pp. 1038–41, doi:10.1039/B920899B .
View
| DOI
| Download (ext.)
2010 |
Published |
Journal Article |
IST-REx-ID: 2195 |
Lemeshko, Mikhail, et al. “Communications: When Diffraction Rules the Stereodynamics of Rotationally Inelastic Collisions.” Journal of Chemical Physics, vol. 132, no. 16, American Institute of Physics, 2010, doi:10.1063/1.3386530.
View
| DOI
| Download (ext.)
2010 |
Published |
Journal Article |
IST-REx-ID: 2196 |
Lemeshko, Mikhail, and Břetislav Friedrich. “Fine-Tuning Molecular Energy Levels by Nonresonant Laser Pulses.” Journal of Physical Chemistry A, vol. 114, no. 36, American Chemical Society, 2010, pp. 9848–54, doi:10.1021/jp1032299.
View
| DOI
| Download (ext.)
2010 |
Published |
Journal Article |
IST-REx-ID: 2197 |
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, vol. 82, no. 2, American Physical Society, 2010, doi:10.1103/PhysRevA.82.022711.
View
| DOI
| Download (ext.)
2010 |
Published |
Journal Article |
IST-REx-ID: 232 |
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, no. 646, Walter de Gruyter, 2010, pp. 1–44, doi:10.1515/CRELLE.2010.064.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2010 |
Published |
Conference Paper |
IST-REx-ID: 2322 |
Frank, Rupert, et al. Equivalence of Sobolev Inequalities and Lieb-Thirring Inequalities. World Scientific Publishing, 2010, pp. 523–35, doi:10.1142/9789814304634_0045 .
View
| DOI
| Download (ext.)
2010 |
Published |
Conference Paper |
IST-REx-ID: 2323 |
Seiringer, Robert. Hot Topics on Cold Gases. World Scientific Publishing, 2010, pp. 231–45, doi:10.1142/9789814304634_0013.
View
| DOI
| Download (ext.)
2010 |
Published |
Book Chapter |
IST-REx-ID: 2324 |
Frank, Rupert, and Robert Seiringer. “Sharp Fractional Hardy Inequalities in Half-Spaces.” Around the Research of Vladimir Maz’ya I, vol. 11, Springer, 2010, pp. 161–67, doi:10.1007/978-1-4419-1341-8_6.
View
| DOI
| Download (ext.)
2010 |
Published |
Journal Article |
IST-REx-ID: 2389 |
Hainzl, Christian, and Robert Seiringer. “Asymptotic Behavior of Eigenvalues of Schrödinger Type Operators with Degenerate Kinetic Energy.” Mathematische Nachrichten, vol. 283, no. 3, Wiley-Blackwell, 2010, pp. 489–99, doi:10.1002/mana.200810195.
View
| DOI
| Download (ext.)
2010 |
Published |
Journal Article |
IST-REx-ID: 2392 |
Frank, Rupert, et al. “Bipolaron and N-Polaron Binding Energies.” Physical Review Letters, vol. 104, no. 21, American Physical Society, 2010, doi:10.1103/PhysRevLett.104.210402.
View
| DOI
| Download (ext.)
2010 |
Published |
Journal Article |
IST-REx-ID: 2409 |
Kupczok, Anne, et al. “Accuracy of Phylogeny Reconstruction Methods Combining Overlapping Gene Data Sets .” Algorithms for Molecular Biology, vol. 5, no. 1, 37, BioMed Central, 2010, doi:10.1186/1748-7188-5-37.
[Published Version]
View
| Files available
| DOI
2010 |
Published |
Journal Article |
IST-REx-ID: 2442 |
Beeckman, Tom, and Jiří Friml. “Nitrate Contra Auxin: Nutrient Sensing by Roots.” Developmental Cell, vol. 18, no. 6, Cell Press, 2010, pp. 877–78, doi: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 |
Erdös, László, et al. “Wegner Estimate and Level Repulsion for Wigner Random Matrices.” International Mathematics Research Notices, no. 3, Oxford University Press, 2010, pp. 436–79, doi:10.1093/imrn/rnp136.
View
| DOI
| Download (ext.)