DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-642-40184-8_18,2328,ToHe,Aspect-oriented linearizability proofs
10.1007/978-3-642-39799-8_68,2445,ToHe,Efficient synthesis for concurrency by semantics-preserving transformations
10.1007/978-3-642-39799-8_54,2447,ToHe,Automating separation logic using SMT
10.1007/978-3-642-39212-2_3,2517,ToHe,Formalizing and reasoning about quality
10.1007/978-3-642-36742-7_5,2847,ToHe,Structural Counter Abstraction
10.1016/j.jcss.2012.12.001,2854,"KrCh,ToHe",Strategy improvement for concurrent reachability and turn based stochastic safety games
10.1007/978-3-642-36046-6,2885,ToHe,Mathematical and Engineering Methods in Computer Science
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/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.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.1007/978-3-642-34059-8_20,2942,ToHe,Independent implementability of viewpoints
10.1145/2287718.2287727,2967,ToHe,Algorithmic analysis of array-accessing programs