_id,doi,title
1594,10.1007/978-3-662-48899-7_12,Controller synthesis for MDPs and frequency LTL\GU
1595,10.1007/978-3-319-27261-0_9,Hanani-Tutte for radial planarity
1596,10.1007/978-3-319-27261-0_31,Vertical visibility among parallel polygons in three dimensions
1598,10.1016/j.tcs.2015.01.050,Average case analysis of the classical algorithm for Markov decision processes with Büchi objectives
1601,10.1007/978-3-319-21690-4_31,The Hanoi omega-automata format
1602,10.1145/2676726.2676979,Faster algorithms for algebraic path properties in recursive state machines with constant treewidth
1603,10.1007/978-3-319-21690-4_10,Counterexample explanation by learning small strategies in Markov decision processes
1604,10.1145/2676726.2676968,Quantitative interprocedural analysis
1605,10.1007/978-3-319-26287-1_2,Abstraction-based parameter synthesis for multiaffine systems
1606,10.1007/978-3-319-23820-3_19,Runtime verification for hybrid analysis tools
1607,10.1007/978-3-319-21690-4_9,Faster algorithms for quantitative verification in constant treewidth graphs
1609,10.1007/978-3-662-47666-6_9,The complexity of synthesis from probabilistic components
1610,10.1007/978-3-662-47666-6_10,Edit distance for pushdown automata
1611,10.1002/pro.2721,Construction of a robust and sensitive arginine biosensor through ancestral protein reconstruction
1614,10.1073/pnas.1412996112,Strength and duration of perisomatic GABAergic inhibition depend on distance between synaptically connected cells
1311,10.1137/140960578,Finite speed of propagation and waiting times for the stochastic porous medium equation: A unifying approach
1313,10.4171/IFB/331,Estimates on front propagation for nonlinear higher-order parabolic equations: An algorithmic approach
1314,10.1137/140966654,A posteriori modeling error estimates for the assumption of perfect incompressibility in the Navier-Stokes equation
1316,10.1007/s00205-015-0866-x,"Global existence of renormalized solutions to entropy-dissipating reaction–diffusion systems"
13392,10.1038/nnano.2015.256,Reversible trapping and reaction acceleration within dynamically self-assembling nanoflasks