DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-642-14295-6_57,4388,"KrCh,ToHe",GIST: A solver for probabilistic games
10.1109/ACSD.2010.26,4389,ToHe,Robustness of sequential circuits
10.1007/978-3-642-14295-6_41,4390,ToHe,Model checking of linearizability of concurrent list implementations
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