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.
3829 Publications
2017 | 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.
View
| DOI
| Download Submitted Version (ext.)
M. Skórski, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.
2017 | Conference Paper | IST-REx-ID: 1175 |

Cumulative space in black-white pebbling and resolution
J.F. Alwen, S. De Rezende, J. Nordstrom, M. Vinyals, in:, C. Papadimitriou (Ed.), Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017, p. 38:1-38-21.
View
| Files available
| DOI
J.F. Alwen, S. De Rezende, J. Nordstrom, M. Vinyals, in:, C. Papadimitriou (Ed.), Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017, p. 38:1-38-21.
2017 | Conference Paper | IST-REx-ID: 1176 |

Towards practical attacks on Argon2i and balloon hashing
J.F. Alwen, J. Blocki, in:, IEEE, 2017.
View
| DOI
| Download Submitted Version (ext.)
J.F. Alwen, J. Blocki, in:, IEEE, 2017.
2017 | 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.
View
| DOI
| Download Submitted Version (ext.)
A. Akopyan, I. Bárány, S. Robins, Advances in Mathematics 308 (2017) 627–644.
2017 | 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.
View
| Files available
| DOI
E. Kiltz, K.Z. Pietrzak, D. Venturi, D. Cash, A. Jain, Journal of Cryptology 30 (2017) 1238–1275.
2017 | Journal Article | IST-REx-ID: 1191 |

Existence of traveling waves for the generalized F–KPP equation
R. Kollár, S. Novak, Bulletin of Mathematical Biology 79 (2017) 525–559.
View
| DOI
| Download Preprint (ext.)
R. Kollár, S. Novak, Bulletin of Mathematical Biology 79 (2017) 525–559.
2017 | 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.
View
| Files available
| DOI
| Download Submitted Version (ext.)
A. Kazda, V. Kolmogorov, M. Rolinek, in:, SIAM, 2017, pp. 307–326.
2017 | Conference Paper | IST-REx-ID: 1194 |

Stochastic invariants for probabilistic termination
K. Chatterjee, P. Novotný, D. Zikelic, in:, ACM, 2017, pp. 145–160.
View
| DOI
| Download Submitted Version (ext.)
K. Chatterjee, P. Novotný, D. Zikelic, in:, ACM, 2017, pp. 145–160.
2017 | 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
T.A. Henzinger, J. Otop, Nonlinear Analysis: Hybrid Systems 23 (2017) 166–190.
2017 | 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.
View
| Files available
| DOI
T. Moser, R. Seiringer, Letters in Mathematical Physics 107 (2017) 533–552.
2017 | Journal Article | IST-REx-ID: 1199 |

How does epistasis influence the response to selection?
N.H. Barton, Heredity 118 (2017) 96–109.
View
| Files available
| DOI
| Download Submitted Version (ext.)
N.H. Barton, Heredity 118 (2017) 96–109.
2017 | 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.
View
| Files available
| DOI
Z. Bao, L. Erdös, K. Schnelli, Communications in Mathematical Physics 349 (2017) 947–990.
2017 | 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.
View
| DOI
| Download Submitted Version (ext.)
P. Zwiernik, C. Uhler, D. Richards, Journal of the Royal Statistical Society. Series B: Statistical Methodology 79 (2017) 1269–1292.
2017 | Journal Article | IST-REx-ID: 1211 |

Unstable manifolds of relative periodic orbits in the symmetry reduced state space of the Kuramoto–Sivashinsky system
N.B. Budanur, P. Cvitanović, Journal of Statistical Physics 167 (2017) 636–655.
View
| Files available
| DOI
N.B. Budanur, P. Cvitanović, Journal of Statistical Physics 167 (2017) 636–655.
2017 | 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
N.S. Baranova, M. Loose, in:, A. Echard (Ed.), Cytokinesis, Academic Press, 2017, pp. 355–370.
2017 | 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.
View
| Files available
| DOI
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 | 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.
View
| Files available
| DOI
T. Brázdil, K. Chatterjee, V. Forejt, A. Kučera, Journal of Computer and System Sciences 84 (2017) 144–170.
2017 | 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.
View
| Files available
| DOI
T. Paixao, J. Pérez Heredia, D. Sudholt, B. Trubenova, Algorithmica 78 (2017) 681–713.
2017 | 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.
View
| Files available
| DOI
O.H. Ajanki, L. Erdös, T.H. Krüger, Probability Theory and Related Fields 169 (2017) 667–727.
2017 | 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.
View
| Files available
| DOI
P. Cerny, E. Clarke, T.A. Henzinger, A. Radhakrishna, L. Ryzhyk, R. Samanta, T. Tarrach, Formal Methods in System Design 50 (2017) 97–139.