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.
5018 Publications
2013 | Technical Report | IST-REx-ID: 5406 | 
K. Chatterjee, T. A. Henzinger, J. Otop, and A. Pavlogiannis, Distributed synthesis for LTL Fragments. IST Austria, 2013.
[Published Version]
View
| Files available
| DOI
2013 | Technical Report | IST-REx-ID: 5408 |
K. Chatterjee, L. Doyen, S. Nain, and M. Vardi, The complexity of partial-observation stochastic parity games with finite-memory strategies. IST Austria, 2013.
[Published Version]
View
| Files available
| DOI
2013 | Technical Report | IST-REx-ID: 5410 |
U. Ahmed, K. Chatterjee, and S. Gulwani, Automatic generation of alternative starting positions for traditional board games. IST Austria, 2013.
[Published Version]
View
| Files available
| DOI
2013 | Conference Paper | IST-REx-ID: 2327 |
T. A. Henzinger and J. Otop, “From model checking to model measuring,” vol. 8052. Springer, pp. 273–287, 2013.
[Submitted Version]
View
| Files available
| DOI
2013 | Technical Report | IST-REx-ID: 6440 |
T. A. Henzinger, H. Payer, and A. Sezgin, Replacing competition with cooperation to achieve scalable lock-free FIFO queues . IST Austria, 2013.
[Published Version]
View
| Files available
| DOI
2013 | Conference Paper | IST-REx-ID: 2329 |
K. Chatterjee and Y. Velner, “Hyperplane separation technique for multidimensional mean-payoff games,” vol. 8052. Springer, pp. 500–515, 2013.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2013 | Journal Article | IST-REx-ID: 827 |
J. O’Brien and E. Benková, “Cytokinin cross talking during biotic and abiotic stress responses,” Frontiers in Plant Science, vol. 4. Frontiers Research Foundation, 2013.
[Published Version]
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 828 |
C. Cuesta, K. T. Wabnik, and E. Benková, “Systems approaches to study root architecture dynamics,” Frontiers in Plant Science, vol. 4. Frontiers Research Foundation, 2013.
[Published Version]
View
| Files available
| DOI
2013 | Research Data Reference | IST-REx-ID: 9749
B. Zagorsky, J. Reiter, K. Chatterjee, and M. Nowak, “Forgiver triumphs in alternating prisoner’s dilemma .” Public Library of Science, 2013.
[Published Version]
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 2944
S. Aeschbacher, A. Futschik, and M. Beaumont, “Approximate Bayesian computation for modular inference problems with many parameters: the example of migration rates. ,” Molecular Ecology, vol. 22, no. 4. Wiley-Blackwell, pp. 987–1002, 2013.
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 9459 |
A. Zemach et al., “The Arabidopsis nucleosome remodeler DDM1 allows DNA methyltransferases to access H1-containing heterochromatin,” Cell, vol. 153, no. 1. Elsevier, pp. 193–205, 2013.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2013 | Journal Article | IST-REx-ID: 9481 |
J. A. Rodrigues et al., “Imprinted expression of genes and small RNA is associated with localized hypomethylation of the maternal genome in rice endosperm,” Proceedings of the National Academy of Sciences, vol. 110, no. 19. National Academy of Sciences, pp. 7934–7939, 2013.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2013 | Journal Article | IST-REx-ID: 2284 |
S. Tragust, L. V. Ugelvig, M. Chapuisat, J. Heinze, and S. Cremer, “Pupal cocoons affect sanitary brood care and limit fungal infections in ant colonies,” BMC Evolutionary Biology, vol. 13, no. 1. BioMed Central, 2013.
[Published Version]
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 2277 |
K. Simmons et al., “Transformation of stimulus correlations by the retina,” PLoS Computational Biology, vol. 9, no. 12. Public Library of Science, 2013.
[Published Version]
View
| Files available
| DOI
2013 | Research Data Reference | IST-REx-ID: 9754 |
J. Hearn, G. Stone, N. H. Barton, K. Lohse, and L. Bunnefeld, “Data from: Likelihood-based inference of population history from low coverage de novo genome assemblies.” Dryad, 2013.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2013 | Journal Article | IST-REx-ID: 9520 |
X. Feng, D. Zilberman, and H. Dickinson, “A conversation across generations: Soma-germ cell crosstalk in plants,” Developmental Cell, vol. 24, no. 3. Elsevier, pp. 215–225, 2013.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2013 | Journal Article | IST-REx-ID: 2914 |
G. Stephens, T. Mora, G. Tkačik, and W. Bialek, “Statistical thermodynamics of natural images,” Physical Review Letters, vol. 110, no. 1. American Physical Society, 2013.
[Published Version]
View
| Files available
| DOI
| arXiv
2013 | Book Chapter | IST-REx-ID: 10900
M. Weber and M. K. Sixt, “Live Cell Imaging of Chemotactic Dendritic Cell Migration in Explanted Mouse Ear Preparations,” in Chemokines, vol. 1013, A. Cardona and E. Ubogu, Eds. Totowa, NJ: Humana Press, 2013, pp. 215–226.
View
| DOI
| PubMed | Europe PMC
2013 | Book Chapter | IST-REx-ID: 5747 |
C. Dragoi, A. Gupta, and T. A. Henzinger, “Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates,” in Computer Aided Verification, vol. 8044, Berlin, Heidelberg: Springer Berlin Heidelberg, 2013, pp. 174–190.
View
| Files available
| DOI