Polynomial time decidability of weighted synchronization under partial observability
J. Kretinsky, K. Larsen, S. Laursen, J. Srba, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2015, pp. 142–154.

Poster: HyRG: A random generation tool for affine hybrid automata
L. Nguyen, C. Schilling, S. Bogomolov, T. Johnson, Poster: HyRG: A Random Generation Tool for Affine Hybrid Automata, Springer, 2015.

CEGAR for compositional analysis of qualitative properties in Markov decision processes
K. Chatterjee, M. Chmelik, P. Daca, Formal Methods in System Design 47 (2015) 230–264.

Complete composition operators for IOCO-testing theory
N. Benes, P. Daca, T.A. Henzinger, J. Kretinsky, D. Nickovic, in:, ACM, 2015, pp. 101–110.

A Herman-Avila-Bochi formula for higher-dimensional pseudo-unitary and Hermitian-symplectic-cocycles
C. Sadel, Ergodic Theory and Dynamical Systems 35 (2015) 1582–1591.

Spectral statistics of large dimensional spearman s rank correlation matrix and its application
Z. Bao, L. Lin, G. Pan, W. Zhou, Annals of Statistics 43 (2015) 2588–2623.

Universality for the largest eigenvalue of sample covariance matrices with general population
Z. Bao, G. Pan, W. Zhou, Annals of Statistics 43 (2015) 382–421.

The logarithmic law of random determinant
Z. Bao, G. Pan, W. Zhou, Bernoulli 21 (2015) 1600–1628.

Gap universality of generalized Wigner and ;2 ensembles
L. Erdös, H. Yau, Journal of the European Mathematical Society 17 (2015) 1927–2036.

On computability and triviality of well groups
P. Franek, M. Krcál, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2015, pp. 842–856.

On generalized Heawood inequalities for manifolds: A Van Kampen–Flores-type nonembeddability result
X. Goaoc, I. Mabillard, P. Paták, Z. Patakova, M. Tancer, U. Wagner, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2015, pp. 476–490.

Bounding Helly numbers via Betti numbers
X. Goaoc, P. Paták, Z. Patakova, M. Tancer, U. Wagner, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2015, pp. 507–521.

The X chromosome of hemipteran insects: Conservation, dosage compensation and sex-biased expression
A. Pal, B. Vicoso, Genome Biology and Evolution 7 (2015) 3259–3268.

Endocannabinoids induce lateral long term potentiation of transmitter release by stimulation of gliotransmission
M. Gómez Gonzalo, M. Navarrete, G. Perea, A. Covelo, M. Martín Fernández, R. Shigemoto, R. Luján, A. Araque, Cerebral Cortex 25 (2015) 3699–3712.

Distinct subsynaptic localization of type 1 metabotropic glutamate receptors at glutamatergic and GABAergic synapses in the rodent cerebellar cortex
M. Mansouri, Y. Kasugai, Y. Fukazawa, F. Bertaso, F. Raynaud, J. Perroy, L. Fagni, W. Kaufmann, M. Watanabe, R. Shigemoto, F. Ferraguti, European Journal of Neuroscience 41 (2015) 157–167.

From large deviations to Wasserstein gradient flows in multiple dimensions
M. Erbar, J. Maas, M. Renger, Electronic Communications in Probability 20 (2015).

Computational design of walking automata
G. Bharaj, S. Coros, B. Thomaszewski, J. Tompkin, B. Bickel, H. Pfister, in:, ACM, 2015, pp. 93–100.

Arbeitsgruppe eNationale Strategiec des Open Access Network Austria OANA
B. Bauer, G. Blechl, C. Bock, P. Danowski, A. Ferus, A. Graschopf, T. König, K. Mayer, F. Reckling, K. Rieck, P. Seitz, H. Stöger, E. Welzig, VÖB Mitteilungen 68 (2015) 580–607.

Impact of the cell division cycle on gene circuits
V. Bierbaum, S. Klumpp, Physical Biology 12 (2015).

Visualizing symmetric indefinite 2D tensor fields using The Heat Kernel Signature
V. Zobel, J. Reininghaus, I. Hotz, in:, I. Hotz, T. Schultz (Eds.), Visualization and Processing of Higher Order Descriptors for Multi-Valued Data, 1st ed., Springer, 2015, pp. 257–267.