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.
6372 Publications
2010 | Published | Conference Paper | IST-REx-ID: 3852 | 
Chatterjee, K., & Majumdar, R. (2010). Discounting in games across time scales (Vol. 25, pp. 22–29). Presented at the GandALF: Games, Automata, Logic, and Formal Verification, Minori, Italy: EPTCS. https://doi.org/10.4204/EPTCS.25.6
[Published Version]
View
| Files available
| DOI
| arXiv
2010 | Published | Conference Paper | IST-REx-ID: 3853 |
Chatterjee, K., Doyen, L., Edelsbrunner, H., Henzinger, T. A., & Rannou, P. (2010). Mean-payoff automaton expressions (Vol. 6269, pp. 269–283). Presented at the CONCUR: Concurrency Theory, Paris, France: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/978-3-642-15375-4_19
[Submitted Version]
View
| Files available
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 3855 |
Chatterjee, K., Doyen, L., & Henzinger, T. A. (2010). Qualitative analysis of partially-observable Markov Decision Processes (Vol. 6281, pp. 258–269). Presented at the MFCS: Mathematical Foundations of Computer Science, Brno, Czech Republic: Springer. https://doi.org/10.1007/978-3-642-15155-2_24
[Submitted Version]
View
| Files available
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 3856 |
Chatterjee, K., Doyen, L., Gimbert, H., & Henzinger, T. A. (2010). Randomness for free (Vol. 6281, pp. 246–257). Presented at the MFCS: Mathematical Foundations of Computer Science, Brno, Czech Republic: Springer. https://doi.org/10.1007/978-3-642-15155-2_23
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2010 | Published | Conference Paper | IST-REx-ID: 3858 |
Chatterjee, K., & Doyen, L. (2010). The complexity of partial-observation parity games (Vol. 6397, pp. 1–14). Presented at the LPAR: Logic for Programming, Artificial Intelligence, and Reasoning, Yogyakarta, Indonesia: Springer. https://doi.org/10.1007/978-3-642-16242-8_1
[Submitted Version]
View
| Files available
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 3860 |
Chatterjee, K., Doyen, L., Henzinger, T. A., & Raskin, J. (2010). Generalized mean-payoff and energy games (Vol. 8, pp. 505–516). Presented at the FSTTCS: Foundations of Software Technology and Theoretical Computer Science, Chennai, India: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.FSTTCS.2010.505
[Submitted Version]
View
| Files available
| DOI
2010 | Published | Journal Article | IST-REx-ID: 3861 |
Chatterjee, K., Henzinger, T. A., & Piterman, N. (2010). Strategy logic. Information and Computation. Elsevier. https://doi.org/10.1016/j.ic.2009.07.004
[Submitted Version]
View
| Files available
| DOI
2010 | Published | Journal Article | IST-REx-ID: 3862 |
Chatterjee, K., Doyen, L., & Henzinger, T. A. (2010). Quantitative languages. ACM Transactions on Computational Logic (TOCL). ACM. https://doi.org/10.1145/1805950.1805953
[Submitted Version]
View
| Files available
| DOI
2010 | Published | Journal Article | IST-REx-ID: 3863 |
Berwanger, D., Chatterjee, K., De Wulf, M., Doyen, L., & Henzinger, T. A. (2010). Strategy construction for parity games with imperfect information. Information and Computation. Elsevier. https://doi.org/10.1016/j.ic.2009.09.006
[Submitted Version]
View
| Files available
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 3864 |
Chatterjee, K., Henzinger, T. A., Jobstmann, B., & Singh, R. (2010). Measuring and synthesizing systems in probabilistic environments (Vol. 6174, pp. 380–395). Presented at the CAV: Computer Aided Verification, Edinburgh, United Kingdom: Springer. https://doi.org/10.1007/978-3-642-14295-6_34
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2010 | Published | Conference Paper | IST-REx-ID: 3866 |
Bloem, R., Chatterjee, K., Greimel, K., Henzinger, T. A., & Jobstmann, B. (2010). Robustness in the presence of liveness. In T. Touili, B. Cook, & P. Jackson (Eds.) (Vol. 6174, pp. 410–424). Presented at the CAV: Computer Aided Verification, Edinburgh, UK: Springer. https://doi.org/10.1007/978-3-642-14295-6_36
[Submitted Version]
View
| Files available
| DOI
2010 | Published | Journal Article | IST-REx-ID: 3867 |
Chatterjee, K., Doyen, L., & Henzinger, T. A. (2010). Expressiveness and closure properties for quantitative languages. Logical Methods in Computer Science. International Federation of Computational Logic. https://doi.org/10.2168/LMCS-6(3:10)2010
[Published Version]
View
| Files available
| DOI
2010 | Published | Journal Article | IST-REx-ID: 3868 |
Chatterjee, K., De Alfaro, L., Majumdar, R., & Raman, V. (2010). Algorithms for game metrics. Logical Methods in Computer Science. International Federation of Computational Logic. https://doi.org/10.2168/LMCS-6(3:13)2010
[Published Version]
View
| Files available
| DOI
2010 | Published | Journal Article | IST-REx-ID: 3901 |
Bendich, P., Edelsbrunner, H., & Kerber, M. (2010). Computing robustness and persistence for images. IEEE Transactions of Visualization and Computer Graphics. IEEE. https://doi.org/10.1109/TVCG.2010.139
[Submitted Version]
View
| Files available
| DOI
2010 | Published | Journal Article | IST-REx-ID: 3904 |
Ugelvig, L. V., Kronauer, D., Schrempf, A., Heinze, J., & Cremer, S. (2010). Rapid anti-pathogen response in ant societies relies on high genetic diversity. Proceedings of the Royal Society of London Series B Biological Sciences. Royal Society, The. https://doi.org/10.1098/rspb.2010.0644
View
| DOI
| Download None (ext.)
2009 | Published | Journal Article | IST-REx-ID: 1038 |
Mark, M., Danzl, J. G., Haller, E., Gustavsson, M., Bouloufa, N., Dulieu, O., … Nägerl, H. (2009). Dark resonances for ground-state transfer of molecular quantum gases. Applied Physics B: Lasers and Optics. Springer. https://doi.org/10.1007/s00340-009-3407-1
View
| DOI
| Download None (ext.)
| arXiv
2009 | Published | Journal Article | IST-REx-ID: 1040 |
Haller, E., Gustavsson, M., Mark, M., Danzl, J. G., Hart, R., Pupillo, G., & Nägerl, H. (2009). Realization of an excited, strongly correlated quantum gas Phase. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.1175850
View
| DOI
| Download None (ext.)
| arXiv
2009 | Published | Journal Article | IST-REx-ID: 1041 |
Danzl, J. G., Mark, M., Haller, E., Gustavsson, M., Hart, R., Liem, A., … Nägerl, H. (2009). Deeply bound ultracold molecules in an optical lattice. New Journal of Physics. IOP Publishing Ltd. https://doi.org/10.1088/1367-2630/11/5/055036
View
| DOI
| Download None (ext.)
| arXiv
2009 | Published | Journal Article | IST-REx-ID: 1043 |
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 | Journal Article | IST-REx-ID: 11106 |
Anderson, D. J., Vargas, J. D., Hsiao, J. P., & Hetzer, M. (2009). Recruitment of functionally distinct membrane proteins to chromatin mediates nuclear envelope formation in vivo. Journal of Cell Biology. Rockefeller University Press. https://doi.org/10.1083/jcb.200901106
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC