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.

6561 Publications


2016 | Published | Technical Report | IST-REx-ID: 5446 | OA
Termination and worst-case analysis of recursive programs
1 Anonymous, 2 Anonymous, 3 Anonymous, Termination and Worst-Case Analysis of Recursive Programs, IST Austria, 2016.
[Published Version] View | Files available
 

2016 | Published | Technical Report | IST-REx-ID: 5447 | OA
Average-case analysis of programs: Automated recurrence analysis for almost-linear bounds
1 Anonymous, 2 Anonymous, 3 Anonymous, Average-Case Analysis of Programs: Automated Recurrence Analysis for Almost-Linear Bounds, IST Austria, 2016.
[Published Version] View | Files available
 

2016 | Published | Technical Report | IST-REx-ID: 5448 | OA
Data-centric dynamic partial order reduction
1 Anonymous, 2 Anonymous, 3 Anonymous, 4 Anonymous, Data-Centric Dynamic Partial Order Reduction, IST Austria, 2016.
[Published Version] View | Files available | arXiv
 

2016 | Published | Technical Report | IST-REx-ID: 5449 | OA
Amplification on undirected population structures: Comets beat stars
A. Pavlogiannis, J. Tkadlec, K. Chatterjee, 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 | OA
Strong amplifiers of natural selection
A. Pavlogiannis, J. Tkadlec, K. Chatterjee, M. Nowak, Strong Amplifiers of Natural Selection, IST Austria, 2016.
[Published Version] View | Files available | DOI
 

2016 | Published | Technical Report | IST-REx-ID: 5452 | OA
Arbitrarily strong amplifiers of natural selection
A. Pavlogiannis, J. Tkadlec, K. Chatterjee, 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 | OA
Arbitrarily strong amplifiers of natural selection
A. Pavlogiannis, J. Tkadlec, K. Chatterjee, M. Nowak, Arbitrarily Strong Amplifiers of Natural Selection, IST Austria, 2016.
[Published Version] View | Files available | DOI
 

2016 | Research Data | IST-REx-ID: 5550 | OA
Flower colour data and phylogeny (NEXUS) files
T. Ellis, D. Field, (2016).
[Published Version] View | Files available | DOI
 

2016 | Research Data | IST-REx-ID: 5555 | OA
Fiji script to determine average speed and direction of migration of cells
R. Hauschild, (2016).
[Published Version] View | Files available | DOI
 

2016 | Research Data | IST-REx-ID: 5556 | OA
MATLAB analysis code for 'Sequence-Specific Thermodynamic Properties of Nucleic Acids Influence Both Transcriptional Pausing and Backtracking in Yeast'
M. Lukacisin, M. Landon, R. Jajoo, (2016).
[Published Version] View | Files available | DOI
 

2016 | Research Data | IST-REx-ID: 5557 | OA
Synthetic discrete tomography problems
P. Swoboda, (2016).
[Published Version] View | Files available | DOI
 

2016 | Published | Journal Article | IST-REx-ID: 5749 | OA
Adaptation to parasites and costs of parasite resistance in mutator and nonmutator bacteria
S. Wielgoss, T. Bergmiller, A.M. Bischofberger, A.R. Hall, Molecular Biology and Evolution 33 (2016) 770–782.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2016 | Published | Journal Article | IST-REx-ID: 5771 | OA
Retrovirus maturation—an extraordinary structural transformation
S. Mattei, F.K. Schur, J.A. Briggs, Current Opinion in Virology 18 (2016) 27–35.
[Published Version] View | Files available | DOI
 

2016 | Published | Journal Article | IST-REx-ID: 587 | OA
Quantum phase magnification
O. Hosten, R. Krishnakumar, N. Engelsen, M. Kasevich, Science 352 (2016) 1552–1555.
View | DOI | Download (ext.)
 

2016 | Published | Journal Article | IST-REx-ID: 1202 | OA
Immune priming in arthropods: an update focusing on the red flour beetle
B. Milutinovic, R. Peuß, K. Ferro, J. Kurtz, Zoology 119 (2016) 254–261.
[Published Version] View | Files available | DOI
 

2016 | Published | Journal Article | IST-REx-ID: 1203 | OA
Comparative genomic analysis of Haemophilus haemolyticus and nontypeable Haemophilus influenzae and a new testing scheme for their discrimination
F. Hu, L. Rishishwar, A. Sivadas, G. Mitchell, J. King, T. Murphy, J. Gilsdorf, L. Mayer, X. Wang, Journal of Clinical Microbiology 54 (2016) 3010–3017.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2016 | Published | Journal Article | IST-REx-ID: 1204 | OA
Surprises in numerical expressions of physical constants
A. Amir, M. Lemeshko, T. Tokieda, American Mathematical Monthly 123 (2016) 609–612.
[Preprint] View | DOI | Download Preprint (ext.)
 

2016 | Published | Conference Paper | IST-REx-ID: 1205 | OA
Safety assured formal model driven design of the multifunction vehicle bus controller
Y. Jiang, H. Liu, H. Song, H. Kong, M. Gu, J. Sun, L. Sha, in:, Springer, 2016, pp. 757–763.
[Submitted Version] View | Files available | DOI
 

2016 | Published | Journal Article | IST-REx-ID: 1206 | OA
Libration of strongly oriented polar molecules inside a superfluid
E. Redchenko, M. Lemeshko, ChemPhysChem 17 (2016) 3649–3654.
[Preprint] View | DOI | Download Preprint (ext.)
 

2016 | Published | Journal Article | IST-REx-ID: 1209 | OA
Purification of ovine respiratory complex i results in a highly active and stable preparation
J.A. Letts, G. Degliesposti, K. Fiedorczuk, M. Skehel, L.A. Sazanov, Journal of Biological Chemistry 291 (2016) 24657–24675.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

Filters and Search Terms

oa=1

Search

Filter Publications

Display / Sort

Export / Embed