Analyzing Oscillatory Behavior with Formal Methods. - Alexandr Andreychenko; Thilo Krüger; David Spieler (ROCKS, 2012)

Model Reconstruction for Moment-Based Stochastic Chemical Kinetics. - Alexandr Andreychenko; Linar Mikeev; Verena Wolf (ACM Trans. Model. Comput. Simul., 2015)