DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-642-13754-9_3,4392,ToHe,Quantitative Simulation Games
10.1007/978-3-642-15375-4_18,4393,ToHe,Simulation distances
10.1007/978-3-642-12029-9_19,4396,ToHe,Shape refinement through explicit heap analysis
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
10.1007/978-3-642-11319-2_14,3839,ToHe,Invariant and type inference for matrices
10.1145/1706299.1706319,3840,ToHe,From boolean to quantitative notions of correctness
10.1049/iet-syb.2010.0005,3842,ToHe,Fast adaptive uniformization of the chemical master equation
10.1007/978-3-642-16242-8_25,3845,ToHe,Aligators for arrays
10.1109/QEST.2010.33,3847,"ToHe,CaGu",SABRE: A tool for the stochastic analysis of biochemical reaction networks
10.1007/978-3-642-15375-4_19,3853,"KrCh,HeEd,ToHe",Mean-payoff automaton expressions
10.1007/978-3-642-15155-2_24,3855,"KrCh,ToHe",Qualitative analysis of partially-observable Markov Decision Processes
10.1007/978-3-642-15155-2_23,3856,"KrCh,ToHe",Randomness for free
10.1007/978-3-642-15643-4_1,3857,"KrCh,ToHe",Probabilistic Automata on infinite words: decidability and undecidability results