DOI,IST REx ID,Research Group,Title of publication
10.1007/s10703-012-0164-2,3128,"KrCh,ToHe",A survey of partial-observation stochastic parity games
10.1007/978-3-642-31424-7_24,3136,"CaGu,ToHe",Delayed continuous time Markov chains for genetic regulatory circuits
10.1007/978-3-642-30793-5_13,3155,ToHe,Synchronous interface theories and time triggered scheduling
10.1007/978-3-642-29860-8_12,3162,ToHe,Parametric identification of temporal properties
10.1016/j.tcs.2011.12.059,3168,ToHe,Lumpability abstractions of rule based systems
10.1016/j.tcs.2011.08.002,3249,ToHe,Simulation distances
10.1007/978-3-642-27940-9_29,3251,ToHe,Ideal abstractions for well structured transition systems
10.1007/978-3-642-27940-9_1,3253,ToHe,Abstract domains for automated reasoning about list manipulating programs with infinite data
10.1016/j.scico.2010.06.004,3836,ToHe,Separate compilation of hierarchical real-time programs into linear-bounded embedded machine code
10.1016/j.jcss.2011.05.002,3846,"KrCh,ToHe","A survey of stochastic ω regular games"
10.1145/2362355.2362357,494,ToHe,"Translating to Co-Büchi made tight, unified, and useful"
10.1007/978-3-642-25318-8_16,3264,ToHe,Solving recursion-free Horn clauses over LI+UIF
10.1145/2037509.2037510,3299,ToHe,Propagation models for computing biochemical reaction networks
null,3301,ToHe,Tail approximation for the chemical master equation
null,3302,ToHe,Static scheduling in clouds
10.2168/LMCS-7(4:8)2011,3315,"KrCh,ToHe",Timed parity games: Complexity and robustness
10.1109/SIES.2011.5953660,3316,"KrCh,ToHe",Specification-centered robustness
10.1007/978-3-642-22438-6_36,3323,ToHe,An efficient decision procedure for imperative tree data structures
10.1007/978-3-642-18275-4_26,3324,ToHe,Decision procedures for automating termination proofs
10.1145/1926385.1926454,3325,ToHe,Streaming transducers for algorithmic verification of single pass list processing programs