Aichholzer, Oswin, Therese Biedl, Thomas Hackl, Martin Held, Stefan Huber, Peter Palfrader, and Birgit Vogtenhuber. “Representing Directed Trees as Straight Skeletons.”https://doi.org/10.1007/978-3-319-27261-0_28__In Graph Drawing and Network Visualization, 9411:335–47. Springer Nature, 2015.https://doi.org/10.1007/978-3-319-27261-0_28 .

Forejt, Vojtbch, Jan Krdál, and Jan Kretinsky. “Controller Synthesis for MDPs and Frequency LTL\'47U,”https://doi.org/10.1007/978-3-662-48899-7_12__9450:162–77. Springer, 2015.https://doi.org/10.1007/978-3-662-48899-7_12 .

Fulek, Radoslav, and Rados Radoidi. “Vertical Visibility among Parallel Polygons in Three Dimensions.”https://doi.org/10.1007/978-3-319-27261-0_31__In Graph Drawing and Network Visualization, 9411:373–79. Springer Nature, 2015.https://doi.org/10.1007/978-3-319-27261-0_31 .

Babiak, Tomás, Frantisek Blahoudek, Alexandre Duret Lutz, Joachim Klein, Jan Kretinsky, Daniel Mueller, David Parker, and Jan Strejdek. “The Hanoi Omega-Automata Format,”https://doi.org/10.1007/978-3-319-21690-4_31__9206:479–86. Springer, 2015.https://doi.org/10.1007/978-3-319-21690-4_31 .

Bogomolov, Sergiy, Christian Schilling, Ezio Bartocci, Grégory Batt, Hui Kong, and Radu Grosu. “Abstraction-Based Parameter Synthesis for Multiaffine Systems,”https://doi.org/10.1007/978-3-319-26287-1_2__9434:19–35. Springer, 2015.https://doi.org/10.1007/978-3-319-26287-1_2 .

Nguyen, Luan, Christian Schilling, Sergiy Bogomolov, and Taylor Johnson. “Runtime Verification for Hybrid Analysis Tools.”https://doi.org/10.1007/978-3-319-23820-3_19__In 6th International Conference, 9333:281–86. Springer Nature, 2015.https://doi.org/10.1007/978-3-319-23820-3_19 .

Chatterjee, Krishnendu, Laurent Doyen, and Moshe Vardi. “The Complexity of Synthesis from Probabilistic Components.”https://doi.org/10.1007/978-3-662-47666-6_9__In 42nd International Colloquium, 9135:108–20. Springer Nature, 2015.https://doi.org/10.1007/978-3-662-47666-6_9 .

Hammer, Matthieu, Dilja Krueger Burg, Liam Tuffy, Benjamin Cooper, Holger Taschenberger, Sarit Goswami, Hannelore Ehrenreich, et al. “Perturbed Hippocampal Synaptic Inhibition and ;3-Oscillations in a Neuroligin-4 Knockout Mouse Model of Autism.”https://doi.org/10.1016/j.celrep.2015.09.011__Cell Reports. Cell Press, 2015.https://doi.org/10.1016/j.celrep.2015.09.011 .

Strüber, Michael, Peter M Jonas, and Marlene Bartos. “Strength and Duration of Perisomatic GABAergic Inhibition Depend on Distance between Synaptically Connected Cells.”https://doi.org/10.1073/pnas.1412996112__PNAS. National Academy of Sciences, 2015.https://doi.org/10.1073/pnas.1412996112 .

Whitfield, Jason, William Zhang, Michel Herde, Ben Clifton, Johanna Radziejewski, Harald L Janovjak, Christian Henneberger, and Colin Jackson. “Construction of a Robust and Sensitive Arginine Biosensor through Ancestral Protein Reconstruction.”https://doi.org/10.1002/pro.2721__Protein Science. Wiley, 2015.https://doi.org/10.1002/pro.2721 .