Schlögl, A., &; Stadlbauer, S. (2016). High performance computing at IST Austria: Modelling the human hippocampus. In AHP - Austrian HPC Meeting 2016 (p. 37). Grundlsee, Austria: VSC - Vienna Scientific Cluster.

Avni, G., Henzinger, T. A., &; Kupferman, O. (2016). Dynamic resource allocation games (Vol. 9928, pp. 153–166). Presented at the SAGT: Symposium on Algorithmic Game Theory, Liverpool, United Kingdom: Springer.https://doi.org/10.1007/978-3-662-53354-3_13 

Wielgoss, S., Bergmiller, T., Bischofberger, A. M., &; Hall, A. R. (2016). Adaptation to parasites and costs of parasite resistance in mutator and nonmutator bacteria. Molecular Biology and Evolution. Oxford University Press.https://doi.org/10.1093/molbev/msv270 

Harada, H., &; Shigemoto, R. (2016). Immunogold protein localization on grid-glued freeze-fracture replicas. In High-Resolution Imaging of Cellular Proteins (Vol. 1474, pp. 203–216). Springer.https://doi.org/10.1007/978-1-4939-6352-2_12 

Acar, H. (2016). Selective barriers to horizontal gene transfer. Institute of Science and Technology Austria.

Edelsbrunner, H., &; Pausinger, F. (2016). Approximation and convergence of the intrinsic volume. Advances in Mathematics. Academic Press.https://doi.org/10.1016/j.aim.2015.10.004 

Rieckh, G. (2016). Studying the complexities of transcriptional regulation. Institute of Science and Technology Austria.

Morri, M. (2016). Optical functionalization of human class A orphan G-protein coupled receptors. Institute of Science and Technology Austria.

Schwarz, J. (2016). Quantitative analysis of haptotactic cell migration. Institute of Science and Technology Austria.

Pentina, A. (2016). Theoretical foundations of multi-task lifelong learning. Institute of Science and Technology Austria.https://doi.org/10.15479/AT:ISTA:TH_776 

Chmelik, M. (2016). Algorithms for partially observable markov decision processes. Institute of Science and Technology Austria.

Mabillard, I. (2016). Eliminating higher-multiplicity intersections: an r-fold Whitney trick for the topological Tverberg conjecture. Institute of Science and Technology Austria.

Mishra, R. K., Kim, S., Guzmán, J., &; Jonas, P. M. (2016). Symmetric spike timing-dependent plasticity at C–C synapses optimizes storage and recall in autoassociative networks. Nature Communications. Nature Publishing Group.https://doi.org/10.1038/ncomms11552 

Mishra, R. K. (2016). Synaptic plasticity rules at C-C recurrent synapses in hippocampus. Institute of Science and Technology Austria.

Novak, S. (2016). Evolutionary proccesses in variable emvironments. Institute of Science and Technology Austria.

Tarrach, T. (2016). Automatic synthesis of synchronisation primitives for concurrent programs. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:1130 

Daca, P., Henzinger, T. A., Kretinsky, J., &; Petrov, T. (2016). Linear distances between Markov chains (Vol. 59). Presented at the CONCUR: Concurrency Theory, Quebec City; Canada: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPIcs.CONCUR.2016.20 

Daca, P., Henzinger, T. A., Kretinsky, J., &; Petrov, T. (2016). Faster statistical model checking for unbounded temporal properties (Vol. 9636, pp. 112–129). Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Eindhoven, The Netherlands: Springer.https://doi.org/10.1007/978-3-662-49674-9_7 

Daca, P., Gupta, A., &; Henzinger, T. A. (2016). Abstraction-driven concolic testing (Vol. 9583, pp. 328–347). Presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, St. Petersburg, FL, USA: Springer.https://doi.org/10.1007/978-3-662-49122-5_16 

Daca, P., Henzinger, T. A., &; Kupriyanov, A. (2016). Array folds logic (Vol. 9780, pp. 230–248). Presented at the CAV: Computer Aided Verification, Toronto, Canada: Springer.https://doi.org/10.1007/978-3-319-41540-6_13