Brázdil, Tomás, L’Ubos Korendiak, Jan Krdál, Petr Novotný, and Vojtbch ehák. “Optimizing Performance of Continuous-Time Stochastic Systems Using Timeout Synthesis.”https://doi.org/10.1007/978-3-319-22264-6_10__Lecture Notes in Computer Science. Springer, 2015.https://doi.org/10.1007/978-3-319-22264-6_10 .
LibreCat: https://research-explorer.ista.ac.at/record/1667
DOI: 10.1007/978-3-319-22264-6_10

Barkley, Dwight, Baofang Song, Mukund Vasudevan, Grégoire M Lemoult, Marc Avila, and Björn Hof. “The Rise of Fully Turbulent Flow.”https://doi.org/10.1038/nature15701__Nature. Nature Publishing Group, 2015.https://doi.org/10.1038/nature15701 .
LibreCat: https://research-explorer.ista.ac.at/record/1664
DOI: 10.1038/nature15701

Alwen, Joel F, Rafail Ostrovsky, Hongsheng Zhou, and Vassilis Zikas. “Incoercible Multi-Party Computation and Universally Composable Receipt-Free Voting.”https://doi.org/10.1007/978-3-662-48000-7_37__In Advances in Cryptology - CRYPTO 2015, 9216:763–80. Lecture Notes in Computer Science. Springer, 2015.https://doi.org/10.1007/978-3-662-48000-7_37 .
LibreCat: https://research-explorer.ista.ac.at/record/1672
DOI: 10.1007/978-3-662-48000-7_37

Pietrzak, Krzysztof Z, and Maciej Skórski. “The Chain Rule for HILL Pseudoentropy, Revisited.”https://doi.org/10.1007/978-3-319-22174-8_5__Lecture Notes in Computer Science. Springer, 2015.https://doi.org/10.1007/978-3-319-22174-8_5 .
LibreCat: https://research-explorer.ista.ac.at/record/1669
DOI: 10.1007/978-3-319-22174-8_5

Gazi, Peter, Krzysztof Z Pietrzak, and Stefano Tessaro. “The Exact PRF Security of Truncation: Tight Bounds for Keyed Sponges and Truncated CBC,”https://doi.org/10.1007/978-3-662-47989-6_18__9215:368–87. Springer, 2015.https://doi.org/10.1007/978-3-662-47989-6_18 .
LibreCat: https://research-explorer.ista.ac.at/record/1671
DOI: 10.1007/978-3-662-47989-6_18

Adlam, Ben, Krishnendu Chatterjee, and Martin Nowak. “Amplifiers of Selection.”https://doi.org/10.1098/rspa.2015.0114__Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences. Royal Society of London, 2015.https://doi.org/10.1098/rspa.2015.0114 .
LibreCat: https://research-explorer.ista.ac.at/record/1673
DOI: 10.1098/rspa.2015.0114

Gazi, Peter, Jooyoung Lee, Yannick Seurin, John Steinberger, and Stefano Tessaro. “Relaxing Full-Codebook Security: A Refined Analysis of Key-Length Extension Schemes.”https://doi.org/10.1007/978-3-662-48116-5_16__Lecture Notes in Computer Science. Springer, 2015.https://doi.org/10.1007/978-3-662-48116-5_16 .
LibreCat: https://research-explorer.ista.ac.at/record/1668
DOI: 10.1007/978-3-662-48116-5_16

Bogomolov, Sergiy, Daniele Magazzeni, Stefano Minopoli, and Martin Wehrle. “PDDL+ Planning with Hybrid Automata: Foundations of Translating Must Behavior,” 42–46. AAAI Press, 2015.
LibreCat: https://research-explorer.ista.ac.at/record/1670

Lee, Jioon, and Kevin Schnelli. “Edge Universality for Deformed Wigner Matrices.”https://doi.org/10.1142/S0129055X1550018X__Reviews in Mathematical Physics. World Scientific Publishing, 2015.https://doi.org/10.1142/S0129055X1550018X .
LibreCat: https://research-explorer.ista.ac.at/record/1674
DOI: 10.1142/S0129055X1550018X

Lemoult, Grégoire M, Philipp Maier, and Björn Hof. “Taylor’s Forest.”https://doi.org/10.1063/1.4930850__Physics of Fluids. American Institute of Physics, 2015.https://doi.org/10.1063/1.4930850 .
LibreCat: https://research-explorer.ista.ac.at/record/1679
DOI: 10.1063/1.4930850

