_id,doi,title
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
1424,,Statistical topological data analysis-A kernel perspective
1425,,Lifelong learning with non-i.i.d. tasks
1430,10.1145/2739480.2754758,First steps towards a runtime comparison of natural and artificial evolution
9532,10.1101/gad.269902.115,Evolution and function of genomic imprinting in plants
12196,10.1093/pcp/pcv087,The chromatin remodeler SPLAYED negatively regulates SNC1-mediated immunity
12881,10.7551/978-0-262-33027-5-ch018,Quantifying self-organizing behavior of autonomous robots
9711,10.1371/journal.pbio.1002299.s001,Excel file containing the raw data for all figures