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.

10717 Publications


2009 | Published | Journal Article | IST-REx-ID: 1043 | OA
Danzl, J. G., Mark, M., Haller, E., Gustavsson, M., Bouloufa, N., Dulieu, O., … Nägerl, H. (2009). Precision molecular spectroscopy for ground state transfer of molecular quantum gases. Faraday Discussions. Royal Society of Chemistry. https://doi.org/10.1039/b820542f
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2009 | Published | Conference Paper | IST-REx-ID: 964
Serbyn, M., Skvortsov, M., Varlamov, A., & Galitski, V. (2009). Giant nernst effect due to fluctuating cooper Pairs in superconductors (Vol. 1134, pp. 140–145). Presented at the Landau Memorial Conference on Advances in Theoretical Physics, American Institute of Physics. https://doi.org/10.1063/1.3149485
View | DOI
 

2009 | Published | Journal Article | IST-REx-ID: 8478
Brüschweiler, S., Schanda, P., Kloiber, K., Brutscher, B., Kontaxis, G., Konrat, R., & Tollinger, M. (2009). Direct observation of the dynamic process underlying allosteric signal transmission. Journal of the American Chemical Society. American Chemical Society. https://doi.org/10.1021/ja809947w
View | DOI
 

2009 | Published | Journal Article | IST-REx-ID: 8479
Gal, M., Kern, T., Schanda, P., Frydman, L., & Brutscher, B. (2009). An improved ultrafast 2D NMR experiment: Towards atom-resolved real-time studies of protein kinetics at multi-Hz rates. Journal of Biomolecular NMR. Springer Nature. https://doi.org/10.1007/s10858-008-9284-9
View | DOI
 

2009 | Published | Journal Article | IST-REx-ID: 8508
Gorodetski, A., & Kaloshin, V. (2009). Conservative homoclinic bifurcations and some applications. Proceedings of the Steklov Institute of Mathematics. Springer Nature. https://doi.org/10.1134/s0081543809040063
View | DOI
 

2009 | Published | Journal Article | IST-REx-ID: 88 | OA
Higginbotham, A. P., Semonin, O., Bruce, S., Chan, C., Maindi, M., Donnelly, T., … Ditmire, T. (2009). Generation of Mie size microdroplet aerosols with applications in laser-driven fusion experiments. Review of Scientific Instruments. American Institute of Physics. https://doi.org/10.1063/1.3155302
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2009 | Published | Journal Article | IST-REx-ID: 908
Alkalaeva, E., Eliseev, B., Ambrogelly, A., Vlasov, P., Kondrashov, F., Gundllapalli, S., … Kisselev, L. (2009). Translation termination in pyrrolysine-utilizing archaea. FEBS Letters. Elsevier. https://doi.org/10.1016/j.febslet.2009.09.044
View | DOI
 

2009 | Published | Journal Article | IST-REx-ID: 9147 | OA
Muller, C. J., & Bühler, O. (2009). Saturation of the internal tides and induced mixing in the abyssal ocean. Journal of Physical Oceanography. American Meteorological Society. https://doi.org/10.1175/2009jpo4141.1
[Published Version] View | DOI | Download Published Version (ext.)
 

2009 | Published | Journal Article | IST-REx-ID: 9148 | OA
Muller, C. J., Back, L. E., O’Gorman, P. A., & Emanuel, K. A. (2009). A model for the relationship between tropical precipitation and column water vapor. Geophysical Research Letters. American Geophysical Union. https://doi.org/10.1029/2009gl039667
[Published Version] View | DOI | Download Published Version (ext.)
 

2009 | Published | Journal Article | IST-REx-ID: 9453 | OA
Hsieh, T.-F., Ibarra, C. A., Silva, P., Zemach, A., Eshed-Williams, L., Fischer, R. L., & Zilberman, D. (2009). Genome-wide demethylation of Arabidopsis endosperm. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.1172417
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2009 | Published | Book Chapter | IST-REx-ID: 3675
Barton, N. H. (2009). Why sex and recombination? In Cold Spring Harbor Symposia on Quantitative Biology (Vol. 74, pp. 187–195). Cold Spring Harbor Laboratory Press. https://doi.org/10.1101/sqb.2009.74.030
View | DOI
 

2009 | Published | Journal Article | IST-REx-ID: 3870 | OA
Chatterjee, K., Henzinger, T. A., & Horn, F. (2009). Finitary winning in omega-regular games. ACM Transactions on Computational Logic (TOCL). ACM. https://doi.org/10.1145/1614431.1614432
[Submitted Version] View | Files available | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 4545 | OA
Chatterjee, K., Doyen, L., & Henzinger, T. A. (2009). A survey of stochastic games with limsup and liminf objectives (Vol. 5556, pp. 1–15). Presented at the ICALP: Automata, Languages and Programming, Rhodos, Greece: Springer. https://doi.org/10.1007/978-3-642-02930-1_1
[Submitted Version] View | Files available | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 4569 | OA
Bloem, R., Chatterjee, K., Henzinger, T. A., & Jobstmann, B. (2009). Better quality in synthesis through quantitative objectives (Vol. 5643, pp. 140–156). Presented at the CAV: Computer Aided Verification, Grenoble, France: Springer. https://doi.org/10.1007/978-3-642-02658-4_14
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2009 | Published | Conference Paper | IST-REx-ID: 3837 | OA
Tripakis, S., Lickly, B., Henzinger, T. A., & Lee, E. (2009). On relational interfaces. In EMSOFT ’09 Proceedings of the seventh ACM international conference on Embedded software (pp. 67–76). Grenoble, France: ACM. https://doi.org/10.1145/1629335.1629346
[Submitted Version] View | Files available | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 3844 | OA
Henzinger, T. A., Kirsch, C., Marques, E., & Sokolova, A. (2009). Distributed, modular HTL (pp. 171–180). Presented at the RTSS: Real-Time Systems Symposium, Washington, DC, United States: IEEE. https://doi.org/10.1109/RTSS.2009.9
[Submitted Version] View | Files available | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 3871 | OA
Chatterjee, K., Doyen, L., & Henzinger, T. A. (2009). Probabilistic weighted automata (Vol. 5710, pp. 244–258). Presented at the CONCUR: Concurrency Theory, Bologna, Italy: Springer. https://doi.org/10.1007/978-3-642-04081-8_17
[Submitted Version] View | Files available | DOI
 

2009 | Published | Technical Report | IST-REx-ID: 5395 | OA
Chatterjee, K., Doyen, L., & Henzinger, T. A. (2009). Qualitative analysis of partially-observable Markov decision processes. IST Austria. https://doi.org/10.15479/AT:IST-2009-0001
[Published Version] View | Files available | DOI
 

2009 | Published | Technical Report | IST-REx-ID: 5392 | OA
Chatterjee, K. (2009). Probabilistic automata on infinite words: Decidability and undecidability results. IST Austria. https://doi.org/10.15479/AT:IST-2009-0004
[Published Version] View | Files available | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 4540
Chatterjee, K., Doyen, L., & Henzinger, T. A. (2009). Expressiveness and closure properties for quantitative languages (pp. 199–208). Presented at the LICS: Logic in Computer Science, IEEE. https://doi.org/10.1109/LICS.2009.16
View | Files available | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed