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
Model checking of linearizability of concurrent list implementations
P. Cerny, A. Radhakrishna, D. Zufferey, S. Chaudhuri, R. Alur, in:, Springer, 2010, pp. 465–479.
[Submitted Version] View | Files available | DOI
 

2010 | Published | Conference Paper | IST-REx-ID: 4393 | OA
Simulation distances
P. Cerny, T.A. Henzinger, A. Radhakrishna, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010, pp. 235–268.
[Submitted Version] View | Files available | DOI
 

2010 | Published | Conference Paper | IST-REx-ID: 4396 | OA
Shape refinement through explicit heap analysis
D. Beyer, T.A. Henzinger, G. Théoduloz, D. Zufferey, in:, D. Rosenblum, G. Taenzer (Eds.), Springer, 2010, pp. 263–277.
[Submitted Version] View | Files available | DOI
 

2010 | Published | Conference Paper | IST-REx-ID: 488 | OA
Expressiveness of streaming string transducers
R. Alur, P. Cerny, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010, pp. 1–12.
[Published Version] View | Files available | DOI
 

2010 | Published | Conference Paper | IST-REx-ID: 489 | OA
How do we remember the past in randomised strategies?
J. Cristau, C. David, F. Horn, in:, Proceedings of GandALF 2010, Open Publishing Association, 2010, pp. 30–39.
[Published Version] View | DOI | Download Published Version (ext.)
 

2010 | Published | Journal Article | IST-REx-ID: 2095 | OA
High-quality single-shot capture of facial geometry
T. Beeler, B. Bickel, P. Beardsley, B. Sumner, M. Groß, ACM Transactions on Graphics 29 (2010).
View | DOI | Download (ext.)
 

2010 | Published | Journal Article | IST-REx-ID: 2124 | OA
Malliavin calculus and decoupling inequalities in Banach spaces
J. Maas, Journal of Mathematical Analysis and Applications 363 (2010) 383–398.
View | DOI | Download (ext.)
 

2010 | Published | Journal Article | IST-REx-ID: 2194 | OA
An analytic model of the stereodynamics of rotationally inelastic molecular collisions
M. Lemeshko, B. Friedrich, Physical Chemistry Chemical Physics 12 (2010) 1038–1041.
View | DOI | Download (ext.)
 

2010 | Published | Journal Article | IST-REx-ID: 2195 | OA
Communications: When diffraction rules the stereodynamics of rotationally inelastic collisions
M. Lemeshko, P. Jambrina, M. De Miranda, B. Friedrich, Journal of Chemical Physics 132 (2010).
View | DOI | Download (ext.)
 

2010 | Published | Journal Article | IST-REx-ID: 2196 | OA
Fine-tuning molecular energy levels by nonresonant laser pulses
M. Lemeshko, B. Friedrich, Journal of Physical Chemistry A 114 (2010) 9848–9854.
View | DOI | Download (ext.)
 

2010 | Published | Journal Article | IST-REx-ID: 2197 | OA
Multiple scattering of matter waves: An analytic model of the refractive index for atomic and molecular gases
M. Lemeshko, B. Friedrich, Physical Review A - Atomic, Molecular, and Optical Physics 82 (2010).
View | DOI | Download (ext.)
 

2010 | Published | Journal Article | IST-REx-ID: 232 | OA
Le problème des diviseurs pour des formes binaires de degré 4
R. De La Bretèche, T.D. Browning, Journal Fur Die Reine Und Angewandte Mathematik (2010) 1–44.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2010 | Published | Conference Paper | IST-REx-ID: 2322 | OA
Equivalence of Sobolev inequalities and Lieb-Thirring inequalities
R. Frank, É. Lieb, R. Seiringer, in:, World Scientific Publishing, 2010, pp. 523–535.
View | DOI | Download (ext.)
 

2010 | Published | Conference Paper | IST-REx-ID: 2323 | OA
Hot topics on cold gases
R. Seiringer, in:, World Scientific Publishing, 2010, pp. 231–245.
View | DOI | Download (ext.)
 

2010 | Published | Book Chapter | IST-REx-ID: 2324 | OA
Sharp fractional Hardy inequalities in half-spaces
R. Frank, R. Seiringer, in:, Around the Research of Vladimir Maz’ya I, Springer, 2010, pp. 161–167.
View | DOI | Download (ext.)
 

2010 | Published | Journal Article | IST-REx-ID: 2389 | OA
Asymptotic behavior of eigenvalues of Schrödinger type operators with degenerate kinetic energy
C. Hainzl, R. Seiringer, Mathematische Nachrichten 283 (2010) 489–499.
View | DOI | Download (ext.)
 

2010 | Published | Journal Article | IST-REx-ID: 2392 | OA
Bipolaron and N-polaron binding energies
R. Frank, É. Lieb, R. Seiringer, L. Thomas, Physical Review Letters 104 (2010).
View | DOI | Download (ext.)
 

2010 | Published | Journal Article | IST-REx-ID: 2409 | OA
Accuracy of phylogeny reconstruction methods combining overlapping gene data sets
A. Kupczok, H. Schmidt, A. Von Haeseler, Algorithms for Molecular Biology 5 (2010).
[Published Version] View | Files available | DOI
 

2010 | Published | Journal Article | IST-REx-ID: 2442 | OA
Nitrate Contra Auxin: Nutrient Sensing by roots
T. Beeckman, J. Friml, Developmental Cell 18 (2010) 877–878.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2010 | Published | Journal Article | IST-REx-ID: 2701 | OA
Wegner estimate and level repulsion for Wigner random matrices
L. Erdös, B. Schlein, H. Yau, International Mathematics Research Notices (2010) 436–479.
View | DOI | Download (ext.)
 

Filters and Search Terms

oa=1

Search

Filter Publications

Display / Sort

Citation Style: Default

Export / Embed