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, Chika Horikomi, Asuka Okada, Makiko Hatori, Makoto Nagano, Atsushi Masuda, Wataru Yamamoto, Daria E Siekhaus, and Jiro Toshima. “Srv2/CAP Is Required for Polarized Actin Cable Assembly and Patch Internalization during Clathrin-Mediated Endocytosis.” Journal of Cell Science. Company of Biologists, 2016. https://doi.org/10.1242/jcs.176651.
[Published Version]
View
| Files available
| DOI
2016 |
Published |
Journal Article |
IST-REx-ID: 1477 |
Chatterjee, Krishnendu, Martin Chmelik, and Mathieu Tracol. “What Is Decidable about Partially Observable Markov Decision Processes with ω-Regular Objectives.” Journal of Computer and System Sciences. Elsevier, 2016. https://doi.org/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. IOP Publishing Ltd., 2016. https://doi.org/10.1088/1367-2630/18/3/035002.
[Published Version]
View
| Files available
| DOI
2016 |
Published |
Technical Report |
IST-REx-ID: 5445 |
Chatterjee, Krishnendu, Andreas Pavlogiannis, and Yaron Velner. Quantitative Interprocedural Analysis. IST Austria, 2016. https://doi.org/10.15479/AT:IST-2016-523-v1-1.
[Published Version]
View
| Files available
| DOI
2016 |
Published |
Technical Report |
IST-REx-ID: 5446 |
Anonymous, 1, 2 Anonymous, and 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 |
Anonymous, 1, 2 Anonymous, and 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 |
Anonymous, 1, 2 Anonymous, 3 Anonymous, and 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 |
Pavlogiannis, Andreas, Josef Tkadlec, Krishnendu Chatterjee, and Martin Nowak. Amplification on Undirected Population Structures: Comets Beat Stars. IST Austria, 2016. https://doi.org/10.15479/AT:IST-2016-648-v1-1.
[Updated Version]
View
| Files available
| DOI
2016 |
Published |
Technical Report |
IST-REx-ID: 5451 |
Pavlogiannis, Andreas, Josef Tkadlec, Krishnendu Chatterjee, and Martin Nowak. Strong Amplifiers of Natural Selection. IST Austria, 2016. https://doi.org/10.15479/AT:IST-2016-728-v1-1.
[Published Version]
View
| Files available
| DOI
2016 |
Published |
Technical Report |
IST-REx-ID: 5452 |
Pavlogiannis, Andreas, Josef Tkadlec, Krishnendu Chatterjee, and Martin Nowak. Arbitrarily Strong Amplifiers of Natural Selection. IST Austria, 2016. https://doi.org/10.15479/AT:IST-2017-728-v2-1.
[Published Version]
View
| Files available
| DOI
2016 |
Published |
Technical Report |
IST-REx-ID: 5453 |
Pavlogiannis, Andreas, Josef Tkadlec, Krishnendu Chatterjee, and Martin Nowak. Arbitrarily Strong Amplifiers of Natural Selection. IST Austria, 2016. https://doi.org/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. https://doi.org/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. https://doi.org/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. https://doi.org/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. https://doi.org/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. https://doi.org/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. https://doi.org/10.15479/AT:ISTA:44.
[Published Version]
View
| Files available
| DOI
2016 |
Research Data |
IST-REx-ID: 5556 |
Lukacisin, Martin, Matthieu Landon, and Rishi 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. https://doi.org/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. https://doi.org/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. https://doi.org/10.15479/AT:ISTA:48.
[Published Version]
View
| Files available
| DOI