DOI,IST REx ID,Research Group,Title of publication
10.1145/3711896.3737054,20292,ToHe,Monitoring robustness and individual fairness
10.1007/s00236-016-0278-x,1351,"ToHe,CaGu,NiBa",Model checking the evolution of gene regulatory networks
10.1007/978-3-662-49122-5_16,1230,ToHe,Abstraction-driven concolic testing
10.1145/2676726.2677008,1992,ToHe,Succinct representation of concurrent trace sets
10.1145/2745799,1808,ToHe,Guest editors' introduction to special issue on computational methods in systems biology
10.1007/978-3-662-46681-0_47,1835,"ToHe,CaGu,NiBa",Model checking gene regulatory networks
10.4204/EPTCS.169.5,1702,ToHe,Generalised interpolation by solving recursion free-horn clauses
10.1007/978-3-319-13338-6_6,1869,ToHe,Suraq - a controller synthesis tool using uninterpreted functions
10.1007/978-3-319-11936-6_14,1872,ToHe,Extensional crisis and proving identity
10.1007/978-3-642-45221-5_13,2237,ToHe,Tree interpolation in Vampire
10.1007/978-3-642-40708-6,2288,ToHe,Computational Methods in Systems Biology
10.1109/FMCAD.2013.6679394,1385,ToHe,Synthesizing multiple boolean functions using interpolation on a single proof
10.1007/978-3-642-39799-8_11,5747,ToHe,Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates
10.1007/978-3-642-28756-5_46,10906,ToHe,HSF(C): A software verifier based on Horn clauses
10.1007/978-3-642-33386-6_10,5745,ToHe,Improved single pass algorithms for resolution proof reduction
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-25318-8_16,3264,ToHe,Solving recursion-free Horn clauses over LI+UIF
10.1145/1328438.1328459,4521,,Proving non-termination