DOI,IST REx ID,Research Group,Title of publication
10.1016/j.tcs.2021.05.023,9647,"ToHe,CaGu",Long lived transients in gene regulation
10.1007/978-3-030-31304-3_9,7147,"CaGu,ToHe",Transient memory in gene regulation
10.4230/LIPIcs.CONCUR.2016.6,1095,ToHe,Local linearizability for concurrent container-type data structures
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.1007/978-3-642-40184-8_18,2328,ToHe,Aspect-oriented linearizability proofs
10.15479/AT:IST-2013-123-v1-1,5402,ToHe,How free is your linearizable concurrent data structure?
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-31424-7_24,3136,"CaGu,ToHe",Delayed continuous time Markov chains for genetic regulatory circuits