DOI,IST REx ID,Research Group,Title of publication
10.1145/2535838.2535875,2239,ToHe,Battery transition systems
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.1145/2482767.2482789,10898,ToHe,Distributed queues in shared memory: Multicore performance and scalability through quantitative relaxation
10.1145/2429069.2429109,2181,ToHe,Quantitative relaxation of concurrent data structures
10.1145/2429069.2429085,2182,ToHe,Quantitative abstraction refinement
10.1007/978-3-642-45221-5_13,2237,ToHe,Tree interpolation in Vampire
10.4230/LIPIcs.CSL.2013.563,2243,ToHe,Elementary modal logics over transitive structures
10.1007/978-3-642-40708-6,2288,ToHe,Computational Methods in Systems Biology
10.1007/s00450-013-0251-7,2289,ToHe,Quantitative reactive modeling and verification
10.1007/978-3-642-38856-9_10,2298,ToHe,Local shape analysis for overlaid data structures
10.1007/s10009-011-0207-9,2299,"KrCh,ToHe",Synthesis of AMBA AHB from formal specification: A case study
10.1145/2491956.2462184,2301,ToHe,P: Safe asynchronous event-driven programming
10.1007/978-3-642-40184-8_20,2327,ToHe,From model checking to model measuring