DOI,IST REx ID,Research Group,Title of publication
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"