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.
4634 Publications
2017 | Journal Article | IST-REx-ID: 6196 | 
Gazi P, Pietrzak KZ, Rybar M. 2017. The exact security of PMAC. IACR Transactions on Symmetric Cryptology. 2016(2), 145–161.
View
| Files available
| DOI
2017 | Research Data | IST-REx-ID: 5568 |
Hahn D. 2017. Source codes: Brittle fracture simulation with boundary elements for computer graphics, IST Austria, 10.15479/AT:ISTA:73.
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 837 |
Xu H. 2017. Reactivation of the hippocampal cognitive map in goal-directed spatial tasks. Institute of Science and Technology Austria.
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 938 |
Adamowski M. 2017. Investigations into cell polarity and trafficking in the plant model Arabidopsis thaliana . Institute of Science and Technology Austria.
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 992 |
Rolinek M. 2017. Complexity of constraint satisfaction. Institute of Science and Technology Austria.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 718 |
Edelsbrunner H, Nikitenko A, Reitzner M. 2017. Expected sizes of poisson Delaunay mosaics and their discrete Morse functions. Advances in Applied Probability. 49(3), 745–767.
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2017 | Conference Paper | IST-REx-ID: 559 |
Abusalah HM, Alwen JF, Cohen B, Khilko D, Pietrzak KZ, Reyzin L. 2017. Beyond Hellman’s time-memory trade-offs with applications to proofs of space. ASIACRYPT: Theory and Applications of Cryptology and Information Security, LNCS, vol. 10625, 357–379.
View
| Files available
| DOI
| Download Submitted Version (ext.)
2017 | Journal Article | IST-REx-ID: 550 |
Alt J. 2017. Singularities of the density of states of random Gram matrices. Electronic Communications in Probability. 22, 63.
View
| Files available
| DOI
2017 | Conference Paper | IST-REx-ID: 647 |
Bogomolov S, Giacobbe M, Henzinger TA, Kong H. 2017. Conic abstractions for hybrid systems. FORMATS: Formal Modelling and Analysis of Timed Systems, LNCS, vol. 10419, 116–132.
View
| Files available
| DOI
2017 | Conference Paper | IST-REx-ID: 631 |
Bogomolov S, Frehse G, Giacobbe M, Henzinger TA. 2017. Counterexample guided refinement of template polyhedra. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 10205, 589–606.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 1144 |
Erdös L, Schröder DJ. 2017. Fluctuations of functions of Wigner matrices. Electronic Communications in Probability. 21, 86.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 486 |
Elek O, Sumin D, Zhang R, Weyrich T, Myszkowski K, Bickel B, Wilkie A, Krivanek J. 2017. Scattering-aware texture reproduction for 3D printing. ACM Transactions on Graphics. 36(6), 241.
View
| Files available
| DOI
2017 | Conference Paper | IST-REx-ID: 911 |
Royer A, Kolesnikov A, Lampert C. 2017. Probabilistic image colorization. BMVC: British Machine Vision Conference, 85.1-85.12.
View
| Files available
| DOI
| arXiv
2017 | Conference Paper | IST-REx-ID: 637 |
Jafargholi Z, Kamath Hosdurg C, Klein K, Komargodski I, Pietrzak KZ, Wichs D. 2017. Be adaptive avoid overcommitting. CRYPTO: Cryptology, LNCS, vol. 10401, 133–163.
View
| Files available
| DOI
| Download Submitted Version (ext.)
2017 | Research Data Reference | IST-REx-ID: 9842 |
Etheridge A, Barton NH. 2017. Data for: Establishment in a new habitat by polygenic adaptation, Mendeley Data, 10.17632/nw68fxzjpm.1.
View
| Files available
| DOI
| Download Published Version (ext.)
2017 | Conference Paper | IST-REx-ID: 14206 |
Locatello F, Tschannen M, Rätsch G, Jaggi M. 2017. Greedy algorithms for cone constrained optimization with convergence guarantees. Advances in Neural Information Processing Systems. NeurIPS: Neural Information Processing Systems.
View
| Download Preprint (ext.)
| arXiv
2017 | Conference Paper | IST-REx-ID: 14205 |
Locatello F, Khanna R, Tschannen M, Jaggi M. 2017. A unified optimization view on generalized matching pursuit and Frank-Wolfe. Proceedings of the 20th International Conference on Artificial Intelligence and Statistics. AISTATS: Conference on Artificial Intelligence and Statistics vol. 54, 860–868.
View
| Download Preprint (ext.)
| arXiv
2017 | Thesis | IST-REx-ID: 202 |
Pleska M. 2017. Biology of restriction-modification systems at the single-cell and population level. Institute of Science and Technology Austria.
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 6287 |
Nikitenko A. 2017. Discrete Morse theory for random complexes . Institute of Science and Technology Austria.
View
| Files available
| DOI
2017 | Research Data | IST-REx-ID: 5571 |
Vicoso B. 2017. Data for ‘The genomic characterization of the t-haplotype, a mouse meiotic driver, highlights its complex history and specialized biology’, IST Austria, 10.15479/AT:ISTA:78.
View
| Files available
| DOI
2017 | Research Data | IST-REx-ID: 5572 |
Vicoso B. 2017. Code for ‘The genomic characterization of the t-haplotype, a mouse meiotic driver, highlights its complex history and specialized biology’, IST Austria, 10.15479/AT:ISTA:79 .
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 1127 |
Prat T. 2017. Identification of novel regulators of PIN polarity and development of novel auxin sensor. Institute of Science and Technology Austria.
View
| Files available
2017 | Research Data | IST-REx-ID: 5559 |
Pavlogiannis A, Tkadlec J, Chatterjee K, Nowak M. 2017. Strong amplifiers of natural selection, IST Austria, 10.15479/AT:ISTA:51.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 665
Bergmiller T, Andersson AM, Tomasek K, Balleza E, Kiviet D, Hauschild R, Tkačik G, Guet CC. 2017. Biased partitioning of the multidrug efflux pump AcrAB TolC underlies long lived phenotypic heterogeneity. Science. 356(6335), 311–315.
View
| Files available
| DOI
2017 | Research Data | IST-REx-ID: 5560 |
Bergmiller T, Andersson AM, Tomasek K, Balleza E, Kiviet D, Hauschild R, Tkačik G, Guet CC. 2017. Biased partitioning of the multi-drug efflux pump AcrAB-TolC underlies long-lived phenotypic heterogeneity, IST Austria, doi:10.15479/AT:ISTA:53.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 2016 |
Martin Del Campo Sanchez A, Cepeda Humerez SA, Uhler C. 2017. Exact goodness-of-fit testing for the Ising model. Scandinavian Journal of Statistics. 44(2), 285–306.
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2017 | Journal Article | IST-REx-ID: 1528 |
Bao Z, Erdös L. 2017. Delocalization for a class of random block band matrices. Probability Theory and Related Fields. 167(3–4), 673–776.
View
| Files available
| DOI
| WoS
2017 | Journal Article | IST-REx-ID: 1433 |
Bauer U, Kerber M, Reininghaus J, Wagner H. 2017. Phat - Persistent homology algorithms toolbox. Journal of Symbolic Computation. 78, 76–90.
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
2017 | Journal Article | IST-REx-ID: 1407 |
Svoreňová M, Kretinsky J, Chmelik M, Chatterjee K, Cěrná I, Belta C. 2017. Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games. Nonlinear Analysis: Hybrid Systems. 23(2), 230–253.
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2017 | Journal Article | IST-REx-ID: 1367 |
Manteaux P, Wojtan C, Narain R, Redon S, Faure F, Cani M. 2017. Adaptive physically based models in computer graphics. Computer Graphics Forum. 36(6), 312–337.
View
| Files available
| DOI
| WoS
2017 | Journal Article | IST-REx-ID: 1338 |
Cerny P, Clarke E, Henzinger TA, Radhakrishna A, Ryzhyk L, Samanta R, Tarrach T. 2017. From non-preemptive to preemptive scheduling using synchronization synthesis. Formal Methods in System Design. 50(2–3), 97–139.
View
| Files available
| DOI
| WoS
2017 | Journal Article | IST-REx-ID: 1351 |
Giacobbe M, Guet CC, Gupta A, Henzinger TA, Paixao T, Petrov T. 2017. Model checking the evolution of gene regulatory networks. Acta Informatica. 54(8), 765–787.
View
| Files available
| DOI
| WoS
2017 | Journal Article | IST-REx-ID: 1336 |
Paixao T, Pérez Heredia J, Sudholt D, Trubenova B. 2017. Towards a runtime comparison of natural and artificial evolution. Algorithmica. 78(2), 681–713.
View
| Files available
| DOI
| WoS
2017 | Journal Article | IST-REx-ID: 1337 |
Ajanki OH, Erdös L, Krüger TH. 2017. Universality for general Wigner-type matrices. Probability Theory and Related Fields. 169(3–4), 667–727.
View
| Files available
| DOI
| WoS
2017 | Journal Article | IST-REx-ID: 1294 |
Brázdil T, Chatterjee K, Forejt V, Kučera A. 2017. Trading performance for stability in Markov decision processes. Journal of Computer and System Sciences. 84, 144–170.
View
| Files available
| DOI
| WoS
2017 | Journal Article | IST-REx-ID: 1228 |
Sauerzopf U, Sacco R, Novarino G, Niello M, Weidenauer A, Praschak Rieder N, Sitte H, Willeit M. 2017. Are reprogrammed cells a useful tool for studying dopamine dysfunction in psychotic disorders? A review of the current evidence. European Journal of Neuroscience. 45(1), 45–57.
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2017 | Journal Article | IST-REx-ID: 1198 |
Moser T, Seiringer R. 2017. Triviality of a model of particles with point interactions in the thermodynamic limit. Letters in Mathematical Physics. 107(3), 533–552.
View
| Files available
| DOI
| WoS
2017 | Journal Article | IST-REx-ID: 1207 |
Bao Z, Erdös L, Schnelli K. 2017. Local law of addition of random matrices on optimal scale. Communications in Mathematical Physics. 349(3), 947–990.
View
| Files available
| DOI
| WoS
2017 | Journal Article | IST-REx-ID: 1199 |
Barton NH. 2017. How does epistasis influence the response to selection? Heredity. 118, 96–109.
View
| Files available
| DOI
| Download Submitted Version (ext.)
| WoS
2017 | Journal Article | IST-REx-ID: 1208 |
Zwiernik P, Uhler C, Richards D. 2017. Maximum likelihood estimation for linear Gaussian covariance models. Journal of the Royal Statistical Society. Series B: Statistical Methodology. 79(4), 1269–1292.
View
| DOI
| Download Submitted Version (ext.)
| WoS
2017 | Conference Paper | IST-REx-ID: 1174 |
Skórski M. 2017. Lower bounds on key derivation for square-friendly applications. STACS: Symposium on Theoretical Aspects of Computer Science, LIPIcs, vol. 66, 57.
View
| DOI
| Download Submitted Version (ext.)
| WoS
2017 | Conference Paper | IST-REx-ID: 1194 |
Chatterjee K, Novotný P, Zikelic D. 2017. Stochastic invariants for probabilistic termination. POPL: Principles of Programming Languages, ACM SIGPLAN Notices, vol. 52, 145–160.
View
| DOI
| Download Submitted Version (ext.)
| WoS
2017 | Conference Paper | IST-REx-ID: 1176 |
Alwen JF, Blocki J. 2017. Towards practical attacks on Argon2i and balloon hashing. EuroS&P: European Symposium on Security and Privacy, 7961977.
View
| DOI
| Download Submitted Version (ext.)
| WoS
2017 | Journal Article | IST-REx-ID: 1187 |
Kiltz E, Pietrzak KZ, Venturi D, Cash D, Jain A. 2017. Efficient authentication from hard learning problems. Journal of Cryptology. 30(4), 1238–1275.
View
| Files available
| DOI
| WoS
2017 | Conference Paper | IST-REx-ID: 1192 |
Kazda A, Kolmogorov V, Rolinek M. 2017. Even delta-matroids and the complexity of planar Boolean CSPs. SODA: Symposium on Discrete Algorithms, 307–326.
View
| Files available
| DOI
| Download Submitted Version (ext.)
| WoS
2017 | Journal Article | IST-REx-ID: 1180 |
Akopyan A, Bárány I, Robins S. 2017. Algebraic vertices of non-convex polyhedra. Advances in Mathematics. 308, 627–644.
View
| DOI
| Download Submitted Version (ext.)
| WoS
2017 | Journal Article | IST-REx-ID: 1159 |
Steenackers W, Klíma P, Quareshy M, Cesarino I, Kumpf R, Corneillie S, Araújo P, Viaene T, Goeminne G, Nowack M, Ljung K, Friml J, Blakeslee J, Novák O, Zažímalová E, Napier R, Boerjan W, Vanholme B. 2017. Cis-cinnamic acid is a novel natural auxin efflux inhibitor that promotes lateral root formation. Plant Physiology. 173(1), 552–565.
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2017 | Journal Article | IST-REx-ID: 1169 |
Novak S, Kollár R. 2017. Spatial gene frequency waves under genotype dependent dispersal. Genetics. 205(1), 367–374.
View
| Files available
| DOI
| WoS