DOI,IST REx ID,Title of publication
10.1021/cm2006633,335,Means and limits of control of the shell parameters in hollow nanoparticles obtained by the Kirkendall effect
10.1007/978-3-642-24310-3_11,3350,Minimum attention controller synthesis for omega regular objectives
10.1007/978-3-642-22953-4_13,3351,On memoryless quantitative objectives
10.1145/2001269.2001289,3352,Biology as reactivity
10.1145/1985342.1985345,3353,A theory of synchronous relational interfaces
10.1145/1970398.1970404,3354,Qualitative concurrent parity games
10.1109/QEST.2011.40,3355,Quantitative evaluation of BFT protocols
10.1109/LICS.2011.33,3356,Temporal specifications with accumulative values
10.1007/978-3-642-21254-3_17,3357,The complexity of request-response games
10.1145/1966445.1966476,3358,Scheduling large jobs by abstraction refinement
10.1145/2038642.2038666,3359,From boolean to quantitative synthesis
10.1021/jp2002904,336,Growth kinetics of asymmetric Bi2S3 nanocrystals: Size distribution focusing in nanorods
10.4230/LIPIcs.CSL.2011.82,3360,Determinizing discounted-sum automata
10.1109/CSF.2011.21,3361,The complexity of quantitative information flow problems
10.1007/978-3-642-23217-6_27,3362,Dynamic reactive modules
10.48550/arXiv.1104.0127,3363,The decidability frontier for probabilistic automata on infinite words
10.1016/j.tcs.2010.10.022,3364,Approximation of event probabilities in noisy cellular processes
10.1007/978-3-642-19835-9_24,3365,QUASY: quantitative synthesis tool
10.1007/978-3-642-22110-1_20,3366,Quantitative synthesis for concurrent programs
10.1145/1998196.1998228,3367,An output sensitive algorithm for persistent homology