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

Bak, Stanley, Sergiy Bogomolov, and Taylor Johnson. “HYST: A Source Transformation and Translation Tool for Hybrid Automaton Models,”https://doi.org/10.1145/2728606.2728630__128–33. Springer, 2015.https://doi.org/10.1145/2728606.2728630 .
LibreCat: https://research-explorer.ista.ac.at/record/1690
DOI: 10.1145/2728606.2728630

Svoreová, Mária, Martin Chmelik, Kevin Leahy, Hasan Eniser, Krishnendu Chatterjee, Ivana Cbrná, and Celin Belta. “Temporal Logic Motion Planning Using POMDPs with Parity Objectives: Case Study Paper.”https://doi.org/10.1145/2728606.2728617__In Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 233–38. ACM, 2015.https://doi.org/10.1145/2728606.2728617 .
LibreCat: https://research-explorer.ista.ac.at/record/1691
DOI: 10.1145/2728606.2728617

Chatterjee, Krishnendu, and Vinayak Prabhu. “Quantitative Temporal Simulation and Refinement Distances for Timed Systems.”https://doi.org/10.1109/TAC.2015.2404612__IEEE Transactions on Automatic Control. IEEE, 2015.https://doi.org/10.1109/TAC.2015.2404612 .
LibreCat: https://research-explorer.ista.ac.at/record/1694
DOI: 10.1109/TAC.2015.2404612

Kaczmarczyk, Jan, Tobias Schickling, and Jörg Bünemann. “Evaluation Techniques for Gutzwiller Wave Functions in Finite Dimensions.”https://doi.org/10.1002/pssb.201552082__Physica Status Solidi (B): Basic Solid State Physics. Wiley, 2015.https://doi.org/10.1002/pssb.201552082 .
LibreCat: https://research-explorer.ista.ac.at/record/1695
DOI: 10.1002/pssb.201552082

Marre, Olivier, Vicente Botella Soler, Kristina Simmons, Thierry Mora, Gasper Tkadik, and Michael Berry. “High Accuracy Decoding of Dynamical Motion from a Large Retinal Population.”https://doi.org/10.1371/journal.pcbi.1004304__PLoS Computational Biology. Public Library of Science, 2015.https://doi.org/10.1371/journal.pcbi.1004304 .
LibreCat: https://research-explorer.ista.ac.at/record/1697
DOI: 10.1371/journal.pcbi.1004304