_id,doi,title
3351,10.1007/978-3-642-22953-4_13,On memoryless quantitative objectives
3352,10.1145/2001269.2001289,Biology as reactivity
3353,10.1145/1985342.1985345,A theory of synchronous relational interfaces
3354,10.1145/1970398.1970404,Qualitative concurrent parity games
3355,10.1109/QEST.2011.40,Quantitative evaluation of BFT protocols
3356,10.1109/LICS.2011.33,Temporal specifications with accumulative values
3357,10.1007/978-3-642-21254-3_17,The complexity of request-response games
3358,10.1145/1966445.1966476,Scheduling large jobs by abstraction refinement
3359,10.1145/2038642.2038666,From boolean to quantitative synthesis
336,10.1021/jp2002904,Growth kinetics of asymmetric Bi2S3 nanocrystals: Size distribution focusing in nanorods
3360,10.4230/LIPIcs.CSL.2011.82,Determinizing discounted-sum automata
3361,10.1109/CSF.2011.21,The complexity of quantitative information flow problems
3362,10.1007/978-3-642-23217-6_27,Dynamic reactive modules
3363,,The decidability frontier for probabilistic automata on infinite words
3364,10.1016/j.tcs.2010.10.022,Approximation of event probabilities in noisy cellular processes
3365,10.1007/978-3-642-19835-9_24,QUASY: quantitative synthesis tool
3366,10.1007/978-3-642-22110-1_20,Quantitative synthesis for concurrent programs
3367,10.1145/1998196.1998228,An output sensitive algorithm for persistent homology
3368,10.1073/pnas.1010767108,Enveloping cell layer differentiation at the surface of zebrafish germ layer tissue explants
3369,10.1016/j.neuron.2011.01.010,The multiple faces of RIM