Optomechanical proposal for monitoring microtubule mechanical vibrations
S. Barzanjeh, V. Salari, J. Tuszynski, M. Cifra, C. Simon,  Physical Review E Statistical Nonlinear and Soft Matter Physics  96 (2017).

On the nonexistence of k reptile simplices in d^3 and d^4
J. Kyndl, Z. Patakova, The Electronic Journal of Combinatorics 24 (2017) 1–44.

The riddle of CH haploinsufficiency in autism spectrum disorder
G. Novarino, Science Translational Medicine 9 (2017) eaao0972.

Roles of afadin in functional differentiations of hippocampal mossy fiber synapse
X. Geng, T. Maruo, K. Mandai, I. Supriyanto, M. Miyata, S. Sakakibara, A. Mizoguchi, Y. Takai, M. Mori, Genes to Cells 22 (2017) 715–722.

A tight estimate for the waist of the ball 
A. Akopyan, R. Karasev, Bulletin of the London Mathematical Society 49 (2017) 690–693.

Different patterns of neuronal activity trigger distinct responses of oligodendrocyte precursor cells in the corpus callosum
B. Nagy, A. Hovhannisyan, R. Barzan, T. Chen, M. Kukley, PLoS Biology 15 (2017).

Gene expression changes of thermo sensitive transient receptor potential channels in obese mice
W. Sun, C. Li, Y. Zhang, C. Jiang, M.-Z. Zhai, Q. Zhou, L. Xiao, Q. Deng, Cell Biology International 41 (2017) 908–913.

Renyi entropy estimation revisited
M. Obremski, M. Skórski, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.

Mapping the mouse Allelome reveals tissue specific regulation of allelic expression
D. Andergassen, C. Dotter, D. Wenzel, V. Sigl, P. Bammer, M. Muckenhuber, D. Mayer, T. Kulinski, H. Theussl, J. Penninger, C. Bock, D. Barlow, F. Pauler, Q. Hudson, ELife 6 (2017).

Bidirectional nested weighted automata
K. Chatterjee, T.A. Henzinger, J. Otop, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.

Weak–strong uniqueness of solutions to entropy dissipating reaction–diffusion equations
J.L. Fischer, Nonlinear Analysis: Theory, Methods and Applications 159 (2017) 181–207.

HIV Tat excites  receptor-like expressing neurons from rat nucleus accumbens
G. Brailoiu, E. Deliu, J. Barr, L. Console Bram, A. Ciuciu, M. Abood, E. Unterwald, E. Breiloiu, Drug and Alcohol Dependence 178 (2017) 7–14.

More excitation for Rett syndrome
G. Novarino, Science Translational Medicine 9 (2017).

The complexity of mean-payoff pushdown games
K. Chatterjee, Y. Velner, Journal of the ACM 64 (2017) 34.

Hyperplane separation technique for multidimensional mean-payoff games
K. Chatterjee, Y. Velner, Journal of Computer and System Sciences 88 (2017) 236–259.

Special issue: Synthesis and SYNT 2014
K. Chatterjee, R. Ehlers, Acta Informatica 54 (2017) 543–544.

Probabilistic models for neural populations that naturally capture global coupling and criticality
J. Humplik, G. Tkadik, PLoS Computational Biology 13 (2017).

Singularities of solutions to quadratic vector equations on the complex upper half plane
O.H. Ajanki, T.H. Krüger, L. Erdös, Communications on Pure and Applied Mathematics 70 (2017) 1672–1705.

Shaping 3D root system architecture
E. Morris, M. Griffiths, A. Golebiowska, S. Mairhofer, J. Burr Hersey, T. Goh, D. von Wangenheim, B. Atkinson, C. Sturrock, J. Lynch, K. Vissenberg, K. Ritz, D. Wells, S. Mooney, M. Bennett, Current Biology 27 (2017) 9–0.

Discrete modes of social information processing predict individual behavior of fish in a group
R. Harpaz, G. Tkadik, E. Schneidman, PNAS 114 (2017) 10149–10154.

Noninteracting central site model localization and logarithmic entanglement growth
D. Hetterich, M. Serbyn, F. Domínguez, F. Pollmann, B. Trauzettel, Physical Review B 96 (2017).

The science of love in ASD and ADHD
G. Novarino, Science Translational Medicine 9 (2017).

A synthetic mammalian therapeutic gene circuit for sensing and suppressing inflammation
A. Smole, D. Lainsdek, U. Bezeljak, S. Horvat, R. Jerala, Molecular Therapy 25 (2017) 102–119.

Optimal geospatial volunteer allocation needs realistic distances
J. Pielorz, M. Prandtstetter, M. Straub, C. Lampert, in:, 2017 IEEE International Conference on Big Data, IEEE, 2017, pp. 3760–3763.

