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.
1482 Publications
2011 |Published| Conference Paper | IST-REx-ID: 3348 | 
Chatterjee, Krishnendu, and Vinayak Prabhu. Synthesis of Memory Efficient Real Time Controllers for Safety Objectives. Springer, 2011, pp. 221–30, doi:10.1145/1967701.1967734.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2011 |Published| Conference Paper | IST-REx-ID: 3343 |
Chatterjee, Krishnendu, and Monika H. Henzinger. Faster and Dynamic Algorithms for Maximal End-Component Decomposition and Related Graph Problems in Probabilistic Verification. SIAM, 2011, pp. 1318–36, doi:10.1137/1.9781611973082.101.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2011 |Published| Conference Paper | IST-REx-ID: 3360 |
Boker, Udi, and Thomas A. Henzinger. Determinizing Discounted-Sum Automata. Vol. 12, Springer, 2011, pp. 82–96, doi:10.4230/LIPIcs.CSL.2011.82.
[Published Version]
View
| Files available
| DOI
2011 |Published| Book Chapter | IST-REx-ID: 3791
Krens, Gabriel, and Carl-Philipp J. Heisenberg. “Cell Sorting in Development.” Forces and Tension in Development, edited by Michel Labouesse, vol. 95, Elsevier, 2011, pp. 189–213, doi:10.1016/B978-0-12-385065-2.00006-2.
View
| DOI
2011 |Published| Journal Article | IST-REx-ID: 469 |
Vyleta, Nicholas, and Stephen Smith. “Spontaneous Glutamate Release Is Independent of Calcium Influx and Tonically Activated by the Calcium-Sensing Receptor.” European Journal of Neuroscience, vol. 31, no. 12, Wiley-Blackwell, 2011, pp. 4593–606, doi:10.1523/JNEUROSCI.6398-10.2011.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2011 |Published| Journal Article | IST-REx-ID: 491
Eichner, Alexander, and Michael K. Sixt. “Setting the Clock for Recirculating Lymphocytes.” Science Signaling, vol. 4, no. 198, pe43, American Association for the Advancement of Science, 2011, doi:10.1126/scisignal.2002617.
View
| DOI
2011 |Published| Technical Report | IST-REx-ID: 5379 |
Chatterjee, Krishnendu, and Monika H. Henzinger. An O(N2) Time Algorithm for Alternating Büchi Games. IST Austria, 2011, doi:10.15479/AT:IST-2011-0009.
[Published Version]
View
| Files available
| DOI
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, doi:10.15479/AT:IST-2011-0007.
[Published Version]
View
| Files available
| DOI
2011 |Published| Technical Report | IST-REx-ID: 5380 |
Chatterjee, Krishnendu. Bounded Rationality in Concurrent Parity Games. IST Austria, 2011, doi:10.15479/AT:IST-2011-0008.
[Published Version]
View
| Files available
| DOI
2011 |Published| Technical Report | IST-REx-ID: 5382 |
Chatterjee, Krishnendu. Robustness of Structurally Equivalent Concurrent Parity Games. IST Austria, 2011, doi:10.15479/AT:IST-2011-0006.
[Published Version]
View
| Files available
| DOI
2011 |Published| Preprint | IST-REx-ID: 3338 |
Chatterjee, Krishnendu. “Bounded Rationality in Concurrent Parity Games.” ArXiv, ArXiv, 2011, pp. 1–51.
[Preprint]
View
| Files available
| Download Preprint (ext.)
| arXiv
2011 |Published| Conference Paper | IST-REx-ID: 3336
Chen, Chao, et al. “Enforcing Topological Constraints in Random Field Image Segmentation.” CVPR: Computer Vision and Pattern Recognition, IEEE, 2011, pp. 2089–96, doi:10.1109/CVPR.2011.5995503.
View
| Files available
| DOI
2011 |Published| Conference Paper | IST-REx-ID: 3366 |
Cerny, Pavol, et al. Quantitative Synthesis for Concurrent Programs. Edited by Ganesh Gopalakrishnan and Shaz Qadeer, vol. 6806, Springer, 2011, pp. 243–59, doi:10.1007/978-3-642-22110-1_20.
[Submitted Version]
View
| Files available
| DOI
2011 |Published| Journal Article | IST-REx-ID: 6140 |
Arellano-Carbajal, Fausto, et al. “Macoilin, a Conserved Nervous System–Specific ER Membrane Protein That Regulates Neuronal Excitability.” PLoS Genetics, vol. 7, no. 3, e1001341, Public Library of Science, 2011, doi:10.1371/journal.pgen.1001341.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2011 |Published| Journal Article | IST-REx-ID: 7316
Freunberger, Stefan Alexander, et al. “Reactions in the Rechargeable Lithium–O2 Battery with Alkyl Carbonate Electrolytes.” Journal of the American Chemical Society, vol. 133, no. 20, ACS, 2011, pp. 8040–47, doi:10.1021/ja2021747.
View
| DOI
2011 |Published| Journal Article | IST-REx-ID: 8025 |
Woodruff, A. R., et al. “State-Dependent Function of Neocortical Chandelier Cells.” Journal of Neuroscience, vol. 31, no. 49, Society for Neuroscience, 2011, pp. 17872–86, doi:10.1523/jneurosci.3894-11.2011.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2011 |Published| Journal Article | IST-REx-ID: 8469
Schanda, Paul, et al. “Accurate Measurement of One-Bond H–X Heteronuclear Dipolar Couplings in MAS Solid-State NMR.” Journal of Magnetic Resonance, vol. 210, no. 2, Elsevier, 2011, pp. 246–59, doi:10.1016/j.jmr.2011.03.015.
View
| DOI
2011 |Published| Journal Article | IST-REx-ID: 90
Higginbotham, Andrew P., et al. “Evidence of the Harmonic Faraday Instability in Ultrasonic Atomization Experiments with a Deep, Inviscid Fluid.” Journal of the Acoustical Society of America, vol. 130, no. 5, Acoustical Society of America, 2011, pp. 2694–99, doi:10.1121/1.3643816.
View
| DOI
| PubMed | Europe PMC
2011 |Published| Journal Article | IST-REx-ID: 8505
Galante, Joseph, and Vadim Kaloshin. “Destruction of Invariant Curves in the Restricted Circular Planar Three-Body Problem by Using Comparison of Action.” Duke Mathematical Journal, vol. 159, no. 2, Duke University Press, 2011, pp. 275–327, doi:10.1215/00127094-1415878.
View
| DOI
2010 |Published| Conference Paper | IST-REx-ID: 1042
Danzl, Johann G., et al. Production of a Quantum Gas of Rovibronic Ground-State Molecules in an Optical Lattice. World Scientific Publishing, 2010, pp. 256–69, doi:10.1142/9789814282345_0024.
View
| DOI