Modeling of Resilience Properties in Oscillatory Biological Systems Using Parametric Time Petri Nets. - Alexander Andreychenko; Morgan Magnin; Katsumi Inoue (CMSB, 2015)

Modeling of Resilience Properties in Oscillatory Biological Systems using Parametric Time Petri Nets, Supplementary Information. - Alexander Andreychenko; Morgan Magnin; Katsumi Inoue (CoRR, 2015)

Analyzing resilience properties in oscillatory biological systems using parametric model checking. - Alexander Andreychenko; Morgan Magnin; Katsumi Inoue (Biosyst., 2016)

Model reconstruction for moment-based stochastic chemical kinetics. - Alexander Andreychenko (2017)