Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
5155 Publications
2017 |Published| Journal Article | IST-REx-ID: 1367 |
Adaptive physically based models in computer graphics
P. Manteaux, C. Wojtan, R. Narain, S. Redon, F. Faure, M. Cani, Computer Graphics Forum 36 (2017) 312–337.
[Submitted Version]
View
| Files available
| DOI
| WoS
P. Manteaux, C. Wojtan, R. Narain, S. Redon, F. Faure, M. Cani, Computer Graphics Forum 36 (2017) 312–337.
2017 |Published| Journal Article | IST-REx-ID: 1338 |
From non-preemptive to preemptive scheduling using synchronization synthesis
P. Cerny, E. Clarke, T.A. Henzinger, A. Radhakrishna, L. Ryzhyk, R. Samanta, T. Tarrach, Formal Methods in System Design 50 (2017) 97–139.
[Published Version]
View
| Files available
| DOI
| WoS
P. Cerny, E. Clarke, T.A. Henzinger, A. Radhakrishna, L. Ryzhyk, R. Samanta, T. Tarrach, Formal Methods in System Design 50 (2017) 97–139.
2017 |Published| Journal Article | IST-REx-ID: 1351 |
Model checking the evolution of gene regulatory networks
M. Giacobbe, C.C. Guet, A. Gupta, T.A. Henzinger, T. Paixao, T. Petrov, Acta Informatica 54 (2017) 765–787.
[Published Version]
View
| Files available
| DOI
| WoS
M. Giacobbe, C.C. Guet, A. Gupta, T.A. Henzinger, T. Paixao, T. Petrov, Acta Informatica 54 (2017) 765–787.
2017 |Published| Journal Article | IST-REx-ID: 1336 |
Towards a runtime comparison of natural and artificial evolution
T. Paixao, J. Pérez Heredia, D. Sudholt, B. Trubenova, Algorithmica 78 (2017) 681–713.
[Published Version]
View
| Files available
| DOI
| WoS
T. Paixao, J. Pérez Heredia, D. Sudholt, B. Trubenova, Algorithmica 78 (2017) 681–713.
2017 |Published| Journal Article | IST-REx-ID: 1337 |
Universality for general Wigner-type matrices
O.H. Ajanki, L. Erdös, T.H. Krüger, Probability Theory and Related Fields 169 (2017) 667–727.
[Published Version]
View
| Files available
| DOI
| WoS
O.H. Ajanki, L. Erdös, T.H. Krüger, Probability Theory and Related Fields 169 (2017) 667–727.
2017 |Published| Journal Article | IST-REx-ID: 1294 |
Trading performance for stability in Markov decision processes
T. Brázdil, K. Chatterjee, V. Forejt, A. Kučera, Journal of Computer and System Sciences 84 (2017) 144–170.
[Published Version]
View
| Files available
| DOI
| WoS
T. Brázdil, K. Chatterjee, V. Forejt, A. Kučera, Journal of Computer and System Sciences 84 (2017) 144–170.
2017 |Published| Journal Article | IST-REx-ID: 1228 |
Are reprogrammed cells a useful tool for studying dopamine dysfunction in psychotic disorders? A review of the current evidence
U. Sauerzopf, R. Sacco, G. Novarino, M. Niello, A. Weidenauer, N. Praschak Rieder, H. Sitte, M. Willeit, European Journal of Neuroscience 45 (2017) 45–57.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
U. Sauerzopf, R. Sacco, G. Novarino, M. Niello, A. Weidenauer, N. Praschak Rieder, H. Sitte, M. Willeit, European Journal of Neuroscience 45 (2017) 45–57.
2017 |Published| Book Chapter | IST-REx-ID: 1213
Single-molecule measurements to study polymerization dynamics of FtsZ-FtsA copolymers
N.S. Baranova, M. Loose, in:, A. Echard (Ed.), Cytokinesis, Academic Press, 2017, pp. 355–370.
View
| DOI
| WoS
N.S. Baranova, M. Loose, in:, A. Echard (Ed.), Cytokinesis, Academic Press, 2017, pp. 355–370.
2017 |Published| Journal Article | IST-REx-ID: 1198 |
Triviality of a model of particles with point interactions in the thermodynamic limit
T. Moser, R. Seiringer, Letters in Mathematical Physics 107 (2017) 533–552.
[Published Version]
View
| Files available
| DOI
| WoS
T. Moser, R. Seiringer, Letters in Mathematical Physics 107 (2017) 533–552.
2017 |Published| Journal Article | IST-REx-ID: 1207 |
Local law of addition of random matrices on optimal scale
Z. Bao, L. Erdös, K. Schnelli, Communications in Mathematical Physics 349 (2017) 947–990.
[Published Version]
View
| Files available
| DOI
| WoS
Z. Bao, L. Erdös, K. Schnelli, Communications in Mathematical Physics 349 (2017) 947–990.
2017 |Published| Journal Article | IST-REx-ID: 1196
Model measuring for discrete and hybrid systems
T.A. Henzinger, J. Otop, Nonlinear Analysis: Hybrid Systems 23 (2017) 166–190.
View
| DOI
| WoS
T.A. Henzinger, J. Otop, Nonlinear Analysis: Hybrid Systems 23 (2017) 166–190.
2017 |Published| Journal Article | IST-REx-ID: 1199 |
How does epistasis influence the response to selection?
N.H. Barton, Heredity 118 (2017) 96–109.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| WoS
N.H. Barton, Heredity 118 (2017) 96–109.
2017 |Published| Journal Article | IST-REx-ID: 1208 |
Maximum likelihood estimation for linear Gaussian covariance models
P. Zwiernik, C. Uhler, D. Richards, Journal of the Royal Statistical Society. Series B: Statistical Methodology 79 (2017) 1269–1292.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
P. Zwiernik, C. Uhler, D. Richards, Journal of the Royal Statistical Society. Series B: Statistical Methodology 79 (2017) 1269–1292.
2017 |Published| Conference Paper | IST-REx-ID: 1174 |
Lower bounds on key derivation for square-friendly applications
M. Skórski, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
M. Skórski, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.
2017 |Published| Conference Paper | IST-REx-ID: 1176 |
Towards practical attacks on Argon2i and balloon hashing
J.F. Alwen, J. Blocki, in:, IEEE, 2017.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
J.F. Alwen, J. Blocki, in:, IEEE, 2017.
2017 |Published| Journal Article | IST-REx-ID: 1187 |
Efficient authentication from hard learning problems
E. Kiltz, K.Z. Pietrzak, D. Venturi, D. Cash, A. Jain, Journal of Cryptology 30 (2017) 1238–1275.
[Submitted Version]
View
| Files available
| DOI
| WoS
E. Kiltz, K.Z. Pietrzak, D. Venturi, D. Cash, A. Jain, Journal of Cryptology 30 (2017) 1238–1275.
2017 |Published| Conference Paper | IST-REx-ID: 1192 |
Even delta-matroids and the complexity of planar Boolean CSPs
A. Kazda, V. Kolmogorov, M. Rolinek, in:, SIAM, 2017, pp. 307–326.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| WoS
A. Kazda, V. Kolmogorov, M. Rolinek, in:, SIAM, 2017, pp. 307–326.
2017 |Published| Journal Article | IST-REx-ID: 1180 |
Algebraic vertices of non-convex polyhedra
A. Akopyan, I. Bárány, S. Robins, Advances in Mathematics 308 (2017) 627–644.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
A. Akopyan, I. Bárány, S. Robins, Advances in Mathematics 308 (2017) 627–644.
2017 |Published| Journal Article | IST-REx-ID: 1159 |
Cis-cinnamic acid is a novel natural auxin efflux inhibitor that promotes lateral root formation
W. Steenackers, P. Klíma, M. Quareshy, I. Cesarino, R. Kumpf, S. Corneillie, P. Araújo, T. Viaene, G. Goeminne, M. Nowack, K. Ljung, J. Friml, J. Blakeslee, O. Novák, E. Zažímalová, R. Napier, W. Boerjan, B. Vanholme, Plant Physiology 173 (2017) 552–565.
[Submitted Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
W. Steenackers, P. Klíma, M. Quareshy, I. Cesarino, R. Kumpf, S. Corneillie, P. Araújo, T. Viaene, G. Goeminne, M. Nowack, K. Ljung, J. Friml, J. Blakeslee, O. Novák, E. Zažímalová, R. Napier, W. Boerjan, B. Vanholme, Plant Physiology 173 (2017) 552–565.
2017 |Published| Journal Article | IST-REx-ID: 1169 |
Spatial gene frequency waves under genotype dependent dispersal
S. Novak, R. Kollár, Genetics 205 (2017) 367–374.
[Submitted Version]
View
| Files available
| DOI
| WoS
S. Novak, R. Kollár, Genetics 205 (2017) 367–374.