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 RK. Synaptic plasticity rules at CA3-CA3 recurrent synapses in hippocampus. 2016.
[Published Version]
View
| Files available
2016 |
Research Data |
IST-REx-ID: 5553 |
Field D, Ellis T. Inference of mating patterns among wild snapdragons in a natural hybrid zone in 2012. 2016. doi:10.15479/AT:ISTA:37
[Published Version]
View
| Files available
| DOI
2016 |
Research Data |
IST-REx-ID: 5551 |
Ellis T. Data on pollinator observations and offpsring phenotypes. 2016. doi:10.15479/AT:ISTA:35
[Published Version]
View
| Files available
| DOI
2016 |
Research Data |
IST-REx-ID: 5552 |
Ellis T. Pollinator visitation data for wild Antirrhinum majus plants, with phenotypic and frequency data. 2016. doi:10.15479/AT:ISTA:36
[Published Version]
View
| Files available
| DOI
2016 |
Published |
Thesis | PhD |
IST-REx-ID: 1130 |
Tarrach T. Automatic synthesis of synchronisation primitives for concurrent programs. 2016. doi:10.15479/at:ista:1130
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2016 |
Published |
Thesis | PhD |
IST-REx-ID: 1131 |
Tugrul M. Evolution of transcriptional regulatory sequences. 2016.
[Published Version]
View
| Files available
2016 |
Research Data |
IST-REx-ID: 5554 |
Tugrul M. Experimental Data for Binding Site Evolution of Bacterial RNA Polymerase. 2016. doi:10.15479/AT:ISTA:43
[Published Version]
View
| Files available
| DOI
2016 |
Published |
Thesis | PhD |
IST-REx-ID: 1125 |
Novak S. Evolutionary proccesses in variable emvironments. 2016.
[Published Version]
View
| Files available
2016 |
Published |
Journal Article |
IST-REx-ID: 1662 |
Edelsbrunner H, Pausinger F. Approximation and convergence of the intrinsic volume. Advances in Mathematics. 2016;287:674-703. doi:10.1016/j.aim.2015.10.004
[Published Version]
View
| Files available
| DOI
| WoS
2016 |
Published |
Conference Paper |
IST-REx-ID: 1093 |
Daca P, Henzinger TA, Kretinsky J, Petrov T. Linear distances between Markov chains. In: Vol 59. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2016. doi:10.4230/LIPIcs.CONCUR.2016.20
[Published Version]
View
| Files available
| DOI
2016 |
Published |
Conference Paper |
IST-REx-ID: 1234 |
Daca P, Henzinger TA, Kretinsky J, Petrov T. Faster statistical model checking for unbounded temporal properties. In: Vol 9636. Springer; 2016:112-129. doi: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 P, Henzinger TA, Kupriyanov A. Array folds logic. In: Vol 9780. Springer; 2016:230-248. doi: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 P, Gupta A, Henzinger TA. Abstraction-driven concolic testing. In: Vol 9583. Springer; 2016:328-347. doi: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, Zhu AY, Roques-Carmes C, et al. Polarization-insensitive metalenses at visible wavelengths. Nano Letters. 2016;16(11):7229-7234. doi:10.1021/acs.nanolett.6b03626
View
| DOI
| PubMed | Europe PMC
2016 |
Published |
Conference Paper |
IST-REx-ID: 1341 |
Avni G, Henzinger TA, Kupferman O. Dynamic resource allocation games. In: Vol 9928. Springer; 2016:153-166. doi:10.1007/978-3-662-53354-3_13
[Preprint]
View
| Files available
| DOI
| WoS
2016 |
Published |
Journal Article |
IST-REx-ID: 1212 |
Rakusová H, Abbas M, Han H, Song S, Robert H, Friml J. Termination of shoot gravitropic responses by auxin feedback on PIN3 polarity. Current Biology. 2016;26(22):3026-3032. doi:10.1016/j.cub.2016.08.067
[Submitted Version]
View
| Files available
| DOI
| WoS
2016 |
Published |
Journal Article |
IST-REx-ID: 5749 |
Wielgoss S, Bergmiller T, Bischofberger AM, Hall AR. Adaptation to parasites and costs of parasite resistance in mutator and nonmutator bacteria. Molecular Biology and Evolution. 2016;33(3):770-782. doi:10.1093/molbev/msv270
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2016 |
Published |
Conference Paper |
IST-REx-ID: 21635
Khorasaninejad M, Chen WT, Zhu A, et al. High numerical aperture meta-lenses at visible wavelengths. In: Frontiers in Optics 2016. Optica Publishing Group; 2016. doi:10.1364/fio.2016.jw4a.63
View
| DOI
2016 |
Published |
Journal Article |
IST-REx-ID: 1318 |
Fischer JL, Otto F. A higher-order large scale regularity theory for random elliptic operators. Communications in Partial Differential Equations. 2016;41(7):1108-1148. doi:10.1080/03605302.2016.1179318
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2016 |
Published |
Journal Article |
IST-REx-ID: 1317
Fischer JL. 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. 2016;33(5):1301-1327. doi:10.1016/j.anihpc.2015.05.001
View
| DOI