Sixt, Michael K, and Erez Raz. “Editorial Overview: Cell Adhesion and Migration.”https://doi.org/10.1016/j.ceb.2015.09.004__Current Opinion in Cell Biology. Elsevier, 2015.https://doi.org/10.1016/j.ceb.2015.09.004 .
LibreCat: https://research-explorer.ista.ac.at/record/1676
DOI: 10.1016/j.ceb.2015.09.004

Sarris, Milka, and Michael K Sixt. “Navigating in Tissue Mazes: Chemoattractant Interpretation in Complex Environments.”https://doi.org/10.1016/j.ceb.2015.08.001__Current Opinion in Cell Biology. Elsevier, 2015.https://doi.org/10.1016/j.ceb.2015.08.001 .
LibreCat: https://research-explorer.ista.ac.at/record/1687
DOI: 10.1016/j.ceb.2015.08.001

Cohen Addad, Vincent, and Arnaud N de Mesmay. “A Fixed Parameter Tractable Approximation Scheme for the Optimal Cut Graph of a Surface,”https://doi.org/10.1007/978-3-662-48350-3_33__9294:386–98. Springer, 2015.https://doi.org/10.1007/978-3-662-48350-3_33 .
LibreCat: https://research-explorer.ista.ac.at/record/1685
DOI: 10.1007/978-3-662-48350-3_33

Karasev, Roman, Jan Kyndl, Pavel Paták, Zuzana Patakova, and Martin Tancer. “Bounds for Pach’s Selection Theorem and for the Minimum Solid Angle in a Simplex.”https://doi.org/10.1007/s00454-015-9720-z__Discrete &; Computational Geometry. Springer, 2015.https://doi.org/10.1007/s00454-015-9720-z .
LibreCat: https://research-explorer.ista.ac.at/record/1688
DOI: 10.1007/s00454-015-9720-z

Michaliszyn, Jakub, Jan Otop, and Emanuel Kieroski. “On the Decidability of Elementary Modal Logics.”https://doi.org/10.1145/2817825__ACM Transactions on Computational Logic. ACM, 2015.https://doi.org/10.1145/2817825 .
LibreCat: https://research-explorer.ista.ac.at/record/1680
DOI: 10.1145/2817825

Franek, Peter, and Marek Krcál. “Robust Satisfiability of Systems of Equations.”https://doi.org/10.1145/2751524__Journal of the ACM. ACM, 2015.https://doi.org/10.1145/2751524 .
LibreCat: https://research-explorer.ista.ac.at/record/1682
DOI: 10.1145/2751524

Letts, James A, and Leonid A Sazanov. “Gaining Mass: The Structure of Respiratory Complex I-from Bacterial towards Mitochondrial Versions.”https://doi.org/10.1016/j.sbi.2015.08.008__Current Opinion in Structural Biology. Elsevier, 2015.https://doi.org/10.1016/j.sbi.2015.08.008 .
LibreCat: https://research-explorer.ista.ac.at/record/1683
DOI: 10.1016/j.sbi.2015.08.008

Kiermaier, Eva, and Michael K Sixt. “Fragmented Communication between Immune Cells: Neutrophils Blaze a Trail with Migratory Cues for T Cells to Follow to Sites of Infection.”https://doi.org/10.1126/science.aad0867__Science. American Association for the Advancement of Science, 2015.https://doi.org/10.1126/science.aad0867 .
LibreCat: https://research-explorer.ista.ac.at/record/1686
DOI: 10.1126/science.aad0867

Frehse, Goran, Sergiy Bogomolov, Marius Greitschus, Thomas Strump, and Andreas Podelski. “Eliminating Spurious Transitions in Reachability with Support Functions.”https://doi.org/10.1145/2728606.2728622__In Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 149–58. ACM, 2015.https://doi.org/10.1145/2728606.2728622 .
LibreCat: https://research-explorer.ista.ac.at/record/1692
DOI: 10.1145/2728606.2728622

Amaro, Pedro, Beatrice Franke, Julian Krauth, Marc Diepold, Filippo Fratini, Laleh Safari, Jorge Machado, et al. “Quantum Interference Effects in Laser Spectroscopy of Muonic Hydrogen, Deuterium, and Helium-3.”https://doi.org/10.1103/PhysRevA.92.022514__Physical Review A. American Physical Society, 2015.https://doi.org/10.1103/PhysRevA.92.022514 .
LibreCat: https://research-explorer.ista.ac.at/record/1693
DOI: 10.1103/PhysRevA.92.022514