Alexej Tovchigrechko

According to our database, Alexej Tovchigrechko authored at least 4 papers between 2008 and 2016.

Collaborative distances:

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

2016

MARCIE's Secrets of Efficient Model Checking.

Monika Heiner, Christian Rohr, Martin Schwarick, Alexey A. Tovchigrechko

Trans. Petri Nets Other Model. Concurr., 2016

2011

IDD-based model validation of biochemical networks.

Martin Schwarick, Alexej Tovchigrechko

Theor. Comput. Sci., 2011

2009

DSSZ-MC - A Tool for Symbolic Analysis of Extended Petri Nets.

Monika Heiner, Martin Schwarick, Alexej Tovchigrechko

Proceedings of the Applications and Theory of Petri Nets, 2009

2008

Efficient symbolic analysis of bounded Petri nets using interval decision diagrams.

Alexey A. Tovchigrechko

PhD thesis, 2008