DOI,IST REx ID,Research Group,Title of publication
10.1137/1.9781611973082.101,3343,KrCh,Faster and dynamic algorithms for maximal end-component decomposition and related graph problems in probabilistic verification
10.1007/978-3-642-22993-0_21,3345,KrCh,Energy and mean-payoff parity Markov Decision Processes
10.1109/LICS.2011.10,3346,KrCh,Two views on multiple mean payoff objectives in Markov Decision Processes
10.1007/978-3-642-21254-3_16,3347,KrCh,Finitary languages
10.1145/1967701.1967734,3348,KrCh,Synthesis of memory efficient real time controllers for safety objectives
10.4204/EPTCS.54.6,3349,KrCh,A reduction from parity games to simple stochastic games
10.1007/978-3-642-22953-4_13,3351,KrCh,On memoryless quantitative objectives
10.1145/1985342.1985345,3353,ToHe,A theory of synchronous relational interfaces
10.1109/QEST.2011.40,3355,ToHe,Quantitative evaluation of BFT protocols
10.1109/LICS.2011.33,3356,"ToHe,KrCh",Temporal specifications with accumulative values
10.1145/1966445.1966476,3358,ToHe,Scheduling large jobs by abstraction refinement
10.4230/LIPIcs.CSL.2011.82,3360,ToHe,Determinizing discounted-sum automata
10.1109/CSF.2011.21,3361,"ToHe,KrCh",The complexity of quantitative information flow problems
10.1007/978-3-642-23217-6_27,3362,ToHe,Dynamic reactive modules
null,3363,"KrCh,ToHe",The decidability frontier for probabilistic automata on infinite words
10.1016/j.tcs.2010.10.022,3364,ToHe,Approximation of event probabilities in noisy cellular processes
10.1007/978-3-642-19835-9_24,3365,"KrCh,ToHe",QUASY: quantitative synthesis tool
10.1007/978-3-642-22110-1_20,3366,"ToHe,KrCh",Quantitative synthesis for concurrent programs
10.1073/pnas.1010767108,3368,CaHe,Enveloping cell layer differentiation at the surface of zebrafish germ layer tissue explants
10.1093/sysbio/syq086,3370,JoBo,Consequences of different null models on the tree shape bias of supertree methods