Please note that IST 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.

1646 Publications


2011 | Journal Article | IST-REx-ID: 3394   OA
Polechova, J., & Barton, N. H. (2011). Genetic drift widens the expected cline but narrows the expected cline width. Genetics, 189(1), 227–235. https://doi.org/10.1534/genetics.111.129817
View | DOI | Download (ext.)
 

2011 | Journal Article | IST-REx-ID: 3399   OA
Cremer, S., Schrempf, A., & Heinze, J. (2011). Competition and opportunity shape the reproductive tactics of males in the ant Cardiocondyla obscurior. PLoS One, 6(3). https://doi.org/10.1371/journal.pone.0017323
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 3368   OA
Krens, G., Möllmert, S., & Heisenberg, C.-P. J. (2011). Enveloping cell layer differentiation at the surface of zebrafish germ layer tissue explants. PNAS, 108(3), E9–E10. https://doi.org/10.1073/pnas.1010767108
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2011 | Journal Article | IST-REx-ID: 3370   OA
Kupczok, A. (2011). Consequences of different null models on the tree shape bias of supertree methods. Systematic Biology, 60(2), 218–225. https://doi.org/10.1093/sysbio/syq086
View | DOI | Download (ext.)
 

2011 | Journal Article | IST-REx-ID: 3375   OA
de Vladar, H., & Barton, N. H. (2011). The statistical mechanics of a polygenic character under stabilizing selection mutation and drift. Journal of the Royal Society Interface, 8(58), 720–739. https://doi.org/10.1098/rsif.2010.0438
View | DOI | Download (ext.)
 

2011 | Journal Article | IST-REx-ID: 490   OA
Schlögl, A., Vidaurre, C., & Sander, T. (2011). BioSig: The free and open source software library for biomedical signal processing. Computational Intelligence and Neuroscience, 2011. https://doi.org/10.1155/2011/935364
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 469   OA
Vyleta, N., & Smith, S. (2011). Spontaneous glutamate release is independent of calcium influx and tonically activated by the calcium-sensing receptor. European Journal of Neuroscience, 31(12), 4593–4606. https://doi.org/10.1523/JNEUROSCI.6398-10.2011
View | DOI | Download (ext.)
 

2011 | Technical Report | IST-REx-ID: 5383   OA
Wies, T., Muñiz, M., & Kuncak, V. (2011). On an efficient decision procedure for imperative tree data structures. IST Austria. https://doi.org/10.15479/AT:IST-2011-0005
View | Files available | DOI
 

2011 | Preprint | IST-REx-ID: 3363   OA
Chatterjee, K., Henzinger, T. A., & Tracol, M. (n.d.). The decidability frontier for probabilistic automata on infinite words. ArXiv.
View | Download (ext.) | arXiv
 

2011 | Conference Paper | IST-REx-ID: 3349   OA
Chatterjee, K., & Fijalkow, N. (2011). A reduction from parity games to simple stochastic games (Vol. 54, pp. 74–86). Presented at the GandALF: Games, Automata, Logic, and Formal Verification, Minori, Italy: EPTCS. https://doi.org/10.4204/EPTCS.54.6
View | DOI | Download (ext.)
 

2011 | Conference Paper | IST-REx-ID: 3351   OA
Chatterjee, K., Doyen, L., & Singh, R. (2011). On memoryless quantitative objectives. In O. Owe, M. Steffen, & J. A. Telle (Eds.) (Vol. 6914, pp. 148–159). Presented at the FCT: Fundamentals of Computation Theory, Oslo, Norway: Springer. https://doi.org/10.1007/978-3-642-22953-4_13
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 3787   OA
Palero, F., Hall, S., Clark, P., Johnston, D., Mackenzie Dodds, J., & Thatje, S. (2010). DNA extraction from formalin-fixed tissue: new light from the deep sea. Scientia Marina, 74(3), 465–470. https://doi.org/10.3989/scimar.2010.74n3465
View | DOI | Download (ext.)
 

2010 | Conference Paper | IST-REx-ID: 3838   OA
Henzinger, T. A., Mateescu, M., Mikeev, L., & Wolf, V. (2010). Hybrid numerical solution of the chemical master equation (pp. 55–65). Presented at the CMSB: Computational Methods in Systems Biology, Trento, Italy: Springer. https://doi.org/10.1145/1839764.1839772
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3852   OA
Chatterjee, K., & Majumdar, R. (2010). Discounting in games across time scales (Vol. 25, pp. 22–29). Presented at the GandALF: Games, Automata, Logic, and Formal Verification, Minori, Italy: EPTCS. https://doi.org/10.4204/EPTCS.25.6
View | Files available | DOI | arXiv
 

2010 | Conference Paper | IST-REx-ID: 3845   OA
Henzinger, T. A., Hottelier, T., Kovács, L., & Rybalchenko, A. (2010). Aligators for arrays (Vol. 6397, pp. 348–356). Presented at the LPAR: Logic for Programming, Artificial Intelligence, and Reasoning, Yogyakarta, Indonesia: Springer. https://doi.org/10.1007/978-3-642-16242-8_25
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 4381   OA
Henzinger, T. A., Tomar, A., Singh, V., Wies, T., & Zufferey, D. (2010). FlexPRICE: Flexible provisioning of resources in a cloud environment (pp. 83–90). Presented at the CLOUD: Cloud Computing, Miami, USA: IEEE. https://doi.org/10.1109/CLOUD.2010.71 
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 489   OA
Cristau, J., David, C., & Horn, F. (2010). How do we remember the past in randomised strategies? . In Proceedings of GandALF 2010 (Vol. 25, pp. 30–39). Minori, Amalfi Coast, Italy: Open Publishing Association. https://doi.org/10.4204/EPTCS.25.7
View | DOI | Download (ext.)
 

2010 | Technical Report | IST-REx-ID: 5391   OA
Cerny, P., Radhakrishna, A., Zufferey, D., Chaudhuri, S., & Alur, R. (2010). Model checking of linearizability of concurrent list implementations. IST Austria. https://doi.org/10.15479/AT:IST-2010-0001
View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 3303   OA
Weissman, D., Feldman, M., & Fisher, D. (2010). The rate of fitness-valley crossing in sexual populations. Genetics, 186(4), 1389–1410. https://doi.org/10.1534/genetics.110.123240
View | DOI | Download (ext.)
 

2010 | Conference Paper | IST-REx-ID: 3719   OA
Feret, J., Henzinger, T. A., Koeppl, H., & Petrov, T. (2010). Lumpability abstractions of rule-based systems (Vol. 40, pp. 142–161). Presented at the MECBIC: Membrane Computing and Biologically Inspired Process Calculi, Jena, Germany: Open Publishing Association.
View | Files available | arXiv
 

Filters and Search Terms

oa=1

extern<>1

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed