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 | 
On memoryless quantitative objectives
K. Chatterjee, L. Doyen, R. Singh, in:, O. Owe, M. Steffen, J.A. Telle (Eds.), Springer, 2011, pp. 148–159.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| arXiv
K. Chatterjee, L. Doyen, R. Singh, in:, O. Owe, M. Steffen, J.A. Telle (Eds.), Springer, 2011, pp. 148–159.
2011 | Published | Conference Paper | IST-REx-ID: 3348 |
Synthesis of memory efficient real time controllers for safety objectives
K. Chatterjee, V. Prabhu, in:, Springer, 2011, pp. 221–230.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| arXiv
K. Chatterjee, V. Prabhu, in:, Springer, 2011, pp. 221–230.
2011 | Published | Technical Report | IST-REx-ID: 5380 |
Bounded rationality in concurrent parity games
K. Chatterjee, Bounded Rationality in Concurrent Parity Games, IST Austria, 2011.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, Bounded Rationality in Concurrent Parity Games, IST Austria, 2011.
2011 | Submitted | Preprint | IST-REx-ID: 3338 |
Bounded rationality in concurrent parity games
K. Chatterjee, ArXiv (n.d.) 1–51.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
K. Chatterjee, ArXiv (n.d.) 1–51.
2011 | Published | Technical Report | IST-REx-ID: 5379 |
An O(n2) time algorithm for alternating Büchi games
K. Chatterjee, M. Henzinger, An O(N2) Time Algorithm for Alternating Büchi Games, IST Austria, 2011.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, M. Henzinger, An O(N2) Time Algorithm for Alternating Büchi Games, IST Austria, 2011.
2011 | Published | Conference Paper | IST-REx-ID: 3342 |
Symbolic algorithms for qualitative analysis of Markov decision processes with Büchi objectives
K. Chatterjee, M. Henzinger, M. Joglekar, S. Nisarg, in:, G. Gopalakrishnan, S. Qadeer (Eds.), Springer, 2011, pp. 260–276.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
K. Chatterjee, M. Henzinger, M. Joglekar, S. Nisarg, in:, G. Gopalakrishnan, S. Qadeer (Eds.), Springer, 2011, pp. 260–276.
2011 | Published | Technical Report | IST-REx-ID: 5381 |
Partial-observation stochastic games: How to win when belief fails
K. Chatterjee, L. Doyen, Partial-Observation Stochastic Games: How to Win When Belief Fails, IST Austria, 2011.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, L. Doyen, Partial-Observation Stochastic Games: How to Win When Belief Fails, IST Austria, 2011.
2011 | Published | Journal Article | IST-REx-ID: 3332 |
A note on the complexity of real algebraic hypersurfaces
M. Kerber, M. Sagraloff, Graphs and Combinatorics 27 (2011) 419–430.
[Submitted Version]
View
| Files available
| DOI
| WoS
M. Kerber, M. Sagraloff, Graphs and Combinatorics 27 (2011) 419–430.
2011 | Published | Journal Article | IST-REx-ID: 531 |
Verification of STM on relaxed memory models
R. Guerraoui, T.A. Henzinger, V. Singh, Formal Methods in System Design 39 (2011) 297–331.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
R. Guerraoui, T.A. Henzinger, V. Singh, Formal Methods in System Design 39 (2011) 297–331.
2010 | Published | Conference Paper | IST-REx-ID: 11754
Specific heat of a ferroelectric PZT ceramic at the morphotropic phase boundary
S.B. Lang, J.C. Lashley, K.A. Modic, R.A. Fisher, W.M. Zhu, Z.G. Ye, in:, 15th IEEE Mediterranean Electrotechnical Conference, Institute of Electrical and Electronics Engineers, 2010.
View
| Files available
| DOI
S.B. Lang, J.C. Lashley, K.A. Modic, R.A. Fisher, W.M. Zhu, Z.G. Ye, in:, 15th IEEE Mediterranean Electrotechnical Conference, Institute of Electrical and Electronics Engineers, 2010.
2010 | Published | Conference Paper | IST-REx-ID: 11797 |
Online stochastic packing applied to display ad allocation
J. Feldman, M. Henzinger, N. Korula, V.S. Mirrokni, C. Stein, in:, 18th Annual European Symposium on Algorithms, Springer Nature, 2010, pp. 182–194.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
J. Feldman, M. Henzinger, N. Korula, V.S. Mirrokni, C. Stein, in:, 18th Annual European Symposium on Algorithms, Springer Nature, 2010, pp. 182–194.
2010 | Published | Conference Paper | IST-REx-ID: 11798
Mechanisms for the marriage and the assignment game
P. Dütting, M. Henzinger, in:, 7th International Conference on Algorithms and Complexity, Springer Nature, 2010, pp. 6–12.
View
| DOI
P. Dütting, M. Henzinger, in:, 7th International Conference on Algorithms and Complexity, Springer Nature, 2010, pp. 6–12.
2010 | Published | Conference Paper | IST-REx-ID: 11838 |
Sponsored search, market equilibria, and the Hungarian Method
P. Dütting, M. Henzinger, I. Weber, in:, 27th International Symposium on Theoretical Aspects of Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010, pp. 287–298.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| arXiv
P. Dütting, M. Henzinger, I. Weber, in:, 27th International Symposium on Theoretical Aspects of Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010, pp. 287–298.
2010 | Published | Journal Article | IST-REx-ID: 17639 |
Supermassive black hole formation at high redshifts through a primordial magnetic field
S. Sethi, Z. Haiman, K. Pandey, The Astrophysical Journal 721 (2010) 615–621.
[Published Version]
View
| DOI
| Download Published Version (ext.)
S. Sethi, Z. Haiman, K. Pandey, The Astrophysical Journal 721 (2010) 615–621.
2010 | Published | Journal Article | IST-REx-ID: 17648 |
Supermassive black hole formation by direct collapse: keeping protogalactic gas H2 free in dark matter haloes with virial temperatures T_vir > rsim10^4 K
C. Shang, G.L. Bryan, Z. Haiman, Monthly Notices of the Royal Astronomical Society 402 (2010) 1249–1262.
[Published Version]
View
| DOI
| Download Published Version (ext.)
C. Shang, G.L. Bryan, Z. Haiman, Monthly Notices of the Royal Astronomical Society 402 (2010) 1249–1262.
2010 | Published | Journal Article | IST-REx-ID: 2311
Role of ClC-5 in renal endocytosis is unique among ClC exchangers and does not require PY-motif-dependent ubiquitylation
G. Rickheit, L. Wartosch, S. Schaffer, S. Stobrawa, G. Novarino, S. Weinert, T. Jentsch, Journal of Biological Chemistry 285 (2010) 17595–17603.
View
| DOI
G. Rickheit, L. Wartosch, S. Schaffer, S. Stobrawa, G. Novarino, S. Weinert, T. Jentsch, Journal of Biological Chemistry 285 (2010) 17595–17603.
2010 | Published | Journal Article | IST-REx-ID: 2506
Localization of NK1 receptors and roles of substance-P in subepithelial fibroblasts of rat intestinal villi
S. Furuya, K. Furuya, R. Shigemoto, M. Sokabe, Cell and Tissue Research 342 (2010) 243–259.
View
| DOI
S. Furuya, K. Furuya, R. Shigemoto, M. Sokabe, Cell and Tissue Research 342 (2010) 243–259.
2010 | Published | Journal Article | IST-REx-ID: 2507
Subcellular distribution of α1G subunit of T-type calcium channel in the mouse dorsal lateral geniculate nucleus
L. Parajuli, Y. Fukazawa, M. Watanabe, R. Shigemoto, Journal of Comparative Neurology 518 (2010) 4362–4374.
View
| DOI
L. Parajuli, Y. Fukazawa, M. Watanabe, R. Shigemoto, Journal of Comparative Neurology 518 (2010) 4362–4374.
2010 | Published | Journal Article | IST-REx-ID: 2508
Selective participation of somatodendritic HCN channels in inhibitory but not excitatory synaptic integration in neurons of the subthalamic nucleus
J. Atherton, K. Kitano, J. Baufreton, K. Fan, D. Wokosin, T. Tkatch, R. Shigemoto, J. Surmeier, M. Bevan, Journal of Neuroscience 30 (2010) 16025–16040.
View
| DOI
J. Atherton, K. Kitano, J. Baufreton, K. Fan, D. Wokosin, T. Tkatch, R. Shigemoto, J. Surmeier, M. Bevan, Journal of Neuroscience 30 (2010) 16025–16040.
2010 | Published | Journal Article | IST-REx-ID: 2761
Universality of sine-kernel for Wigner matrices with a small Gaussian perturbation
L. Erdös, J. Ramírez, B. Schlein, H. Yau, Electronic Journal of Probability 15 (2010) 526–603.
View
| DOI
L. Erdös, J. Ramírez, B. Schlein, H. Yau, Electronic Journal of Probability 15 (2010) 526–603.