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