DOI,IST REx ID,Research Group,Title of publication
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.1016/j.jtbi.2012.02.021,2848,"KrCh,ToHe",Evolutionary game dynamics in populations with different learners
10.1007/978-3-642-33666-9_1,2888,ToHe,Quantitative reactive models
10.1145/2380356.2380371,2890,ToHe,Synthesis from incompatible specifications
10.4230/LIPIcs.FSTTCS.2012.362,2891,ToHe,Approximate determinization of quantitative automata
10.4204/EPTCS.96.3,2916,"ToHe,KrCh",Interface Simulation Distances
10.1145/2380356.2380370,2936,"KrCh,ToHe",Finite automata with time delay blocks
10.1145/2393596.2393664,1384,ToHe,Conditional model checking: A technique to pass information between verifiers
10.1007/978-3-642-33386-6_10,5745,ToHe,Improved single pass algorithms for resolution proof reduction
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"