_id,doi,title
1593,10.3389/fpls.2015.00218,Strategies of seedlings to overcome their sessile nature: Auxin in mobility control
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
1383,10.1038/nplants.2015.94,V-ATPase activity in the TGN/EE is required for exocytosis and recycling in Arabidopsis
1399,,On the approximation of intrinsic volumes
1400,,The subclonal evolution of cancer
1401,10.15479/at:ista:1401,Learning with attributes for object recognition: Parametric and non-parametrics views