Biedl, T., Held, M., Huber, S., Kaaser, D., &; Palfrader, P. (2015). Weighted straight skeletons in the plane. Computational Geometry: Theory and Applications. Elsevier.https://doi.org/10.1016/j.comgeo.2014.08.006 
LibreCat: https://research-explorer.ista.ac.at/record/1582
DOI: 10.1016/j.comgeo.2014.08.006

Biedl, T., Held, M., Huber, S., Kaaser, D., &; Palfrader, P. (2015). A simple algorithm for computing positively weighted straight skeletons of monotone polygons. Information Processing Letters. Elsevier.https://doi.org/10.1016/j.ipl.2014.09.021 
LibreCat: https://research-explorer.ista.ac.at/record/1583
DOI: 10.1016/j.ipl.2014.09.021

Amaro, P., Fratini, F., Safari, L., Antognini, A., Indelicato, P., Pohl, R., &; Santos, J. (2015). Quantum interference shifts in laser spectroscopy with elliptical polarization. Physical Review A - Atomic, Molecular, and Optical Physics. American Physical Society.https://doi.org/10.1103/PhysRevA.92.062506 
LibreCat: https://research-explorer.ista.ac.at/record/1587
DOI: 10.1103/PhysRevA.92.062506
arXiv: 1511.03585

Altmeyer, S., Do, Y., &; Lai, Y. (2015). Ring-bursting behavior en route to turbulence in narrow-gap Taylor-Couette flows. Physical Review E. American Physical Society.https://doi.org/10.1103/PhysRevE.92.053018 
LibreCat: https://research-explorer.ista.ac.at/record/1588
DOI: 10.1103/PhysRevE.92.053018

Angermayr, A., Gorchs, A., &; Hellingwerf, K. (2015). Metabolic engineering of cyanobacteria for the synthesis of commodity products. Trends in Biotechnology. Elsevier.https://doi.org/10.1016/j.tibtech.2015.03.009 
LibreCat: https://research-explorer.ista.ac.at/record/1586
DOI: 10.1016/j.tibtech.2015.03.009

Bao, Z., Pan, G., &; Zhou, W. (2015). Asymptotic mutual information statistics of MIMO channels and CLT of sample covariance matrices. IEEE Transactions on Information Theory. IEEE.https://doi.org/10.1109/TIT.2015.2421894 
LibreCat: https://research-explorer.ista.ac.at/record/1585
DOI: 10.1109/TIT.2015.2421894

dádníková, P., Smet, D., Zhu, Q., Van Der Straeten, D., &; Benková, E. (2015). Strategies of seedlings to overcome their sessile nature: Auxin in mobility control. Frontiers in Plant Science. Frontiers Research Foundation.https://doi.org/10.3389/fpls.2015.00218 
LibreCat: https://research-explorer.ista.ac.at/record/1593
DOI: 10.3389/fpls.2015.00218

Fulek, R., Pelsmajer, M., &; Schaefer, M. (2015). Hanani-Tutte for radial planarity (Vol. 9411, pp. 99–110). Presented at the GD: Graph Drawing and Network Visualization, Los Angeles, CA, USA: Springer.https://doi.org/10.1007/978-3-319-27261-0_9 
LibreCat: https://research-explorer.ista.ac.at/record/1595
DOI: 10.1007/978-3-319-27261-0_9

Aichholzer, O., Biedl, T., Hackl, T., Held, M., Huber, S., Palfrader, P., &; Vogtenhuber, B. (2015). Representing directed trees as straight skeletons. In Graph Drawing and Network Visualization (Vol. 9411, pp. 335–347). Los Angeles, CA, United States: Springer Nature.https://doi.org/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, V., Krdál, J., &; Kretinsky, J. (2015). Controller synthesis for MDPs and frequency LTL\'47U (Vol. 9450, pp. 162–177). Presented at the LPAR: Logic for Programming, Artificial Intelligence, and Reasoning, Suva, Fiji: Springer.https://doi.org/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, R., &; Radoidi, R. (2015). Vertical visibility among parallel polygons in three dimensions. In Graph Drawing and Network Visualization (Vol. 9411, pp. 373–379). Los Angeles, CA, United States: Springer Nature.https://doi.org/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, T., Blahoudek, F., Duret Lutz, A., Klein, J., Kretinsky, J., Mueller, D.,https://doi.org/10.1007/978-3-319-21690-4_31__Strejdek, J. (2015). The Hanoi omega-automata format (Vol. 9206, pp. 479–486). Presented at the CAV: Computer Aided Verification, San Francisco, CA, United States: Springer.https://doi.org/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, S., Schilling, C., Bartocci, E., Batt, G., Kong, H., &; Grosu, R. (2015). Abstraction-based parameter synthesis for multiaffine systems (Vol. 9434, pp. 19–35). Presented at the HVC: Haifa Verification Conference, Haifa, Israel: Springer.https://doi.org/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, L., Schilling, C., Bogomolov, S., &; Johnson, T. (2015). Runtime verification for hybrid analysis tools. In 6th International Conference (Vol. 9333, pp. 281–286). Vienna, Austria: Springer Nature.https://doi.org/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, K., Doyen, L., &; Vardi, M. (2015). The complexity of synthesis from probabilistic components. In 42nd International Colloquium (Vol. 9135, pp. 108–120). Kyoto, Japan: Springer Nature.https://doi.org/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, M., Krueger Burg, D., Tuffy, L., Cooper, B., Taschenberger, H., Goswami, S.,https://doi.org/10.1016/j.celrep.2015.09.011__Brose, N. (2015). Perturbed hippocampal synaptic inhibition and ;3-oscillations in a neuroligin-4 knockout mouse model of autism. Cell Reports. Cell Press.https://doi.org/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, M., Jonas, P. M., &; Bartos, M. (2015). Strength and duration of perisomatic GABAergic inhibition depend on distance between synaptically connected cells. PNAS. National Academy of Sciences.https://doi.org/10.1073/pnas.1412996112 
LibreCat: https://research-explorer.ista.ac.at/record/1614
DOI: 10.1073/pnas.1412996112
PMID: 25583495

Whitfield, J., Zhang, W., Herde, M., Clifton, B., Radziejewski, J., Janovjak, H. L.,https://doi.org/10.1002/pro.2721__Jackson, C. (2015). Construction of a robust and sensitive arginine biosensor through ancestral protein reconstruction. Protein Science. Wiley.https://doi.org/10.1002/pro.2721 
LibreCat: https://research-explorer.ista.ac.at/record/1611
DOI: 10.1002/pro.2721
PMID: 26061224

Pavlogiannis, A., Chatterjee, K., Adlam, B., &; Nowak, M. (2015). Cellular cooperation with shift updating and repulsion. Scientific Reports. Nature Publishing Group.https://doi.org/10.1038/srep17147 
LibreCat: https://research-explorer.ista.ac.at/record/1624
DOI: 10.1038/srep17147

Hammar, P., Angermayr, A., Sjostrom, S., Van Der Meer, J., Hellingwerf, K., Hudson, E., &; Joensson, H. (2015). Single-cell screening of photosynthetic growth and lactate production by cyanobacteria. Biotechnology for Biofuels. BioMed Central.https://doi.org/10.1186/s13068-015-0380-2 
LibreCat: https://research-explorer.ista.ac.at/record/1623
DOI: 10.1186/s13068-015-0380-2