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.
5165 Publications
2017 |Published| Journal Article | IST-REx-ID: 1367 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Manteaux P, Wojtan C, Narain R, Redon S, Faure F, Cani M. Adaptive physically based models in computer graphics. Computer Graphics Forum. 2017;36(6):312-337. doi:10.1111/cgf.12941
[Submitted Version]
View
| Files available
| DOI
| WoS
2017 |Published| Journal Article | IST-REx-ID: 1338 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Cerny P, Clarke E, Henzinger TA, et al. From non-preemptive to preemptive scheduling using synchronization synthesis. Formal Methods in System Design. 2017;50(2-3):97-139. doi:10.1007/s10703-016-0256-5
[Published Version]
View
| Files available
| DOI
| WoS
2017 |Published| Journal Article | IST-REx-ID: 1351 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Giacobbe M, Guet CC, Gupta A, Henzinger TA, Paixao T, Petrov T. Model checking the evolution of gene regulatory networks. Acta Informatica. 2017;54(8):765-787. doi:10.1007/s00236-016-0278-x
[Published Version]
View
| Files available
| DOI
| WoS
2017 |Published| Journal Article | IST-REx-ID: 1336 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Paixao T, Pérez Heredia J, Sudholt D, Trubenova B. Towards a runtime comparison of natural and artificial evolution. Algorithmica. 2017;78(2):681-713. doi:10.1007/s00453-016-0212-1
[Published Version]
View
| Files available
| DOI
| WoS
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: 1294 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Brázdil T, Chatterjee K, Forejt V, Kučera A. Trading performance for stability in Markov decision processes. Journal of Computer and System Sciences. 2017;84:144-170. doi:10.1016/j.jcss.2016.09.009
[Published Version]
View
| Files available
| DOI
| WoS
2017 |Published| Journal Article | IST-REx-ID: 1228 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Sauerzopf U, Sacco R, Novarino G, et al. Are reprogrammed cells a useful tool for studying dopamine dysfunction in psychotic disorders? A review of the current evidence. European Journal of Neuroscience. 2017;45(1):45-57. doi:10.1111/ejn.13418
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2017 |Published| Book Chapter | IST-REx-ID: 1213
Baranova NS, Loose M. Single-molecule measurements to study polymerization dynamics of FtsZ-FtsA copolymers. In: Echard A, ed. Cytokinesis. Vol 137. Academic Press; 2017:355-370. doi:10.1016/bs.mcb.2016.03.036
View
| DOI
| WoS
2017 |Published| Journal Article | IST-REx-ID: 1198 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Moser T, Seiringer R. Triviality of a model of particles with point interactions in the thermodynamic limit. Letters in Mathematical Physics. 2017;107(3):533-552. doi:10.1007/s11005-016-0915-x
[Published Version]
View
| Files available
| DOI
| WoS
2017 |Published| Journal Article | IST-REx-ID: 1207 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Bao Z, Erdös L, Schnelli K. Local law of addition of random matrices on optimal scale. Communications in Mathematical Physics. 2017;349(3):947-990. doi:10.1007/s00220-016-2805-6
[Published Version]
View
| Files available
| DOI
| WoS
2017 |Published| Journal Article | IST-REx-ID: 1196
Henzinger TA, Otop J. Model measuring for discrete and hybrid systems. Nonlinear Analysis: Hybrid Systems. 2017;23:166-190. doi:10.1016/j.nahs.2016.09.001
View
| DOI
| WoS
2017 |Published| Journal Article | IST-REx-ID: 1199 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Barton NH. How does epistasis influence the response to selection? Heredity. 2017;118:96-109. doi:10.1038/hdy.2016.109
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| 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| Journal Article | IST-REx-ID: 1187 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Kiltz E, Pietrzak KZ, Venturi D, Cash D, Jain A. Efficient authentication from hard learning problems. Journal of Cryptology. 2017;30(4):1238-1275. doi:10.1007/s00145-016-9247-3
[Submitted Version]
View
| Files available
| DOI
| 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| Journal Article | IST-REx-ID: 1180 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Akopyan A, Bárány I, Robins S. Algebraic vertices of non-convex polyhedra. Advances in Mathematics. 2017;308:627-644. doi:10.1016/j.aim.2016.12.026
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
2017 |Published| Journal Article | IST-REx-ID: 1159 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Steenackers W, Klíma P, Quareshy M, et al. Cis-cinnamic acid is a novel natural auxin efflux inhibitor that promotes lateral root formation. Plant Physiology. 2017;173(1):552-565. doi:10.1104/pp.16.00943
[Submitted Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2017 |Published| Journal Article | IST-REx-ID: 1169 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Novak S, Kollár R. Spatial gene frequency waves under genotype dependent dispersal. Genetics. 2017;205(1):367-374. doi:10.1534/genetics.116.193946
[Submitted Version]
View
| Files available
| DOI
| WoS