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.

8923 Publications


2011 | Published | Journal Article | IST-REx-ID: 1051
Demonstration of the temporal matter-wave Talbot effect for trapped matter waves
M. Mark, E. Haller, J.G. Danzl, K. Lauber, M. Gustavsson, H. Nägerl, New Journal of Physics 13 (2011).
View | DOI
 

2011 | Published | Journal Article | IST-REx-ID: 1052 | OA
Optimal trapping wavelengths of Cs 2 molecules in an optical lattice
R. Vexiau, N. Bouloufa, M. Aymar, J.G. Danzl, M. Mark, H. Nägerl, O. Dulieu, European Physical Journal D 65 (2011) 243–250.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2011 | Published | Journal Article | IST-REx-ID: 1053 | OA
Precision measurements on a tunable Mott insulator of ultracold atoms
M. Mark, E. Haller, K. Lauber, J.G. Danzl, A. Daley, H. Nägerl, Physical Review Letters 107 (2011).
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2011 | Published | Journal Article | IST-REx-ID: 1054 | OA
Three-body correlation functions and recombination rates for bosons in three dimensions and one dimension
E. Haller, M. Rabie, M. Mark, J.G. Danzl, R. Hart, K. Lauber, G. Pupillo, H. Nägerl, Physical Review Letters 107 (2011).
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2011 | Published | Conference Paper | IST-REx-ID: 11864
An expressive mechanism for auctions on the web
P. Dütting, M.H. Henzinger, I. Weber, in:, Proceedings of the 20th International Conference on World Wide Web, Association for Computing Machinery, 2011, pp. 127–136.
View | DOI
 

2011 | Published | Journal Article | IST-REx-ID: 12649 | OA [Published Version] View | DOI | Download Published Version (ext.)
 

2011 | Published | Book Chapter | IST-REx-ID: 12650
Streamflow Trends in Mountainous Regions
P. Molnar, P. Burlando, F. Pellicciotti, in:, V. Singh, P. Singh, U. Haritashya (Eds.), Encyclopedia of Snow, Ice and Glaciers, 1st ed., Springer Nature, Dordrecht, 2011, pp. 1084–1089.
View | DOI
 

2011 | Published | Journal Article | IST-REx-ID: 12651 | OA [Published Version] View | DOI | Download Published Version (ext.)
 

2011 | Published | Journal Article | IST-REx-ID: 12652 | OA
Transmission of solar radiation through clouds on melting glaciers: A comparison of parameterizations and their impact on melt modelling
F. Pellicciotti, T. Raschle, T. Huerlimann, M. Carenzo, P. Burlando, Journal of Glaciology 57 (2011) 367–381.
[Published Version] View | DOI | Download Published Version (ext.)
 

2011 | Published | Journal Article | IST-REx-ID: 1299
Internal structure of the fly elementary motion detector
H. Eichner, M.A. Jösch, B. Schnell, D. Reiff, A. Borst, Neuron 70 (2011) 1155–1164.
View | DOI
 

2011 | Published | Journal Article | IST-REx-ID: 969 | OA
Isotope effect on the superfluid density in conventional and high-temperature superconductors
M. Serbyn, P. Lee, Physical Review B - Condensed Matter and Materials Physics 83 (2011).
View | DOI | Download (ext.)
 

2011 | Research Data Reference | IST-REx-ID: 9762 | OA [Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2011 | Published | Conference Paper | IST-REx-ID: 9943 | OA
Ilastik: Interactive learning and segmentation toolkit
C.M. Sommer, C. Straehle, U. Köthe, F.A. Hamprecht, in:, 2011 IEEE International Symposium on Biomedical Imaging: From Nano to Micro, Institute of Electrical and Electronics Engineers, 2011.
[Preprint] View | DOI | Download Preprint (ext.)
 

2011 | Published | Conference Paper | IST-REx-ID: 3345 | OA
Energy and mean-payoff parity Markov Decision Processes
K. Chatterjee, L. Doyen, in:, Springer, 2011, pp. 206–218.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2011 | Published | Conference Paper | IST-REx-ID: 3346 | OA
Two views on multiple mean payoff objectives in Markov Decision Processes
T. Brázdil, V. Brožek, K. Chatterjee, V. Forejt, A. Kučera, in:, IEEE, 2011.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2011 | Published | Conference Paper | IST-REx-ID: 3347 | OA
Finitary languages
K. Chatterjee, N. Fijalkow, in:, Springer, 2011, pp. 216–226.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2011 | Published | Conference Paper | IST-REx-ID: 3348 | OA
Synthesis of memory efficient real time controllers for safety objectives
K. Chatterjee, V. Prabhu, in:, Springer, 2011, pp. 221–230.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2011 | Published | Conference Paper | IST-REx-ID: 3349 | OA
A reduction from parity games to simple stochastic games
K. Chatterjee, N. Fijalkow, in:, EPTCS, 2011, pp. 74–86.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2011 | Published | Journal Article | IST-REx-ID: 335
Means and limits of control of the shell parameters in hollow nanoparticles obtained by the Kirkendall effect
M. Ibáñez, J. Fan, W. Li, D. Cadavid, R. Nafria, A. Carrete, A. Cabot, Chemistry of Materials 23 (2011) 3095–3104.
View | DOI
 

2011 | Published | Conference Paper | IST-REx-ID: 3350
Minimum attention controller synthesis for omega regular objectives
K. Chatterjee, R. Majumdar, in:, U. Fahrenberg, S. Tripakis (Eds.), Springer, 2011, pp. 145–159.
View | DOI
 

Search

Filter Publications

Display / Sort

Export / Embed