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.
1966 Publications
2011 | Published | Conference Paper | IST-REx-ID: 3351 | 
Chatterjee, K., Doyen, L., & Singh, R. (2011). On memoryless quantitative objectives. In O. Owe, M. Steffen, & J. A. Telle (Eds.) (Vol. 6914, pp. 148–159). Presented at the FCT: Fundamentals of Computation Theory, Oslo, Norway: Springer. https://doi.org/10.1007/978-3-642-22953-4_13
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| arXiv
2011 | Published | Conference Paper | IST-REx-ID: 3348 |
Chatterjee, K., & Prabhu, V. (2011). Synthesis of memory efficient real time controllers for safety objectives (pp. 221–230). Presented at the HSCC: Hybrid Systems - Computation and Control, Chicago, USA: Springer. https://doi.org/10.1145/1967701.1967734
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| arXiv
2011 | Published | Technical Report | IST-REx-ID: 5380 |
Chatterjee, K. (2011). Bounded rationality in concurrent parity games. IST Austria. https://doi.org/10.15479/AT:IST-2011-0008
[Published Version]
View
| Files available
| DOI
2011 | Submitted | Preprint | IST-REx-ID: 3338 |
Chatterjee, K. (n.d.). Bounded rationality in concurrent parity games. arXiv. https://doi.org/10.48550/arXiv.1107.2146
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2011 | Published | Technical Report | IST-REx-ID: 5379 |
Chatterjee, K., & Henzinger, M. (2011). An O(n2) time algorithm for alternating Büchi games. IST Austria. https://doi.org/10.15479/AT:IST-2011-0009
[Published Version]
View
| Files available
| DOI
2011 | Published | Conference Paper | IST-REx-ID: 3342 |
Chatterjee, K., Henzinger, M., Joglekar, M., & Nisarg, S. (2011). Symbolic algorithms for qualitative analysis of Markov decision processes with Büchi objectives. In G. Gopalakrishnan & S. Qadeer (Eds.) (Vol. 6806, pp. 260–276). Presented at the CAV: Computer Aided Verification, Snowbird, USA: Springer. https://doi.org/10.1007/978-3-642-22110-1_21
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2011 | Published | Technical Report | IST-REx-ID: 5381 |
Chatterjee, K., & Doyen, L. (2011). Partial-observation stochastic games: How to win when belief fails. IST Austria. https://doi.org/10.15479/AT:IST-2011-0007
[Published Version]
View
| Files available
| DOI
2011 | Published | Journal Article | IST-REx-ID: 3332 |
Kerber, M., & Sagraloff, M. (2011). A note on the complexity of real algebraic hypersurfaces. Graphs and Combinatorics. Springer. https://doi.org/10.1007/s00373-011-1020-7
[Submitted Version]
View
| Files available
| DOI
| WoS
2011 | Published | Journal Article | IST-REx-ID: 531 |
Guerraoui, R., Henzinger, T. A., & Singh, V. (2011). Verification of STM on relaxed memory models. Formal Methods in System Design. Springer. https://doi.org/10.1007/s10703-011-0131-3
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
2010 | Published | Conference Paper | IST-REx-ID: 11754
Lang, S. B., Lashley, J. C., Modic, K. A., Fisher, R. A., Zhu, W. M., & Ye, Z. G. (2010). Specific heat of a ferroelectric PZT ceramic at the morphotropic phase boundary. In 15th IEEE Mediterranean Electrotechnical Conference. Valletta, Malta: Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/melcon.2010.5476345
View
| Files available
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 11797 |
Feldman, J., Henzinger, M., Korula, N., Mirrokni, V. S., & Stein, C. (2010). Online stochastic packing applied to display ad allocation. In 18th Annual European Symposium on Algorithms (Vol. 6346, pp. 182–194). Liverpool, United Kingdom: Springer Nature. https://doi.org/10.1007/978-3-642-15775-2_16
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2010 | Published | Conference Paper | IST-REx-ID: 11798
Dütting, P., & Henzinger, M. (2010). Mechanisms for the marriage and the assignment game. In 7th International Conference on Algorithms and Complexity (Vol. 6078, pp. 6–12). Rome, Italy: Springer Nature. https://doi.org/10.1007/978-3-642-13073-1_2
View
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 11838 |
Dütting, P., Henzinger, M., & Weber, I. (2010). Sponsored search, market equilibria, and the Hungarian Method. In 27th International Symposium on Theoretical Aspects of Computer Science (Vol. 5, pp. 287–298). Nancy, France: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPICS.STACS.2010.2463
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| arXiv
2010 | Published | Journal Article | IST-REx-ID: 17639 |
Sethi, S., Haiman, Z., & Pandey, K. (2010). Supermassive black hole formation at high redshifts through a primordial magnetic field. The Astrophysical Journal. American Astronomical Society. https://doi.org/10.1088/0004-637x/721/1/615
[Published Version]
View
| DOI
| Download Published Version (ext.)
2010 | Published | Journal Article | IST-REx-ID: 17648 |
Shang, C., Bryan, G. L., & Haiman, Z. (2010). Supermassive black hole formation by direct collapse: keeping protogalactic gas H2 free in dark matter haloes with virial temperatures T_vir > rsim10^4 K . Monthly Notices of the Royal Astronomical Society. Oxford University Press. https://doi.org/10.1111/j.1365-2966.2009.15960.x
[Published Version]
View
| DOI
| Download Published Version (ext.)
2010 | Published | Journal Article | IST-REx-ID: 2311
Rickheit, G., Wartosch, L., Schaffer, S., Stobrawa, S., Novarino, G., Weinert, S., & Jentsch, T. (2010). Role of ClC-5 in renal endocytosis is unique among ClC exchangers and does not require PY-motif-dependent ubiquitylation. Journal of Biological Chemistry. American Society for Biochemistry and Molecular Biology. https://doi.org/10.1074/jbc.M110.115600
View
| DOI
2010 | Published | Journal Article | IST-REx-ID: 2506
Furuya, S., Furuya, K., Shigemoto, R., & Sokabe, M. (2010). Localization of NK1 receptors and roles of substance-P in subepithelial fibroblasts of rat intestinal villi. Cell and Tissue Research. Springer. https://doi.org/10.1007/s00441-010-1056-7
View
| DOI
2010 | Published | Journal Article | IST-REx-ID: 2507
Parajuli, L., Fukazawa, Y., Watanabe, M., & Shigemoto, R. (2010). Subcellular distribution of α1G subunit of T-type calcium channel in the mouse dorsal lateral geniculate nucleus. Journal of Comparative Neurology. Wiley-Blackwell. https://doi.org/10.1002/cne.22461
View
| DOI
2010 | Published | Journal Article | IST-REx-ID: 2508
Atherton, J., Kitano, K., Baufreton, J., Fan, K., Wokosin, D., Tkatch, T., … Bevan, M. (2010). Selective participation of somatodendritic HCN channels in inhibitory but not excitatory synaptic integration in neurons of the subthalamic nucleus. Journal of Neuroscience. Society for Neuroscience. https://doi.org/10.1523/JNEUROSCI.3898-10.2010
View
| DOI
2010 | Published | Journal Article | IST-REx-ID: 2761
Erdös, L., Ramírez, J., Schlein, B., & Yau, H. (2010). Universality of sine-kernel for Wigner matrices with a small Gaussian perturbation. Electronic Journal of Probability. Institute of Mathematical Statistics. https://doi.org/10.1214/EJP.v15-768
View
| DOI