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.
8924 Publications
2016 |
Published |
Journal Article |
IST-REx-ID: 1476 |
Toshima, Junko, et al. “Srv2/CAP Is Required for Polarized Actin Cable Assembly and Patch Internalization during Clathrin-Mediated Endocytosis.” Journal of Cell Science, vol. 129, no. 2, Company of Biologists, 2016, pp. 367–79, doi:10.1242/jcs.176651.
[Published Version]
View
| Files available
| DOI
2016 |
Published |
Journal Article |
IST-REx-ID: 1477 |
Chatterjee, Krishnendu, et al. “What Is Decidable about Partially Observable Markov Decision Processes with ω-Regular Objectives.” Journal of Computer and System Sciences, vol. 82, no. 5, Elsevier, 2016, pp. 878–911, doi:10.1016/j.jcss.2016.02.009.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2016 |
Published |
Journal Article |
IST-REx-ID: 1478 |
Seiringer, Robert, and Simone Warzel. “Decay of Correlations and Absence of Superfluidity in the Disordered Tonks-Girardeau Gas.” New Journal of Physics, vol. 18, no. 3, 035002, IOP Publishing Ltd., 2016, doi:10.1088/1367-2630/18/3/035002.
[Published Version]
View
| Files available
| DOI
2016 |
Published |
Technical Report |
IST-REx-ID: 5445 |
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 |
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 |
Anonymous, 1, et al. 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 |
Anonymous, 1, et al. Data-Centric Dynamic Partial Order Reduction. IST Austria, 2016.
[Published Version]
View
| Files available
| arXiv
2016 |
Published |
Technical Report |
IST-REx-ID: 5449 |
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 |
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
2016 |
Published |
Technical Report |
IST-REx-ID: 5452 |
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 |
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 |
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: 5551 |
Ellis, Thomas. Data on Pollinator Observations and Offpsring Phenotypes. Institute of Science and Technology Austria, 2016, doi:10.15479/AT:ISTA:35.
[Published Version]
View
| Files available
| DOI
2016 |
Research Data |
IST-REx-ID: 5552 |
Ellis, Thomas. Pollinator Visitation Data for Wild Antirrhinum Majus Plants, with Phenotypic and Frequency Data. Institute of Science and Technology Austria, 2016, doi:10.15479/AT:ISTA:36.
[Published Version]
View
| Files available
| DOI
2016 |
Research Data |
IST-REx-ID: 5553 |
Field, David, and Thomas Ellis. Inference of Mating Patterns among Wild Snapdragons in a Natural Hybrid Zone in 2012. Institute of Science and Technology Austria, 2016, doi:10.15479/AT:ISTA:37.
[Published Version]
View
| Files available
| DOI
2016 |
Research Data |
IST-REx-ID: 5554 |
Tugrul, Murat. Experimental Data for Binding Site Evolution of Bacterial RNA Polymerase. Institute of Science and Technology Austria, 2016, doi:10.15479/AT:ISTA:43.
[Published Version]
View
| Files available
| DOI
2016 |
Research Data |
IST-REx-ID: 5555 |
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 |
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 |
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 |
Research Data |
IST-REx-ID: 5558 |
Bojsen-Hansen, Morten. Tracking, Correcting and Absorbing Water Surface Waves. Institute of Science and Technology Austria, 2016, doi:10.15479/AT:ISTA:48.
[Published Version]
View
| Files available
| DOI