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.
549 Publications
2016 |
Published |
Thesis | PhD |
IST-REx-ID: 1396 |
Mishra, Rajiv Kumar. “Synaptic Plasticity Rules at CA3-CA3 Recurrent Synapses in Hippocampus.” Institute of Science and Technology Austria, 2016.
[Published Version]
View
| Files available
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: 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 |
Published |
Thesis | PhD |
IST-REx-ID: 1130 |
Tarrach, Thorsten. “Automatic Synthesis of Synchronisation Primitives for Concurrent Programs.” Institute of Science and Technology Austria, 2016. https://doi.org/10.15479/at:ista:1130.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2016 |
Published |
Thesis | PhD |
IST-REx-ID: 1131 |
Tugrul, Murat. “Evolution of Transcriptional Regulatory Sequences.” Institute of Science and Technology Austria, 2016.
[Published Version]
View
| Files available
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 |
Published |
Thesis | PhD |
IST-REx-ID: 1125 |
Novak, Sebastian. “Evolutionary Proccesses in Variable Emvironments.” Institute of Science and Technology Austria, 2016.
[Published Version]
View
| Files available
2016 |
Published |
Journal Article |
IST-REx-ID: 1662 |
Edelsbrunner, Herbert, and Florian Pausinger. “Approximation and Convergence of the Intrinsic Volume.” Advances in Mathematics. Academic Press, 2016. https://doi.org/10.1016/j.aim.2015.10.004.
[Published Version]
View
| Files available
| DOI
| WoS
2016 |
Published |
Conference Paper |
IST-REx-ID: 1093 |
Daca, Przemyslaw, Thomas A Henzinger, Jan Kretinsky, and Tatjana Petrov. “Linear Distances between Markov Chains,” Vol. 59. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016. https://doi.org/10.4230/LIPIcs.CONCUR.2016.20.
[Published Version]
View
| Files available
| DOI
2016 |
Published |
Conference Paper |
IST-REx-ID: 1234 |
Daca, Przemyslaw, Thomas A Henzinger, Jan Kretinsky, and Tatjana Petrov. “Faster Statistical Model Checking for Unbounded Temporal Properties,” 9636:112–29. Springer, 2016. https://doi.org/10.1007/978-3-662-49674-9_7.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2016 |
Published |
Conference Paper |
IST-REx-ID: 1391 |
Daca, Przemyslaw, Thomas A Henzinger, and Andrey Kupriyanov. “Array Folds Logic,” 9780:230–48. Springer, 2016. https://doi.org/10.1007/978-3-319-41540-6_13.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2016 |
Published |
Conference Paper |
IST-REx-ID: 1230 |
Daca, Przemyslaw, Ashutosh Gupta, and Thomas A Henzinger. “Abstraction-Driven Concolic Testing,” 9583:328–47. Springer, 2016. https://doi.org/10.1007/978-3-662-49122-5_16.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2016 |
Published |
Journal Article |
IST-REx-ID: 21522
Khorasaninejad, M., A. Y. Zhu, Charles Roques-Carmes, W. T. Chen, J. Oh, I. Mishra, R. C. Devlin, and F. Capasso. “Polarization-Insensitive Metalenses at Visible Wavelengths.” Nano Letters. American Chemical Society, 2016. https://doi.org/10.1021/acs.nanolett.6b03626.
View
| DOI
| PubMed | Europe PMC
2016 |
Published |
Conference Paper |
IST-REx-ID: 1341 |
Avni, Guy, Thomas A Henzinger, and Orna Kupferman. “Dynamic Resource Allocation Games,” 9928:153–66. Springer, 2016. https://doi.org/10.1007/978-3-662-53354-3_13.
[Preprint]
View
| Files available
| DOI
| WoS
2016 |
Published |
Journal Article |
IST-REx-ID: 1212 |
Rakusová, Hana, Mohamad Abbas, Huibin Han, Siyuan Song, Hélène Robert, and Jiří Friml. “Termination of Shoot Gravitropic Responses by Auxin Feedback on PIN3 Polarity.” Current Biology. Cell Press, 2016. https://doi.org/10.1016/j.cub.2016.08.067.
[Submitted Version]
View
| Files available
| DOI
| WoS
2016 |
Published |
Journal Article |
IST-REx-ID: 5749 |
Wielgoss, Sébastien, Tobias Bergmiller, Anna M. Bischofberger, and Alex R. Hall. “Adaptation to Parasites and Costs of Parasite Resistance in Mutator and Nonmutator Bacteria.” Molecular Biology and Evolution. Oxford University Press, 2016. https://doi.org/10.1093/molbev/msv270.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2016 |
Published |
Conference Paper |
IST-REx-ID: 21635
Khorasaninejad, M., W. T. Chen, A. Zhu, J. Oh, Charles Roques-Carmes, I. Mishra, R. C. Devlin, and F. Capasso. “High Numerical Aperture Meta-Lenses at Visible Wavelengths.” In Frontiers in Optics 2016. Optica Publishing Group, 2016. https://doi.org/10.1364/fio.2016.jw4a.63.
View
| DOI
2016 |
Published |
Journal Article |
IST-REx-ID: 1318 |
Fischer, Julian L, and Felix Otto. “A Higher-Order Large Scale Regularity Theory for Random Elliptic Operators.” Communications in Partial Differential Equations. Taylor & Francis, 2016. https://doi.org/10.1080/03605302.2016.1179318.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2016 |
Published |
Journal Article |
IST-REx-ID: 1317
Fischer, Julian L. “Behaviour of Free Boundaries in Thin-Film Flow: The Regime of Strong Slippage and the Regime of Very Weak Slippage.” Annales de l’Institut Henri Poincare (C) Non Linear Analysis. EMS Press, 2016. https://doi.org/10.1016/j.anihpc.2015.05.001.
View
| DOI