DOI,IST REx ID,Research Group,Title of publication
10.34727/2021/isbn.978-3-85448-046-4_23,10688,ToHe,The Civl verifier
10.15479/AT:ISTA:8332,8332,ToHe,"Verifying concurrent programs: Refinement, synchronization, sequentialization"
10.4230/LIPIcs.CSL.2020.20,7348,ToHe,Monitoring event frequencies
10.1145/3385412.3385980,8012,ToHe,Inductive sequentialization of asynchronous programs
10.1007/978-3-030-53288-8_14,8195,ToHe,Refinement for structured concurrent programs
10.4230/LIPIcs.CONCUR.2018.21,133,ToHe,Synchronizing the asynchronous
10.1007/978-3-319-96145-3_5,160,ToHe,Layered Concurrent Programs
10.15479/AT:IST-2018-853-v2-2,6426,ToHe,Synchronizing the asynchronous
10.1007/978-3-662-54434-1_11,1011,"KrCh,ToHe",Faster algorithms for weighted recursive state machines
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