DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-030-31304-3_9,7147,"CaGu,ToHe",Transient memory in gene regulation
10.1007/s00236-016-0278-x,1351,"ToHe,CaGu,NiBa",Model checking the evolution of gene regulatory networks
10.1145/3060139,471,ToHe,Faster statistical model checking for unbounded temporal properties
10.1007/978-3-662-49674-9_7,1234,"ToHe,CaGu",Faster statistical model checking for unbounded temporal properties
10.1007/978-3-319-26916-0_10,1524,"CaGu,ToHe",Efficient reduction of kappa models by static inspection of the rule-set
10.4230/LIPIcs.CONCUR.2016.20,1093,"ToHe,KrCh,CaGu",Linear distances between Markov chains
10.1007/978-3-662-46681-0_47,1835,"ToHe,CaGu,NiBa",Model checking gene regulatory networks
10.1109/TAC.2014.2364971,1840,"CaGu,ToHe",Optimal Kullback-Leibler aggregation via information bottleneck
10.1159/000365548,1913,CaGu,Patterns of hippocampal tau pathology differentiate neurodegenerative dementias
10.1007/s00285-013-0738-7,2056,"CaGu,ToHe",Markov chain aggregation and its applications to combinatorial reaction networks
10.1016/j.tcs.2011.12.059,3168,ToHe,Lumpability abstractions of rule based systems
null,3719,"ToHe,CaGu",Lumpability abstractions of rule-based systems
10.1145/1450058.1450070,4533,,Interface theories with component reuse