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.
1481 Publications
2017 |Published| Journal Article | IST-REx-ID: 1407 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Svoreňová M, Kretinsky J, Chmelik M, Chatterjee K, Cěrná I, Belta C. Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games. Nonlinear Analysis: Hybrid Systems. 2017;23(2):230-253. doi:10.1016/j.nahs.2016.04.006
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2017 |Published| Journal Article | IST-REx-ID: 1337 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Ajanki OH, Erdös L, Krüger TH. Universality for general Wigner-type matrices. Probability Theory and Related Fields. 2017;169(3-4):667-727. doi:10.1007/s00440-016-0740-2
[Published Version]
View
| Files available
| DOI
| WoS
2017 |Published| Journal Article | IST-REx-ID: 1208 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Zwiernik P, Uhler C, Richards D. Maximum likelihood estimation for linear Gaussian covariance models. Journal of the Royal Statistical Society Series B: Statistical Methodology. 2017;79(4):1269-1292. doi:10.1111/rssb.12217
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
2017 |Published| Conference Paper | IST-REx-ID: 1174 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Skórski M. Lower bounds on key derivation for square-friendly applications. In: Vol 66. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2017. doi:10.4230/LIPIcs.STACS.2017.57
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
2017 |Published| Conference Paper | IST-REx-ID: 1176 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Alwen JF, Blocki J. Towards practical attacks on Argon2i and balloon hashing. In: IEEE; 2017. doi:10.1109/EuroSP.2017.47
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
2017 |Published| Conference Paper | IST-REx-ID: 1192 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Kazda A, Kolmogorov V, Rolinek M. Even delta-matroids and the complexity of planar Boolean CSPs. In: SIAM; 2017:307-326. doi:10.1137/1.9781611974782.20
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| WoS
2017 |Published| Conference Paper | IST-REx-ID: 1178 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Skórski M. Simulating auxiliary inputs, revisited. In: Vol 9985. Springer; 2017:159-179. doi:10.1007/978-3-662-53641-4_7
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
2017 |Published| Journal Article | IST-REx-ID: 1117 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chen C, Arai itaru, Satterield R, Young S, Jonas PM. Synaptotagmin 2 is the fast Ca2+ sensor at a central inhibitory synapse. Cell Reports. 2017;18(3):723-736. doi:10.1016/j.celrep.2016.12.067
[Published Version]
View
| Files available
| DOI
| WoS
2017 |Published| Journal Article | IST-REx-ID: 1110 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Kuhn B, Nodzyński T, Errafi S, et al. Flavonol-induced changes in PIN2 polarity and auxin transport in the Arabidopsis thaliana rol1-2 mutant require phosphatase activity. Scientific Reports. 2017;7. doi:10.1038/srep41906
[Published Version]
View
| Files available
| DOI
| WoS
2017 |Published| Journal Article | IST-REx-ID: 1061 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Veetil V, Angermayr A, Hellingwerf K. Ethylene production with engineered Synechocystis sp PCC 6803 strains. Microbial Cell Factories. 2017;16(1). doi:10.1186/s12934-017-0645-5
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2017 |Published| Journal Article | IST-REx-ID: 1062
Guarina L, Vandael DH, Carabelli V, Carbone E. Low pH inf o boosts burst firing and catecholamine release by blocking TASK-1 and BK channels while preserving Cav1 channels in mouse chromaffin cells. Journal of Physiology. 2017;595(8):2587-2609. doi:10.1113/JP273735
View
| DOI
| WoS
2017 |Published| Journal Article | IST-REx-ID: 1066
Chatterjee K, Henzinger TA, Otop J, Velner Y. Quantitative fair simulation games. Information and Computation. 2017;254(2):143-166. doi:10.1016/j.ic.2016.10.006
View
| Files available
| DOI
| WoS
2017 |Published| Journal Article | IST-REx-ID: 1023 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Nemish Y. Local law for the product of independent non-Hermitian random matrices with independent entries. Electronic Journal of Probability. 2017;22. doi:10.1214/17-EJP38
[Published Version]
View
| Files available
| DOI
| WoS
2017 | Research Data Reference | IST-REx-ID: 9859 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Greenwood J, Milutinovic B, Peuß R, et al. Additional file 1: Table S1. of Oral immune priming with Bacillus thuringiensis induces a shift in the gene expression of Tribolium castaneum larvae. 2017. doi:10.6084/m9.figshare.c.3756974_d1.v1
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2017 |Published| Conference Paper | IST-REx-ID: 1000 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Kolesnikov A, Lampert C. PixelCNN models with auxiliary variables for natural image modeling. In: 34th International Conference on Machine Learning. Vol 70. JMLR; 2017:1905-1914.
[Submitted Version]
View
| Download Submitted Version (ext.)
| WoS
| arXiv
2017 |Published| Journal Article | IST-REx-ID: 995 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Bighin G, Lemeshko M. Diagrammatic approach to orbital quantum impurities interacting with a many-particle environment. Physical Review B - Condensed Matter and Materials Physics. 2017;96(8). doi:10.1103/PhysRevB.96.085410
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
2017 |Published| Conference Paper | IST-REx-ID: 962
Trinh M, Chu DH, Jaffar J. Model counting for recursively-defined strings. In: Majumdar R, Kunčak V, eds. Vol 10427. Springer; 2017:399-418. doi:10.1007/978-3-319-63390-9_21
View
| DOI
| WoS
2017 |Published| Journal Article | IST-REx-ID: 956 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Carlen E, Maas J. Gradient flow and entropy inequalities for quantum Markov semigroups with detailed balance. Journal of Functional Analysis. 2017;273(5):1810-1869. doi:10.1016/j.jfa.2017.05.003
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
2017 |Published| Journal Article | IST-REx-ID: 951 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Schmidt T, Barton NH, Rasic G, et al. Local introduction and heterogeneous spatial spread of dengue-suppressing Wolbachia through an urban population of Aedes Aegypti. PLoS Biology. 2017;15(5). doi:10.1371/journal.pbio.2001894
[Published Version]
View
| Files available
| DOI
| WoS
2017 |Published| Journal Article | IST-REx-ID: 751 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Matsubayashi Y, Louani A, Dragu A, et al. A moving source of matrix components is essential for De Novo basement membrane formation. Current Biology. 2017;27(22):3526-3534e.4. doi:10.1016/j.cub.2017.10.001
[Published Version]
View
| Files available
| DOI
| WoS