Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
5270 Publications
2011 |Published| Technical Report | IST-REx-ID: 5380 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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: 3356 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
U. Boker, K. Chatterjee, T. A. Henzinger, and O. Kupferman, “Temporal specifications with accumulative values,” presented at the LICS: Logic in Computer Science, Toronto, Canada, 2011.
[Submitted Version]
View
| Files available
| DOI
2011 |Published| Technical Report | IST-REx-ID: 5385 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
U. Boker, K. Chatterjee, T. A. Henzinger, and O. Kupferman, Temporal specifications with accumulative values. IST Austria, 2011.
[Published Version]
View
| Files available
| DOI
2011 |Published| Technical Report | IST-REx-ID: 5386 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
C. Chen, D. Freedman, and C. Lampert, Enforcing topological constraints in random field image segmentation. IST Austria, 2011.
[Published Version]
View
| Files available
| DOI
2011 |Published| Technical Report | IST-REx-ID: 5383 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
T. Wies, M. Muñiz, and V. Kuncak, On an efficient decision procedure for imperative tree data structures. IST Austria, 2011.
[Published Version]
View
| Files available
| DOI
2011 |Published| Technical Report | IST-REx-ID: 5384 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
K. Chatterjee and M. Tracol, Decidable problems for probabilistic automata on infinite words. IST Austria, 2011.
[Published Version]
View
| Files available
| DOI
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: 3323
T. Wies, M. Muñiz, and V. Kuncak, “An efficient decision procedure for imperative tree data structures,” presented at the CADE 23: Automated Deduction , Wrocław, Poland, 2011, vol. 6803, pp. 476–491.
View
| Files available
| DOI
2011 |Published| Conference Paper | IST-REx-ID: 3366 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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| Conference Paper | IST-REx-ID: 3345 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
K. Chatterjee and L. Doyen, “Energy and mean-payoff parity Markov Decision Processes,” presented at the MFCS: Mathematical Foundations of Computer Science, Warsaw, Poland, 2011, vol. 6907, pp. 206–218.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2011 |Published| Technical Report | IST-REx-ID: 5387 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
K. Chatterjee and L. Doyen, Energy and mean-payoff parity Markov decision processes. IST Austria, 2011.
[Published Version]
View
| Files available
| DOI
2011 |Published| Journal Article | IST-REx-ID: 6496 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
H. Park, P. Oikonomou, C. C. Guet, and P. Cluzel, “Noise underlies switching behavior of the bacterial flagellum,” Biophysical Journal, vol. 101, no. 10. Elsevier, pp. 2336–2340, 2011.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2011 |Published| Journal Article | IST-REx-ID: 9483 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
T.-F. Hsieh et al., “Regulation of imprinted gene expression in Arabidopsis endosperm,” Proceedings of the National Academy of Sciences, vol. 108, no. 5. National Academy of Sciences, pp. 1755–1762, 2011.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2011 |Published| Other Publication | IST-REx-ID: 9522 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
D. Zilberman, Balancing parental contributions in plant embryonic gene activation, vol. 20, no. 6. Elsevier, 2011, pp. 735–736.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2011 |Published| Conference Paper | IST-REx-ID: 9648 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
R. Gonzalez-Diaz, A. Ion, M. J. Jimenez, and R. Poyatos, “Incremental-decremental algorithm for computing AT-models and persistent homology,” in Computer Analysis of Images and Patterns, Seville, Spain, 2011, vol. 6854, pp. 286–293.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2011 |Published| Journal Article | IST-REx-ID: 3395
F. Palero, P. Abello, E. Macpherson, M. Beaumont, and M. Pascual, “Effect of oceanographic barriers and overfishing on the population genetic structure of the European spiny lobster Palinurus elephas,” Biological Journal of the Linnean Society, vol. 104, no. 2. Wiley-Blackwell, pp. 407–418, 2011.
View
| Files available
| DOI
2011 | Research Data Reference | IST-REx-ID: 9762 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
F. Palero, P. Abello, E. Macpherson, M. Beaumont, and M. Pascual, “Data from: Effect of oceanographic barriers and overfishing on the population genetic structure of the European spiny lobster (Palinurus elephas).” IST Austria, 2011.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2011 |Published| Conference Paper | IST-REx-ID: 9943 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
C. M. Sommer, C. Straehle, U. Köthe, and F. A. Hamprecht, “Ilastik: Interactive learning and segmentation toolkit,” in 2011 IEEE International Symposium on Biomedical Imaging: from Nano to Micro, Chicago, Illinois, USA, 2011.
[Preprint]
View
| DOI
| Download Preprint (ext.)