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.
5368 Publications
2016 | Published | Technical Report | IST-REx-ID: 5445 |
K. Chatterjee, A. Pavlogiannis, and Y. Velner, Quantitative interprocedural analysis. IST Austria, 2016.
[Published Version]
View
| Files available
| DOI
2016 | Published | Technical Report | IST-REx-ID: 5449 |
A. Pavlogiannis, J. Tkadlec, K. Chatterjee, and M. Nowak, Amplification on undirected population structures: Comets beat stars. IST Austria, 2016.
[Updated Version]
View
| Files available
| DOI
2016 | Published | Technical Report | IST-REx-ID: 5451 |
A. Pavlogiannis, J. Tkadlec, K. Chatterjee, and M. Nowak, Strong amplifiers of natural selection. IST Austria, 2016.
[Published Version]
View
| Files available
| DOI
2016 | Published | Technical Report | IST-REx-ID: 5452 |
A. Pavlogiannis, J. Tkadlec, K. Chatterjee, and M. Nowak, Arbitrarily strong amplifiers of natural selection. IST Austria, 2016.
[Published Version]
View
| Files available
| DOI
2016 | Published | Technical Report | IST-REx-ID: 5453 |
A. Pavlogiannis, J. Tkadlec, K. Chatterjee, and M. Nowak, Arbitrarily strong amplifiers of natural selection. IST Austria, 2016.
[Published Version]
View
| Files available
| DOI
2016 | Research Data | IST-REx-ID: 5550 |
T. Ellis and D. Field, “Flower colour data and phylogeny (NEXUS) files.” Institute of Science and Technology Austria, 2016.
[Published Version]
View
| Files available
| DOI
2016 | Research Data | IST-REx-ID: 5556 |
M. Lukacisin, M. Landon, and R. Jajoo, “MATLAB analysis code for ‘Sequence-Specific Thermodynamic Properties of Nucleic Acids Influence Both Transcriptional Pausing and Backtracking in Yeast.’” Institute of Science and Technology Austria, 2016.
[Published Version]
View
| Files available
| DOI
2016 | Research Data | IST-REx-ID: 5557 |
P. Swoboda, “Synthetic discrete tomography problems.” Institute of Science and Technology Austria, 2016.
[Published Version]
View
| Files available
| DOI
2016 | Published | Journal Article | IST-REx-ID: 5749 |
S. Wielgoss, T. Bergmiller, A. M. Bischofberger, and A. R. Hall, “Adaptation to parasites and costs of parasite resistance in mutator and nonmutator bacteria,” Molecular Biology and Evolution, vol. 33, no. 3. Oxford University Press, pp. 770–782, 2016.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2016 | Published | Journal Article | IST-REx-ID: 1202 |
B. Milutinovic, R. Peuß, K. Ferro, and J. Kurtz, “Immune priming in arthropods: an update focusing on the red flour beetle,” Zoology , vol. 119, no. 4. Elsevier, pp. 254–261, 2016.
[Published Version]
View
| Files available
| DOI
2016 | Published | Journal Article | IST-REx-ID: 1203 |
F. Hu et al., “Comparative genomic analysis of Haemophilus haemolyticus and nontypeable Haemophilus influenzae and a new testing scheme for their discrimination,” Journal of Clinical Microbiology, vol. 54, no. 12. American Society for Microbiology, pp. 3010–3017, 2016.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2016 | Published | Journal Article | IST-REx-ID: 1204 |
A. Amir, M. Lemeshko, and T. Tokieda, “Surprises in numerical expressions of physical constants,” American Mathematical Monthly, vol. 123, no. 6. Mathematical Association of America, pp. 609–612, 2016.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 | Published | Conference Paper | IST-REx-ID: 1205 |
Y. Jiang et al., “Safety assured formal model driven design of the multifunction vehicle bus controller,” presented at the FM: International Symposium on Formal Methods, Limassol, Cyprus, 2016, vol. 9995, pp. 757–763.
[Submitted Version]
View
| Files available
| DOI
2016 | Published | Journal Article | IST-REx-ID: 1206 |
E. Redchenko and M. Lemeshko, “Libration of strongly oriented polar molecules inside a superfluid,” ChemPhysChem, vol. 17, no. 22. Wiley-Blackwell, pp. 3649–3654, 2016.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 | Published | Journal Article | IST-REx-ID: 1209 |
J. A. Letts, G. Degliesposti, K. Fiedorczuk, M. Skehel, and L. A. Sazanov, “Purification of ovine respiratory complex i results in a highly active and stable preparation,” Journal of Biological Chemistry, vol. 291, no. 47. American Society for Biochemistry and Molecular Biology, pp. 24657–24675, 2016.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2016 | Published | Journal Article | IST-REx-ID: 1212 |
H. Rakusová, M. Abbas, H. Han, S. Song, H. Robert, and J. Friml, “Termination of shoot gravitropic responses by auxin feedback on PIN3 polarity,” Current Biology, vol. 26, no. 22. Cell Press, pp. 3026–3032, 2016.
[Submitted Version]
View
| Files available
| DOI