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.1007/978-3-642-12032-9_8,4361,ToHe,Forward analysis of depth-bounded processes
10.15479/AT:IST-2009-0003,5393,"KrCh,ToHe",Gist: A solver for probabilistic games
10.15479/AT:IST-2009-0002,5394,"KrCh,ToHe",Improved lower bounds for request-response and finitary Streett games
10.15479/AT:IST-2009-0001,5395,"KrCh,ToHe",Qualitative analysis of partially-observable Markov decision processes
10.1145/1629335.1629346,3837,ToHe,On relational interfaces
10.1007/978-3-642-04420-5_2,3841,ToHe,Formalisms for specifying Markovian population models
10.1109/HiBi.2009.23,3843,"ToHe,CaGu",Fast adaptive uniformization of the chemical master equation
10.1109/RTSS.2009.9,3844,ToHe,"Distributed, modular HTL"