DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-642-36046-6,2885,ToHe,Mathematical and Engineering Methods in Computer Science
10.1145/2429069.2429109,2181,ToHe,Quantitative relaxation of concurrent data structures
10.1145/2429069.2429085,2182,ToHe,Quantitative abstraction refinement
10.1109/FMCAD.2013.6679386,1376,"KrCh,ToHe",Distributed synthesis for LTL fragments
10.1109/FMCAD.2013.6679394,1385,ToHe,Synthesizing multiple boolean functions using interpolation on a single proof
10.1007/978-3-642-39212-2_11,1387,ToHe,Nondeterminism in the presence of a diverse or unknown future
10.15479/at:ista:1405,1405,"ToHe,GradSch",Analysis of dynamic message passing programs
10.15479/AT:IST-2013-123-v1-1,5402,ToHe,How free is your linearizable concurrent data structure?
10.15479/AT:IST-2013-130-v1-1,5406,"KrCh,ToHe",Distributed synthesis for LTL Fragments
10.1007/978-3-642-39799-8_11,5747,ToHe,Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates
10.15479/AT:IST-2013-124-v1-1,6440,ToHe,Replacing competition with cooperation to achieve scalable lock-free FIFO queues 
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