Alexandr Andreychenko

According to our database, Alexandr Andreychenko authored at least 2 papers between 2012 and 2015.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2015

Model Reconstruction for Moment-Based Stochastic Chemical Kinetics.

Alexandr Andreychenko, Linar Mikeev, Verena Wolf

ACM Trans. Model. Comput. Simul., 2015

2012

Analyzing Oscillatory Behavior with Formal Methods.

Alexandr Andreychenko, Thilo Krüger, David Spieler

Proceedings of the Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems, 2012