Unified Hanani Tutte theorem
R. Fulek, J. Kyndl, D. Pálvölgyi, Electronic Journal of Combinatorics 24 (2017).

Photonenblockade aufgelöst
J.M. Fink, Physik in Unserer Zeit 48 (2017) 111–113.

Der Springer Compact-Deal – Ein erster Einblick in die Evaluierung einer Offsetting-Vereinbarung
M. Andrae, M. Villányi, Mitteilungen Der Vereinigung Österreichischer Bibliothekarinnen Und Bibliothekare 70 (2017) 274–280.

Metadata for research data in practice
B. Petritsch, Mitteilungen Der Vereinigung Österreichischer Bibliothekarinnen &; Bibliothekare 70 (2017) 200–207.

Ancestral protein reconstruction and circular permutation for improving the stability and dynamic range of FRET sensors
B. Clifton, J. Whitfield, I. Sanchez-Romero, M. Herde, C. Henneberger, H.L. Janovjak, C. Jackson, in:, V. Stein (Ed.), Synthetic Protein Switches, Springer, 2017, pp. 71–87.

Timed network games with clocks
G. Avni, S. Guha, O. Kupferman, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.

Data from: Error-robust modes of the retinal population code
J. Prentice, O. Marre, M. Ioffe, A. Loback, G. Tkadik, M. Berry, (2017).

Cell-to-cell variation and specialization in sugar metabolism in clonal bacterial populations
N. Nikolic, F. Schreiber, A. Dal Co, D. Kiviet, T. Bergmiller, S. Littmann, M. Kuypers, M. Ackermann, PLoS Genetics 13 (2017).

Supplementary materials and methods; Full data set from effects of mutations in phage restriction sites during escape from restriction–modification
M. Pleska, C.C. Guet, (2017).

Mathematical model
N. Nikolic, F. Schreiber, A. Dal Co, D. Kiviet, T. Bergmiller, S. Littmann, M. Kuypers, M. Ackermann, (2017).

Modelling and simulation details
M. Lukacisinova, S. Novak, T. Paixao, (2017).

Extensions of the model
M. Lukacisinova, S. Novak, T. Paixao, (2017).

Supplementary methods
N. Nikolic, F. Schreiber, A. Dal Co, D. Kiviet, T. Bergmiller, S. Littmann, M. Kuypers, M. Ackermann, (2017).

Sensory noise predicts divisive reshaping of receptive fields
M.J. Chalk, P. Masset, B. Gutkin, S. Denève, PLoS Computational Biology 13 (2017).

Heuristic prediction for multiple stresses
M. Lukacisinova, S. Novak, T. Paixao, (2017).

Resistance frequencies for different combination strategies
M. Lukacisinova, S. Novak, T. Paixao, (2017).

Supplementary appendix
M.J. Chalk, P. Masset, B. Gutkin, S. Denève, (2017).

JFIX: Semantics-based repair of Java programs via symbolic  PathFinder
X. Le, D.H. Chu, D. Lo, C. Le Goues, W. Visser, in:, Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, ACM, 2017, pp. 376–379.

Method for developing optical sensors using a synthetic dye fluorescent protein FRET pair and computational modeling and assessment
J. Mitchell, W. Zhang, M. Herde, C. Henneberger, H.L. Janovjak, M. O’Mara, C. Jackson, in:, V. Stein (Ed.), Synthetic Protein Switches, Springer, 2017, pp. 89–99.

Data from: Ret and Et promote directed movements of progenitor cells during renal branching morphogenesis
P. Riccio, C. Cebrián, H. Zong, S. Hippenmeyer, F. Costantini, (2017).

Source data for figures and tables
N. Nikolic, F. Schreiber, A. Dal Co, D. Kiviet, T. Bergmiller, S. Littmann, M. Kuypers, M. Ackermann, (2017).

Scientific Computing at IST Austria
A. Schlögl, J. Kiss, in:, AHP – Austrian HPC Meeting 2017, FSP Scientific Computing, 2017, p. 28.

Index appearance record for transforming Rabin automata into parity automata
J. Kretinsky, T. Meggendorfer, C. Waldmann, M. Weininger, in:, Tools and Algorithms for the Construction and Analysis of Systems, Springer, 2017, pp. 443–460.

Infinite-duration bidding games
G. Avni, T.A. Henzinger, V.K. Chonev, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.

A proof of the orbit conjecture for flipping edge labelled triangulations
A. Lubiw, Z. Masárová, U. Wagner, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.

Statistical and logical methods for property checking
P. Daca, Statistical and Logical Methods for Property Checking, Institute of Science and Technology Austria, 2017.