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.
9087 Publications
2009 | Conference Paper | IST-REx-ID: 4544 |
K. Chatterjee, L. De Alfaro, and T. A. Henzinger, “Termination criteria for solving concurrent safety and reachability games,” presented at the SODA: Symposium on Discrete Algorithms, 2009, pp. 197–206.
View
| Files available
| DOI
| Download (ext.)
2009 | Conference Paper | IST-REx-ID: 4540
K. Chatterjee, L. Doyen, and T. A. Henzinger, “Expressiveness and closure properties for quantitative languages,” presented at the LICS: Logic in Computer Science, 2009, pp. 199–208.
View
| Files available
| DOI
2009 | Conference Paper | IST-REx-ID: 4569 |
R. Bloem, K. Chatterjee, T. A. Henzinger, and B. Jobstmann, “Better quality in synthesis through quantitative objectives,” presented at the CAV: Computer Aided Verification, Grenoble, France, 2009, vol. 5643, pp. 140–156.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2009 | Conference Paper | IST-REx-ID: 4580 |
D. Berwanger, K. Chatterjee, M. De Wulf, L. Doyen, and T. A. Henzinger, “Alpaga: A tool for solving parity games with imperfect information,” presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, 2009, vol. 5505, pp. 58–61.
View
| Files available
| DOI
| Download (ext.)
2009 | Technical Report | IST-REx-ID: 5393 |
K. Chatterjee, T. A. Henzinger, B. Jobstmann, and A. Radhakrishna, Gist: A solver for probabilistic games. IST Austria, 2009.
[Published Version]
View
| Files available
| DOI
2009 | Technical Report | IST-REx-ID: 5394 |
K. Chatterjee, T. A. Henzinger, and F. Horn, Improved lower bounds for request-response and finitary Streett games. IST Austria, 2009.
[Published Version]
View
| Files available
| DOI
2009 | Technical Report | IST-REx-ID: 5392 |
K. Chatterjee, Probabilistic automata on infinite words: Decidability and undecidability results. IST Austria, 2009.
[Published Version]
View
| Files available
| DOI
2009 | Technical Report | IST-REx-ID: 5395 |
K. Chatterjee, L. Doyen, and T. A. Henzinger, Qualitative analysis of partially-observable Markov decision processes. IST Austria, 2009.
[Published Version]
View
| Files available
| DOI
2009 | Journal Article | IST-REx-ID: 599 |
M. Knuesel, K. Meyer, C. Bernecky, and D. Taatjes, “The human CDK8 subcomplex is a molecular switch that controls Mediator coactivator function,” Genes and Development, vol. 23, no. 4. Cold Spring Harbor Laboratory Press, pp. 439–451, 2009.
View
| DOI
| Download None (ext.)
2009 | Journal Article | IST-REx-ID: 6144
A. Persson, E. Gross, P. Laurent, K. E. Busch, H. Bretes, and M. de Bono, “Natural variation in a neural globin tunes oxygen sensing in wild Caenorhabditis elegans,” Nature, vol. 458, no. 7241. Springer Nature, pp. 1030–1033, 2009.
View
| DOI
| PubMed | Europe PMC
2009 | Journal Article | IST-REx-ID: 6145
M. Cohen, V. Reale, B. Olofsson, A. Knights, P. Evans, and M. de Bono, “Coordinated regulation of foraging and metabolism in C. elegans by RFamide neuropeptide signaling,” Cell Metabolism, vol. 9, no. 4. Elsevier, pp. 375–385, 2009.
View
| DOI
| PubMed | Europe PMC
2009 | Conference Paper | IST-REx-ID: 11752
X. Yang et al., “Influence of magnetic fields on structural martensitic transitions,” in Journal of Physics: Conference Series, Karlsruhe, Germany, 2009, vol. 200, no. 3.
View
| Files available
| DOI
2009 | Journal Article | IST-REx-ID: 7080
X.-D. Yang et al., “Influence of magnetic fields on structural martensitic transitions,” Philosophical Magazine, vol. 89, no. 22–24. Taylor & Francis, pp. 2083–2091, 2009.
View
| Files available
| DOI
2009 | Journal Article | IST-REx-ID: 7319
M. Reum, S. A. Freunberger, A. Wokaun, and F. N. Büchi, “Measuring the current distribution with sub-millimeter resolution in PEFCs: II. Impact of operating parameters,” Journal of The Electrochemical Society, vol. 156, no. 3. The Electrochemical Society, 2009.
View
| DOI
2009 | Journal Article | IST-REx-ID: 7751
M. R. Robinson, A. J. Wilson, J. G. Pilkington, T. H. Clutton-Brock, J. M. Pemberton, and L. E. B. Kruuk, “The impact of environmental heterogeneity on genetic architecture in a wild population of soay sheep,” Genetics, vol. 181, no. 4. Genetics Society of America, pp. 1639–1648, 2009.
View
| DOI
2009 | Journal Article | IST-REx-ID: 8026 |
T. P. Vogels and L. F. Abbott, “Gating multiple signals through detailed balance of excitation and inhibition in spiking networks,” Nature Neuroscience, vol. 12, no. 4. Springer Nature, pp. 483–491, 2009.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2009 | Journal Article | IST-REx-ID: 88 |
A. P. Higginbotham et al., “Generation of Mie size microdroplet aerosols with applications in laser-driven fusion experiments,” Review of Scientific Instruments, vol. 80, no. 6. American Institute of Physics, 2009.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC