DOI,IST REx ID,Research Group,Title of publication
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
10.48550/arXiv.1104.0127,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.1142/S0129054111008441,3381,ToHe,Formalisms for specifying Markovian population models
10.1007/s10703-011-0131-3,531,ToHe,Verification of STM on relaxed memory models
10.15479/AT:IST-2011-0005,5383,ToHe,On an efficient decision procedure for imperative tree data structures
10.15479/AT:IST-2011-0003,5385,"ToHe,KrCh",Temporal specifications with accumulative values
10.1007/978-3-642-17511-4_7,10908,ToHe,ABC: Algebraic Bound Computation for loops
10.4230/LIPIcs.FSTTCS.2010.1,488,ToHe,Expressiveness of streaming string transducers
10.1007/s10703-010-0102-0,533,ToHe,Doomed program points
10.15479/AT:IST-2010-0004,5388,"KrCh,ToHe",Quantitative synthesis for concurrent programs
10.15479/AT:IST-2010-0003,5389,ToHe,Simulation distances
10.15479/AT:IST-2010-0001,5391,ToHe,Model checking of linearizability of concurrent list implementations
null,3719,"ToHe,CaGu",Lumpability abstractions of rule-based systems
10.1186/1752-0509-4-42,3834,ToHe,Solving the chemical master equation using sliding windows
10.1145/1839764.1839772,3838,ToHe,Hybrid numerical solution of the chemical master equation