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 .

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 .

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 .

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 .

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 .

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 .

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 .

Uecker, Hildegard, Derek Setter, and Joachim Hermisson. “Adaptive Gene Introgression after Secondary Contact.”https://doi.org/10.1007/s00285-014-0802-y__Journal of Mathematical Biology. Springer, 2015.https://doi.org/10.1007/s00285-014-0802-y .

Wysokiski, Marcin, Jan Kaczmarczyk, and Jozef Spaek. “Gutzwiller Wave Function Solution for Anderson Lattice Model: Emerging Universal Regimes of Heavy Quasiparticle States.”https://doi.org/10.1103/PhysRevB.92.125135__Physical Review B. American Physical Society, 2015.https://doi.org/10.1103/PhysRevB.92.125135 .

Tkadik, Gasper, Thierry Mora, Olivier Marre, Dario Amodei, Stephanie Palmer, Michael Berry Ii, and William Bialek. “Thermodynamics and Signatures of Criticality in a Network of Neurons.”https://doi.org/10.1073/pnas.1514188112__PNAS. National Academy of Sciences, 2015.https://doi.org/10.1073/pnas.1514188112 .

Velner, Yaron, Krishnendu Chatterjee, Laurent Doyen, Thomas A Henzinger, Alexander Rabinovich, and Jean Raskin. “The Complexity of Multi-Mean-Payoff and Multi-Energy Games.”https://doi.org/10.1016/j.ic.2015.03.001__Information and Computation. Elsevier, 2015.https://doi.org/10.1016/j.ic.2015.03.001 .

Van Loon, Erik, Mikhail Katsnelson, and Mikhail Lemeshko. “Ultralong-Range Order in the Fermi-Hubbard Model with Long-Range Interactions.”https://doi.org/10.1103/PhysRevB.92.081106__Physical Review B. American Physical Society, 2015.https://doi.org/10.1103/PhysRevB.92.081106 .

Deuchert, Andreas, Christian Hainzl, and Robert Seiringer. “Note on a Family of Monotone Quantum Relative Entropies.”https://doi.org/10.1007/s11005-015-0787-5__Letters in Mathematical Physics. Springer, 2015.https://doi.org/10.1007/s11005-015-0787-5 .

Broadhurst, Linda, Graham Fifield, Bindi Vanzella, and Melinda Pickup. “An Evaluation of the Genetic Structure of Seed Sources and the Maintenance of Genetic Diversity during Establishment of Two Yellow Box (Eucalyptus Melliodora) Seed-Production Areas.”https://doi.org/10.1071/BT15023__Australian Journal of Botany. CSIRO, 2015.https://doi.org/10.1071/BT15023 .

Pentina, Anastasia, and Shai Ben David. “Multi-Task and Lifelong Learning of Kernels,”https://doi.org/10.1007/978-3-319-24486-0_13__9355:194–208. Springer, 2015.https://doi.org/10.1007/978-3-319-24486-0_13 .

Ratheesh, Aparna, Vera Belyaeva, and Daria E Siekhaus. “Drosophila Immune Cell Migration and Adhesion during Embryonic Development and Larval Immune Responses.”https://doi.org/10.1016/j.ceb.2015.07.003__Current Opinion in Cell Biology. Elsevier, 2015.https://doi.org/10.1016/j.ceb.2015.07.003 .

Akopyan, Arseniy, and Alexander Plakhov. “Minimal Resistance of Curves under the Single Impact Assumption.”https://doi.org/10.1137/140993843__Society for Industrial and Applied Mathematics. SIAM, 2015.https://doi.org/10.1137/140993843 .

Colin De Verdière, Éric, Alfredo Hubard, and Arnaud N de Mesmay. “Discrete Systolic Inequalities and Decompositions of Triangulated Surfaces.”https://doi.org/10.1007/s00454-015-9679-9__Discrete &; Computational Geometry. Springer, 2015.https://doi.org/10.1007/s00454-015-9679-9 .

Cohen, Michael, Anna Kicheva, Ana Ribeiro, Robert Blassberg, Karen Page, Chris Barnes, and James Briscoe. “Ptc and Gli Regulate Shh Signalling Dynamics via Multiple Mechanisms.”https://doi.org/10.1038/ncomms7709__Nature Communications. Nature Publishing Group, 2015.https://doi.org/10.1038/ncomms7709 .

Ando, Ryoichi, Nils Thürey, and Chris Wojtan. “A Dimension-Reduced Pressure Solver for Liquid Simulations.”https://doi.org/10.1111/cgf.12576__Computer Graphics Forum. Wiley, 2015.https://doi.org/10.1111/cgf.12576 .