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.
4126 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 | Journal Article | IST-REx-ID: 621 |
Beattie RJ, Hippenmeyer S. 2017. Mechanisms of radial glia progenitor cell lineage progression. FEBS letters. 591(24), 3993–4008.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 624 |
Nikolic N, Didara Z, Moll I. 2017. MazF activation promotes translational heterogeneity of the grcA mRNA in Escherichia coli populations. PeerJ. 2017(9), 3830.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 626 |
Barton NH, Etheridge A, Véber A. 2017. The infinitesimal model: Definition derivation and implications. Theoretical Population Biology. 118, 50–73.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 627 |
Jiang C, Zhai M-Z, Yan D, Li D, Li C, Zhang Y, Xiao L, Xiong D, Deng Q, Sun W. 2017. Dietary menthol-induced TRPM8 activation enhances WAT “browning” and ameliorates diet-induced obesity. Oncotarget. 8(43), 75114–75126.
View
| Files available
| DOI
2017 | Conference Paper | IST-REx-ID: 628 |
Chatterjee K, Fu H, Murhekar A. 2017. Automated recurrence analysis for almost linear expected runtime bounds. CAV: Computer Aided Verification, LNCS, vol. 10426, 118–139.
View
| DOI
| Download Submitted Version (ext.)
2017 | Thesis | IST-REx-ID: 6287 |
Nikitenko A. 2017. Discrete Morse theory for random complexes . IST Austria.
View
| Files available
| DOI
2017 | Book Chapter | IST-REx-ID: 629
Loose M, Zieske K, Schwille P. 2017.Reconstitution of protein dynamics involved in bacterial cell division. In: Prokaryotic Cytoskeletons. vol. 84, 419–444.
View
| DOI
| PubMed | Europe PMC
2017 | Thesis | IST-REx-ID: 6291 |
Payne P. 2017. Bacterial herd and social immunity to phages. IST Austria.
View
| Files available
2017 | Conference Paper | IST-REx-ID: 630 |
Sauermann S, David V, Schlögl A, Egelkraut R, Frohner M, Pohn B, Urbauer P, Mense A. 2017. Biosignals standards and FHIR: The way to go. eHealth: Health Informatics Meets eHealth, Studies in Health Technology and Informatics, vol. 236, 356–362.
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: 632 |
Lewin M, Nam P, Rougerie N. 2017. A note on 2D focusing many boson systems. Proceedings of the American Mathematical Society. 145(6), 2441–2454.
View
| DOI
| Download Submitted Version (ext.)
2017 | Book Chapter | IST-REx-ID: 634
Schroeder J, Deliu E, Novarino G, Schmeisser M. 2017.Genetic and pharmacological reversibility of phenotypes in mouse models of autism spectrum disorder. In: Translational Anatomy and Cell Biology of Autism Spectrum Disorder. ADVSANAT, vol. 224, 189–211.
View
| DOI
2017 | Conference Paper | IST-REx-ID: 635 |
Alwen JF, Chen B, Pietrzak KZ, Reyzin L, Tessaro S. 2017. Scrypt is maximally memory hard. EUROCRYPT: Theory and Applications of Cryptographic Techniques, LNCS, vol. 10212, 33–62.
View
| DOI
| Download Submitted Version (ext.)
2017 | Conference Paper | IST-REx-ID: 636 |
Bakhirkin A, Ferrere T, Maler O, Ulus D. 2017. On the quantitative semantics of regular expressions over real-valued signals. FORMATS: Formal Modelling and Analysis of Timed Systems, LNCS, vol. 10419, 189–206.
View
| DOI
| Download Submitted Version (ext.)
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 | Conference Paper | IST-REx-ID: 640 |
Alwen JF, Blocki J, Pietrzak KZ. 2017. Depth-robust graphs and their cumulative memory complexity. EUROCRYPT: Theory and Applications of Cryptographic Techniques, LNCS, vol. 10212, 3–32.
View
| DOI
| Download Submitted Version (ext.)