Bogomolov, Sergiy, et al. PDDL+ Planning with Hybrid Automata: Foundations of Translating Must Behavior. AAAI Press, 2015, pp. 42–46.
LibreCat: https://research-explorer.ista.ac.at/record/1670

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

Lemoult, Grégoire M., et al. “Taylor’s Forest.”10.1063/1.4930850__Physics of Fluids, vol. 27, no. 9, 091102, American Institute of Physics, 2015, doi: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.”10.1016/j.ceb.2015.09.004__Current Opinion in Cell Biology, vol. 36, no. 10, Elsevier, 2015, pp. 4–6, doi:10.1016/j.ceb.2015.09.004.
LibreCat: https://research-explorer.ista.ac.at/record/1676
DOI: 10.1016/j.ceb.2015.09.004

Vicoso, Beatriz, and Doris Bachtrog. “Numerous Transitions of Sex Chromosomes in Diptera.”10.1371/journal.pbio.1002078__PLoS Biology, vol. 13, no. 4, e1002078, Public Library of Science, 2015, doi:10.1371/journal.pbio.1002078.
LibreCat: https://research-explorer.ista.ac.at/record/1684
DOI: 10.1371/journal.pbio.1002078

Sarris, Milka, and Michael K. Sixt. “Navigating in Tissue Mazes: Chemoattractant Interpretation in Complex Environments.”10.1016/j.ceb.2015.08.001__Current Opinion in Cell Biology, vol. 36, no. 10, Elsevier, 2015, pp. 93–102, doi: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. Vol. 9294, Springer, 2015, pp. 386–98, doi: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, et al. “Bounds for Pach’s Selection Theorem and for the Minimum Solid Angle in a Simplex.”10.1007/s00454-015-9720-z__Discrete &; Computational Geometry, vol. 54, no. 3, Springer, 2015, pp. 610–36, doi:10.1007/s00454-015-9720-z.
LibreCat: https://research-explorer.ista.ac.at/record/1688
DOI: 10.1007/s00454-015-9720-z

Michaliszyn, Jakub, et al. “On the Decidability of Elementary Modal Logics.”10.1145/2817825__ACM Transactions on Computational Logic, vol. 17, no. 1, 2, ACM, 2015, doi: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.”10.1145/2751524__Journal of the ACM, vol. 62, no. 4, 26, ACM, 2015, doi: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.”10.1016/j.sbi.2015.08.008__Current Opinion in Structural Biology, vol. 33, no. 8, Elsevier, 2015, pp. 135–45, doi: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.”10.1126/science.aad0867__Science, vol. 349, no. 6252, American Association for the Advancement of Science, 2015, pp. 1055–56, doi:10.1126/science.aad0867.
LibreCat: https://research-explorer.ista.ac.at/record/1686
DOI: 10.1126/science.aad0867

Frehse, Goran, et al. “Eliminating Spurious Transitions in Reachability with Support Functions.”10.1145/2728606.2728622__Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, ACM, 2015, pp. 149–58, doi:10.1145/2728606.2728622.
LibreCat: https://research-explorer.ista.ac.at/record/1692
DOI: 10.1145/2728606.2728622

Amaro, Pedro, et al. “Quantum Interference Effects in Laser Spectroscopy of Muonic Hydrogen, Deuterium, and Helium-3.”10.1103/PhysRevA.92.022514__Physical Review A, vol. 92, no. 2, 022514, American Physical Society, 2015, doi:10.1103/PhysRevA.92.022514.
LibreCat: https://research-explorer.ista.ac.at/record/1693
DOI: 10.1103/PhysRevA.92.022514

Bak, Stanley, et al. HYST: A Source Transformation and Translation Tool for Hybrid Automaton Models. Springer, 2015, pp. 128–33, doi:10.1145/2728606.2728630.
LibreCat: https://research-explorer.ista.ac.at/record/1690
DOI: 10.1145/2728606.2728630

Svoreová, Mária, et al. “Temporal Logic Motion Planning Using POMDPs with Parity Objectives: Case Study Paper.”10.1145/2728606.2728617__Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, ACM, 2015, pp. 233–38, doi: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.”10.1109/TAC.2015.2404612__IEEE Transactions on Automatic Control, vol. 60, no. 9, IEEE, 2015, pp. 2291–306, doi:10.1109/TAC.2015.2404612.
LibreCat: https://research-explorer.ista.ac.at/record/1694
DOI: 10.1109/TAC.2015.2404612

Kaczmarczyk, Jan, et al. “Evaluation Techniques for Gutzwiller Wave Functions in Finite Dimensions.”10.1002/pssb.201552082__Physica Status Solidi (B): Basic Solid State Physics, vol. 252, no. 9, Wiley, 2015, pp. 2059–71, doi:10.1002/pssb.201552082.
LibreCat: https://research-explorer.ista.ac.at/record/1695
DOI: 10.1002/pssb.201552082

Marre, Olivier, et al. “High Accuracy Decoding of Dynamical Motion from a Large Retinal Population.”10.1371/journal.pcbi.1004304__PLoS Computational Biology, vol. 11, no. 7, e1004304, Public Library of Science, 2015, doi:10.1371/journal.pcbi.1004304.
LibreCat: https://research-explorer.ista.ac.at/record/1697
DOI: 10.1371/journal.pcbi.1004304

Uecker, Hildegard, et al. “Adaptive Gene Introgression after Secondary Contact.”10.1007/s00285-014-0802-y__Journal of Mathematical Biology, vol. 70, no. 7, Springer, 2015, pp. 1523–80, doi:10.1007/s00285-014-0802-y.
LibreCat: https://research-explorer.ista.ac.at/record/1699
DOI: 10.1007/s00285-014-0802-y