Qualitative dynamics semantics for SBGN process description in BMC Systems Biology, 2016. ,
Static analysis of biological regulatory networks using abstract interpratation in Math, Struct. in Comp. Sci, p.2012 ,
Under-Approximating Cut Sets for Reachability in Large Scale Automata Networks, 2013. ,
DOI : 10.1007/978-3-642-39799-8_4
Identification of bifurcations in biological regulatory networks using ASP at, 2016. ,