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
Vexiau R, Bouloufa N, Aymar M, Danzl JG, Mark M, Nägerl H, Dulieu O. 2011. Optimal trapping wavelengths of Cs 2 molecules in an optical lattice. European Physical Journal D. 65(1–2), 243–250.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

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

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

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

2011 | Published | Journal Article | IST-REx-ID: 12651 | OA
Petersen L, Pellicciotti F. 2011. 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. Journal of Geophysical Research: Atmospheres. 116(D23), D23109.
[Published Version] View | DOI | Download Published Version (ext.)
 

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

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

2011 | Research Data Reference | IST-REx-ID: 9762 | OA
Palero F, Abello P, Macpherson E, Beaumont M, Pascual M. 2011. Data from: Effect of oceanographic barriers and overfishing on the population genetic structure of the European spiny lobster (Palinurus elephas), IST Austria, 10.5061/dryad.299h8.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2011 | Published | Conference Paper | IST-REx-ID: 9943 | OA
Sommer CM, Straehle C, Köthe U, Hamprecht FA. 2011. Ilastik: Interactive learning and segmentation toolkit. 2011 IEEE International Symposium on Biomedical Imaging: from Nano to Micro. ISBI: International Symposium on Biomedical Imaging.
[Preprint] View | DOI | Download Preprint (ext.)
 

2011 | Published | Conference Paper | IST-REx-ID: 3345 | OA
Chatterjee K, Doyen L. 2011. Energy and mean-payoff parity Markov Decision Processes. MFCS: Mathematical Foundations of Computer Science, LNCS, vol. 6907, 206–218.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

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

2011 | Published | Conference Paper | IST-REx-ID: 3347 | OA
Chatterjee K, Fijalkow N. 2011. Finitary languages. LATA: Language and Automata Theory and Applications, LNCS, vol. 6638, 216–226.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

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

2011 | Published | Conference Paper | IST-REx-ID: 3349 | OA
Chatterjee K, Fijalkow N. 2011. A reduction from parity games to simple stochastic games. GandALF: Games, Automata, Logic, and Formal Verification, EPTCS, vol. 54, 74–86.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2011 | Published | Conference Paper | IST-REx-ID: 3351 | OA
Chatterjee K, Doyen L, Singh R. 2011. On memoryless quantitative objectives. FCT: Fundamentals of Computation Theory, LNCS, vol. 6914, 148–159.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

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

2011 | Published | Conference Paper | IST-REx-ID: 3355 | OA
Halalai R, Henzinger TA, Singh V. 2011. Quantitative evaluation of BFT protocols. QEST: Quantitative Evaluation of Systems, 255–264.
[Submitted Version] View | Files available | DOI
 

2011 | Published | Conference Paper | IST-REx-ID: 3356 | OA
Boker U, Chatterjee K, Henzinger TA, Kupferman O. 2011. Temporal specifications with accumulative values. LICS: Logic in Computer Science, 5970226.
[Submitted Version] View | Files available | DOI
 

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

2011 | Published | Conference Paper | IST-REx-ID: 3360 | OA
Boker U, Henzinger TA. 2011. Determinizing discounted-sum automata. CSL: Computer Science Logic, LIPIcs, vol. 12, 82–96.
[Published Version] View | Files available | DOI
 

Filters and Search Terms

oa=1

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed