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.

5611 Publications


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 | Journal Article | IST-REx-ID: 12649 | OA
The value of glacier mass balance, satellite snow cover images, and hourly discharge for improving the performance of a physically based distributed hydrological model
D. Finger, F. Pellicciotti, M. Konz, S. Rimkus, P. Burlando, Water Resources Research 47 (2011).
[Published Version] View | DOI | Download Published Version (ext.)
 

2011 | Published | Journal Article | IST-REx-ID: 12651 | OA
Spatial and temporal variability of air temperature on a melting glacier: Atmospheric controls, extrapolation methods and their effect on melt modeling, Juncal Norte Glacier, Chile
L. Petersen, F. Pellicciotti, Journal of Geophysical Research: Atmospheres 116 (2011).
[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 | 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 | Conference Paper | IST-REx-ID: 3351 | OA
On memoryless quantitative objectives
K. Chatterjee, L. Doyen, R. Singh, in:, O. Owe, M. Steffen, J.A. Telle (Eds.), Springer, 2011, pp. 148–159.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2011 | Published | Journal Article | IST-REx-ID: 3353 | OA
A theory of synchronous relational interfaces
S. Tripakis, B. Lickly, T.A. Henzinger, E. Lee, ACM Transactions on Programming Languages and Systems (TOPLAS) 33 (2011).
[Submitted Version] View | Files available | DOI
 

2011 | Published | Conference Paper | IST-REx-ID: 3355 | OA
Quantitative evaluation of BFT protocols
R. Halalai, T.A. Henzinger, V. Singh, in:, IEEE, 2011, pp. 255–264.
[Submitted Version] View | Files available | DOI
 

2011 | Published | Conference Paper | IST-REx-ID: 3356 | OA
Temporal specifications with accumulative values
U. Boker, K. Chatterjee, T.A. Henzinger, O. Kupferman, in:, IEEE, 2011.
[Submitted Version] View | Files available | DOI
 

2011 | Published | Conference Paper | IST-REx-ID: 3358 | OA
Scheduling large jobs by abstraction refinement
T.A. Henzinger, V. Singh, T. Wies, D. Zufferey, in:, ACM, 2011, pp. 329–342.
[Published Version] View | DOI | Download Published Version (ext.)
 

2011 | Published | Conference Paper | IST-REx-ID: 3360 | OA
Determinizing discounted-sum automata
U. Boker, T.A. Henzinger, in:, Springer, 2011, pp. 82–96.
[Published Version] View | Files available | DOI
 

2011 | Published | Conference Paper | IST-REx-ID: 3361 | OA
The complexity of quantitative information flow problems
P. Cerny, K. Chatterjee, T.A. Henzinger, in:, IEEE, 2011, pp. 205–217.
[Submitted Version] View | Files available | DOI
 

2011 | Published | Conference Paper | IST-REx-ID: 3362 | OA
Dynamic reactive modules
J. Fisher, T.A. Henzinger, D. Nickovic, N. Piterman, A. Singh, M. Vardi, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2011, pp. 404–418.
[Submitted Version] View | Files available | DOI
 

2011 | Submitted | Preprint | IST-REx-ID: 3363 | OA
The decidability frontier for probabilistic automata on infinite words
K. Chatterjee, T.A. Henzinger, M. Tracol, (n.d.).
[Preprint] View | Download Preprint (ext.) | arXiv
 

Filters and Search Terms

oa=1

Search

Filter Publications

Display / Sort

Export / Embed