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.

4262 Publications


2014 |Published| Technical Report | IST-REx-ID: 5424 | OA
Chatterjee, K., Chmelik, M., Gupta, R., & Kanodia, A. (2014). Qualitative analysis of POMDPs with temporal logic specifications for robotics applications. IST Austria. https://doi.org/10.15479/AT:IST-2014-305-v1-1
[Published Version] View | Files available | DOI
 

2014 |Published| Technical Report | IST-REx-ID: 5426 | OA
Chatterjee, K., Chmelik, M., Gupta, R., & Kanodia, A. (2014). Qualitative analysis of POMDPs with temporal logic specifications for robotics applications. IST Austria. https://doi.org/10.15479/AT:IST-2014-305-v2-1
[Published Version] View | Files available | DOI
 

2014 |Published| Technical Report | IST-REx-ID: 5423 | OA
Chatterjee, K., Kössler, A., Pavlogiannis, A., & Schmid, U. (2014). A framework for automated competitive analysis of on-line scheduling of firm-deadline tasks. IST Austria. https://doi.org/10.15479/AT:IST-2014-300-v1-1
[Published Version] View | Files available | DOI
 

2014 |Published| Technical Report | IST-REx-ID: 5427 | OA
Chatterjee, K., Ibsen-Jensen, R., & Pavlogiannis, A. (2014). Optimal tree-decomposition balancing and reachability on low treewidth graphs. IST Austria. https://doi.org/10.15479/AT:IST-2014-314-v1-1
[Published Version] View | Files available | DOI
 

2014 |Published| Technical Report | IST-REx-ID: 5425 | OA
Anonymous, 1, Anonymous, 2, Anonymous, 3, & Anonymous, 4. (2014). Optimal cost almost-sure reachability in POMDPs. IST Austria.
[Published Version] View | Files available
 

2014 |Published| Technical Report | IST-REx-ID: 5415 | OA
Chatterjee, K., Henzinger, T. A., & Otop, J. (2014). Nested weighted automata. IST Austria. https://doi.org/10.15479/AT:IST-2014-170-v1-1
[Published Version] View | Files available | DOI
 

2014 |Published| Technical Report | IST-REx-ID: 5421 | OA
Chatterjee, K., Ibsen-Jensen, R., & Nowak, M. (2014). The complexity of evolution on graphs. IST Austria. https://doi.org/10.15479/AT:IST-2014-190-v2-2
[Published Version] View | Files available | DOI
 

2014 |Draft| Working Paper | IST-REx-ID: 7038 | OA
Huszár, K., & Rolinek, M. (n.d.). Playful Math - An introduction to mathematical games. IST Austria.
[Published Version] View | Files available
 

2014 |Published| Journal Article | IST-REx-ID: 2083 | OA
Lagator, M., Morgan, A., Neve, P., & Colegrave, N. (2014). Role of sex and migration in adaptation to sink environments. Evolution. Wiley. https://doi.org/10.1111/evo.12440
[Published Version] View | Files available | DOI
 

2014 | Research Data Reference | IST-REx-ID: 9747 | OA
Lagator, M., Morgan, A., Neve, P., & Colegrave, N. (2014). Data from: Role of sex and migration in adaptation to sink environments. Dryad. https://doi.org/10.5061/dryad.s42n1
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2014 |Published| Journal Article | IST-REx-ID: 2086 | OA
Wolf, S., Mcmahon, D., Lim, K., Pull, C., Clark, S., Paxton, R., & Osborne, J. (2014). So near and yet so far: Harmonic radar reveals reduced homing ability of Nosema infected honeybees. PLoS One. Public Library of Science. https://doi.org/10.1371/journal.pone.0103989
[Published Version] View | Files available | DOI
 

2014 |Published| Journal Article | IST-REx-ID: 2004 | OA
Lovrics, A., Gao, Y., Juhász, B., Bock, I., Byrne, H., Dinnyés, A., & Kovács, K. (2014). Boolean modelling reveals new regulatory connections between transcription factors orchestrating the development of the ventral spinal cord. PLoS One. Public Library of Science. https://doi.org/10.1371/journal.pone.0111430
[Published Version] View | Files available | DOI
 

2014 |Published| Journal Article | IST-REx-ID: 2039 | OA
Chatterjee, K., Pavlogiannis, A., Adlam, B., & Nowak, M. (2014). The time scale of evolutionary innovation. PLoS Computational Biology. Public Library of Science. https://doi.org/10.1371/journal.pcbi.1003818
[Published Version] View | Files available | DOI
 

2014 |Published| Journal Article | IST-REx-ID: 2036 | OA
Lagator, M., Colegrave, N., & Neve, P. (2014). Selection history and epistatic interactions impact dynamics of adaptation to novel environmental stresses. Proceedings of the Royal Society of London Series B Biological Sciences. Royal Society, The. https://doi.org/10.1098/rspb.2014.1679
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.)
 

2014 | Research Data Reference | IST-REx-ID: 9740 | OA
Konrad, M., Grasse, A. V., Tragust, S., & Cremer, S. (2014). Data from: Anti-pathogen protection versus survival costs mediated by an ectosymbiont in an ant host. Dryad. https://doi.org/10.5061/dryad.vm0vc
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2014 | Research Data Reference | IST-REx-ID: 9741 | OA
Lagator, M., Colegrave, N., & Neve, P. (2014). Data from: Selection history and epistatic interactions impact dynamics of adaptation to novel environmental stresses. Dryad. https://doi.org/10.5061/dryad.85dn7
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2014 |Published| Journal Article | IST-REx-ID: 2170 | OA
Hearn, J., Stone, G., Bunnefeld, L., Nicholls, J., Barton, N. H., & Lohse, K. (2014). Likelihood-based inference of population history from low-coverage de novo genome assemblies. Molecular Ecology. Wiley-Blackwell. https://doi.org/10.1111/mec.12578
[Submitted Version] View | Files available | DOI
 

2014 | Research Data Reference | IST-REx-ID: 9753 | OA
Tragust, S., Ugelvig, L. V., Chapuisat, M., Heinze, J., & Cremer, S. (2014). Data from: Pupal cocoons affect sanitary brood care and limit fungal infections in ant colonies. Dryad. https://doi.org/10.5061/dryad.nc0gc
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2014 | Research Data Reference | IST-REx-ID: 9752 | OA
Simmons, K., Prentice, J., Tkačik, G., Homann, J., Yee, H., Palmer, S., … Balasubramanian, V. (2014). Data from: Transformation of stimulus correlations by the retina. Dryad. https://doi.org/10.5061/dryad.246qg
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2014 | Research Data Reference | IST-REx-ID: 9932 | OA
Dhar, R., Bergmiller, T., & Wagner, A. (2014). Data from: Increased gene dosage plays a predominant role in the initial stages of evolution of duplicate TEM-1 beta lactamase genes. Dryad. https://doi.org/10.5061/dryad.jc402
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

Filters and Search Terms

extern<>1

oa=1

Search

Filter Publications