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.
7478 Publications
2011 | Published | Journal Article | IST-REx-ID: 1050 | 
Bai J, Ahmed E, Beser B, Guan Y, Kotochigova S, Lyyra M, Ashman S, Wolfe C, Huennekens J, Xie F, Li D, Li L, Tamanis M, Ferber R, Drozdova A, Pazyuk E, Stolyarov A, Danzl JG, Nägerl H, Bouloufa N, Dulieu O, Amiot C, Salami H, Bergeman T. 2011. Global analysis of data on the spin-orbit-coupled A 1Σu+ and b 3Πu inf states of Cs2. Physical Review A - Atomic, Molecular, and Optical Physics. 83(3).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2011 | Published | Journal Article | IST-REx-ID: 1052 |
Vexiau, R., Bouloufa, N., Aymar, M., Danzl, J. G., Mark, M., Nägerl, H., & Dulieu, O. (2011). Optimal trapping wavelengths of Cs 2 molecules in an optical lattice. European Physical Journal D. Springer. https://doi.org/10.1140/epjd/e2011-20085-4
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2011 | Published | Journal Article | IST-REx-ID: 1053 |
Mark, M., Haller, E., Lauber, K., Danzl, J. G., Daley, A., & Nägerl, H. (2011). Precision measurements on a tunable Mott insulator of ultracold atoms. Physical Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.107.175301
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2011 | Published | Journal Article | IST-REx-ID: 1054 |
Haller, E., Rabie, M., Mark, M., Danzl, J. G., Hart, R., Lauber, K., … Nägerl, H. (2011). Three-body correlation functions and recombination rates for bosons in three dimensions and one dimension. Physical Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.107.230404
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2011 | Published | Journal Article | IST-REx-ID: 9483 |
Hsieh, T.-F., Shin, J., Uzawa, R., Silva, P., Cohen, S., Bauer, M. J., … Fischer, R. L. (2011). Regulation of imprinted gene expression in Arabidopsis endosperm. Proceedings of the National Academy of Sciences. National Academy of Sciences. https://doi.org/10.1073/pnas.1019273108
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2011 | Published | Other Publication | IST-REx-ID: 9522 |
Zilberman, D. (2011). Balancing parental contributions in plant embryonic gene activation. Developmental Cell (Vol. 20, pp. 735–736). Elsevier. https://doi.org/10.1016/j.devcel.2011.05.018
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2011 | Published | Conference Paper | IST-REx-ID: 9648 |
Gonzalez-Diaz, R., Ion, A., Jimenez, M. J., & Poyatos, R. (2011). Incremental-decremental algorithm for computing AT-models and persistent homology. In Computer Analysis of Images and Patterns (Vol. 6854, pp. 286–293). Seville, Spain: Springer Nature. https://doi.org/10.1007/978-3-642-23672-3_35
[Published Version]
View
| DOI
| Download Published Version (ext.)
2011 | Published | Journal Article | IST-REx-ID: 967 |
Serbyn, M., Senthil, T., & Lee, P. (2011). Exotic S=1 spin-liquid state with fermionic excitations on the triangular lattice. Physical Review B - Condensed Matter and Materials Physics. American Physical Society. https://doi.org/10.1103/PhysRevB.84.180403
View
| DOI
| Download (ext.)
2011 | Published | Journal Article | IST-REx-ID: 969 |
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. American Physical Society. https://doi.org/10.1103/PhysRevB.83.024506
View
| DOI
| Download (ext.)
2011 | Published | Conference Paper | IST-REx-ID: 9943 |
Sommer, C. M., Straehle, C., Köthe, U., & Hamprecht, F. A. (2011). Ilastik: Interactive learning and segmentation toolkit. In 2011 IEEE International Symposium on Biomedical Imaging: from Nano to Micro. Chicago, Illinois, USA: Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/isbi.2011.5872394
[Preprint]
View
| DOI
| Download Preprint (ext.)
2011 | Published | Journal Article | IST-REx-ID: 9144 |
Muller, C. J., O’Gorman, P. A., & Back, L. E. (2011). Intensification of precipitation extremes with warming in a cloud-resolving model. Journal of Climate. American Meteorological Society. https://doi.org/10.1175/2011jcli3876.1
[Published Version]
View
| DOI
| Download Published Version (ext.)
2011 | Published | Journal Article | IST-REx-ID: 923 |
Fré, S., Hannezo, E. B., Šale, S., Huyghe, M., Lafkas, D., Kissel, H., … Artavanis Tsakonas, S. (2011). Notch lineages and activity in intestinal stem cells determined by a new set of knock in mice. PLoS One. Public Library of Science. https://doi.org/10.1371/journal.pone.0025785
[Published Version]
View
| Files available
| DOI
2011 | Published | Conference Paper | IST-REx-ID: 3326 |
Almagor, S., Boker, U., & Kupferman, O. (2011). What’s decidable about weighted automata (Vol. 6996, pp. 482–491). Presented at the ATVA: Automated Technology for Verification and Analysis, Taipei, Taiwan: Springer. https://doi.org/10.1007/978-3-642-24372-1_37
[Submitted Version]
View
| Files available
| DOI
2011 | Published | Journal Article | IST-REx-ID: 3315 |
Chatterjee, K., Henzinger, T. A., & Prabhu, V. (2011). Timed parity games: Complexity and robustness. Logical Methods in Computer Science. International Federation of Computational Logic. https://doi.org/10.2168/LMCS-7(4:8)2011
[Published Version]
View
| Files available
| DOI
2011 | Published | Conference Paper | IST-REx-ID: 3362 |
Fisher, J., Henzinger, T. A., Nickovic, D., Piterman, N., Singh, A., & Vardi, M. (2011). Dynamic reactive modules (Vol. 6901, pp. 404–418). Presented at the CONCUR: Concurrency Theory, Aachen, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/978-3-642-23217-6_27
[Submitted Version]
View
| Files available
| DOI
2011 | Published | Conference Paper | IST-REx-ID: 3360 |
Boker, U., & Henzinger, T. A. (2011). Determinizing discounted-sum automata (Vol. 12, pp. 82–96). Presented at the CSL: Computer Science Logic, Bergen, Norway: Springer. https://doi.org/10.4230/LIPIcs.CSL.2011.82
[Published Version]
View
| Files available
| DOI
2011 | Published | Conference Paper | IST-REx-ID: 3366 |
Cerny, P., Chatterjee, K., Henzinger, T. A., Radhakrishna, A., & Singh, R. (2011). Quantitative synthesis for concurrent programs. In G. Gopalakrishnan & S. Qadeer (Eds.) (Vol. 6806, pp. 243–259). Presented at the CAV: Computer Aided Verification, Snowbird, USA: Springer. https://doi.org/10.1007/978-3-642-22110-1_20
[Submitted Version]
View
| Files available
| DOI
2011 | Published | Conference Paper | IST-REx-ID: 3347 |
Chatterjee, K., & Fijalkow, N. (2011). Finitary languages (Vol. 6638, pp. 216–226). Presented at the LATA: Language and Automata Theory and Applications, Tarragona, Spain: Springer. https://doi.org/10.1007/978-3-642-21254-3_16
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2011 | Published | Conference Paper | IST-REx-ID: 3345 |
Chatterjee, K., & Doyen, L. (2011). Energy and mean-payoff parity Markov Decision Processes (Vol. 6907, pp. 206–218). Presented at the MFCS: Mathematical Foundations of Computer Science, Warsaw, Poland: Springer. https://doi.org/10.1007/978-3-642-22993-0_21
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2011 | Published | Technical Report | IST-REx-ID: 5387 |
Chatterjee, K., & Doyen, L. (2011). Energy and mean-payoff parity Markov decision processes. IST Austria. https://doi.org/10.15479/AT:IST-2011-0001
[Published Version]
View
| Files available
| DOI