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, Krishnendu, Laurent Doyen, and Rohit Singh. “On Memoryless Quantitative Objectives.” edited by Olaf Owe, Martin Steffen, and Jan Arne Telle, 6914:148–59. Springer, 2011. 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, Krishnendu, and Vinayak Prabhu. “Synthesis of Memory Efficient Real Time Controllers for Safety Objectives,” 221–30. Springer, 2011. 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, Krishnendu. Bounded Rationality in Concurrent Parity Games. IST Austria, 2011. https://doi.org/10.15479/AT:IST-2011-0008.
[Published Version]
View
| Files available
| DOI
2011 | Submitted | Preprint | IST-REx-ID: 3338 |
Chatterjee, Krishnendu. “Bounded Rationality in Concurrent Parity Games.” ArXiv, n.d. 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, Krishnendu, and Monika Henzinger. An O(N2) Time Algorithm for Alternating Büchi Games. IST Austria, 2011. https://doi.org/10.15479/AT:IST-2011-0009.
[Published Version]
View
| Files available
| DOI
2011 | Published | Conference Paper | IST-REx-ID: 3342 |
Chatterjee, Krishnendu, Monika Henzinger, Manas Joglekar, and Shah Nisarg. “Symbolic Algorithms for Qualitative Analysis of Markov Decision Processes with Büchi Objectives.” edited by Ganesh Gopalakrishnan and Shaz Qadeer, 6806:260–76. Springer, 2011. 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, Krishnendu, and Laurent Doyen. Partial-Observation Stochastic Games: How to Win When Belief Fails. IST Austria, 2011. https://doi.org/10.15479/AT:IST-2011-0007.
[Published Version]
View
| Files available
| DOI
2011 | Published | Journal Article | IST-REx-ID: 3332 |
Kerber, Michael, and Michael Sagraloff. “A Note on the Complexity of Real Algebraic Hypersurfaces.” Graphs and Combinatorics. Springer, 2011. 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, Rachid, Thomas A Henzinger, and Vasu Singh. “Verification of STM on Relaxed Memory Models.” Formal Methods in System Design. Springer, 2011. 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., J.C. Lashley, Kimberly A Modic, R.A. Fisher, W.M. Zhu, and Z.G. Ye. “Specific Heat of a Ferroelectric PZT Ceramic at the Morphotropic Phase Boundary.” In 15th IEEE Mediterranean Electrotechnical Conference. Institute of Electrical and Electronics Engineers, 2010. https://doi.org/10.1109/melcon.2010.5476345.
View
| Files available
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 11797 |
Feldman, Jon, Monika Henzinger, Nitish Korula, Vahab S. Mirrokni, and Cliff Stein. “Online Stochastic Packing Applied to Display Ad Allocation.” In 18th Annual European Symposium on Algorithms, 6346:182–194. Springer Nature, 2010. 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, Paul, and Monika Henzinger. “Mechanisms for the Marriage and the Assignment Game.” In 7th International Conference on Algorithms and Complexity, 6078:6–12. Springer Nature, 2010. https://doi.org/10.1007/978-3-642-13073-1_2.
View
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 11838 |
Dütting, Paul, Monika Henzinger, and Ingmar Weber. “Sponsored Search, Market Equilibria, and the Hungarian Method.” In 27th International Symposium on Theoretical Aspects of Computer Science, 5:287–98. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010. 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, Shiv, Zoltán Haiman, and Kanhaiya Pandey. “Supermassive Black Hole Formation at High Redshifts through a Primordial Magnetic Field.” The Astrophysical Journal. American Astronomical Society, 2010. 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, Cien, Greg L. Bryan, and Zoltán Haiman. “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, 2010. 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, Gesa, Lena Wartosch, Sven Schaffer, Sandra Stobrawa, Gaia Novarino, Stefanie Weinert, and Thomas Jentsch. “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, 2010. https://doi.org/10.1074/jbc.M110.115600.
View
| DOI
2010 | Published | Journal Article | IST-REx-ID: 2506
Furuya, Sonoko, Kishio Furuya, Ryuichi Shigemoto, and Masahiro Sokabe. “Localization of NK1 Receptors and Roles of Substance-P in Subepithelial Fibroblasts of Rat Intestinal Villi.” Cell and Tissue Research. Springer, 2010. https://doi.org/10.1007/s00441-010-1056-7.
View
| DOI
2010 | Published | Journal Article | IST-REx-ID: 2507
Parajuli, Laxmi, Yugo Fukazawa, Masahiko Watanabe, and Ryuichi Shigemoto. “Subcellular Distribution of Α1G Subunit of T-Type Calcium Channel in the Mouse Dorsal Lateral Geniculate Nucleus.” Journal of Comparative Neurology. Wiley-Blackwell, 2010. https://doi.org/10.1002/cne.22461.
View
| DOI
2010 | Published | Journal Article | IST-REx-ID: 2508
Atherton, Jeremy, Katsunori Kitano, Jérôme Baufreton, Kai Fan, David Wokosin, Tatiana Tkatch, Ryuichi Shigemoto, James Surmeier, and Mark Bevan. “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, 2010. https://doi.org/10.1523/JNEUROSCI.3898-10.2010.
View
| DOI
2010 | Published | Journal Article | IST-REx-ID: 2761
Erdös, László, José Ramírez, Benjamin Schlein, and Horng Yau. “Universality of Sine-Kernel for Wigner Matrices with a Small Gaussian Perturbation.” Electronic Journal of Probability. Institute of Mathematical Statistics, 2010. https://doi.org/10.1214/EJP.v15-768.
View
| DOI