Aichholzer, Oswin, et al. “Representing Directed Trees as Straight Skeletons.”10.1007/978-3-319-27261-0_28__Graph Drawing and Network Visualization, vol. 9411, Springer Nature, 2015, pp. 335–47, doi:10.1007/978-3-319-27261-0_28.
LibreCat: https://research-explorer.ista.ac.at/record/1590
DOI: 10.1007/978-3-319-27261-0_28

Forejt, Vojtbch, et al. Controller Synthesis for MDPs and Frequency LTL\'47U. Vol. 9450, Springer, 2015, pp. 162–77, doi:10.1007/978-3-662-48899-7_12.
LibreCat: https://research-explorer.ista.ac.at/record/1594
DOI: 10.1007/978-3-662-48899-7_12

Fulek, Radoslav, and Rados Radoidi. “Vertical Visibility among Parallel Polygons in Three Dimensions.”10.1007/978-3-319-27261-0_31__Graph Drawing and Network Visualization, vol. 9411, Springer Nature, 2015, pp. 373–79, doi:10.1007/978-3-319-27261-0_31.
LibreCat: https://research-explorer.ista.ac.at/record/1596
DOI: 10.1007/978-3-319-27261-0_31

Babiak, Tomás, et al. The Hanoi Omega-Automata Format. Vol. 9206, Springer, 2015, pp. 479–86, doi:10.1007/978-3-319-21690-4_31.
LibreCat: https://research-explorer.ista.ac.at/record/1601
DOI: 10.1007/978-3-319-21690-4_31

Bogomolov, Sergiy, et al. Abstraction-Based Parameter Synthesis for Multiaffine Systems. Vol. 9434, Springer, 2015, pp. 19–35, doi:10.1007/978-3-319-26287-1_2.
LibreCat: https://research-explorer.ista.ac.at/record/1605
DOI: 10.1007/978-3-319-26287-1_2

Nguyen, Luan, et al. “Runtime Verification for Hybrid Analysis Tools.”10.1007/978-3-319-23820-3_19__6th International Conference, vol. 9333, Springer Nature, 2015, pp. 281–86, doi:10.1007/978-3-319-23820-3_19.
LibreCat: https://research-explorer.ista.ac.at/record/1606
DOI: 10.1007/978-3-319-23820-3_19

Chatterjee, Krishnendu, et al. “The Complexity of Synthesis from Probabilistic Components.”10.1007/978-3-662-47666-6_9__42nd International Colloquium, vol. 9135, Springer Nature, 2015, pp. 108–20, doi:10.1007/978-3-662-47666-6_9.
LibreCat: https://research-explorer.ista.ac.at/record/1609
DOI: 10.1007/978-3-662-47666-6_9

Hammer, Matthieu, et al. “Perturbed Hippocampal Synaptic Inhibition and ;3-Oscillations in a Neuroligin-4 Knockout Mouse Model of Autism.”10.1016/j.celrep.2015.09.011__Cell Reports, vol. 13, no. 3, Cell Press, 2015, pp. 516–23, doi:10.1016/j.celrep.2015.09.011.
LibreCat: https://research-explorer.ista.ac.at/record/1615
DOI: 10.1016/j.celrep.2015.09.011

Strüber, Michael, et al. “Strength and Duration of Perisomatic GABAergic Inhibition Depend on Distance between Synaptically Connected Cells.”10.1073/pnas.1412996112__PNAS, vol. 112, no. 4, National Academy of Sciences, 2015, pp. 1220–25, doi:10.1073/pnas.1412996112.
LibreCat: https://research-explorer.ista.ac.at/record/1614
DOI: 10.1073/pnas.1412996112
PMID: 25583495

Whitfield, Jason, et al. “Construction of a Robust and Sensitive Arginine Biosensor through Ancestral Protein Reconstruction.”10.1002/pro.2721__Protein Science, vol. 24, no. 9, Wiley, 2015, pp. 1412–22, doi:10.1002/pro.2721.
LibreCat: https://research-explorer.ista.ac.at/record/1611
DOI: 10.1002/pro.2721
PMID: 26061224

Pavlogiannis, Andreas, et al. “Cellular Cooperation with Shift Updating and Repulsion.”10.1038/srep17147__Scientific Reports, vol. 5, 17147, Nature Publishing Group, 2015, doi:10.1038/srep17147.
LibreCat: https://research-explorer.ista.ac.at/record/1624
DOI: 10.1038/srep17147

Hammar, Petter, et al. “Single-Cell Screening of Photosynthetic Growth and Lactate Production by Cyanobacteria.”10.1186/s13068-015-0380-2__Biotechnology for Biofuels, vol. 8, no. 1, 193, BioMed Central, 2015, doi:10.1186/s13068-015-0380-2.
LibreCat: https://research-explorer.ista.ac.at/record/1623
DOI: 10.1186/s13068-015-0380-2

Bermano, Amit, et al. Detailed Spatio-Temporal Reconstruction of Eyelids. Vol. 34, no. 4, 44, ACM, 2015, doi:10.1145/2766924.
LibreCat: https://research-explorer.ista.ac.at/record/1625
DOI: 10.1145/2766924

Martin, Tobias, et al. OmniAD: Data-Driven Omni-Directional Aerodynamics. Vol. 34, no. 4, 113, ACM, 2015, doi:10.1145/2766919.
LibreCat: https://research-explorer.ista.ac.at/record/1626
DOI: 10.1145/2766919

Schumacher, Christian, et al. Microstructures to Control Elasticity in 3D Printing. Vol. 34, no. 4, 136, ACM, 2015, doi:10.1145/2766926.
LibreCat: https://research-explorer.ista.ac.at/record/1628
DOI: 10.1145/2766926

Pérez, Jesús, et al. Design and Fabrication of Flexible Rod Meshes. Vol. 34, no. 4, 138, ACM, 2015, doi:10.1145/2766998.
LibreCat: https://research-explorer.ista.ac.at/record/1627
DOI: 10.1145/2766998

Da, Fang, et al. Double Bubbles sans Toil and Trouble: Discrete Circulation-Preserving Vortex Sheets for Soap Films and Foams. Vol. 34, no. 4, 149, ACM, 2015, doi:10.1145/2767003.
LibreCat: https://research-explorer.ista.ac.at/record/1634
DOI: 10.1145/2767003

Kolmogorov, Vladimir, et al. “Effectiveness of Structural Restrictions for Hybrid CSPs.”10.1007/978-3-662-48971-0_48__26th International Symposium, vol. 9472, Springer Nature, 2015, pp. 566–77, doi:10.1007/978-3-662-48971-0_48.
LibreCat: https://research-explorer.ista.ac.at/record/1636
DOI: 10.1007/978-3-662-48971-0_48
arXiv: 1504.07067

Ando, Ryoichi, et al. A Stream Function Solver for Liquid Simulations. Vol. 34, no. 4, 53, ACM, 2015, doi:10.1145/2766935.
LibreCat: https://research-explorer.ista.ac.at/record/1632
DOI: 10.1145/2766935

Guerrero, Paul, et al. Learning Shape Placements by Example. Vol. 34, no. 4, 108, ACM, 2015, doi:10.1145/2766933.
LibreCat: https://research-explorer.ista.ac.at/record/1630
DOI: 10.1145/2766933