DOI,IST REx ID,Research Group,Title of publication
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_1,3253,ToHe,Abstract domains for automated reasoning about list manipulating programs with infinite data
10.1145/2393596.2393664,1384,ToHe,Conditional model checking: A technique to pass information between verifiers
10.1007/978-3-642-33386-6_14,10903,ToHe,Accurate invariant checking for programs manipulating lists and arrays with infinite data
10.1007/978-3-642-28756-5_46,10906,ToHe,HSF(C): A software verifier based on Horn clauses
10.1109/TCBB.2012.91,2302,"ToHe,CaGu",The propagation approach for computing biochemical reaction networks
10.1145/2362355.2362357,494,ToHe,"Translating to Co-Büchi made tight, unified, and useful"
10.1007/978-3-642-33386-6_10,5745,ToHe,Improved single pass algorithms for resolution proof reduction
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.1007/978-3-642-27940-9_29,3251,ToHe,Ideal abstractions for well structured transition systems
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