C. Brooks, A. Martin del Campo Sanchez, and F. Sottile, “Galois groups of Schubert problems of lines are at least alternating,” Transactions of the American Mathematical Society, vol. 367, no. 6. American Mathematical Society, pp. 4183–4206, 2015.
LibreCat: https://research-explorer.ista.ac.at/record/1579
DOI: 10.1090/S0002-9947-2014-06192-8

T. Cao, H. Edelsbrunner, and T. Tan, “Triangulations from topologically correct digital Voronoi diagrams,” Computational Geometry, vol. 48, no. 7. Elsevier, pp. 507–519, 2015.
LibreCat: https://research-explorer.ista.ac.at/record/1578
DOI: 10.1016/j.comgeo.2015.04.001

M. T. Bollenbach and C.-P. J. Heisenberg, “Gradients are shaping up,” Cell, vol. 161, no. 3. Cell Press, pp. 431–432, 2015.
LibreCat: https://research-explorer.ista.ac.at/record/1581
DOI: 10.1016/j.cell.2015.04.009

S. Altmeyer, Y. Do, and Y. Lai, “Magnetic field induced flow pattern reversal in a ferrofluidic Taylor-Couette system,” Scientific Reports, vol. 5. Nature Publishing Group, 2015.
LibreCat: https://research-explorer.ista.ac.at/record/1589
DOI: 10.1038/srep18589

T. Biedl, M. Held, S. Huber, D. Kaaser, and P. Palfrader, “Reprint of: Weighted straight skeletons in the plane,” Computational Geometry: Theory and Applications, vol. 48, no. 5. Elsevier, pp. 429–442, 2015.
LibreCat: https://research-explorer.ista.ac.at/record/1584
DOI: 10.1016/j.comgeo.2015.01.004

T. Biedl, M. Held, S. Huber, D. Kaaser, and P. Palfrader, “Weighted straight skeletons in the plane,” Computational Geometry: Theory and Applications, vol. 48, no. 2. Elsevier, pp. 120–133, 2015.
LibreCat: https://research-explorer.ista.ac.at/record/1582
DOI: 10.1016/j.comgeo.2014.08.006

T. Biedl, M. Held, S. Huber, D. Kaaser, and P. Palfrader, “A simple algorithm for computing positively weighted straight skeletons of monotone polygons,” Information Processing Letters, vol. 115, no. 2. Elsevier, pp. 243–247, 2015.
LibreCat: https://research-explorer.ista.ac.at/record/1583
DOI: 10.1016/j.ipl.2014.09.021

P. Amaro et al., “Quantum interference shifts in laser spectroscopy with elliptical polarization,” Physical Review A - Atomic, Molecular, and Optical Physics, vol. 92, no. 6. American Physical Society, 2015.
LibreCat: https://research-explorer.ista.ac.at/record/1587
DOI: 10.1103/PhysRevA.92.062506
arXiv: 1511.03585

S. Altmeyer, Y. Do, and Y. Lai, “Ring-bursting behavior en route to turbulence in narrow-gap Taylor-Couette flows,” Physical Review E, vol. 92, no. 5. American Physical Society, 2015.
LibreCat: https://research-explorer.ista.ac.at/record/1588
DOI: 10.1103/PhysRevE.92.053018

A. Angermayr, A. Gorchs, and K. Hellingwerf, “Metabolic engineering of cyanobacteria for the synthesis of commodity products,” Trends in Biotechnology, vol. 33, no. 6. Elsevier, pp. 352–361, 2015.
LibreCat: https://research-explorer.ista.ac.at/record/1586
DOI: 10.1016/j.tibtech.2015.03.009

Z. Bao, G. Pan, and W. Zhou, “Asymptotic mutual information statistics of MIMO channels and CLT of sample covariance matrices,” IEEE Transactions on Information Theory, vol. 61, no. 6. IEEE, pp. 3413–3426, 2015.
LibreCat: https://research-explorer.ista.ac.at/record/1585
DOI: 10.1109/TIT.2015.2421894

P. dádníková, D. Smet, Q. Zhu, D. Van Der Straeten, and E. Benková, “Strategies of seedlings to overcome their sessile nature: Auxin in mobility control,” Frontiers in Plant Science, vol. 6, no. 4. Frontiers Research Foundation, 2015.
LibreCat: https://research-explorer.ista.ac.at/record/1593
DOI: 10.3389/fpls.2015.00218

R. Fulek, M. Pelsmajer, and M. Schaefer, “Hanani-Tutte for radial planarity,” presented at the GD: Graph Drawing and Network Visualization, Los Angeles, CA, USA, 2015, vol. 9411, pp. 99–110.
LibreCat: https://research-explorer.ista.ac.at/record/1595
DOI: 10.1007/978-3-319-27261-0_9

O. Aichholzer et al., “Representing directed trees as straight skeletons,” in Graph Drawing and Network Visualization, vol. 9411, Springer Nature, 2015, pp. 335–347.
LibreCat: https://research-explorer.ista.ac.at/record/1590
DOI: 10.1007/978-3-319-27261-0_28

V. Forejt, J. Krdál, and J. Kretinsky, “Controller synthesis for MDPs and frequency LTL\'47U,” presented at the LPAR: Logic for Programming, Artificial Intelligence, and Reasoning, Suva, Fiji, 2015, vol. 9450, pp. 162–177.
LibreCat: https://research-explorer.ista.ac.at/record/1594
DOI: 10.1007/978-3-662-48899-7_12

R. Fulek and R. Radoidi, “Vertical visibility among parallel polygons in three dimensions,” in Graph Drawing and Network Visualization, vol. 9411, Springer Nature, 2015, pp. 373–379.
LibreCat: https://research-explorer.ista.ac.at/record/1596
DOI: 10.1007/978-3-319-27261-0_31

T. Babiak et al., “The Hanoi omega-automata format,” presented at the CAV: Computer Aided Verification, San Francisco, CA, United States, 2015, vol. 9206, pp. 479–486.
LibreCat: https://research-explorer.ista.ac.at/record/1601
DOI: 10.1007/978-3-319-21690-4_31

S. Bogomolov, C. Schilling, E. Bartocci, G. Batt, H. Kong, and R. Grosu, “Abstraction-based parameter synthesis for multiaffine systems,” presented at the HVC: Haifa Verification Conference, Haifa, Israel, 2015, vol. 9434, pp. 19–35.
LibreCat: https://research-explorer.ista.ac.at/record/1605
DOI: 10.1007/978-3-319-26287-1_2

L. Nguyen, C. Schilling, S. Bogomolov, and T. Johnson, “Runtime verification for hybrid analysis tools,” in 6th International Conference, Vienna, Austria, 2015, vol. 9333, pp. 281–286.
LibreCat: https://research-explorer.ista.ac.at/record/1606
DOI: 10.1007/978-3-319-23820-3_19

K. Chatterjee, L. Doyen, and M. Vardi, “The complexity of synthesis from probabilistic components,” in 42nd International Colloquium, Kyoto, Japan, 2015, vol. 9135, pp. 108–120.
LibreCat: https://research-explorer.ista.ac.at/record/1609
DOI: 10.1007/978-3-662-47666-6_9