Average case analysis of the classical algorithm for Markov decision processes with Büchi objectives
K. Chatterjee, M. Joglekar, N. Shah, Theoretical Computer Science 573 (2015) 71–89.

The Hanoi omega-automata format
T. Babiak, F. Blahoudek, A. Duret Lutz, J. Klein, J. Kretinsky, D. Mueller, D. Parker, J. Strejdek, in:, Springer, 2015, pp. 479–486.

Faster algorithms for algebraic path properties in recursive state machines with constant treewidth
K. Chatterjee, R. Ibsen-Jensen, A. Pavlogiannis, P. Goyal, ACM SIGPLAN Notices 50 (2015) 97–109.

Counterexample explanation by learning small strategies in Markov decision processes
T. Brázdil, K. Chatterjee, M. Chmelik, A. Fellner, J. Kretinsky, in:, Springer, 2015, pp. 158–177.

Quantitative interprocedural analysis
K. Chatterjee, A. Pavlogiannis, Y. Velner, Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT  50 (2015) 539–551.

Abstraction-based parameter synthesis for multiaffine systems
S. Bogomolov, C. Schilling, E. Bartocci, G. Batt, H. Kong, R. Grosu, in:, Springer, 2015, pp. 19–35.

Runtime verification for hybrid analysis tools
L. Nguyen, C. Schilling, S. Bogomolov, T. Johnson, in:, 6th International Conference, Springer Nature, 2015, pp. 281–286.

Faster algorithms for quantitative verification in constant treewidth graphs
K. Chatterjee, R. Ibsen-Jensen, A. Pavlogiannis, in:, Springer, 2015, pp. 140–157.

The complexity of synthesis from probabilistic components
K. Chatterjee, L. Doyen, M. Vardi, in:, 42nd International Colloquium, Springer Nature, 2015, pp. 108–120.

Edit distance for pushdown automata
K. Chatterjee, T.A. Henzinger, R. Ibsen-Jensen, J. Otop, in:, 42nd International Colloquium, Springer Nature, 2015, pp. 121–133.

Construction of a robust and sensitive arginine biosensor through ancestral protein reconstruction
J. Whitfield, W. Zhang, M. Herde, B. Clifton, J. Radziejewski, H.L. Janovjak, C. Henneberger, C. Jackson, Protein Science 24 (2015) 1412–1422.

Strength and duration of perisomatic GABAergic inhibition depend on distance between synaptically connected cells
M. Strüber, P.M. Jonas, M. Bartos, PNAS 112 (2015) 1220–1225.

Finite speed of propagation and waiting times for the stochastic porous medium equation: A unifying approach
J.L. Fischer, G. Grün, SIAM Journal on Mathematical Analysis 47 (2015) 825–854.

Estimates on front propagation for nonlinear higher-order parabolic equations: An algorithmic approach
J.L. Fischer, Interfaces and Free Boundaries 17 (2015) 1–20.

A posteriori modeling error estimates for the assumption of perfect incompressibility in the Navier-Stokes equation
J.L. Fischer, SIAM Journal on Numerical Analysis 53 (2015) 2178–2205.

Global existence of renormalized solutions to entropy-dissipating reaction–diffusion systems
J.L. Fischer, Archive for Rational Mechanics and Analysis 218 (2015) 553–587.

Reversible trapping and reaction acceleration within dynamically self-assembling nanoflasks
H. Zhao, S. Sen, T. Udayabhaskararao, M. Sawczyk, K. Kudanda, D. Manna, P.K. Kundu, J.-W. Lee, P. Král, R. Klajn, Nature Nanotechnology 11 (2015) 82–88.

Orthogonal light-induced self-assembly of nanoparticles using differently substituted azobenzenes
D. Manna, T. Udayabhaskararao, H. Zhao, R. Klajn, Angewandte Chemie International Edition 54 (2015) 12394–12397.

Light-controlled self-assembly of non-photoresponsive nanoparticles
P.K. Kundu, D. Samanta, R. Leizrowice, B. Margulis, H. Zhao, M. Börner, T. Udayabhaskararao, D. Manna, R. Klajn, Nature Chemistry 7 (2015) 646–652.

Dual-responsive nanoparticles that aggregate under the simultaneous action of light and CO2
J.-W. Lee, R. Klajn, Chemical Communications 51 (2015) 2036–2039.