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.

6710 Publications


2016 | Published | Conference Paper | IST-REx-ID: 480 | OA
Chatterjee, Krishnendu, and Laurent Doyen. Perfect-Information Stochastic Games with Generalized Mean-Payoff Objectives. Vol. 05-08-July-2016, IEEE, 2016, pp. 247–56, doi:10.1145/2933575.2934513.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2016 | Published | Conference Paper | IST-REx-ID: 482
Rueda, Alfredo, et al. Nonlinear Single Sideband Microwave to Optical Conversion Using an Electro-Optic WGM-Resonator. Optica Publishing Group, 2016, doi:10.1364/NP.2016.NTh3A.6.
View | DOI
 

2016 | Published | Journal Article | IST-REx-ID: 510 | OA
Liu, Zhijun, et al. “The CLE Gene Family in Populus Trichocarpa.” Plant Signaling & Behavior, vol. 11, no. 6, e1191734, Taylor & Francis, 2016, doi:10.1080/15592324.2016.1191734.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 

earlier version | 2016 | Published | Technical Report | IST-REx-ID: 5445 | OA
Chatterjee, Krishnendu, et al. Quantitative Interprocedural Analysis. IST Austria, 2016, doi:10.15479/AT:IST-2016-523-v1-1.
[Published Version] View | Files available | DOI
 

2016 | Published | Technical Report | IST-REx-ID: 5446 | OA
Anonymous, 1, et al. 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
Anonymous, 1, et al. Average-Case Analysis of Programs: Automated Recurrence Analysis for Almost-Linear Bounds. IST Austria, 2016.
[Published Version] View | Files available
 

earlier version | 2016 | Published | Technical Report | IST-REx-ID: 5448 | OA
Anonymous, 1, et al. Data-Centric Dynamic Partial Order Reduction. IST Austria, 2016.
[Published Version] View | Files available | arXiv
 

earlier version | 2016 | Published | Technical Report | IST-REx-ID: 5449 | OA
Pavlogiannis, Andreas, et al. Amplification on Undirected Population Structures: Comets Beat Stars. IST Austria, 2016, doi:10.15479/AT:IST-2016-648-v1-1.
[Updated Version] View | Files available | DOI
 

2016 | Published | Technical Report | IST-REx-ID: 5451 | OA
Pavlogiannis, Andreas, et al. Strong Amplifiers of Natural Selection. IST Austria, 2016, doi:10.15479/AT:IST-2016-728-v1-1.
[Published Version] View | Files available | DOI
 

earlier version | 2016 | Published | Technical Report | IST-REx-ID: 5452 | OA
Pavlogiannis, Andreas, et al. Arbitrarily Strong Amplifiers of Natural Selection. IST Austria, 2016, doi:10.15479/AT:IST-2017-728-v2-1.
[Published Version] View | Files available | DOI
 

2016 | Published | Technical Report | IST-REx-ID: 5453 | OA
Pavlogiannis, Andreas, et al. Arbitrarily Strong Amplifiers of Natural Selection. IST Austria, 2016, doi:10.15479/AT:IST-2017-749-v3-1.
[Published Version] View | Files available | DOI
 

2016 | Research Data | IST-REx-ID: 5550 | OA
Ellis, Thomas, and David Field. Flower Colour Data and Phylogeny (NEXUS) Files. Institute of Science and Technology Austria, 2016, doi:10.15479/AT:ISTA:34.
[Published Version] View | Files available | DOI
 

2016 | Research Data | IST-REx-ID: 5555 | OA
Hauschild, Robert. Fiji Script to Determine Average Speed and Direction of Migration of Cells. Institute of Science and Technology Austria, 2016, doi:10.15479/AT:ISTA:44.
[Published Version] View | Files available | DOI
 

2016 | Research Data | IST-REx-ID: 5556 | OA
Lukacisin, Martin, et al. 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, doi:10.15479/AT:ISTA:45.
[Published Version] View | Files available | DOI
 

2016 | Research Data | IST-REx-ID: 5557 | OA
Swoboda, Paul. Synthetic Discrete Tomography Problems. Institute of Science and Technology Austria, 2016, doi:10.15479/AT:ISTA:46.
[Published Version] View | Files available | DOI
 

2016 | Published | Journal Article | IST-REx-ID: 5749 | OA
Wielgoss, Sébastien, et al. “Adaptation to Parasites and Costs of Parasite Resistance in Mutator and Nonmutator Bacteria.” Molecular Biology and Evolution, vol. 33, no. 3, Oxford University Press, 2016, pp. 770–82, doi:10.1093/molbev/msv270.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2016 | Published | Book Chapter | IST-REx-ID: 19990
Harada, Harumi, and Ryuichi Shigemoto. “High-Resolution Localization of Membrane Proteins by SDS-Digested Freeze-Fracture Replica Labeling (SDS-FRL).” Receptor and Ion Channel Detection in the Brain, Springer Nature, 2016, pp. 233–45, doi:10.1007/978-1-4939-3064-7_17.
View | DOI
 

2016 | Published | Book Chapter | IST-REx-ID: 19991
Sharmanska, Viktoriia, and Novi Quadrianto. “Learning Using Privileged Information.” Encyclopedia of Machine Learning and Data Mining, Springer Nature, 2016, pp. 1–4, doi:10.1007/978-1-4899-7502-7_892-1.
View | DOI
 

2016 | Published | Journal Article | IST-REx-ID: 1008
Gnügge, Robert, et al. “An Orthogonal Permease–Inducer–Repressor Feedback Loop Shows Bistability.” ACS Synthetic Biology, vol. 5, no. 10, American Chemical Society, 2016, pp. 1098–107, doi:10.1021/acssynbio.6b00013.
View | DOI | WoS
 

2016 | Published | Conference Paper | IST-REx-ID: 1068 | OA
Chatterjee, Krishnendu, et al. Conditionally Optimal Algorithms for Generalized Büchi Games. Vol. 58, 25, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016, doi:10.4230/LIPIcs.MFCS.2016.25.
[Published Version] View | Files available | DOI
 

Filters and Search Terms

extern<>1

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed