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.
4206 Publications
2013 | Journal Article | IST-REx-ID: 3261 | 
Dubuis, Julien, et al. “Positional Information, in Bits.” PNAS, vol. 110, no. 41, National Academy of Sciences, 2013, pp. 16301–08, doi:10.1073/pnas.1315642110.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2013 | Journal Article | IST-REx-ID: 2831 |
Chatterjee, Krishnendu, et al. “Symbolic Algorithms for Qualitative Analysis of Markov Decision Processes with Büchi Objectives.” Formal Methods in System Design, vol. 42, no. 3, Springer, 2013, pp. 301–27, doi:10.1007/s10703-012-0180-2.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2013 | Journal Article | IST-REx-ID: 450 |
Pickup, Melinda, et al. “Source Population Characteristics Affect Heterosis Following Genetic Rescue of Fragmented Plant Populations.” Proceedings of the Royal Society of London Series B Biological Sciences, vol. 280, no. 1750, 2058, Royal Society, The, 2013, doi:10.1098/rspb.2012.2058.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2013 | Journal Article | IST-REx-ID: 476 |
Dickerson, Desiree, and David Bilkey. “Aberrant Neural Synchrony in the Maternal Immune Activation Model: Using Translatable Measures to Explore Targeted Interventions.” Frontiers in Behavioral Neuroscience, vol. 7, no. DEC, Frontiers Research Foundation, 2013, doi:10.3389/fnbeh.2013.00217.
[Published Version]
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 500 |
Ward, Melissa, et al. “Evolutionary Interactions between Haemagglutinin and Neuraminidase in Avian Influenza.” BMC Evolutionary Biology, vol. 13, no. 1, 222, BioMed Central, 2013, doi:10.1186/1471-2148-13-222.
[Published Version]
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 501 |
Cozzuol, Mario, et al. “A New Species of Tapir from the Amazon.” Journal of Mammalogy, vol. 94, no. 6, Oxford University Press, 2013, pp. 1331–45, doi:10.1644/12-MAMM-A-169.1.
[Published Version]
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 508 |
Tarazona Santos, Eduardo, et al. “Evolutionary Dynamics of the Human NADPH Oxidase Genes CYBB, CYBA, NCF2, and NCF4: Functional Implications.” Molecular Biology and Evolution, vol. 30, no. 9, Oxford University Press, 2013, pp. 2157–67, doi:10.1093/molbev/mst119.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2013 | Journal Article | IST-REx-ID: 509 |
Di Rubbo, Simone, et al. “The Clathrin Adaptor Complex AP-2 Mediates Endocytosis of Brassinosteroid INSENSITIVE1 in Arabidopsis.” Plant Cell, vol. 25, no. 8, American Society of Plant Biologists, 2013, pp. 2986–97, doi:10.1105/tpc.113.114058.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2013 | Journal Article | IST-REx-ID: 507 |
Kim, Soo, et al. “Adaptor Protein Complex 2-Mediated Endocytosis Is Crucial for Male Reproductive Organ Development in Arabidopsis.” Plant Cell, vol. 25, no. 8, American Society of Plant Biologists, 2013, pp. 2970–85, doi:10.1105/tpc.113.114264.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2013 | Journal Article | IST-REx-ID: 511 |
Pěnčík, Aleš, et al. “Regulation of Auxin Homeostasis and Gradients in Arabidopsis Roots through the Formation of the Indole-3-Acetic Acid Catabolite 2-Oxindole-3-Acetic Acid.” Plant Cell, vol. 25, no. 10, American Society of Plant Biologists, 2013, pp. 3858–70, doi:10.1105/tpc.113.114421.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2013 | Journal Article | IST-REx-ID: 516 |
Bargmann, Bastiaan, et al. “A Map of Cell Type‐specific Auxin Responses.” Molecular Systems Biology, vol. 9, no. 1, 688, Nature Publishing Group, 2013, doi:10.1038/msb.2013.40.
[Published Version]
View
| Files available
| DOI
2013 | Conference Paper | IST-REx-ID: 2279 |
Chatterjee, Krishnendu, et al. Looking at Mean-Payoff and Total-Payoff through Windows. Vol. 8172, Springer, 2013, pp. 118–32, doi:10.1007/978-3-319-02444-8_10.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2013 | Technical Report | IST-REx-ID: 5399 |
Reiter, Johannes, et al. TTP: Tool for Tumor Progression. IST Austria, 2013, doi:10.15479/AT:IST-2013-104-v1-1.
[Published Version]
View
| Files available
| DOI
2013 | Conference Paper | IST-REx-ID: 2295 |
Chatterjee, Krishnendu, et al. What Is Decidable about Partially Observable Markov Decision Processes with Omega-Regular Objectives. Vol. 23, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2013, pp. 165–80, doi:10.4230/LIPIcs.CSL.2013.165.
[Published Version]
View
| Files available
| DOI
2013 | Technical Report | IST-REx-ID: 5403 |
Chatterjee, Krishnendu, and Rasmus Ibsen-Jensen. Qualitative Analysis of Concurrent Mean-Payoff Games. IST Austria, 2013, doi:10.15479/AT:IST-2013-126-v1-1.
[Published Version]
View
| Files available
| DOI
2013 | Technical Report | IST-REx-ID: 5402 |
Henzinger, Thomas A., and Ali Sezgin. How Free Is Your Linearizable Concurrent Data Structure? IST Austria, 2013, doi:10.15479/AT:IST-2013-123-v1-1.
[Published Version]
View
| Files available
| DOI
2013 | Technical Report | IST-REx-ID: 5400 |
Chatterjee, Krishnendu, et al. What Is Decidable about Partially Observable Markov Decision Processes with ω-Regular Objectives. IST Austria, 2013, doi:10.15479/AT:IST-2013-109-v1-1.
[Published Version]
View
| Files available
| DOI
2013 | Technical Report | IST-REx-ID: 5404 |
Chatterjee, Krishnendu, and Rasmus Ibsen-Jensen. The Complexity of Ergodic Games. IST Austria, 2013, doi:10.15479/AT:IST-2013-127-v1-1.
[Published Version]
View
| Files available
| DOI
2013 | Report | IST-REx-ID: 5401 |
Porsche, Jana. Initiatives and Projects Related to RD. IST Austria, 2013.
[Published Version]
View
| Files available
2013 | Technical Report | IST-REx-ID: 5405 |
Chatterjee, Krishnendu, et al. Perfect-Information Stochastic Mean-Payoff Parity Games. IST Austria, 2013, doi:10.15479/AT:IST-2013-128-v1-1.
[Published Version]
View
| Files available
| DOI