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.

1481 Publications


2011 |Published| Conference Paper | IST-REx-ID: 3343 | OA
K. Chatterjee and M. H. Henzinger, “Faster and dynamic algorithms for maximal end-component decomposition and related graph problems in probabilistic verification,” presented at the SODA: Symposium on Discrete Algorithms, San Francisco, SA, United States, 2011, pp. 1318–1336.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2011 |Published| Conference Paper | IST-REx-ID: 3360 | OA
U. Boker and T. A. Henzinger, “Determinizing discounted-sum automata,” presented at the CSL: Computer Science Logic, Bergen, Norway, 2011, vol. 12, pp. 82–96.
[Published Version] View | Files available | DOI
 

2011 |Published| Book Chapter | IST-REx-ID: 3791
G. Krens and C.-P. J. Heisenberg, “Cell sorting in development,” in Forces and Tension in Development, vol. 95, M. Labouesse, Ed. Elsevier, 2011, pp. 189–213.
View | DOI
 

2011 |Published| Journal Article | IST-REx-ID: 469 | OA
N. Vyleta and S. 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, pp. 4593–4606, 2011.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2011 |Published| Journal Article | IST-REx-ID: 491
A. Eichner and M. K. Sixt, “Setting the clock for recirculating lymphocytes,” Science Signaling, vol. 4, no. 198. American Association for the Advancement of Science, 2011.
View | DOI
 

2011 |Published| Technical Report | IST-REx-ID: 5379 | OA
K. Chatterjee and M. H. Henzinger, An O(n2) time algorithm for alternating Büchi games. IST Austria, 2011.
[Published Version] View | Files available | DOI
 

2011 |Published| Technical Report | IST-REx-ID: 5381 | OA
K. Chatterjee and L. Doyen, Partial-observation stochastic games: How to win when belief fails. IST Austria, 2011.
[Published Version] View | Files available | DOI
 

2011 |Published| Technical Report | IST-REx-ID: 5380 | OA
K. Chatterjee, Bounded rationality in concurrent parity games. IST Austria, 2011.
[Published Version] View | Files available | DOI
 

2011 |Published| Technical Report | IST-REx-ID: 5382 | OA
K. Chatterjee, Robustness of structurally equivalent concurrent parity games. IST Austria, 2011.
[Published Version] View | Files available | DOI
 

2011 |Published| Preprint | IST-REx-ID: 3338 | OA
K. Chatterjee, “Bounded rationality in concurrent parity games,” arXiv. ArXiv, pp. 1–51, 2011.
[Preprint] View | Files available | Download Preprint (ext.) | arXiv
 

2011 |Published| Conference Paper | IST-REx-ID: 3336
C. Chen, D. Freedman, and C. Lampert, “Enforcing topological constraints in random field image segmentation,” in CVPR: Computer Vision and Pattern Recognition, Colorado Springs, CO, United States, 2011, pp. 2089–2096.
View | Files available | DOI
 

2011 |Published| Conference Paper | IST-REx-ID: 3366 | OA
P. Cerny, K. Chatterjee, T. A. Henzinger, A. Radhakrishna, and R. Singh, “Quantitative synthesis for concurrent programs,” presented at the CAV: Computer Aided Verification, Snowbird, USA, 2011, vol. 6806, pp. 243–259.
[Submitted Version] View | Files available | DOI
 

2011 |Published| Journal Article | IST-REx-ID: 6140 | OA
F. Arellano-Carbajal, L. Briseño-Roa, A. Couto, B. H. H. Cheung, M. Labouesse, and M. de Bono, “Macoilin, a conserved nervous system–specific ER membrane protein that regulates neuronal excitability,” PLoS Genetics, vol. 7, no. 3. Public Library of Science, 2011.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2011 |Published| Journal Article | IST-REx-ID: 7316
S. A. Freunberger et al., “Reactions in the rechargeable Lithium–O2 battery with alkyl carbonate electrolytes,” Journal of the American Chemical Society, vol. 133, no. 20. ACS, pp. 8040–8047, 2011.
View | DOI
 

2011 |Published| Journal Article | IST-REx-ID: 8025 | OA
A. R. Woodruff, L. M. McGarry, T. P. Vogels, M. Inan, S. A. Anderson, and R. Yuste, “State-dependent function of neocortical chandelier cells,” Journal of Neuroscience, vol. 31, no. 49. Society for Neuroscience, pp. 17872–17886, 2011.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2011 |Published| Journal Article | IST-REx-ID: 8469
P. Schanda, B. H. Meier, and M. Ernst, “Accurate measurement of one-bond H–X heteronuclear dipolar couplings in MAS solid-state NMR,” Journal of Magnetic Resonance, vol. 210, no. 2. Elsevier, pp. 246–259, 2011.
View | DOI
 

2011 |Published| Journal Article | IST-REx-ID: 90
A. P. Higginbotham, A. Guillen, N. Jones, T. Donnelly, and A. Bernoff, “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, pp. 2694–2699, 2011.
View | DOI | PubMed | Europe PMC
 

2011 |Published| Journal Article | IST-REx-ID: 8505
J. Galante and V. 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, pp. 275–327, 2011.
View | DOI
 

2010 |Published| Conference Paper | IST-REx-ID: 1042
J. G. Danzl, M. Mark, E. Haller, M. Gustavsson, R. Hart, and H. Nägerl, “Production of a quantum gas of rovibronic ground-state molecules in an optical lattice,” presented at the ICOLS: International Conference on Laser Spectroscopy, 2010, pp. 256–269.
View | DOI
 

2010 |Published| Journal Article | IST-REx-ID: 11099
C. M. Doucet and M. Hetzer, “Nuclear pore biogenesis into an intact nuclear envelope,” Chromosoma, vol. 119. Springer Nature, pp. 469–477, 2010.
View | DOI | PubMed | Europe PMC
 

Filters and Search Terms

isbn%3D978-161197478-2

Search

Filter Publications